@@ -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