(:start index) (:end sequence-end)) sequence
(unsafe)
:derive-type #'result-type-first-arg
- :destroyed-constant-args (nth-constant-nonempty-sequence-args 1))
+ :destroyed-constant-args (nth-constant-nonempty-sequence-args 1)
+ :result-arg 0)
(defknown replace (sequence sequence &rest t &key (:start1 index)
(:end1 sequence-end) (:start2 index) (:end2 sequence-end))
sequence ()
:derive-type #'result-type-first-arg
- :destroyed-constant-args (nth-constant-nonempty-sequence-args 1))
+ :destroyed-constant-args (nth-constant-nonempty-sequence-args 1)
+ :result-arg 0)
(defknown remove
(t sequence &rest t &key (:from-end t) (:test callable)
(&key (:test callable) (:size unsigned-byte)
(:rehash-size (or (integer 1) (float (1.0))))
(:rehash-threshold (real 0 1))
+ (:hash-function (or null callable))
(:weakness (member nil :key :value :key-and-value :key-or-value))
(:synchronized t))
hash-table
(defknown fill-pointer (vector) index (foldable unsafely-flushable))
(defknown vector-push (t vector) (or index null) ()
:destroyed-constant-args (nth-constant-args 2))
-(defknown vector-push-extend (t vector &optional index) index ()
+(defknown vector-push-extend (t vector &optional (and index (integer 1)))
+ index ()
:destroyed-constant-args (nth-constant-args 2))
(defknown vector-pop (vector) t ()
:destroyed-constant-args (nth-constant-args 1))
(:external-format keyword))
t)
-(defknown directory (pathname-designator &key (resolve-symlinks t))
+(defknown directory (pathname-designator &key (:resolve-symlinks t))
list ())
\f
;;;; from the "Conditions" chapter:
\f
;;;; miscellaneous extensions
+(defknown symbol-global-value (symbol) t ())
+(defknown set-symbol-global-value (symbol t) t ())
+
(defknown get-bytes-consed () unsigned-byte (flushable))
(defknown mask-signed-field ((integer 0 *) integer) integer
(movable flushable foldable))