git.iko.soy/Idris-dev
on master help sign in
Move Erasure back into Idris/.
72b473dMatus Tejiscak
idris.cabal+1−1
compare with master
unifiedsplit
@@ -469,6 +469,7 @@ Library
469 , Idris.Docstrings
469 , Idris.Docstrings
470 , Idris.ElabDecls
470 , Idris.ElabDecls
471 , Idris.ElabTerm
471 , Idris.ElabTerm
472+ , Idris.Erasure
472 , Idris.Error
473 , Idris.Error
473 , Idris.ErrReverse
474 , Idris.ErrReverse
474 , Idris.Help
475 , Idris.Help
@@ -501,7 +502,6 @@ Library
501 , IRTS.Compiler
502 , IRTS.Compiler
502 , IRTS.Defunctionalise
503 , IRTS.Defunctionalise
503 , IRTS.DumpBC
504 , 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
20
19
21import Idris.AbsSyntax
20import Idris.AbsSyntax
21+import Idris.Erasure
22import Idris.Error
22import Idris.Error
23
23
24import Debug.Trace
24import Debug.Trace
src/IRTS/Erasure.hs → src/Idris/Erasure.hsrenamed+1−1
@@ -1,6 +1,6 @@
1{-# LANGUAGE PatternGuards #-}
1{-# LANGUAGE PatternGuards #-}
2
2
3−module IRTS.Erasure
3+module Idris.Erasure
4 ( buildDepMap
4 ( buildDepMap
5 , minimalUsage
5 , minimalUsage
6 ) where
6 ) where
src/Idris/REPL.hs+1−1
@@ -8,6 +8,7 @@ import Idris.Apropos (apropos)
8import Idris.REPLParser
8import Idris.REPLParser
9import Idris.ElabDecls
9import Idris.ElabDecls
10import Idris.ElabTerm
10import Idris.ElabTerm
11+import Idris.Erasure
11import Idris.Error
12import Idris.Error
12import Idris.ErrReverse
13import Idris.ErrReverse
13import Idris.Delaborate
14import Idris.Delaborate
@@ -40,7 +41,6 @@ import Idris.Core.Execute (execute)
40import Idris.Core.TT
41import Idris.Core.TT
41import Idris.Core.Constraints
42import Idris.Core.Constraints
42
43
43−import IRTS.Erasure
44import IRTS.Compiler
44import IRTS.Compiler
45import IRTS.CodegenCommon
45import IRTS.CodegenCommon
46
46