diff options
| -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 |