Re: Superclass Equality constraints cp FunDeps

2017-04-30 Thread Richard Eisenberg
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! Some relevant discussion on this point is on https://ghc.haskell.org/trac/ghc/ticket/10431 Currently, there is no

Re: Superclass Equality constraints cp FunDeps

2017-04-30 Thread Brandon Allbery
On Sun, Apr 30, 2017 at 3:31 PM, Richard Eisenberg wrote: > > > On Apr 30, 2017, at 6:37 AM, Anthony Clayden < > anthony_clay...@clear.net.nz> wrote: > > Is that behaviour officially documented somewhere? > > Not that I can find. Documentation on functional dependencies is

Re: Superclass Equality constraints cp FunDeps

2017-04-30 Thread 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.

Re: Superclass Equality constraints cp FunDeps

2017-04-30 Thread Anthony Clayden
> On at Apr 29 05:55:14 UTC 2017, Anthony Clayden wrote: > ... > So should I reasonably have known that > a superclass constraint > with FunDeps on the superclass > induces FunDeps on the sub-class > without explicitly needing to declare so? > > (I'm not complaining, more surprised/impressed.)