Superclass Equality constraints cp FunDeps

[Anthony Clayden]

> On Sun Apr 30 19:45:34 UTC 2017, Richard Eisenberg wrote:

> Documentation is just about always suboptimal -- but the
> best people to suggest concrete improvements are those who
> were confused to begin with. So, by all means, submit
> patches!

Thanks for the invite ;-).

OK. Done. See #13657.

I've put suggested wording, please improve!

The trickier problem is where to put the wording;
the 'feature' is really at the intersection of
several extensions.

> 
> Some relevant discussion on this point is on
> https://ghc.haskell.org/trac/ghc/ticket/10431
>

I've linked my ticket to that one.


AntC

> 
> > On Apr 30, 2017, at 3:35 PM, Brandon Allbery wrote: 
>>> On Sun, Apr 30, 2017 at 3:31 PM, Richard Eisenberg
wrote:
>>>> On Apr 30, 2017, at 6:37 AM, Anthony Clayden wrote:

>>>> Is that behaviour officially documented somewhere? 

>>> Not that I can find. Documentation on functional
>>> dependencies is somewhat lacking. This may be 
>>> because fundeps has received little love of late.