Uncaught error in const folding of MAP with type parameter *
Bug #1740975 reported by
Paul F. Dietz
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| SBCL |
Fix Released
|
Undecided
|
Unassigned | ||
Bug Description
(lambda () (map '* #'+ #(1) #(2)))
==>
VALUES type illegal in this context:
*
[Condition of type SIMPLE-ERROR]
[...]
0: (SB-KERNEL:
1: (SB-KERNEL:
2: (SUBTYPEP * VECTOR #<unused argument>)
3: ((FLET SB-C::1SUBTYPEP :IN "SYS:SRC;
4: ((SB-C:DEFTRANSFORM SB-KERNEL:%MAP) #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME SB-KERNEL:%MAP :TYPE #1=#<SB-
[...]
Revision history for this message
| Paul F. Dietz (paul-f-dietz) wrote | #1 |
Revision history for this message
| Stas Boukarev (stassats) wrote | #2 |
| Changed in sbcl: | |
| status: | New → Fix Committed |
| Changed in sbcl: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
The bug also occurs with VALUES
(lambda () (map '(values) #'+ #(1) #(2))) ==> compile time error