projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
9875bc9
)
Change a mappM to mapM_
author
Ian Lynagh
<igloo@earth.li>
Sat, 3 May 2008 20:33:54 +0000
(20:33 +0000)
committer
Ian Lynagh
<igloo@earth.li>
Sat, 3 May 2008 20:33:54 +0000
(20:33 +0000)
compiler/rename/RnSource.lhs
patch
|
blob
|
history
diff --git
a/compiler/rename/RnSource.lhs
b/compiler/rename/RnSource.lhs
index
fe87cf5
..
c7b2368
100644
(file)
--- 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}
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
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')]
-- 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
validRuleLhs :: [Name] -> LHsExpr Name -> Maybe (HsExpr Name)
-- Nothing => OK