git.iko.soy/Idris-dev
on master help sign in
Use pretty-printer for errors in imports
9d559e9David Raymond Christiansen
src/Idris/Parser.hs+2−2
compare with master
unifiedsplit
@@ -1187,8 +1187,8 @@ loadSource' :: Handle -> Bool -> FilePath -> Idris ()
1187loadSource' h lidr r
1187loadSource' h lidr r
1188 = idrisCatch (loadSource h lidr r)
1188 = idrisCatch (loadSource h lidr r)
1189 (\e -> do setErrLine (getErrLine e)
1189 (\e -> do setErrLine (getErrLine e)
1190− msg <- showErr e
1190+ ist <- getIState
1191− ihputStrLn h (msg ++ "fel"))
1191+ ihRenderError h (pprintErr ist e))
1192
1192
1193{- | Load Idris source code-}
1193{- | Load Idris source code-}
1194loadSource :: Handle -> Bool -> FilePath -> Idris ()
1194loadSource :: Handle -> Bool -> FilePath -> Idris ()