[commit: ghc] master: Comments only (cc07c40)
git at git.haskell.org
git at git.haskell.org
Thu Aug 6 13:50:19 UTC 2015
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/cc07c40189d4375ca5b22beb3ad74a81fb85d9b4/ghc
>---------------------------------------------------------------
commit cc07c40189d4375ca5b22beb3ad74a81fb85d9b4
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Thu Aug 6 14:46:48 2015 +0100
Comments only
>---------------------------------------------------------------
cc07c40189d4375ca5b22beb3ad74a81fb85d9b4
compiler/typecheck/TcSimplify.hs | 2 ++
1 file changed, 2 insertions(+)
diff --git a/compiler/typecheck/TcSimplify.hs b/compiler/typecheck/TcSimplify.hs
index 825ce21..8babe0f 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
More information about the ghc-commits
mailing list