wrong free declaration scope
Bug #309125 reported by
Nikodemus Siivola
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Confirmed
|
Medium
|
Unassigned |
Bug Description
The following code must signal type error:
(locally (declare (optimize (safety 3)))
(flet ((foo (x &optional (y (car x)))
(funcall (eval #'foo) 1)))
This also affects LET* (but not LET):
(defun foo (x)
(declare (optimize safety))
(let* ((z (the symbol x))
(y z))
(declare (optimize (safety 0)))
(symbolp y)))
(foo 42) => T
Changed in sbcl: | |
importance: | Undecided → High |
status: | New → Confirmed |
description: | updated |
To post a comment you must log in.
Dropping to LOW: misread the meaning of the bug.