On Sun, Apr 30, 2017 at 3:31 PM, Richard Eisenberg <[email protected]> wrote: > > > On Apr 30, 2017, at 6:37 AM, Anthony Clayden < > [email protected]> 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 [email protected] [email protected] unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
_______________________________________________ Glasgow-haskell-users mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
