218 |
(and (integerp (car xy)) |
(and (integerp (car xy)) |
219 |
(integerp (cadr xy)) |
(integerp (cadr xy)) |
220 |
(equal (car xy) (cadr xy)) (car xy)))) |
(equal (car xy) (cadr xy)) (car xy)))) |
221 |
(mapcar 'sequence-type-length-type-int (cdr type))))))) |
(mapcar 'sequence-type-length-type-int (cdr type)))))) |
222 |
|
|
223 |
(defun sequence-type-length-type (type) |
(defun sequence-type-length-type (type) |
224 |
(sequence-type-length-type-int (normalize-type-int type nil))) |
(sequence-type-length-type-int (normalize-type-int type nil))) |
398 |
(defun non-standard-base-char-p (x) |
(defun non-standard-base-char-p (x) |
399 |
(and (characterp x) (not (standard-char-p x)))) |
(and (characterp x) (not (standard-char-p x)))) |
400 |
|
|
401 |
|
(defun proper-listp (x) |
402 |
|
(and (listp x) |
403 |
|
(do ((x x (cdr x))) ((not (consp x)) (not x))))) |
404 |
|
|
405 |
|
(deftype proper-list () `(satisfies proper-listp)) |
406 |
|
|
407 |
(deftype extended-char () nil) |
(deftype extended-char () nil) |
408 |
(deftype base-char () `(or standard-char non-standard-base-char)) |
(deftype base-char () `(or standard-char non-standard-base-char)) |
409 |
(deftype character () `(or base-char extended-char)) |
(deftype character () `(or base-char extended-char)) |