diff options
| author | krasimir <krasimir@chalmers.se> | 2009-05-23 21:43:24 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-05-23 21:43:24 +0000 |
| commit | 3efb7a671bb9f40ac0b442aa94e1714ddd8c9c53 (patch) | |
| tree | 4df38190de637662d9d92545ab4225756a688ea8 /testsuite/runtime/eval/eval.gfs.gold | |
| parent | e5c8636a5f608af83d918e62533306cf7ddc7118 (diff) | |
added test cases for computation with abstract syntax terms
Diffstat (limited to 'testsuite/runtime/eval/eval.gfs.gold')
| -rw-r--r-- | testsuite/runtime/eval/eval.gfs.gold | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/testsuite/runtime/eval/eval.gfs.gold b/testsuite/runtime/eval/eval.gfs.gold new file mode 100644 index 000000000..87b0b8cc4 --- /dev/null +++ b/testsuite/runtime/eval/eval.gfs.gold @@ -0,0 +1,50 @@ +\v0 -> v0 1
+
+? 1
+
+? 1
+
+unknown variable unknown_var
+unknown variable unknown_var
+literal of function type
+f 1 2
+
+\v0 -> v0
+
+?666
+
+f
+
+f 1 2
+
+literal of function type
+2
+
+g 0
+
+\v0 -> g v0
+
+g ?
+
+5
+
+3
+
+g2
+
+f 3.2
+
+g2 2.3
+
+g2 (f 0) 1
+
+3.14
+
+succ zero
+
+?
+
+\v0 -> dec v0
+
+dec ?
+
|