diff options
| author | krasimir <krasimir@chalmers.se> | 2010-01-29 21:10:14 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-01-29 21:10:14 +0000 |
| commit | 3b7e39fa4ab2dcfc6ec9591be6476b4240baf671 (patch) | |
| tree | 4a82a254abbf1e801c98964d6e25e20dd132f0f3 /testsuite/runtime/eval/eval.gfs | |
| parent | e5de8ea9fe981a11ffd2672dd047d107e65b63a0 (diff) | |
bugfix in the PGF typechecker and more test cases
Diffstat (limited to 'testsuite/runtime/eval/eval.gfs')
| -rw-r--r-- | testsuite/runtime/eval/eval.gfs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/testsuite/runtime/eval/eval.gfs b/testsuite/runtime/eval/eval.gfs index 9317ce92a..b2e215a8e 100644 --- a/testsuite/runtime/eval/eval.gfs +++ b/testsuite/runtime/eval/eval.gfs @@ -20,6 +20,9 @@ pt -compute g0 23 pt -compute const 3.14 "pi" pt -compute dec (succ (succ zero)) pt -compute dec (succ ?) +pt -compute dec (succ zeroF) +pt -compute dec (succF zeroF) +pt -compute dec zeroF pt -compute <\x -> dec x : Nat -> Nat> pt -compute dec ? pt -compute <\f -> f 0 : (Int -> Int) -> Int> (g3 ?) @@ -27,4 +30,5 @@ pt -compute g (g2 ? 0) pt -compute plus (succ zero) (succ zero) pt -compute dec2 0 (succ zero) pt -compute dec2 0 err -pt -compute plus err (succ zero)
\ No newline at end of file +pt -compute plus err (succ zero) +pt -compute <\x -> dec (dec x) : Nat -> Nat>
\ No newline at end of file |