From 5322aa79f60f5491cb4244ff6f1e05d61cf6513a Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 23 Sep 2022 14:00:24 -0700
Subject: [PATCH] fix: apply `findJoinPoints` before `pullFunDecls`

`pullFunDecls` affects the effectiveness of `findJoinPoints`
---
 src/Lean/Compiler/LCNF/Passes.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Lean/Compiler/LCNF/Passes.lean b/src/Lean/Compiler/LCNF/Passes.lean
index a49f992f42..795eede4eb 100644
--- 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,