diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-08-06 14:46:48 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-08-06 14:46:48 +0100 |
| commit | cc07c40189d4375ca5b22beb3ad74a81fb85d9b4 (patch) | |
| tree | f7288ee5ff990118c12e8583bd68867917089d95 | |
| parent | 75f5f23b810f74376c71bdf0db51f3ffca6de015 (diff) | |
| download | haskell-cc07c40189d4375ca5b22beb3ad74a81fb85d9b4.tar.gz | |
Comments only
| -rw-r--r-- | compiler/typecheck/TcSimplify.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/typecheck/TcSimplify.hs b/compiler/typecheck/TcSimplify.hs index 825ce215ee..8babe0fc7d 100644 --- a/compiler/typecheck/TcSimplify.hs +++ b/compiler/typecheck/TcSimplify.hs @@ -1118,6 +1118,8 @@ warnRedundantGivens (SigSkol ctxt _) FunSigCtxt _ warn_redundant -> warn_redundant ExprSigCtxt -> True _ -> False + -- To think about: do we want to report redundant givens for + -- pattern synonyms, PatSynCtxt? c.f Trac #9953, comment:21. warnRedundantGivens (InstSkol {}) = True warnRedundantGivens _ = False |