Add a folder stub for reverse-values-list

Reported by Andrew Wolven
This commit is contained in:
Stas Boukarev 2026-08-24 02:07:29 +03:00
parent 0d87331ec9
commit 6a371bf547

View file

@ -131,7 +131,11 @@
;;; represented by a call to VALUES.
(defknown values (&rest t) * (movable flushable))
(defknown values-list (list) * (movable foldable unsafely-flushable))
(defknown reverse-values-list (list index) * (movable foldable unsafely-flushable))
(defknown reverse-values-list ((read-only list) index) *
(movable foldable unsafely-flushable)
:folder (lambda (list length)
(aver (= (length list) length))
(values-list (reverse list))))
;;;; from the "Macros" chapter: