Superclass Equality constraints cp FunDeps
rae at cs.brynmawr.edu
Sun Apr 30 19:31:22 UTC 2017
> On Apr 30, 2017, at 6:37 AM, Anthony Clayden <anthony_clayden at clear.net.nz> 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.
Otherwise, I agree with your notes.
Documentation patches are warmly accepted!
More information about the Glasgow-haskell-users