feat: enable eager lambda lifting

2022-10-13 04:22:19 -07:00 · 2022-10-13 04:22:19 -07:00 · 2563fda777
commit 2563fda777
parent 0966f14233
1 changed files with 1 additions and 1 deletions
--- a/src/Lean/Compiler/LCNF/Passes.lean
+++ b/src/Lean/Compiler/LCNF/Passes.lean
@ -50,7 +50,7 @@ def builtinPassManager : PassManager := {
    pullFunDecls,
    reduceJpArity,
    simp { etaPoly := true, inlinePartial := true, implementedBy := true } (occurrence := 1),
-    -- eagerLambdaLifting,
+    eagerLambdaLifting,
    specialize,
    simp (occurrence := 2),
    cse,