diff --git a/src/Lean/Compiler/LCNF/Passes.lean b/src/Lean/Compiler/LCNF/Passes.lean index 3b9dd01b36..3a52f0aad7 100644 --- a/src/Lean/Compiler/LCNF/Passes.lean +++ b/src/Lean/Compiler/LCNF/Passes.lean @@ -61,6 +61,7 @@ def builtinPassManager : PassManager := { extendJoinPointContext, floatLetIn (phase := .mono) (occurrence := 1), simp (occurrence := 4) (phase := .mono), + floatLetIn (phase := .mono) (occurrence := 2), lambdaLifting, simp (occurrence := 5) (phase := .mono), -- TODO: reduce function arity