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
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
> 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.
> 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.)