X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRnMonad.lhs;h=a2474c1b86fc3d27c0b8a741f56824aaba683539;hb=ec197dfef33654dd16b5832905dad2e52f79f7ab;hp=2b7e567b83f372c1d147cd2208dd5d4c29079e97;hpb=7b9ccfe6947e4ef514057668d6f6673c3fedc10d;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcRnMonad.lhs b/compiler/typecheck/TcRnMonad.lhs index 2b7e567..a2474c1 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} %************************************************************************ @@ -547,7 +546,7 @@ discardWarnings thing_inside #if __GLASGOW_HASKELL__ < 609 try_m :: TcRn r -> TcRn (Either Exception r) #else -try_m :: TcRn r -> TcRn (Either ErrorCall r) +try_m :: TcRn r -> TcRn (Either IOException r) #endif -- Does try_m, with a debug-trace on failure try_m thing @@ -575,7 +574,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