max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: rename files

Browse source
This commit is contained in:
Leonardo de Moura 2019-10-11 11:19:58 -07:00
parent 604cb3dd81
commit e5a55e16cf
4 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
library/Init/Lean/Compiler/IR/Boxing.lean
View file

@ -13,7 +13,7 @@ import Init.Lean.Compiler.ExternAttr
import Init.Lean.Compiler.IR.Basic
import Init.Lean.Compiler.IR.CompilerM
import Init.Lean.Compiler.IR.FreeVars
import Init.Lean.Compiler.IR.ElimDead
import Init.Lean.Compiler.IR.ElimDeadVars
namespace Lean
namespace IR

4
library/Init/Lean/Compiler/IR/Default.lean
View file

@ -8,7 +8,7 @@ import Init.Lean.Compiler.IR.Basic
import Init.Lean.Compiler.IR.Format
import Init.Lean.Compiler.IR.CompilerM
import Init.Lean.Compiler.IR.PushProj
import Init.Lean.Compiler.IR.ElimDead
import Init.Lean.Compiler.IR.ElimDeadVars
import Init.Lean.Compiler.IR.SimpCase
import Init.Lean.Compiler.IR.ResetReuse
import Init.Lean.Compiler.IR.NormIds
@ -18,7 +18,7 @@ import Init.Lean.Compiler.IR.Boxing
import Init.Lean.Compiler.IR.RC
import Init.Lean.Compiler.IR.ExpandResetReuse
import Init.Lean.Compiler.IR.UnboxResult
import Init.Lean.Compiler.IR.UnreachBranches
import Init.Lean.Compiler.IR.ElimDeadBranches
import Init.Lean.Compiler.IR.EmitC
namespace Lean

0
library/Init/Lean/Compiler/IR/UnreachBranches.lean → library/Init/Lean/Compiler/IR/ElimDeadBranches.lean
View file

0
library/Init/Lean/Compiler/IR/ElimDead.lean → library/Init/Lean/Compiler/IR/ElimDeadVars.lean
View file