Multiple values declarations with THE are ignored
Bug #938404 reported by
Gustavo
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| SBCL |
Invalid
|
Undecided
|
Unassigned | ||
Bug Description
Declarations of the type (the (values ...) ...) are not checked. For instance, no error is given in this call:
CL-USER> (defun frob ()
(declare (optimize safety (speed 0)))
#'+ (the (values integer list) (values 1 2))))
FROB
CL-USER> (frob)
3
Although that is not against the spec, SBCL should be able to detect it.
| tags: | added: types |
Revision history for this message
| Stas Boukarev (stassats) wrote | #1 |
| Changed in sbcl: | |
| status: | New → Invalid |
Revision history for this message
| Gustavo (gugamilare) wrote | #2 |
To post a comment you must log in.
Can't reproduce, gives a compile-time warning and a run-time error.