question about type specifiers

I notice in impnotes 4.1.1. that type-of can return
 (INTEGER #.MOST-NEGATIVE-FIXNUM (0))
 (INTEGER (#.MOST-POSITIVE-FIXNUM))
 (INTEGER * (#.MOST-NEGATIVE-FIXNUM))
but I'm having trouble finding any documentation of what these 
are supposed to mean.
If these are supposed to describe negative fixnums and
positive and negative bignums,
it seems to me they ought to be
 (INTEGER #.MOST-NEGATIVE-FIXNUM -1)
 (INTEGER #.(+ MOST-POSITIVE-FIXNUM 1)) and
 (INTEGER * #.(- MOST-NEGATIVE-FIXNUM 1))

The only other place I've found so far that shows lists used as
upper or lower limits is in
https://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node50.html
(which I gather is NOT ansi):
(mod n)
    Denotes the set of non-negative integers less than n. This is
    equivalent to (integer 0 n-1) or to (integer 0 (n)). 

but I still see no explanation of (n) as a limit.

Is there some documentation I'm not finding, or are the specifiers
wrong, or what?


------------------------------------------------------------------------------
_______________________________________________
clisp-list mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/clisp-list