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