| 2008-12-17 20:09:16 |
Nikodemus Siivola |
bug |
|
|
added bug |
| 2008-12-19 13:53:32 |
Nikodemus Siivola |
sbcl: status |
New |
Confirmed |
|
| 2008-12-19 13:53:32 |
Nikodemus Siivola |
sbcl: importance |
Undecided |
High |
|
| 2008-12-19 13:53:32 |
Nikodemus Siivola |
sbcl: statusexplanation |
|
|
|
| 2008-12-22 12:20:24 |
Nikodemus Siivola |
sbcl: importance |
High |
Low |
|
| 2008-12-22 12:20:24 |
Nikodemus Siivola |
sbcl: statusexplanation |
|
Dropping to LOW: misread the meaning of the bug. |
|
| 2008-12-22 12:41:42 |
Nikodemus Siivola |
bug |
|
|
added attachment 'bug-268.patch' (bug-268.patch) |
| 2009-05-06 13:40:07 |
Nikodemus Siivola |
description |
The following code must signal type error:
(locally (declare (optimize (safety 3)))
(flet ((foo (x &optional (y (car x)))
(declare (optimize (safety 0)))
(list x y)))
(funcall (eval #'foo) 1))) |
The following code must signal type error:
(locally (declare (optimize (safety 3)))
(flet ((foo (x &optional (y (car x)))
(declare (optimize (safety 0)))
(list x y)))
(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
|
|
| 2009-05-06 13:49:21 |
Nikodemus Siivola |
sbcl: importance |
Low |
Medium |
|
| 2009-05-06 14:56:45 |
Nikodemus Siivola |
attachment added |
|
bug-268-2.patch http://launchpadlibrarian.net/26396253/bug-268-2.patch |
|
| 2014-06-09 21:16:20 |
Christophe Rhodes |
attachment added |
|
foo.diff https://bugs.launchpad.net/sbcl/+bug/309125/+attachment/4128465/+files/foo.diff |
|
| 2014-06-11 11:11:08 |
Christophe Rhodes |
attachment added |
|
fix-309125-and-tests.patch https://bugs.launchpad.net/sbcl/+bug/309125/+attachment/4129578/+files/fix-309125-and-tests.patch |
|
