Add two bugs

axch · Oct 10, 2019 · 07b8185 · 07b8185
1 parent d6d4506
commit 07b8185
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/examples/bugs.dx b/examples/bugs.dx
@@ -23,3 +23,10 @@ x = 1
 
 -- need a type class constrain for index sets so that this is an error
 :t for i::Int. 1
+
+-- 'atomic for' should be removed by simp pass before imp pass
+:p x = for i::3. 0; x
+
+-- afor also leaks if it's the argument to a fold
+:p fold (for i::2. 0.0) $ for i::3. lam c. (for j. c.j + real (asint j))
+