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 | |
| parent | e5c8636a5f608af83d918e62533306cf7ddc7118 (diff) | |
added test cases for computation with abstract syntax terms
Diffstat (limited to 'testsuite/runtime/eval/eval.gfs')
| -rw-r--r-- | testsuite/runtime/eval/eval.gfs | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/testsuite/runtime/eval/eval.gfs b/testsuite/runtime/eval/eval.gfs new file mode 100644 index 000000000..1ce8cb1b5 --- /dev/null +++ b/testsuite/runtime/eval/eval.gfs @@ -0,0 +1,29 @@ +i testsuite/runtime/eval/Test.gf + +pt -compute \x -> x 1 +pt -compute ? 1 +pt -compute (\x -> x 1) ? +pt -compute unknown_var +pt -compute unknown_var 1 +pt -compute 1 2 +pt -compute f 1 2 +pt -compute \x -> x +pt -compute ?666 +pt -compute f +pt -compute (\x -> x 2) (f 1) +pt -compute (\x -> x 2) 1 +pt -compute g 1 +pt -compute g 0 +pt -compute \x -> g x +pt -compute g ? +pt -compute (\x -> x 5) (g2 1) +pt -compute (\x -> x 3) (\x -> x) +pt -compute g0 +pt -compute (\x -> x 3.2) (\x -> f x) +pt -compute g0 2.3 +pt -compute g0 ((\x -> f x) 0) 1 +pt -compute const 3.14 "pi" +pt -compute dec (succ (succ zero)) +pt -compute dec (succ ?) +pt -compute \x -> dec x +pt -compute dec ? |