failed AVER: (EQ (SB-C::FUNCTIONAL-KIND SB-C::FUNCTIONAL) :TOPLEVEL-XEP)

Bug #1742781 reported by Paul F. Dietz on 2018-01-11
10
This bug affects 2 people
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

(defun f68 (x)
  (lambda ()
    (labels ((%s (y &rest r)
               (some
                (lambda (r) (apply #'%s (1+ y) r))
                (apply #'eql x r))))
      (%s 1))))

===>

failed AVER:
    (EQ (SB-C::FUNCTIONAL-KIND SB-C::FUNCTIONAL) :TOPLEVEL-XEP)
[...]
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (EQ (SB-C::FUNCTIONAL-KIND SB-C::FUNCTIONAL) :TOPLEVEL-XEP))
  1: (SB-IMPL::%FAILED-AVER (EQ (SB-C::FUNCTIONAL-KIND SB-C::FUNCTIONAL) :TOPLEVEL-XEP))
  2: (SB-C::IR2-CONVERT-CLOSURE #<SB-C::REF :LEAF #<SB-C::OPTIONAL-DISPATCH :%SOURCE-NAME %S :%DEBUG-NAME #1=(LABELS %S :IN F68) :TYPE #2=#<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :D..
  3: (SB-C::IR2-CONVERT-REF #<SB-C::REF :LEAF #<SB-C::OPTIONAL-DISPATCH :%SOURCE-NAME %S :%DEBUG-NAME #1=(LABELS %S :IN F68) :TYPE #2=#<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFIN..
  4: (SB-C::IR2-CONVERT-BLOCK #<SB-C::CBLOCK 13 :START c2 {100579D733}>)
 [...]

Stas Boukarev (stassats) on 2018-01-11
tags: added: ir-copy
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers