-
-;;; the maximum an index will ever become. Well, actually,
-;;; just a bound on it so we can define a type. There is no real hard
-;;; limit on indexes, but we will run out of memory sometime.
-(defconstant max-index (1- most-positive-fixnum))
-
-(deftype index ()
- `(integer 0 ,max-index))
-
-;;; like MAX-INDEX, except for positions
-(defconstant max-posn (1- most-positive-fixnum))
-
-(deftype posn ()
- `(integer 0 ,max-posn))
-