Use pretty-printer for errors in imports
commit9d559e9cf8fbb00f2d03d26026f68b23fefe1464
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateThu 13 Feb 2014, 08:16 (13 years ago)
parentc7c9f4b
src/Idris/Parser.hs+2−2
@@ -1187,8 +1187,8 @@ loadSource' :: Handle -> Bool -> FilePath -> Idris ()
11871187loadSource' h lidr r
11881188 = idrisCatch (loadSource h lidr r)
11891189 (\e -> do setErrLine (getErrLine e)
1190− msg <- showErr e
1191− ihputStrLn h (msg ++ "fel"))
1190+ ist <- getIState
1191+ ihRenderError h (pprintErr ist e))
11921192
11931193{- | Load Idris source code-}
11941194loadSource :: Handle -> Bool -> FilePath -> Idris ()