added testcases for evaluation with suspension
This commit is contained in:
1 parent
fd03f9fa0f
commit
5abc99b291
3 files changed
+28
No files matched your search
@@ -48,3 +48,13 @@ succ zero
|
||||
␍
|
||||
dec ?␍
|
||||
␍
|
||||
g3 ? 0␍
|
||||
␍
|
||||
g (g2 ? 0)␍
|
||||
␍
|
||||
succ (succ zero)␍
|
||||
␍
|
||||
zero␍
|
||||
␍
|
||||
succ err␍
|
||||
␍
|
||||
Reference in new issue
Block a user