Subject: Re: How to specialize method on some formula
From: (Rob Warnock)
Date: Tue, 02 Jun 2009 19:49:38 -0500
Newsgroups: comp.lang.lisp
Message-ID: <>
<> wrote:
| (Thomas A. Russ) wrote:
| > But if one decided that for simplicity it was better not to have
| > separate fixnum and bignum implementations, I don't see where the spec
| > would prevent one from doing so.
| >
| > This is, as far as I know, though a purely theoretical possibility.
| > I don't know of any implementations that have followed this route.
| None that are conforming implementations.  See
| and note that fixnum must be at least a supertype of (signed-byte 16).
| ... Note also that according to the definition of most-positive-fixnum,
| if you choose too small a set you end up with _very_ small array
| dimensions... :-)

Indeed! It's not only that individual indices of arrays must be
non-negative fixnums:

but, worse still, ARRAY-TOTAL-SIZE-LIMIT is a fixnum!!

So I'll take rather large fixnums, thank you very much!!  ;-}  ;-}


Rob Warnock			<>
627 26th Avenue			<URL:>
San Mateo, CA 94403		(650)572-2607