X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRnMonad.lhs;h=1d562e34ad8c5d82133f84f37a3f4c077cc8d104;hb=1f3a7730cd7f831344d2a3b74a0ce700c382e858;hp=2b7e567b83f372c1d147cd2208dd5d4c29079e97;hpb=7b9ccfe6947e4ef514057668d6f6673c3fedc10d;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcRnMonad.lhs b/compiler/typecheck/TcRnMonad.lhs index 2b7e567..1d562e3 100644 --- a/compiler/typecheck/TcRnMonad.lhs +++ b/compiler/typecheck/TcRnMonad.lhs @@ -148,11 +148,10 @@ initTcPrintErrors -- Used from the interactive loop only :: HscEnv -> Module -> TcM r - -> IO (Maybe r) + -> IO (Messages, Maybe r) initTcPrintErrors env mod todo = do (msgs, res) <- initTc env HsSrcFile False mod todo - printErrorsAndWarnings (hsc_dflags env) msgs - return res + return (msgs, res) \end{code} %************************************************************************ @@ -544,11 +543,7 @@ discardWarnings thing_inside \begin{code} -#if __GLASGOW_HASKELL__ < 609 -try_m :: TcRn r -> TcRn (Either Exception r) -#else -try_m :: TcRn r -> TcRn (Either ErrorCall r) -#endif +try_m :: TcRn r -> TcRn (Either IOException r) -- Does try_m, with a debug-trace on failure try_m thing = do { mb_r <- tryM thing ; @@ -575,7 +570,7 @@ mapAndRecoverM :: (a -> TcRn b) -> [a] -> TcRn [b] -- Drop elements of the input that fail, so the result -- list can be shorter than the argument list mapAndRecoverM _ [] = return [] -mapAndRecoverM f (x:xs) = do { mb_r <- tryM (f x) +mapAndRecoverM f (x:xs) = do { mb_r <- try_m (f x) ; rs <- mapAndRecoverM f xs ; return (case mb_r of Left _ -> rs