diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-06 20:31:52 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-06 20:31:52 +0000 |
| commit | b97d6abb8190cdcb595b9bf48051cc4a98f01156 (patch) | |
| tree | 744fc14acf55e09812f6e15bab831cd28c1e7187 /testsuite/runtime/eval/eval.gfs.gold | |
| parent | c99b64404dd6b776d80b36ae3e1b8ef4e80949f7 (diff) | |
hopefully complete and correct typechecker in PGF
Diffstat (limited to 'testsuite/runtime/eval/eval.gfs.gold')
| -rw-r--r-- | testsuite/runtime/eval/eval.gfs.gold | 36 |
1 files changed, 16 insertions, 20 deletions
diff --git a/testsuite/runtime/eval/eval.gfs.gold b/testsuite/runtime/eval/eval.gfs.gold index 861c8534c..1c6282f27 100644 --- a/testsuite/runtime/eval/eval.gfs.gold +++ b/testsuite/runtime/eval/eval.gfs.gold @@ -1,30 +1,26 @@ -\v0 -> v0 1
+\x -> x 1
-? 1
+?1 1
-? 1
+?3 1
-unknown variable unknown_var
-unknown variable unknown_var
-literal of function type
f 1 2
-\v0 -> v0
+\x -> x
-?666
+?1
f
f 1 2
-literal of function type
2
g 0
-\v0 -> g v0
+\x -> g x
-g ?
+g ?1
5
@@ -32,29 +28,29 @@ g ? g2
-f 3.2
+f 32
-g2 2.3
-
-g2 (f 0) 1
+g2 23
3.14
succ zero
-?
+?1
-\v0 -> dec v0
+\x -> dec x
-dec ?
+dec ?1
-g3 ? 0
+g3 ?3 0
-g (g2 ? 0)
+g (g2 ?1 0)
succ (succ zero)
zero
+dec2 0 err
+
succ err
|