Moved REPLParser to be under REPL namespace.
commitc292d12c460e5edf4d63ac1db7e8be8451a68289
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateFri 5 Feb 2016, 09:33 (11 years ago)
parent1909c32
idris.cabal+1−1
@@ -915,7 +915,7 @@ Library
915915 , Idris.Providers
916916 , Idris.Reflection
917917 , Idris.REPL
918− , Idris.REPLParser
918+ , Idris.REPL.Parser
919919 , Idris.Transforms
920920 , Idris.TypeSearch
921921 , Idris.Unlit
src/Idris/Completion.hs+1−1
@@ -12,7 +12,7 @@ import Idris.Colours
1212import Idris.ParseHelpers(opChars)
1313import qualified Idris.ParseExpr (constants, tactics)
1414import Idris.ParseExpr (TacticArg (..))
15−import Idris.REPLParser (allHelp, setOptions)
15+import Idris.REPL.Parser (allHelp, setOptions)
1616import Control.Monad.State.Strict
1717
1818import Data.List
src/Idris/REPL.hs+1−1
@@ -8,7 +8,7 @@ module Idris.REPL(getClient, getPkg, getPkgCheck, getPkgClean, getPkgMkDoc,
88import Idris.AbsSyntax
99import Idris.ASTUtils
1010import Idris.Apropos (apropos, aproposModules)
11−import Idris.REPLParser
11+import Idris.REPL.Parser
1212import Idris.Erasure
1313import Idris.Error
1414import Idris.IBC
src/Idris/REPLParser.hs → src/Idris/REPL/Parser.hsrenamed+1−1
@@ -1,5 +1,5 @@
11
2−module Idris.REPLParser (parseCmd, help, allHelp, setOptions) where
2+module Idris.REPL.Parser (parseCmd, help, allHelp, setOptions) where
33
44import System.FilePath ((</>))
55import System.Console.ANSI (Color(..))