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.
Can't reproduce, gives a compile-time warning and a run-time error.