On Sat, Jun 5, 2010 at 11:54 AM, Alexander Gavrilov <span dir="ltr"><<a href="mailto:angavrilov@gmail.com">angavrilov@gmail.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div class="im">> I have stripped down and reimplemented the type propagator. Right now it is<br>
> kind of stable and implements forward type propagation for most forms.<br>
<br>
</div>I wonder how difficult might it be to add a few more primitive<br>
unboxed types and builtins using them?</blockquote><div><br></div><div>It would be easy, just changing cmpffi.lsp to add them as C representations of certain lisp types, and then adding inline forms for certain operations, such as addition, subtraction etc, in cmpnum.lsp, plus some functions in the core to convert to/from them.</div>

<div><br></div><div>But I am not sure what those types are and how well would they integrate with their C counterparts. Are they efficient? What is their use? Furthermore, are they not supported by GCC already via long long or long double?</div>

<div><br></div><div>Juanjo</div></div><br>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://tream.dreamhosters.com">http://tream.dreamhosters.com</a><br>