c660584 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Add export list to Idris.Parser

c660584Niklas Larsson9 years ago

src/Idris/Parser.hs+3−5

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

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

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

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

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

16− module Idris.Parser.Expr,

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

17− module Idris.Parser.Data,

17+ runparser) where

18− module Idris.Parser.Helpers,

19− module Idris.Parser.Ops) where

21import Idris.AbsSyntax hiding (namespace, params)

19import Idris.AbsSyntax hiding (namespace, params)

22import Idris.Core.Evaluate

20import Idris.Core.Evaluate

src/Idris/REPL/Parser.hs+4

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

17import Idris.Help

18import Idris.Options

19import 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+

20import Idris.REPL.Commands

24import Idris.REPL.Commands

22import Control.Applicative

26import Control.Applicative