Re: Superclass Equality constraints cp FunDeps

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. Otherwise, I agree with your notes. Documentation patches are warmly accepted! Richard