[Ecls-list] Megapatches ahead

[Juan Jose Garcia-Ripoll]

On Wed, May 5, 2010 at 10:48 PM, Matthew Mondor <mm_lists at pulsar-zone.net>wrote:

> Before posting about inlining, I had existing code using a structure
> with fixnum slots, and in the resulting code only generic functions were
> used, but the code also lacked declarations before using the slots.
>

Yes, that would be an application. The objective, though, is more
sophisticated type inference that spreads beyond one statement and that can
keep track of different expected types along different code branches. Or
"backwards" type inference that can infer the type of a variable based on
the uses in different functions.

Juanjo

-- 
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://tream.dreamhosters.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/ecl-devel/attachments/20100505/9bf6945d/attachment.html>