Commit c234acbe authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

`_ <- mapM` --> `mapM_`

Thanks for the suggestion, Austin. Just missed that while making
a bunch of similar changes.
parent cd2840a7
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment