Re: typechecking

[Han-Wen Nienhuys]

address@hidden writes:
> >>    
> >>
> >
> >It would be interesting to see if we could map the Scheme semantics
> >(true = !SCM_BOOL_F) to C. That would require mapping SCM_BOOL_F to
> >(void*)0x0. Is this desirable, and does anyone see a possibility for this?
> >
> SCM values, where the 3 least significant bits are zero indicate 
> non-immediates. That is, the SCM value can without any modification be 

I understand the tag system, so I'm aware of the
implications. However, I was wondering whether such a change stands a
chance of being incorporated, if it would work.

-- 

 Han-Wen Nienhuys   |   address@hidden   |   http://www.xs4all.nl/~hanwen