That would be great.<div>Would you mind send me a patch, or commit it to the source tree.</div><div>Actually I found in the paper SYB with classes also need such change,</div><div>if you don't like overlapping instance.</div>
<div>class Data cxt a => cxt a where </div><div><br><br><div class="gmail_quote">On Thu, Oct 20, 2011 at 11:14 AM, Max Bolingbroke <span dir="ltr"><<a href="mailto:batterseapower@hotmail.com">batterseapower@hotmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im">On 18 October 2011 13:49, bob zhang <<a href="mailto:bobzhang1988@gmail.com">bobzhang1988@gmail.com</a>> wrote:<br>
> In my contrived example the definition of class C is like this<br>
> class C c where { foo :: c Int => ....}<br>
> class C B => B a where { ...}<br>
> will this pass under your proposal?<br>
<br>
</div>Yes I would allow this to pass.<br>
<br>
If this would be enough to support what you want to do I'm happy to<br>
make the change.<br>
<font color="#888888"><br>
Max<br>
</font></blockquote></div><br><br clear="all"><div><br></div>-- <br>Best, bob<br>
</div>