<div dir="ltr">On Wed, Sep 10, 2008 at 10:44 PM, Josh Elsasser <span dir="ltr"><<a href="mailto:josh@elsasser.org">josh@elsasser.org</a>></span> wrote:<div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hi.  I don't mean to be a pest, but did this get overlooked?  If it<br>
needed work or you just haven't had time to look at it then that's<br>
fine, I just want to make sure that it didn't get lost.</blockquote><div><br>Thanks for insisting. Sometimes it is required. Not this time: I just finished fixing the versioning system and still had no time to look at your patch with greater care: the fix you are proposing should not be required it is just a symptom of another problem in the type checker or in the type propagator. I have to find out what really breaks with complex types.<br>
<br>Juanjo<br><br>-- <br></div></div>Instituto de Física Fundamental<br>CSIC, Serrano, 113, Madrid 28040 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com">http://juanjose.garciaripoll.googlepages.com</a><br>

</div>