added testcases for evaluation with suspension

1 files changed, 13 insertions, 0 deletions

diff --git a/testsuite/runtime/eval/Test.gf b/testsuite/runtime/eval/Test.gf
index 7d7edf369..71a7dc2c2 100644
--- a/testsuite/runtime/eval/Test.gf
+++ b/testsuite/runtime/eval/Test.gf
@@ -11,6 +11,9 @@ def g2 1 x = x ;
 fun g0 : Int -> Int -> Int ;

 def g0 = g2 ;

 

+fun g3 : Int -> (Int -> Int) ;

+def g3 3 = g ;

+

 fun const : Int -> Int -> Int ;

 def const x _ = x ;

 

@@ -25,4 +28,14 @@ def dec zero     = zero ;
     dec (succ n) = n ;

     dec n        = err ; -- for fall through checking

 

+fun plus : Nat -> Nat -> Nat ;

+def plus err zero     = err ;

+    plus m   err      = err ;

+    plus m   zero     = m ;

+    plus m   (succ n) = plus (succ m) n ;

+

+fun dec2 : Int -> Nat -> Nat ;

+def dec2 0 zero     = err ;

+    dec2 _ (succ n) = n ;

+

 }
\ No newline at end of file