Move Erasure back into Idris/.
commit72b473da7edc72ba4caf7925a0c96c3a326bf92f
authorMatus Tejiscak <ziman@functor.sk>
dateTue 11 Feb 2014, 14:59 (13 years ago)
parent4ae96c9
idris.cabal+1−1
@@ -469,6 +469,7 @@ Library
469469 , Idris.Docstrings
470470 , Idris.ElabDecls
471471 , Idris.ElabTerm
472+ , Idris.Erasure
472473 , Idris.Error
473474 , Idris.ErrReverse
474475 , Idris.Help
@@ -501,7 +502,6 @@ Library
501502 , IRTS.Compiler
502503 , IRTS.Defunctionalise
503504 , IRTS.DumpBC
504− , IRTS.Erasure
505505 , IRTS.Inliner
506506 , IRTS.Java.ASTBuilding
507507 , IRTS.Java.JTypes
src/IRTS/Compiler.hs+1−1
@@ -16,9 +16,9 @@ import IRTS.CodegenLLVM
1616import Util.LLVMStubs
1717#endif
1818import IRTS.Inliner
19−import IRTS.Erasure
2019
2120import Idris.AbsSyntax
21+import Idris.Erasure
2222import Idris.Error
2323
2424import Debug.Trace
src/IRTS/Erasure.hs → src/Idris/Erasure.hsrenamed+1−1
@@ -1,6 +1,6 @@
11{-# LANGUAGE PatternGuards #-}
22
3−module IRTS.Erasure
3+module Idris.Erasure
44 ( buildDepMap
55 , minimalUsage
66 ) where
src/Idris/REPL.hs+1−1
@@ -8,6 +8,7 @@ import Idris.Apropos (apropos)
88import Idris.REPLParser
99import Idris.ElabDecls
1010import Idris.ElabTerm
11+import Idris.Erasure
1112import Idris.Error
1213import Idris.ErrReverse
1314import Idris.Delaborate
@@ -40,7 +41,6 @@ import Idris.Core.Execute (execute)
4041import Idris.Core.TT
4142import Idris.Core.Constraints
4243
43−import IRTS.Erasure
4444import IRTS.Compiler
4545import IRTS.CodegenCommon
4646