[Ecls-list] Type propagation
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