simple-string (flushable))
(defknown (string-trim string-left-trim string-right-trim)
- (sequence string-designator) simple-string (flushable))
+ (sequence string-designator) string (flushable))
(defknown (string-upcase string-downcase string-capitalize)
(string-designator &key (:start index) (:end sequence-end))
&key
(:verbose t)
(:print t)
- (:if-does-not-exist (member :error :create nil))
+ (:if-does-not-exist t)
(:external-format keyword))
t)
function
(flushable foldable))
+(defknown %adjoin (t list) list (explicit-check foldable flushable))
+(defknown %adjoin-key (t list function) list (explicit-check foldable flushable call))
+(defknown %assoc (t list) list (explicit-check foldable flushable))
+(defknown %assoc-key (t list function) list (explicit-check foldable flushable call))
+(defknown %member (t list) list (explicit-check foldable flushable))
+(defknown %member-key (t list function) list (explicit-check foldable flushable call))
+(defknown %rassoc (t list) list (explicit-check foldable flushable))
+(defknown %rassoc-key (t list function) list (explicit-check foldable flushable call))
+
(defknown %check-vector-sequence-bounds (vector index sequence-end)
index
(unwind))
(flushable))
(defknown compiler-error (t &rest t) nil ())
-(defknown (compiler-warn compiler-style-warn) (string &rest t) (values) ())
+(defknown (compiler-warn compiler-style-warn) (t &rest t) (values) ())
(defknown (compiler-notify maybe-compiler-notify) ((or string symbol) &rest t)
(values)
())
-(defknown style-warn (string &rest t) null ())
+(defknown style-warn (t &rest t) null ())
;;;; atomic ops
(defknown %compare-and-swap-svref (simple-vector index t t) t