Fix typo
[scheme.git] / tests.scm
index 6dfbd9f4459cc1e46b3258caab6d5c0ba0ff2e27..cdd60bd92730df41c4d15077ddee7ffc61bf7f17 100644 (file)
--- a/tests.scm
+++ b/tests.scm
                 '((data A [foo Int]
                   [bar Bool])
                   (let ([(foo x) (foo 0)]) x))))
+
+(test-prog '((data A [foo Int])
+            (let ([x (foo 42)])
+              (let ([(foo y) x])
+                (+ 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])
+            (let ([(bar (foo x)) (bar (foo 42))])
+              x))
+          42)