:derive-type (result-type-specifier-nth-arg 2))
(defknown list-to-simple-string* (list) simple-string)
(defknown list-to-bit-vector* (list) bit-vector)
-(defknown list-to-vector* (list type) vector)
+(defknown list-to-vector* (list type-specifier) vector)
(defknown list-to-simple-vector* (list) simple-vector)
-(defknown vector-to-vector* (vector type) vector)
+(defknown vector-to-vector* (vector type-specifier) vector)
(defknown vector-to-simple-string* (vector) vector)
(defknown type-of (t) t (foldable flushable))
(sb!xc:deftype package-designator () '(or stringable sb!xc:package))
(sb!xc:deftype symbols () '(or list symbol))
-;;; Should allow a package name, I think, tho CLtL II doesn't say so...
(defknown gentemp (&optional string package-designator) symbol)
(defknown make-package (stringable &key
(character character callable &optional readtable) function
(unsafe))
(defknown get-dispatch-macro-character
- (character character &optional (or readtable null)) callable
- (flushable))
+ (character character &optional (or readtable null)) (or callable null)
+ ())
;;; may return any type due to eof-value...
(defknown (read read-preserving-whitespace read-char-no-hang read-char)