X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Frename%2FRnSource.lhs;h=c7b23686f5c18da253b476c11e005c47254d26ce;hb=911e7de13ab1c0e5426c7f234e0c8dd29185a2ba;hp=fe87cf5babfe8d60d6eb05df756c624403d77c4e;hpb=205b076c00e997ec0bd7a906ba4ef3fa0dbd1898;p=ghc-hetmet.git

diff --git a/compiler/rename/RnSource.lhs b/compiler/rename/RnSource.lhs
index fe87cf5..c7b2368 100644
--- a/compiler/rename/RnSource.lhs
+++ b/compiler/rename/RnSource.lhs
@@ -544,7 +544,7 @@ lambdas.  So it seems simmpler not to check at all, and that is why
 check_e is commented out.
 	
 \begin{code}
-checkValidRule :: FastString -> [Name] -> LHsExpr Name -> NameSet -> RnM [()]
+checkValidRule :: FastString -> [Name] -> LHsExpr Name -> NameSet -> RnM ()
 checkValidRule rule_name ids lhs' fv_lhs'
   = do 	{ 	-- Check for the form of the LHS
 	  case (validRuleLhs ids lhs') of
@@ -553,7 +553,7 @@ checkValidRule rule_name ids lhs' fv_lhs'
 
 		-- Check that LHS vars are all bound
 	; let bad_vars = [var | var <- ids, not (var `elemNameSet` fv_lhs')]
-	; mappM (addErr . badRuleVar rule_name) bad_vars }
+	; mapM_ (addErr . badRuleVar rule_name) bad_vars }
 
 validRuleLhs :: [Name] -> LHsExpr Name -> Maybe (HsExpr Name)
 -- Nothing => OK