`_ <- mapM` --> `mapM_`
authorRichard Eisenberg <eir@cis.upenn.edu>
Mon, 21 Sep 2015 16:25:37 +0000 (12:25 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Mon, 21 Sep 2015 16:25:37 +0000 (12:25 -0400)
Thanks for the suggestion, Austin. Just missed that while making
a bunch of similar changes.

compiler/typecheck/TcValidity.hs

index b2a4f68..9268e4d 100644 (file)
@@ -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