[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: typechecking
From: |
Marius Vollmer |
Subject: |
Re: typechecking |
Date: |
Thu, 10 Jun 2004 18:22:40 +0200 |
User-agent: |
Gnus/5.1002 (Gnus v5.10.2) Emacs/21.3 (gnu/linux) |
Han-Wen Nienhuys <address@hidden> writes:
> 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.
I find it quite tempting to make SCM_BOOL_F identical to 0; it will
prevent a lot of bugs. But I do think it is better to not gurantee
anything like this about the SCM type (except that you can assign it
directly).
A properly abstract interface to SCM values is a good thing, even if
it is inconvenient at times.
--
GPG: D5D4E405 - 2F9B BCCC 8527 692A 04E3 331E FAF8 226A D5D4 E405
- Re: typechecking, Marius Vollmer, 2004/06/10
- Re: typechecking,
Marius Vollmer <=