(test-types
(typecheck
- '((data A
- [foo Int]
- [bar Bool])
+ '((data A [foo Int])
(let ([x (foo 42)]
[(foo y) x])
x)))
(test-types
(typecheck
- '((data A
- [foo Int]
- [bar Bool])
+ '((data A [foo Int])
(let ([x (foo 42)]
[(foo y) x])
y)))
(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))))