From 3efb7a671bb9f40ac0b442aa94e1714ddd8c9c53 Mon Sep 17 00:00:00 2001 From: krasimir Date: Sat, 23 May 2009 21:43:24 +0000 Subject: added test cases for computation with abstract syntax terms --- testsuite/runtime/eval/eval.gfs | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 testsuite/runtime/eval/eval.gfs (limited to 'testsuite/runtime/eval/eval.gfs') 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 ? -- cgit v1.2.3