[armedbear-devel] ABCL bug report: defstruct :include with :conc-name

[Juliusz Chroboczek]

Hi.  The following bug in abcl breaks CL-Yacc.

Consider the following:

    (defstruct item
      a)

    (defstruct (item1
                 (:include item)
                 (:conc-name item-))
      b)

    (defun abcl-bug ()
      (item-a (make-item :a 'a)))

According to the last paragraph of the description of the description
of :conc-name in the defstruct section of the CLHS, this is legal.
However, abcl says:

   ABCL-BUG(6): (abcl-bug)
   #<THREAD "interpreter" {108F8E0}>: Debugger invoked on condition of type
   SIMPLE-TYPE-ERROR
     The value #<ABCL-BUG::ITEM {537935}> is not of type ABCL-BUG::ITEM1.
   Restarts:
     0: TOP-LEVEL Return to top level.
   [1] ABCL-BUG(7):

Regards,

                                        Juliusz