(set! cur-lambda 0)
(let* ([data-layouts (program-data-layouts program)]
- [type-annotated (annotate-types program)]
+ [pattern-matched (program-map-exprs
+ expand-pattern-matches
+ program)]
+ [type-annotated (annotate-types pattern-matched)]
[stack-annotated (annotate-stack-values data-layouts
type-annotated)]