diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-03-27 12:54:06 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-03-27 12:54:06 +0100 |
| commit | 04384fa1959dabb6afc0edca586c6e624cd6a091 (patch) | |
| tree | 794b675c3b86eab55bcff7937943896d25440e03 /test | |
| parent | 99241c7e763b46f1ea079679ec8ac83d1ea67cea (diff) | |
test: regresion-accum1 (still failing)
Diffstat (limited to 'test')
| -rw-r--r-- | test/Main.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/Main.hs b/test/Main.hs index d4a835f..be15e65 100644 --- a/test/Main.hs +++ b/test/Main.hs @@ -471,6 +471,14 @@ tests_AD = testGroup "AD" -- Regression test for a simplifier bug (89b78d4) ,adTestTp "regression-simpl1" (C "" 1) term_regression_simpl1 + ,adTestTp "regression-accum1" (C "" 1 :$ C "" 1) $ + fromNamed $ lambda @(TArr N2 R) #L $ body $ + if_ (const_ @TI64 1 Language..> 0) + (idx0 $ sum1i (build1 1 $ #_ :-> + idx0 (sum1i (build1 1 $ #_ :-> + #L ! pair (pair nil 0) 0 * #L ! pair (pair nil 0) 0)))) + 42 + ,adTestGen "neural" Example.neural genNeural ,adTestGen "neural-unMonoid" (unMonoid (simplifyFix Example.neural)) genNeural |