Anyway, do you think it is feasible to have a flag such as -fallow-unsafe-type-families for users to use at their own risk? (supposing we know how to guarantee these constraints).<div><br class="webkit-block-placeholder"></div>
<div>I speak for my own, there are currently some nice thinks that I can only accomplish with partially applied type synonyms in type families, otherwise code starts to get dummier in terms of type contexts and context variables.</div>
<div><br></div><div>Thanks,</div><div>hugo</div><div><br><div class="gmail_quote">On Sun, Mar 30, 2008 at 4:14 AM, Hugo Pacheco <<a href="mailto:hpacheco@gmail.com">hpacheco@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div><div><div class="gmail_quote"><div class="Ih2E3d">On Sun, Mar 30, 2008 at 3:54 AM, Manuel M T Chakravarty <<a href="mailto:chak@cse.unsw.edu.au" target="_blank">chak@cse.unsw.edu.au</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hugo Pacheco:<div class="Ih2E3d"><br>
<div>> Yes, but doesn't the confluence problem only occur for type synonyms<br>
> that ignore one or more of the parameters? If so, this could be<br>
> checked...<br>
<br>
</div>You can't check this easily (for the general case).<br></div></blockquote><div><br></div><div>I was most interested in knowing that this assumption was enough, and it looks like it does.<br>
</div><div class="Ih2E3d"><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Given<br>
<div><br>
type family G a b<br>
</div> type FList a x = G a x<br>
<div> type instance F [a] = FList a<br>
<br>
</div>Does FList ignore its second argument? Depends on the type instances<br>
of G.<br>
<font color="#888888"><br>
Manuel<br>
</font><div><div></div><div></div></div></blockquote><div><br></div></div><div>I haven't thought of that, thanks for the example.</div><div><br></div><font color="#888888"><div>hugo </div></font></div></div>
</div>
</blockquote></div><br></div>