[commit: ghc] master: Comments only (7e7aeab)
git at git.haskell.org
git at git.haskell.org
Wed Jun 22 21:18:14 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/7e7aeab21c1afa7251e0879c78bbc42040a1936a/ghc
>---------------------------------------------------------------
commit 7e7aeab21c1afa7251e0879c78bbc42040a1936a
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Wed Jun 22 14:09:11 2016 +0100
Comments only
>---------------------------------------------------------------
7e7aeab21c1afa7251e0879c78bbc42040a1936a
compiler/typecheck/TcValidity.hs | 1 -
1 file changed, 1 deletion(-)
diff --git a/compiler/typecheck/TcValidity.hs b/compiler/typecheck/TcValidity.hs
index 8b62187..fb1a567 100644
--- a/compiler/typecheck/TcValidity.hs
+++ b/compiler/typecheck/TcValidity.hs
@@ -888,7 +888,6 @@ check_class_pred env dflags ctxt pred cls tys
A type signature like
f :: Eq [(a,b)] => a -> b
is very fragile, for reasons described at length in TcInteract
-
Note [Instance and Given overlap]. So this warning discourages uses
from writing simplifiable class constraints, at least unless the
top-level instance is explicitly declared as OVERLAPPABLE.
More information about the ghc-commits
mailing list