From faa30bccb29701f7ec0dcc7f3edf9c009ac97544 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 6 Oct 2022 05:44:59 -0700
Subject: [PATCH] feat: activate `toMono` compiler pass

It increases the .olean sizes.
---
 src/Lean/Compiler/LCNF/Passes.lean | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/Lean/Compiler/LCNF/Passes.lean b/src/Lean/Compiler/LCNF/Passes.lean
index e0494f84e1..b7f4f655f8 100644
--- a/src/Lean/Compiler/LCNF/Passes.lean
+++ b/src/Lean/Compiler/LCNF/Passes.lean
@@ -12,6 +12,7 @@ import Lean.Compiler.LCNF.ReduceJpArity
 import Lean.Compiler.LCNF.JoinPoints
 import Lean.Compiler.LCNF.Specialize
 import Lean.Compiler.LCNF.PhaseExt
+import Lean.Compiler.LCNF.ToMono
 
 namespace Lean.Compiler.LCNF
 
@@ -49,7 +50,8 @@ def builtinPassManager : PassManager := {
     specialize,
     simp (occurrence := 2),
     cse,
-    saveBase -- End of base phase
+    saveBase, -- End of base phase
+    toMono
   ]
 }