test case for lazy evaluation in the abstract syntax

1 files changed, 15 insertions, 0 deletions

diff --git a/testsuite/runtime/eval/lazy.gf b/testsuite/runtime/eval/lazy.gf
new file mode 100644
index 000000000..51e230b3c
--- /dev/null
+++ b/testsuite/runtime/eval/lazy.gf
@@ -0,0 +1,15 @@
+abstract lazy = {
+
+cat Nat ;
+data zero : Nat ;
+     succ : Nat -> Nat ;
+
+fun infinity : Nat ;
+def infinity = succ infinity ;
+
+fun min : Nat -> Nat -> Nat ;
+def min zero     _        = zero ;
+    min _        zero     = zero ;
+    min (succ x) (succ y) = succ (min x y) ;
+
+}
\ No newline at end of file