Superclass Equality constraints cp FunDeps

Anthony Clayden anthony_clayden at
Sun May 7 02:19:43 UTC 2017

> 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

I've linked my ticket to that one.


> > On Apr 30, 2017, at 3:35 PM, Brandon Allbery wrote: 
>>> On Sun, Apr 30, 2017 at 3:31 PM, Richard Eisenberg
>>>> 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. 

More information about the Glasgow-haskell-users mailing list