; we typecheck the lambda calculus only (only single arg lambdas)
(define (typecheck prog)
- (let ([expanded (program-map-exprs expand-pattern-matches prog)])
+ (let ([expanded (expand-pattern-matches prog)])
(cadr (check (init-adts-env expanded) (normalize (program-body expanded))))))