Can now pass about adts stored on the stack

[scheme.git] / tests.scm

diff --git a/tests.scm b/tests.scm
index ecee99eed962aa94ea39ed8c0f16f4b9c32bc4fa..cdd60bd92730df41c4d15077ddee7ffc61bf7f17 100644 (file)
--- a/tests.scm
+++ b/tests.scm
@@ -264,8 +264,14 @@
 (test-prog '((data A [foo Int])
             (let ([x (foo 42)])
               (let ([(foo y) x])
-                (+ 1 y))))
-          43)
+                (+ 2 y))))
+          44)
+
+(test-prog '((data A [foo Bool Int Int])
+            (let ([x (foo (= 2 1) 123 45)]
+                  [(foo a b c) x])
+              (+ b c)))
+          (+ 123 45))
 
 (test-prog '((data A [foo Int])
             (data B [bar A])