diff options
| author | Shayne Fletcher <shayne.fletcher@digitalasset.com> | 2018-12-28 19:13:51 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2018-12-28 19:13:51 -0500 |
| commit | fdf11c90992762f6f6264b8d8c1678c4ddd53eb8 (patch) | |
| tree | 7be9972b1b348f52390f86dddeb7f71098525ccc /compiler | |
| parent | 07022297749b8091af58a3302581ad90e9ca329b (diff) | |
| download | haskell-fdf11c90992762f6f6264b8d8c1678c4ddd53eb8.tar.gz | |
rebindable-clash-warning-fix : correct warning logic
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcMatches.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcMatches.hs b/compiler/typecheck/TcMatches.hs index 4ddf862bf7..6bc988a8f5 100644 --- a/compiler/typecheck/TcMatches.hs +++ b/compiler/typecheck/TcMatches.hs @@ -944,7 +944,7 @@ tcMonadFailOp orig pat fail_op res_ty rebindableSyntax <- xoptM LangExt.RebindableSyntax ; desugarFlag <- xoptM LangExt.MonadFailDesugaring ; missingWarning <- woptM Opt_WarnMissingMonadFailInstances - ; if | rebindableSyntax && (desugarFlag || missingWarning) + ; if | rebindableSyntax && desugarFlag && missingWarning -> warnRebindableClash pat | not desugarFlag && missingWarning -> emitMonadFailConstraint pat res_ty |