diff options
Diffstat (limited to 'compiler/GHC/Core/Lint.hs')
| -rw-r--r-- | compiler/GHC/Core/Lint.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Core/Lint.hs b/compiler/GHC/Core/Lint.hs index 6dc84b91ab..e7be00096a 100644 --- a/compiler/GHC/Core/Lint.hs +++ b/compiler/GHC/Core/Lint.hs @@ -2472,7 +2472,7 @@ compatible_branches (CoAxBranch { cab_tvs = tvs1 lhs2' = substTys subst lhs2 rhs2' = substTy subst rhs2 in - case tcUnifyTys (const BindMe) lhs1 lhs2' of + case tcUnifyTys alwaysBindFun lhs1 lhs2' of Just unifying_subst -> substTy unifying_subst rhs1 `eqType` substTy unifying_subst rhs2' Nothing -> True |