Type mismatch causes a compiler error
Bug #1430912 reported by
Stas Boukarev
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Medium
|
Unassigned |
Bug Description
(defun foo (a b)
(loop for x across (cons a b)
sum x))
=>
The value NIL is not of type (AND ATOM (NOT NULL)).
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Reduced:
(defun foo ()
(declare (ignore args))
(macrolet ((x (&rest args)
a))
(let (a)
(declare (type vector a))
(x #.#'list))))