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 |
(when (consp type) (sequence-type-length-type-int (normalize-type-int type nil)))) |
(cond ((eq type 'null) `(eql 0));;FIXME accelerators |
225 |
|
((eq type 'cons) `(integer 1)) |
226 |
|
((consp type) (sequence-type-length-type-int (normalize-type-int type nil))))) |
227 |
|
|
228 |
(defun sequence-type-element-type-int (type) |
(defun sequence-type-element-type-int (type) |
229 |
(case (car type) |
(case (car type) |