@@ -11,7 +11,11 @@ module Idris.Package.Parser where
11import Idris.CmdOptions
11import Idris.CmdOptions
12import Idris.Imports
12import Idris.Imports
13import Idris.Package.Common
13import Idris.Package.Common
14−import Idris.Parser.Helpers hiding (stringLiteral)
14+import Idris.Parser.Helpers (HasLastTokenSpan, IdrisInnerParser, MonadicParsing,
15+ eol, getLastTokenSpan, iName, identifier, isEol,
16+ lchar, multiLineComment, packageName,
17+ parseErrorDoc, reserved, runparser,
18+ simpleWhiteSpace, singleLineComment)
16import Control.Applicative
20import Control.Applicative
17import Control.Monad.State.Strict
21import Control.Monad.State.Strict