<div dir="ltr">(I forgot to send to the list, trying again)<br><br><div class="gmail_quote"><div dir="ltr">Thank you very much for your detailed explanation!<br><div class="gmail_extra"><br><br><div class="gmail_quote"><div class="im">
On Fri, Aug 23, 2013 at 1:24 PM, Richard Eisenberg <span dir="ltr">&lt;<a href="mailto:eir@cis.upenn.edu" target="_blank">eir@cis.upenn.edu</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="word-wrap:break-word"><div>This is a good question. Happily, there are at least two decent answers.</div>

<div><br></div><div>1) We&#39;re not sure that this problem cannot cause a segfault… it&#39;s just that we&#39;ve been unable to produce one when trying. Perhaps we haven&#39;t tried hard enough.</div></div></blockquote>
</div><div>
<br>I successfully constructed such an example.<br><br><a href="https://github.com/takano-akio/type-family-overlap" target="_blank">https://github.com/takano-akio/type-family-overlap</a><span class="HOEnZb"><font color="#888888"><br>
<br>- Akio<br></font></span></div></div></div></div>
</div><br></div>