+
+ ; adts and pattern matching
+
+(test-prog '((data A [foo Bool Int])
+ (let ([(foo x y) (foo (= 3 3) 42)])
+ y))
+ 42)
+
+(test-exception (expand-pattern-matches
+ '((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])
+ (+ 1 y))))
+ 43)
+
+(test-prog '((data A [foo Int])
+ (data B [bar A])
+ (let ([(bar (foo x)) (bar (foo 42))])
+ x))
+ 42)