Add extra spicy test case

[scheme.git] / tests.scm

diff --git a/tests.scm b/tests.scm
index 7185032945aab633c43d3fcf0b0f1c24d55d0eb9..d2711d7739ffaa2a671835d9be7f4bf6ed211f0d 100644 (file)
--- a/tests.scm
+++ b/tests.scm
@@ -295,8 +295,31 @@
 (test-prog '((data Foo [a] [b] [c])
             (let ([x b])
               (case x
-                [a b]
-                [b a]
-                [c x])))
+                [a 3]
+                [b 2]
+                [c 1])))
           2)
 
+(test-prog '((data Foo [foo Int Int] [bar Bool])
+            (case (foo 42 12)
+              [(foo 20 x) 0]
+              [(foo 42 x) x]
+              [(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)
+