Uncaught error in MEMBER-IF with improper list argument

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

Bug Description

(lambda () (member-if #'(lambda (x) (evenp x)) '(1 2 3 . 4)))

==>

The value
  4
is not of type
  LIST
   [Condition of type TYPE-ERROR]

Restarts:
 0: [ABORT] Exit debugger, returning to top level.

Backtrace:
  0: ((FLET SB-IMPL::FAST-NTHCDR :IN NTHCDR) 128 (1 2 3 . 4))
  1: (SB-C::TRANSFORM-LIST-PRED-SEEK MEMBER-IF #<SB-C::LVAR 1 {100E3D90D3}> #<SB-C::LVAR 2 {100E3D8E03}> NIL #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME MEMBER-IF :TYPE #1=..
  2: ((SB-C:DEFTRANSFORM MEMBER-IF) #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME MEMBER-IF :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GL..
  3: (SB-C::IR1-TRANSFORM #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME MEMBER-IF :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBAL-FUNCT..

MEMBER-IF-NOT shows the same bug on the same arguments.

Stas Boukarev (stassats) wrote :

17871fbbfdcadf89bd33b42d285d67cef806b162

Changed in sbcl:
status: New → Fix Committed
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