git.iko.soy/Idris-dev
on master help sign in
Move erasure to IRTS.
fe0e037Matus Tejiscak
idris.cabal+1−1
compare with master
unifiedsplit
@@ -469,7 +469,6 @@ Library
469 , Idris.Docstrings
469 , Idris.Docstrings
470 , Idris.ElabDecls
470 , Idris.ElabDecls
471 , Idris.ElabTerm
471 , Idris.ElabTerm
472− , Idris.Erasure
473 , Idris.Error
472 , Idris.Error
474 , Idris.ErrReverse
473 , Idris.ErrReverse
475 , Idris.Help
474 , Idris.Help
@@ -502,6 +501,7 @@ Library
502 , IRTS.Compiler
501 , IRTS.Compiler
503 , IRTS.Defunctionalise
502 , IRTS.Defunctionalise
504 , IRTS.DumpBC
503 , IRTS.DumpBC
504+ , IRTS.Erasure
505 , IRTS.Inliner
505 , IRTS.Inliner
506 , IRTS.Java.ASTBuilding
506 , IRTS.Java.ASTBuilding
507 , IRTS.Java.JTypes
507 , IRTS.Java.JTypes
src/IRTS/Compiler.hs+1−1
@@ -16,9 +16,9 @@ import IRTS.CodegenLLVM
16import Util.LLVMStubs
16import Util.LLVMStubs
17#endif
17#endif
18import IRTS.Inliner
18import IRTS.Inliner
19+import IRTS.Erasure
19
20
20import Idris.AbsSyntax
21import Idris.AbsSyntax
21−import Idris.Erasure
22import Idris.Error
22import Idris.Error
23
23
24import Debug.Trace
24import Debug.Trace
src/Idris/Erasure.hs → src/IRTS/Erasure.hsrenamed+1−1
@@ -1,6 +1,6 @@
1{-# LANGUAGE PatternGuards #-}
1{-# LANGUAGE PatternGuards #-}
2
2
3−module Idris.Erasure
3+module IRTS.Erasure
4 ( buildDepMap
4 ( buildDepMap
5 , minimalUsage
5 , minimalUsage
6 ) where
6 ) where
src/Idris/REPL.hs+1−1
@@ -17,7 +17,6 @@ import Idris.Parser hiding (indent)
17import Idris.Primitives
17import Idris.Primitives
18import Idris.Coverage
18import Idris.Coverage
19import Idris.Docs hiding (Doc)
19import Idris.Docs hiding (Doc)
20−import Idris.Erasure
21import Idris.Help
20import Idris.Help
22import Idris.Completion
21import Idris.Completion
23import qualified Idris.IdeSlave as IdeSlave
22import qualified Idris.IdeSlave as IdeSlave
@@ -41,6 +40,7 @@ import Idris.Core.Execute (execute)
41import Idris.Core.TT
40import Idris.Core.TT
42import Idris.Core.Constraints
41import Idris.Core.Constraints
43
42
43+import IRTS.Erasure
44import IRTS.Compiler
44import IRTS.Compiler
45import IRTS.CodegenCommon
45import IRTS.CodegenCommon
46
46