diff options
| author | krasimir <krasimir@chalmers.se> | 2009-07-07 11:40:14 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-07-07 11:40:14 +0000 |
| commit | 5abc99b291b01ce9619e51cb21a397a5c0c89a72 (patch) | |
| tree | 0243225d58bbe10fe19bff202fab0a9d3cd8bd77 /testsuite/runtime/eval/eval.gfs | |
| parent | fd03f9fa0f799fabaef7b850d6b4808f280fdf1d (diff) | |
added testcases for evaluation with suspension
Diffstat (limited to 'testsuite/runtime/eval/eval.gfs')
| -rw-r--r-- | testsuite/runtime/eval/eval.gfs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/runtime/eval/eval.gfs b/testsuite/runtime/eval/eval.gfs index 1ce8cb1b5..dd1cede9c 100644 --- a/testsuite/runtime/eval/eval.gfs +++ b/testsuite/runtime/eval/eval.gfs @@ -27,3 +27,8 @@ pt -compute dec (succ (succ zero)) pt -compute dec (succ ?) pt -compute \x -> dec x pt -compute dec ? +pt -compute (\f -> f 0) (g3 ?) +pt -compute g (g2 ? 0) +pt -compute plus (succ zero) (succ zero) +pt -compute dec2 0 (succ zero) +pt -compute plus err (succ zero)
\ No newline at end of file |