git.iko.soy/Idris-dev
on master help sign in
Rename UnusedArgs to Erasure.
2ac5aaaMatus 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
@@ -491,7 +492,6 @@ Library
491 , Idris.REPLParser
492 , Idris.REPLParser
492 , Idris.Transforms
493 , Idris.Transforms
493 , Idris.Unlit
494 , Idris.Unlit
494− , Idris.UnusedArgs
495
495
496 , IRTS.BCImp
496 , IRTS.BCImp
497 , IRTS.Bytecode
497 , IRTS.Bytecode
src/IRTS/Compiler.hs+1−1
@@ -18,7 +18,7 @@ import Util.LLVMStubs
18import IRTS.Inliner
18import IRTS.Inliner
19
19
20import Idris.AbsSyntax
20import Idris.AbsSyntax
21−import Idris.UnusedArgs
21+import Idris.Erasure
22import Idris.Error
22import Idris.Error
23
23
24import Idris.Core.TT
24import 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
2
5
3import Idris.AbsSyntax
6import Idris.AbsSyntax
4
7
src/Idris/REPL.hs+1−1
@@ -16,8 +16,8 @@ import Idris.Prover
16import Idris.Parser hiding (indent)
16import Idris.Parser hiding (indent)
17import Idris.Primitives
17import Idris.Primitives
18import Idris.Coverage
18import Idris.Coverage
19−import Idris.UnusedArgs
20import Idris.Docs hiding (Doc)
19import Idris.Docs hiding (Doc)
20+import Idris.Erasure
21import Idris.Help
21import Idris.Help
22import Idris.Completion
22import Idris.Completion
23import qualified Idris.IdeSlave as IdeSlave
23import qualified Idris.IdeSlave as IdeSlave