53 |
(case type |
(case type |
54 |
((fixnum bignum) `(integer ,thing ,thing)) |
((fixnum bignum) `(integer ,thing ,thing)) |
55 |
((short-float long-float symbol) type) |
((short-float long-float symbol) type) |
56 |
(cons `(cons ,(object-type (car thing)) ,(and (cdr thing) (object-type (cdr thing))))) |
(cons `(cons ,(object-type (car thing)) ,(if (cdr thing) (object-type (cdr thing)) 'null))) |
57 |
(keyword 'symbol) |
(keyword 'symbol) |
58 |
((string-char standard-char character) 'character) |
((string-char standard-char character) 'character) |
59 |
((string bit-vector) type) |
((string bit-vector) type) |
139 |
; '(signed-char unsigned-char signed-short unsigned-short fixnum integer) |
; '(signed-char unsigned-char signed-short unsigned-short fixnum integer) |
140 |
'(fixnum integer) |
'(fixnum integer) |
141 |
:test #'type<=))))) |
:test #'type<=))))) |
142 |
(or ct type)))) |
(cond (ct) |
143 |
|
; ((eq type 'boolean)) |
144 |
|
(type))))) |
145 |
|
; (or ct type)))) |
146 |
; (if (integer-typep type) |
; (if (integer-typep type) |
147 |
; (cond ;((subtypep type 'signed-char) 'signed-char) |
; (cond ;((subtypep type 'signed-char) 'signed-char) |
148 |
; ((subtypep type 'fixnum) 'fixnum) |
; ((subtypep type 'fixnum) 'fixnum) |