Kent M Pitman <email@example.com> wrote:
| Barry Margolin <firstname.lastname@example.org> writes:
| > And while FIXNUM is defined in terms of the range [most-negative-fixnum,
| > most-positive-fixnum], the only reason this type even exists is because
| > it's supposed to be the type that can be represented most efficiently.
| That's the motivation. But, textually/specificationally, there's no
| manifest requirement I can think of ... though you're naturally
| welcome to show I'm just spacing out and forgetting one.
Well, there's always the basic restiction that "the type FIXNUM
is required to be a supertype of (SIGNED-BYTE 16)", as well as
the interactions between MOST-POSITIVE-FIXNUM and the various
array limits -- ARRAY-DIMENSION-LIMIT, ARRAY-RANK-LIMIT,
ARRAY-TOTAL-SIZE-LIMIT, etc. -- that we discussed here not all
that long ago.
Rob Warnock <email@example.com>
627 26th Avenue <URL:http://rpw3.org/>
San Mateo, CA 94403 (650)572-2607