f590608 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Reexport parseErrorDoc from Idris.Parser

commitf590608937efba51f1daf2dd9ce8c41884fc7b12 authorJason Felice <jason.m.felice@gmail.com> dateThu 26 Oct 2017, 16:03 (9 years ago) parent22587b2

4 files changed+1−4

unifiedsplit

src/Idris/Main.hs−1

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

2525import Idris.Options

2626import Idris.Output

2727import Idris.Parser hiding (indent)

28−import Idris.Parser.Helpers (parseErrorDoc)

2928import Idris.REPL

3029import Idris.REPL.Commands

3130import Idris.REPL.Parser

src/Idris/Parser.hs+1−1

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

1414

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

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

17− runparser) where

17+ runparser, ParseError, parseErrorDoc) where

1818

1919import Idris.AbsSyntax hiding (namespace, params)

2020import Idris.Core.Evaluate

src/Idris/Prover.hs−1

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

3434import Idris.Options

3535import Idris.Output

3636import Idris.Parser hiding (params)

37−import Idris.Parser.Helpers (parseErrorDoc)

3837import Idris.TypeSearch (searchByType)

3938

4039import Util.Pretty

src/Idris/REPL.hs−1

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

7272import Idris.Options

7373import Idris.Output

7474import Idris.Parser hiding (indent)

75−import Idris.Parser.Helpers (parseErrorDoc)

7675import Idris.Prover

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

7877import Idris.REPL.Commands