diff options
Diffstat (limited to 'testsuite/runtime')
| -rw-r--r-- | testsuite/runtime/eval/Test.gf | 3 | ||||
| -rw-r--r-- | testsuite/runtime/eval/eval.gfs | 6 | ||||
| -rw-r--r-- | testsuite/runtime/eval/eval.gfs.gold | 8 |
3 files changed, 16 insertions, 1 deletions
diff --git a/testsuite/runtime/eval/Test.gf b/testsuite/runtime/eval/Test.gf index a0131d767..748f974f9 100644 --- a/testsuite/runtime/eval/Test.gf +++ b/testsuite/runtime/eval/Test.gf @@ -22,6 +22,9 @@ cat Nat ; data zero : Nat ;
succ : Nat -> Nat ;
err : Nat ;
+
+fun zeroF : Nat ;
+ succF : Nat -> Nat ;
fun dec : Nat -> Nat ;
def dec zero = zero ;
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 diff --git a/testsuite/runtime/eval/eval.gfs.gold b/testsuite/runtime/eval/eval.gfs.gold index 1c6282f27..665ee86fb 100644 --- a/testsuite/runtime/eval/eval.gfs.gold +++ b/testsuite/runtime/eval/eval.gfs.gold @@ -38,6 +38,12 @@ succ zero ?1
+zeroF
+
+dec (succF zeroF)
+
+dec zeroF
+
\x -> dec x
dec ?1
@@ -54,3 +60,5 @@ dec2 0 err succ err
+\x -> dec (dec x)
+
|