f590608 · Idris-dev · git.iko.soy

src/Idris/Main.hs−1

@@ -25,7 +25,6 @@ import Idris.ModeCommon

25import Idris.Options

26import Idris.Output

27import Idris.Parser hiding (indent)

28−import Idris.Parser.Helpers (parseErrorDoc)

29import Idris.REPL

28import Idris.REPL

30import Idris.REPL.Commands

29import Idris.REPL.Commands

31import Idris.REPL.Parser

30import Idris.REPL.Parser

src/Idris/Parser.hs+1−1

@@ -14,7 +14,7 @@ Maintainer : The Idris Community.

14

15module Idris.Parser(IdrisParser(..), ImportInfo(..), addReplSyntax, clearParserWarnings,

16 decl, fixColour, loadFromIFile, loadModule, name, opChars, parseElabShellStep, parseConst, parseExpr, parseImports, parseTactic,

17− runparser) where

17+ runparser, ParseError, parseErrorDoc) where

18

19import Idris.AbsSyntax hiding (namespace, params)

20import Idris.Core.Evaluate

src/Idris/Prover.hs−1

@@ -34,7 +34,6 @@ import qualified Idris.IdeMode as IdeMode

34import Idris.Options

35import Idris.Output

36import Idris.Parser hiding (params)

37−import Idris.Parser.Helpers (parseErrorDoc)

38import Idris.TypeSearch (searchByType)

37import Idris.TypeSearch (searchByType)

39

38

40import Util.Pretty

39import Util.Pretty

src/Idris/REPL.hs−1

@@ -72,7 +72,6 @@ import Idris.ModeCommon

72import Idris.Options

73import Idris.Output

74import Idris.Parser hiding (indent)

75−import Idris.Parser.Helpers (parseErrorDoc)

76import Idris.Prover

75import Idris.Prover

77import Idris.REPL.Browse (namesInNS, namespacesInNS)

76import Idris.REPL.Browse (namesInNS, namespacesInNS)

78import Idris.REPL.Commands

77import Idris.REPL.Commands