<div><div><div class="gmail_quote">On Sun, Mar 30, 2008 at 3:54 AM, Manuel M T Chakravarty <<a href="mailto:chak@cse.unsw.edu.au">chak@cse.unsw.edu.au</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hugo Pacheco:<br>
<div class="Ih2E3d">> 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></blockquote><div><br class="webkit-block-placeholder"></div><div>I was most interested in knowing that this assumption was enough, and it looks like it does.<br class="webkit-block-placeholder">
</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
Given<br>
<div class="Ih2E3d"><br>
type family G a b<br>
</div> type FList a x = G a x<br>
<div class="Ih2E3d"> 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 class="Wj3C7c"></div></div></blockquote><div><br class="webkit-block-placeholder"></div><div>I haven't thought of that, thanks for the example.</div><div><br></div><div>hugo </div></div></div>
</div>