The value NIL is not of type SB-C::LVAR when binding SB-C::LVAR (in constraint propagation)

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

Bug Description

(lambda (&rest r) (delete-if #'> r))

==>

The value
  NIL
is not of type
  SB-C::LVAR
when binding SB-C::LVAR
[...]
  0: (SB-C::OK-LVAR-LAMBDA-VAR NIL #S(SB-C::CONSET :VECTOR #*0011111111010000 :MIN 0 :MAX 12)) [external]
  1: (SB-C::ADD-TEST-CONSTRAINTS #<SB-C::COMBINATION :FUN #<SB-C::FUNCTION-DESIGNATOR-CAST :%TYPE-CHECK NIL :VALUE #<SB-C::LVAR 1 {10068998C3}> :ASSERTED-TYPE #<SB-KERNEL:FUN-DESIGNATOR-TYPE (SB-KERNEL:FUN..
  2: (SB-C::FIND-BLOCK-TYPE-CONSTRAINTS #<SB-C::CBLOCK 8 :START c6 {10068AD253}> NIL)
  3: (SB-C::FIND-AND-PROPAGATE-CONSTRAINTS #<SB-C:COMPONENT :NAME (LAMBDA (&REST R)) {10068A2A93}>)
  4: (SB-C::CONSTRAINT-PROPAGATE #<SB-C:COMPONENT :NAME (LAMBDA (&REST R)) {10068A2A93}>)
  5: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME (LAMBDA (&REST R)) {10068A2A93}>)
  6: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (LAMBDA (&REST R)) {10068A2A93}>)
[...]

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

(lambda (&rest r) (delete-if #'< r)) also fails, but not with #'<= or #'>=. The equivalent forms with delete-if-not all compile without error.

Stas Boukarev (stassats) on 2018-03-01
Changed in sbcl:
status: New → Fix Committed
status: Fix Committed → In Progress
Stas Boukarev (stassats) wrote :

0bc50dc2cc2da1a1b46ece922e22455c6c2f7077

Changed in sbcl:
status: In Progress → Fix Committed
Stas Boukarev (stassats) on 2018-03-31
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers