Monadify typecheck/TcMatches: use return and standard monad functions

diff --git a/compiler/typecheck/TcMatches.lhs b/compiler/typecheck/TcMatches.lhs
index e07e6da..6fdbd66 100644 (file)
--- a/compiler/typecheck/TcMatches.lhs
+++ b/compiler/typecheck/TcMatches.lhs
@@ -44,7 +44,7 @@ import Outputable
 import Util
 import SrcLoc
 
-import Control.Monad( liftM )
+import Control.Monad
 \end{code}
 
 %************************************************************************
@@ -197,9 +197,9 @@ tcGRHSs :: TcMatchCtxt -> GRHSs Name -> (Refinement, BoxyRhoType)
 
 tcGRHSs ctxt (GRHSs grhss binds) res_ty
   = do { (binds', grhss') <- tcLocalBinds binds $
-                             mappM (wrapLocM (tcGRHS ctxt res_ty)) grhss
+                             mapM (wrapLocM (tcGRHS ctxt res_ty)) grhss
 
-       ; returnM (GRHSs grhss' binds') }
+       ; return (GRHSs grhss' binds') }
 
 -------------
 tcGRHS :: TcMatchCtxt -> (Refinement, BoxyRhoType) -> GRHS Name -> TcM (GRHS TcId)