Alan Watson <xxxxxx@astrosmo.unam.mx> writes:

> Marcin 'Qrczak' Kowalczyk wrote:
>> Declaring types of identifiers is not enough, because it can't express
>> the wish to ignore any fixnum overflow and assume that the result will
>> fit in a fixnum.
>
> Common Lisp get around this by allowing one to specify the range as
> part of the type.

Not only that, but you can say (the fixnum <expr>).

--
   __("<         Marcin Kowalczyk
   \__/       xxxxxx@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/