fix: apply findJoinPoints before pullFunDecls

`pullFunDecls` affects the effectiveness of `findJoinPoints`
2022-09-23 14:00:24 -07:00 · 2022-09-23 14:00:24 -07:00 · 5322aa79f6
commit 5322aa79f6
parent 004822aba4
1 changed files with 1 additions and 1 deletions
--- a/src/Lean/Compiler/LCNF/Passes.lean
+++ b/src/Lean/Compiler/LCNF/Passes.lean
@ -23,8 +23,8 @@ def builtinPassManager : PassManager := {
    pullInstances,
    cse,
    simp,
-    pullFunDecls,
    findJoinPoints,
+    pullFunDecls,
    reduceJpArity,
    simp { etaPoly := true, inlinePartial := true, implementedBy := true } (occurrence := 1),
    specialize,