refactor: rename FixedArgs => FixedParams

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

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