The optimization isn't impossible; you only need a bit to differ from a pointer or an int value, and that could be store otherwhere.
(Unlikely, though. :) )
/ Mirar
Previous text:
2003-09-29 20:15: Subject: zero_type();
That's a possibility. (Probably not integers due to bignums, but other variables could be stored as short svalues.)
/ Martin Stjernholm, Roxen IS