Commit 7e7aeab2 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Comments only

parent 15641b07
......@@ -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.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment