Skip to content

Commit

Permalink
Give the temporary value in assure a more helpful name
Browse files Browse the repository at this point in the history
  • Loading branch information
ruricolist committed Mar 8, 2024
1 parent ad22beb commit da8ee8a
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions types.lisp
Original file line number Diff line number Diff line change
Expand Up @@ -203,11 +203,11 @@ From ISLISP."
#+sbcl
;; For SBCL, create a temporary binding so SBCL will print a
;; warning if it can infer the declared type is wrong.
(with-unique-names (temp)
`(let ((,temp ,form))
(declare (type ,type-spec ,temp))
(with-unique-names (assure-temp)
`(let ((,assure-temp ,form))
(declare (type ,type-spec ,assure-temp))
;; `values' is hand-holding for SBCL.
(the ,type-spec (values (require-type ,temp ',type-spec)))))
(the ,type-spec (values (require-type ,assure-temp ',type-spec)))))
#-sbcl
`(the ,type-spec (require-type ,form ',type-spec)))))

Expand Down

0 comments on commit da8ee8a

Please sign in to comment.