improve eta-expansion test

anoma · Oct 13, 2022 · 77ed47a · 77ed47a
1 parent d7e208a
commit 77ed47a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/tests/Core/positive/out/test039.out b/tests/Core/positive/out/test039.out
@@ -2,3 +2,4 @@
 cons 7 2
 5
 cons 3 2
+cons 1 2
diff --git a/tests/Core/positive/test039.jvc b/tests/Core/positive/test039.jvc
@@ -14,9 +14,12 @@ def f1' := \x \y f (+ (x / y));
 def g1 := \f f 2;
 def g1' := \x \y g (cons (x / y));
 
+def h := \f f 1 2;
+
 def writeLn := \x write x >> write "\n";
 
 writeLn (f' 7) >>
 writeLn (g' 7) >>
 writeLn (f1' 7 2) >>
-writeLn (g1' 7 2)
+writeLn (g1' 7 2) >>
+writeLn (h cons)