diff --git a/tests/Core/positive/out/test039.out b/tests/Core/positive/out/test039.out
index afc7b9f254..0310475a81 100644
--- 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
index 1ec404c3a6..108e29a216 100644
--- a/tests/Core/positive/test039.jvc
+++ b/tests/Core/positive/test039.jvc
@@ -16,9 +16,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)