diff options
| author | krasimir <krasimir@chalmers.se> | 2010-01-29 21:10:14 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-01-29 21:10:14 +0000 |
| commit | 3b7e39fa4ab2dcfc6ec9591be6476b4240baf671 (patch) | |
| tree | 4a82a254abbf1e801c98964d6e25e20dd132f0f3 /testsuite/runtime/eval/eval.gfs.gold | |
| parent | e5de8ea9fe981a11ffd2672dd047d107e65b63a0 (diff) | |
bugfix in the PGF typechecker and more test cases
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)
+
|