diff options
Diffstat (limited to 'testsuite/runtime/eval/eval.gfs.gold')
| -rw-r--r-- | testsuite/runtime/eval/eval.gfs.gold | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/runtime/eval/eval.gfs.gold b/testsuite/runtime/eval/eval.gfs.gold index 1c6282f27..665ee86fb 100644 --- a/testsuite/runtime/eval/eval.gfs.gold +++ b/testsuite/runtime/eval/eval.gfs.gold @@ -38,6 +38,12 @@ succ zero ?1
+zeroF
+
+dec (succF zeroF)
+
+dec zeroF
+
\x -> dec x
dec ?1
@@ -54,3 +60,5 @@ dec2 0 err succ err
+\x -> dec (dec x)
+
|