[Ecls-list] Type propagation

Alexander Gavrilov angavrilov at gmail.com
Sat Jun 5 09:54:02 UTC 2010

> I have stripped down and reimplemented the type propagator. Right now it is
> kind of stable and implements forward type propagation for most forms. 

I wonder how difficult might it be to add a few more primitive
unboxed types and builtins using them? I'm thinking of the types
used by the SSE intrinsics, e.g.:


I expect it to be somewhat simpler than e.g. in SBCL, where it
involves modifying all kind of stuff like on-stack allocation,
and thus still isn't actually implemented.


More information about the ecl-devel mailing list