We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6a698c1 commit ad37552Copy full SHA for ad37552
src/Lean/Compiler/LCNF/Passes.lean
@@ -68,6 +68,7 @@ def builtinPassManager : PassManager := {
68
toMono,
69
simp (occurrence := 3) (phase := .mono),
70
reduceJpArity (phase := .mono),
71
+ structProjCases,
72
extendJoinPointContext (phase := .mono) (occurrence := 0),
73
floatLetIn (phase := .mono) (occurrence := 1),
74
reduceArity,
@@ -78,7 +79,6 @@ def builtinPassManager : PassManager := {
78
79
lambdaLifting,
80
extendJoinPointContext (phase := .mono) (occurrence := 1),
81
simp (occurrence := 5) (phase := .mono),
- structProjCases,
82
cse (occurrence := 2) (phase := .mono),
83
saveMono, -- End of mono phase
84
extractClosed
0 commit comments