test

anoma · Aug 13, 2024 · 833ef24 · 833ef24
1 parent 44213af
commit 833ef24
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/tests/Compilation/positive/out/test056.out b/tests/Compilation/positive/out/test056.out
@@ -1 +1 @@
-69
+103
diff --git a/tests/Compilation/positive/test056.juvix b/tests/Compilation/positive/test056.juvix
@@ -54,6 +54,8 @@ main : Nat :=
   sum (myfilter (const false) [])
     + sum (mymap λ {x := x + 3} (1 :: 2 :: 3 :: 4 :: nil))
     + sum (flatten (mymap (mymap λ {x := x + 2}) ((1 :: nil) :: (2 :: 3 :: nil) :: nil)))
+    + sum (map λ {x := x + 3} (1 :: 2 :: 3 :: 4 :: nil))
+    + sum (flatten (map (map λ {x := x + 2}) ((1 :: nil) :: (2 :: 3 :: nil) :: nil)))
     + myf 3 (*) 2 5 true
     + myf 1 (+) 2 0 false
     + myf' 7 (const (+)) 2 0