From eeb98d9cf445663773178eb120eec950e3fc4645 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 9 Oct 2022 08:06:27 -0700
Subject: [PATCH] refactor: rename `FixedArgs` => `FixedParams`

---
 src/Lean/Compiler/LCNF.lean                                 | 2 +-
 src/Lean/Compiler/LCNF/{FixedArgs.lean => FixedParams.lean} | 0
 src/Lean/Compiler/LCNF/SpecInfo.lean                        | 3 +--
 3 files changed, 2 insertions(+), 3 deletions(-)
 rename src/Lean/Compiler/LCNF/{FixedArgs.lean => FixedParams.lean} (100%)

diff --git a/src/Lean/Compiler/LCNF.lean b/src/Lean/Compiler/LCNF.lean
index dd005b63b0..05b81b16b4 100644
--- a/src/Lean/Compiler/LCNF.lean
+++ b/src/Lean/Compiler/LCNF.lean
@@ -11,7 +11,7 @@ import Lean.Compiler.LCNF.CompilerM
 import Lean.Compiler.LCNF.CSE
 import Lean.Compiler.LCNF.DependsOn
 import Lean.Compiler.LCNF.ElimDead
-import Lean.Compiler.LCNF.FixedArgs
+import Lean.Compiler.LCNF.FixedParams
 import Lean.Compiler.LCNF.InferType
 import Lean.Compiler.LCNF.JoinPoints
 import Lean.Compiler.LCNF.LCtx
diff --git a/src/Lean/Compiler/LCNF/FixedArgs.lean b/src/Lean/Compiler/LCNF/FixedParams.lean
similarity index 100%
rename from src/Lean/Compiler/LCNF/FixedArgs.lean
rename to src/Lean/Compiler/LCNF/FixedParams.lean
diff --git a/src/Lean/Compiler/LCNF/SpecInfo.lean b/src/Lean/Compiler/LCNF/SpecInfo.lean
index 18da8e9795..19fcba072f 100644
--- a/src/Lean/Compiler/LCNF/SpecInfo.lean
+++ b/src/Lean/Compiler/LCNF/SpecInfo.lean
@@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Leonardo de Moura
 -/
 import Lean.Compiler.Specialize
-import Lean.Compiler.LCNF.FixedArgs
+import Lean.Compiler.LCNF.FixedParams
 import Lean.Compiler.LCNF.InferType
 
 namespace Lean.Compiler.LCNF
@@ -133,7 +133,6 @@ def saveSpecParamInfo (decls : Array Decl) : CompilerM Unit := do
             pure .other
         paramsInfo := paramsInfo.push info
         pure ()
-      trace[Compiler.specialize.info] ">> {decl.name} {paramsInfo}"
       declsInfo := declsInfo.push paramsInfo
   if declsInfo.any fun paramsInfo => paramsInfo.any (· matches .user | .fixedInst | .fixedHO) then
     let m := mkFixedParamsMap decls