Superclass Equality constraints cp FunDeps
allbery.b at gmail.com
Sun Apr 30 19:35:17 UTC 2017
On Sun, Apr 30, 2017 at 3:31 PM, Richard Eisenberg <rae at cs.brynmawr.edu>
> > 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.
Not just fundeps; the originally cited behavior of equality constraints
could also stand to be documented. In fact, I'd noticed a few shortcomings
in equality constraint documentation --- including the question of, are
they always enabled, or are there particular extensions that enable them?
And if so, should they also have their own extension that becomes implied
by those other extensions? So it's not even just documentation.
brandon s allbery kf8nh sine nomine associates
allbery.b at gmail.com ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users