Plaster

(declaim (inline cadr*)) (defun cadr* (list) (declare (inline car cdr)) (check-type list (or null (cons t (or null cons)))) (car (cdr (list)))) (declaim (notinline cadr*)) (defun foo (new-value cons) (declare (inline rplaca cadr*)) (check-type cons (cons t (cons cons))) (rplaca (cadr* cons) new-value) new-value) CL-USER> (compile-file "bla.lisp") ; compiling file "/home/strandh/Lisp/My-Projects/GIT-ified/Constrictor/Code/bla.lisp" (written 09 APR 2023 06:50:09 AM): ; processing (DECLAIM (INLINE CADR*)) ; processing (DEFUN CADR* ...) ; processing (DECLAIM (NOTINLINE CADR*)) ; processing (DEFUN FOO ...) ; file: /home/strandh/Lisp/My-Projects/GIT-ified/Constrictor/Code/bla.lisp ; in: DEFUN FOO ; (RPLACA (CADR* CONS) NEW-VALUE) ; ; caught WARNING: ; Derived type of #:N-X5 is ; (VALUES NULL &OPTIONAL), ; conflicting with its asserted type ; CONS. ; See also: ; The SBCL Manual, Node "Handling of Types" ; ; compilation unit finished ; caught 1 WARNING condition ; wrote /home/strandh/Lisp/My-Projects/GIT-ified/Constrictor/Code/bla.fasl ; compilation finished in 0:00:00.084