Rename UnusedArgs to Erasure.
commit2ac5aaae0dec6e3cfdb87ea82be82b3e310fe2a8
authorMatus Tejiscak <ziman@functor.sk>
dateThu 12 Dec 2013, 10:00 (13 years ago)
parent78c27e9
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
@@ -491,7 +492,6 @@ Library
491492 , Idris.REPLParser
492493 , Idris.Transforms
493494 , Idris.Unlit
494− , Idris.UnusedArgs
495495
496496 , IRTS.BCImp
497497 , IRTS.Bytecode
src/IRTS/Compiler.hs+1−1
@@ -18,7 +18,7 @@ import Util.LLVMStubs
1818import IRTS.Inliner
1919
2020import Idris.AbsSyntax
21−import Idris.UnusedArgs
21+import Idris.Erasure
2222import Idris.Error
2323
2424import Idris.Core.TT
src/Idris/UnusedArgs.hs → src/Idris/Erasure.hsrenamed+4−1
@@ -1,4 +1,7 @@
1−module Idris.UnusedArgs where
1+module Idris.Erasure
2+ ( findUnusedArgs
3+ , traceUnused
4+ ) where
25
36import Idris.AbsSyntax
47
src/Idris/REPL.hs+1−1
@@ -16,8 +16,8 @@ import Idris.Prover
1616import Idris.Parser hiding (indent)
1717import Idris.Primitives
1818import Idris.Coverage
19−import Idris.UnusedArgs
2019import Idris.Docs hiding (Doc)
20+import Idris.Erasure
2121import Idris.Help
2222import Idris.Completion
2323import qualified Idris.IdeSlave as IdeSlave