@@ -11,7 +11,11 @@ module Idris.Package.Parser where
1111import Idris.CmdOptions
1212import Idris.Imports
1313import 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)
1519
1620import Control.Applicative
1721import Control.Monad.State.Strict