failed AVER: (NOT (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA))

Bug #1741899 reported by Paul F. Dietz on 2018-01-08
This bug report is a duplicate of:  Bug #1523149: XEPs, let conversion, and inlining. Edit Remove
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

(lambda (y)
  (let* ((z (some (lambda (x) x) (not y))))
    (when z (f100))))

===>

failed AVER:
    (NOT
     (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA))
[...]
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (NOT (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA)))
  1: (SB-IMPL::%FAILED-AVER (NOT (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA)))
  2: (SB-C::DELETE-LAMBDA #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (SB-C::TL-XEP (LAMBDA # :IN "/home/dietz/g/f/f.lsp")) :KIND :EXTERNAL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (re..
  3: (SB-C::DELETE-BLOCK #<SB-C::CBLOCK 24 :START c1 {1009064B13}> NIL)
[...]

description: updated
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers