Add extra spicy test case

[scheme.git] / tests.scm

diff --git a/tests.scm b/tests.scm
index a3f4913a75d5e9177843da3d5a71ce2d24b0a8b4..d2711d7739ffaa2a671835d9be7f4bf6ed211f0d 100644 (file)
--- a/tests.scm
+++ b/tests.scm
@@ -307,3 +307,19 @@
               [(bar x) 0]))
           12)
 
+(test-prog '((data Foo [foo Int])
+            (data Bar [bar Foo])
+            (case (bar (foo 42))
+              [(bar (foo x)) x]))
+          42)
+                                       ; todo: make this error for incomplete pattern match 
+(test-prog '((data A [foo Int] [bar Int B])
+            (data B [baz Int])
+            (let ([val (bar 42 (baz 12))])
+              (case val
+                [(foo 42) 0]
+                [(bar 32 (baz 12)) 1]
+                [(bar 42 (baz x)) x]
+                [(foo x) 2])))
+          12)
+