From 04384fa1959dabb6afc0edca586c6e624cd6a091 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Thu, 27 Mar 2025 12:54:06 +0100
Subject: test: regresion-accum1 (still failing)

---
 test/Main.hs | 8 ++++++++
 1 file changed, 8 insertions(+)

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
-- 
cgit v1.2.3-70-g09d2