<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">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!</div><div class=""><br class=""></div><div class="">Some relevant discussion on this point is on <a href="https://ghc.haskell.org/trac/ghc/ticket/10431" class="">https://ghc.haskell.org/trac/ghc/ticket/10431</a></div><div class=""><br class=""></div><div class="">Currently, there is no extension for ~. It's enabled either by GADTs or TypeFamilies. I agree that this is not the best design, and the ticket above is a plan to fix it. Probably wouldn't take much more than someone with the will to make the changes!</div><div class=""><br class=""></div><div class="">Richard</div><br class=""><div><blockquote type="cite" class=""><div class="">On Apr 30, 2017, at 3:35 PM, Brandon Allbery <<a href="mailto:allbery.b@gmail.com" class="">allbery.b@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="gmail_extra"><div class="gmail_quote">On Sun, Apr 30, 2017 at 3:31 PM, Richard Eisenberg <span dir="ltr" class=""><<a href="mailto:rae@cs.brynmawr.edu" target="_blank" class="">rae@cs.brynmawr.edu</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">
> On Apr 30, 2017, at 6:37 AM, Anthony Clayden <<a href="mailto:anthony_clayden@clear.net.nz" class="">anthony_clayden@clear.net.nz</a>> wrote:<br class="">
> Is that behaviour officially documented somewhere?<br class="">
<br class="">
</span>Not that I can find. Documentation on functional dependencies is somewhat lacking. This may be because fundeps has received little love of late.<br class=""></blockquote></div><div class="gmail_extra"><br class=""></div>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.<br clear="all" class=""><div class=""><br class=""></div>-- <br class=""><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr" class=""><div class="">brandon s allbery kf8nh sine nomine associates</div><div class=""><a href="mailto:allbery.b@gmail.com" target="_blank" class="">allbery.b@gmail.com</a> <a href="mailto:ballbery@sinenomine.net" target="_blank" class="">ballbery@sinenomine.net</a></div><div class="">unix, openafs, kerberos, infrastructure, xmonad <a href="http://sinenomine.net/" target="_blank" class="">http://sinenomine.net</a></div></div></div>
</div></div>
</div></blockquote></div><br class=""></body></html>