git.iko.soy/Idris-dev
on master help sign in
Move erasure to IRTS.
commitfe0e0374081acffb34884411f1c150a283007db3 authorMatus Tejiscak <ziman@functor.sk> dateTue 11 Feb 2014, 09:33 (13 years ago) parent62044f7
4 files changed+4−4
compare with master
unifiedsplit
idris.cabal+1−1 src/IRTS/Compiler.hs+1−1 src/Idris/Erasure.hs → src/IRTS/Erasure.hs+1−1 src/Idris/REPL.hs+1−1
idris.cabal+1−1
@@ -469,7 +469,6 @@ Library
469469 , Idris.Docstrings
470470 , Idris.ElabDecls
471471 , Idris.ElabTerm
472− , Idris.Erasure
473472 , Idris.Error
474473 , Idris.ErrReverse
475474 , Idris.Help
@@ -502,6 +501,7 @@ Library
502501 , IRTS.Compiler
503502 , IRTS.Defunctionalise
504503 , 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
1920
2021import Idris.AbsSyntax
21−import Idris.Erasure
2222import Idris.Error
2323
2424import Debug.Trace
src/Idris/Erasure.hs → src/IRTS/Erasure.hsrenamed+1−1
@@ -1,6 +1,6 @@
11{-# LANGUAGE PatternGuards #-}
22
3−module Idris.Erasure
3+module IRTS.Erasure
44 ( buildDepMap
55 , minimalUsage
66 ) where
src/Idris/REPL.hs+1−1
@@ -17,7 +17,6 @@ import Idris.Parser hiding (indent)
1717import Idris.Primitives
1818import Idris.Coverage
1919import Idris.Docs hiding (Doc)
20−import Idris.Erasure
2120import Idris.Help
2221import Idris.Completion
2322import qualified Idris.IdeSlave as IdeSlave
@@ -41,6 +40,7 @@ import Idris.Core.Execute (execute)
4140import Idris.Core.TT
4241import Idris.Core.Constraints
4342
43+import IRTS.Erasure
4444import IRTS.Compiler
4545import IRTS.CodegenCommon
4646