@@ -1560,7 +1560,7 @@ parseImports :: FilePath -> String -> Idris (Maybe (Docstring ()), [String], [Im
15601560parseImports fname input
15611561 = do i <- getIState
15621562 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
15641564 Success (x, annots, i) ->
15651565 do putIState i
15661566 fname' <- runIO $ Dir.makeAbsolute fname