Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 6 Aug 2015 13:46:48 +0000 (14:46 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 6 Aug 2015 13:46:48 +0000 (14:46 +0100)
compiler/typecheck/TcSimplify.hs

index 825ce21..8babe0f 100644 (file)
@@ -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