On Sun Apr 30 19:45:34 UTC 2017, Richard Eisenberg wrote:
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!
Thanks for the invite ;-). OK. Done. See #13657. I've put suggested wording, please improve! The trickier problem is where to put the wording; the 'feature' is really at the intersection of several extensions.
Some relevant discussion on this point is on https://ghc.haskell.org/trac/ghc/ticket/10431
I've linked my ticket to that one. AntC
On Apr 30, 2017, at 3:35 PM, Brandon Allbery wrote:
On Sun, Apr 30, 2017 at 3:31 PM, Richard Eisenberg
wrote:
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.