diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcValidity.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcValidity.hs b/compiler/typecheck/TcValidity.hs index b2a4f687b7..9268e4dd36 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 |