e32d0c3 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Merge pull request #4092 from melted/parser_exports

Add export list to Idris.Parser

commite32d0c3210a83dde19f85b9639e44aa39209d2ac authorNiklas Larsson <metaniklas@gmail.com> dateSun 1 Oct 2017, 14:35 (9 years ago) parentce39b79 c660584

2 files changed+7−5

compare with master

unifiedsplit

src/Idris/Parser.hs+3−5 src/Idris/REPL/Parser.hs+4

src/Idris/Parser.hs+3−5

@@ -12,11 +12,9 @@ Maintainer : The Idris Community.

1212-- FIXME: {-# OPTIONS_GHC -fwarn-incomplete-patterns #-}

1313{-# OPTIONS_GHC -fwarn-unused-imports #-}

1414

15−module Idris.Parser(module Idris.Parser,

16− module Idris.Parser.Expr,

17− module Idris.Parser.Data,

18− module Idris.Parser.Helpers,

19− module Idris.Parser.Ops) where

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

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

17+ runparser) where

2018

2119import Idris.AbsSyntax hiding (namespace, params)

2220import Idris.Core.Evaluate

src/Idris/REPL/Parser.hs+4

@@ -17,6 +17,10 @@ import Idris.Core.TT

1717import Idris.Help

1818import Idris.Options

1919import qualified Idris.Parser as P

20+import qualified Idris.Parser.Expr as P

21+import qualified Idris.Parser.Helpers as P

22+import qualified Idris.Parser.Ops as P

23+

2024import Idris.REPL.Commands

2125

2226import Control.Applicative