git.iko.soy/Idris-dev
on master help sign in
Moved REPLParser to be under REPL namespace.
c292d12Jan de Muijnck-Hughes
idris.cabal+1−1
compare with master
unifiedsplit
@@ -915,7 +915,7 @@ Library
915 , Idris.Providers
915 , Idris.Providers
916 , Idris.Reflection
916 , Idris.Reflection
917 , Idris.REPL
917 , Idris.REPL
918− , Idris.REPLParser
918+ , Idris.REPL.Parser
919 , Idris.Transforms
919 , Idris.Transforms
920 , Idris.TypeSearch
920 , Idris.TypeSearch
921 , Idris.Unlit
921 , Idris.Unlit
src/Idris/Completion.hs+1−1
@@ -12,7 +12,7 @@ import Idris.Colours
12import Idris.ParseHelpers(opChars)
12import Idris.ParseHelpers(opChars)
13import qualified Idris.ParseExpr (constants, tactics)
13import qualified Idris.ParseExpr (constants, tactics)
14import Idris.ParseExpr (TacticArg (..))
14import Idris.ParseExpr (TacticArg (..))
15−import Idris.REPLParser (allHelp, setOptions)
15+import Idris.REPL.Parser (allHelp, setOptions)
16import Control.Monad.State.Strict
16import Control.Monad.State.Strict
17
17
18import Data.List
18import Data.List
src/Idris/REPL.hs+1−1
@@ -8,7 +8,7 @@ module Idris.REPL(getClient, getPkg, getPkgCheck, getPkgClean, getPkgMkDoc,
8import Idris.AbsSyntax
8import Idris.AbsSyntax
9import Idris.ASTUtils
9import Idris.ASTUtils
10import Idris.Apropos (apropos, aproposModules)
10import Idris.Apropos (apropos, aproposModules)
11−import Idris.REPLParser
11+import Idris.REPL.Parser
12import Idris.Erasure
12import Idris.Erasure
13import Idris.Error
13import Idris.Error
14import Idris.IBC
14import Idris.IBC
src/Idris/REPLParser.hs → src/Idris/REPL/Parser.hsrenamed+1−1
@@ -1,5 +1,5 @@
1
1
2−module Idris.REPLParser (parseCmd, help, allHelp, setOptions) where
2+module Idris.REPL.Parser (parseCmd, help, allHelp, setOptions) where
3
3
4import System.FilePath ((</>))
4import System.FilePath ((</>))
5import System.Console.ANSI (Color(..))
5import System.Console.ANSI (Color(..))