wanted: DESTRUCTURING-BIND to signal note on arg-count-error at compile-time
Bug #327537 reported by
Tobias C. Rittweiler
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Won't Fix
|
Wishlist
|
Douglas Katzman |
Bug Description
The following does not emit a compiler-note
(deftype list-of-length (n &optional type)
(if (zerop n)
`null
`(cons ,type (list-of-length ,(1- n)))))
(declaim (ftype (function (t t) (list-of-length 2)) bar))
(defun bar (x y)
(list x y))
(defun foo ()
(destructur
(list :x x :y y :z z)))
The reason is lacking compiler-smartness for sb-int:
(When fixing this, the changset from 1.0.19.30 may have to be reconsidered.)
description: | updated |
Changed in sbcl: | |
importance: | Undecided → Wishlist |
status: | New → Confirmed |
Changed in sbcl: | |
assignee: | nobody → Tobias C. Rittweiler (tcr) |
Changed in sbcl: | |
assignee: | Tobias C. Rittweiler (tcr) → Douglas Katzman (dougk) |
To post a comment you must log in.
Some initial experiments based on suggestions by pkhuong can be found at https:/ /github. com/scymtym/ sbcl/tree/ wip-smarter- destructuring- bind.