From 43fe67c41afa233834ca45cecc100f9492ff346b Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 9 Oct 2022 16:41:54 -0700
Subject: [PATCH] chore: helper pass for debugging purposes

---
 src/Lean/Compiler/LCNF/Passes.lean | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/Lean/Compiler/LCNF/Passes.lean b/src/Lean/Compiler/LCNF/Passes.lean
index c50acf1ff5..a2bee15035 100644
--- a/src/Lean/Compiler/LCNF/Passes.lean
+++ b/src/Lean/Compiler/LCNF/Passes.lean
@@ -26,6 +26,12 @@ def init : Pass where
     return decls
   phase := .base
 
+-- Helper pass used for debugging purposes
+def trace (phase := Phase.base) : Pass where
+  name  := `trace
+  run   := pure
+  phase := phase
+
 def normalizeFVarIds (decl : Decl) : CoreM Decl := do
   let ngenSaved ← getNGen
   setNGen {}