Failed AVER with dynamic extent, mismatched THE form
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
(defun f54 ()
(let* ((v (cons 0 (catch 'ct (the integer nil)))))
(declare (dynamic-extent v))
(flet ((%f (x) 1))
(%f (cdr v)))))
==>
failed AVER:
(EQ (SB-C::
[...]
0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (EQ (SB-C::
1: (SB-IMPL:
2: ((FLET SB-C::DO-1-USE :IN SB-C::FIND-
3: (SB-C::
Changed in sbcl: | |
assignee: | nobody → Stas Boukarev (stassats) |
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
In 2abd80cb5a227dc 756b815daa38a07 1b3b67f26c