:ref-known (flushable foldable)
:set-trans (setf %array-displacement)
:set-known (unsafe))
- (displaced-p :type (member t nil)
+ (displaced-p :type t
:ref-trans %array-displaced-p
:ref-known (flushable foldable)
:set-trans (setf %array-displaced-p)
:ref-trans %array-displaced-from
:ref-known (flushable)
:set-trans (setf %array-displaced-from)
- :set-known (unsafe)
- :cas-trans %compare-and-swap-array-displaced-from
- :cas-known (unsafe))
+ :set-known (unsafe))
(dimensions :rest-p t))
(define-primitive-object (vector :type vector
;; first data slot, and if you subtract 7 you get a symbol header.
;; also the CAR of NIL-as-end-of-list
- (value :init :unbound :ref-known (flushable) :ref-trans symbol-global-value)
+ (value :init :unbound
+ :set-trans %set-symbol-global-value
+ :set-known (unsafe))
;; also the CDR of NIL-as-end-of-list. Its reffer needs special
;; care for this reason, as hash values must be fixnums.
(hash :set-trans %set-symbol-hash)