@@ -1560,7 +1560,7 @@ parseImports :: FilePath -> String -> Idris (Maybe (Docstring ()), [String], [Im
1560parseImports fname input
1560parseImports fname input
1561 = do i <- getIState
1561 = do i <- getIState
1562 case parseString (runInnerParser (evalStateT imports i)) (Directed (UTF8.fromString fname) 0 0 0 0) input of
1562 case parseString (runInnerParser (evalStateT imports i)) (Directed (UTF8.fromString fname) 0 0 0 0) input of
1563− Failure (ErrInfo err _) -> fail (show err)
1563+ Failure (ErrInfo err _) -> ifail $ show err
1564 Success (x, annots, i) ->
1564 Success (x, annots, i) ->
1565 do putIState i
1565 do putIState i
1566 fname' <- runIO $ Dir.makeAbsolute fname
1566 fname' <- runIO $ Dir.makeAbsolute fname