test case for lazy evaluation in the abstract syntax

This commit is contained in:
krasimir committed 2010-02-07 22:22:30 +00:00
1 parent f0f9c0acfa
commit a1c70841c1
3 files changed
+19

No files matched your search

+2
View File
@@ -0,0 +1,2 @@
i -src testsuite/runtime/eval/lazy.gf
pt -compute min infinity (succ (succ (succ zero)))