[commit: ghc] master: `_ <- mapM` --> `mapM_` (c234acb)

git at git.haskell.org git at git.haskell.org
Mon Sep 21 16:24:12 UTC 2015


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/c234acbe76da85556befad3eaa0c7c6b31e9e1c3/ghc

>---------------------------------------------------------------

commit c234acbe76da85556befad3eaa0c7c6b31e9e1c3
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Mon Sep 21 12:25:37 2015 -0400

    `_ <- mapM` --> `mapM_`
    
    Thanks for the suggestion, Austin. Just missed that while making
    a bunch of similar changes.


>---------------------------------------------------------------

c234acbe76da85556befad3eaa0c7c6b31e9e1c3
 compiler/typecheck/TcValidity.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcValidity.hs b/compiler/typecheck/TcValidity.hs
index b2a4f68..9268e4d 100644
--- a/compiler/typecheck/TcValidity.hs
+++ b/compiler/typecheck/TcValidity.hs
@@ -1224,7 +1224,7 @@ wrongATArgErr ty instTy =
 
 checkValidCoAxiom :: CoAxiom Branched -> TcM ()
 checkValidCoAxiom (CoAxiom { co_ax_tc = fam_tc, co_ax_branches = branches })
-  = do { _ <- mapM (checkValidCoAxBranch Nothing fam_tc) branch_list
+  = do { mapM_ (checkValidCoAxBranch Nothing fam_tc) branch_list
        ; foldlM_ check_branch_compat [] branch_list }
   where
     branch_list = fromBranches branches



More information about the ghc-commits mailing list