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