diff options
Diffstat (limited to 'testsuite/runtime/eval')
| -rw-r--r-- | testsuite/runtime/eval/eval.gfs | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/testsuite/runtime/eval/eval.gfs b/testsuite/runtime/eval/eval.gfs index c232161f4..9317ce92a 100644 --- a/testsuite/runtime/eval/eval.gfs +++ b/testsuite/runtime/eval/eval.gfs @@ -1,28 +1,28 @@ i -src testsuite/runtime/eval/Test.gf -pt -compute \x -> x 1 : (Int->Int)->Int -pt -compute (? : Int -> Int) 1 -pt -compute (\x -> x 1 : (Int->Int)->Int) ? +pt -compute <\x -> x 1 : (Int->Int)->Int> +pt -compute <? : Int -> Int> 1 +pt -compute <\x -> x 1 : (Int->Int)->Int> ? pt -compute f 1 2 -pt -compute \x -> x : Nat -> Nat -pt -compute ? : String +pt -compute <\x -> x : Nat -> Nat> +pt -compute <? : String> pt -compute f -pt -compute (\x -> x 2 : (Int->Int)->Int) (f 1) +pt -compute <\x -> x 2 : (Int->Int)->Int> (f 1) pt -compute g 1 pt -compute g 0 -pt -compute \x -> g x : Int -> Int +pt -compute <\x -> g x : Int -> Int> pt -compute g ? -pt -compute (\x -> x 5 : (Int->Int)->Int) (g2 1) -pt -compute (\x -> x 3 : (Int->Int)->Int) (\x -> x) +pt -compute <\x -> x 5 : (Int->Int)->Int> (g2 1) +pt -compute <\x -> x 3 : (Int->Int)->Int> (\x -> x) pt -compute g0 -pt -compute (\x -> x 32 : (Int -> Int -> Int) -> Int -> Int) (\x -> f x : Int -> Int -> Int) +pt -compute <\x -> x 32 : (Int -> Int -> Int) -> Int -> Int> <\x -> f x : Int -> Int -> Int> pt -compute g0 23 pt -compute const 3.14 "pi" pt -compute dec (succ (succ zero)) pt -compute dec (succ ?) -pt -compute \x -> dec x : Nat -> Nat +pt -compute <\x -> dec x : Nat -> Nat> pt -compute dec ? -pt -compute (\f -> f 0 : (Int -> Int) -> Int) (g3 ?) +pt -compute <\f -> f 0 : (Int -> Int) -> Int> (g3 ?) pt -compute g (g2 ? 0) pt -compute plus (succ zero) (succ zero) pt -compute dec2 0 (succ zero) |