@@ -44,7 +44,6 @@ import Prelude hiding (pi)
44import Control.Applicative hiding (Const)
44import Control.Applicative hiding (Const)
45import Control.Monad
45import Control.Monad
46import Control.Monad.State.Strict
46import Control.Monad.State.Strict
47−import qualified Data.ByteString.UTF8 as UTF8
48import Data.Char
47import Data.Char
49import Data.Foldable (asum)
48import Data.Foldable (asum)
50import Data.Function
49import Data.Function
@@ -1516,9 +1515,9 @@ parseElabShellStep ist = runparser (Right <$> do_ defaultSyntax <|> Left <$> ela
1516parseImports :: FilePath -> String -> Idris (Maybe (Docstring ()), [String], [ImportInfo], Maybe P.Delta)
1515parseImports :: FilePath -> String -> Idris (Maybe (Docstring ()), [String], [ImportInfo], Maybe P.Delta)
1517parseImports fname input
1516parseImports fname input
1518 = do i <- getIState
1517 = do i <- getIState
1519− case P.parseString (evalStateT imports i) (P.Directed (UTF8.fromString fname) 0 0 0 0) input of
1518+ case runparser imports i fname input of
1520− P.Failure (P.ErrInfo err _) -> ifail $ show err
1519+ Left err -> ifail . show . parseErrorDoc $ err
1521− P.Success (x, annots, i) ->
1520+ Right (x, annots, i) ->
1522 do putIState i
1521 do putIState i
1523 fname' <- runIO $ Dir.makeAbsolute fname
1522 fname' <- runIO $ Dir.makeAbsolute fname
1524 sendHighlighting $ addPath annots fname'
1523 sendHighlighting $ addPath annots fname'