Uncaught error in const folding of MAP with type parameter *

Bug #1740975 reported by Paul F. Dietz on 2018-01-03
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

(lambda () (map '* #'+ #(1) #(2)))

==>

VALUES type illegal in this context:
 *
   [Condition of type SIMPLE-ERROR]
[...]
  0: (SB-KERNEL::SPECIFIER-TYPE-R (* . T) *)
  1: (SB-KERNEL:SPECIFIER-TYPE *)
  2: (SUBTYPEP * VECTOR #<unused argument>)
  3: ((FLET SB-C::1SUBTYPEP :IN "SYS:SRC;COMPILER;SEQTRAN.LISP") * VECTOR)
  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-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED..
[...]

Paul F. Dietz (paul-f-dietz) wrote :

The bug also occurs with VALUES

(lambda () (map '(values) #'+ #(1) #(2))) ==> compile time error

Stas Boukarev (stassats) wrote :

In ccb22e7f0db70fd37eccb32e7f124ef6bd7fa032.

Changed in sbcl:
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers