Opened 10 years ago

Closed 9 years ago

#636 closed defect (fixed)

DEFSTRUCT BOA constructors, &aux, and slot typechecking

Reported by: gb Owned by: rme
Priority: normal Milestone:
Component: ANSI CL Compliance Version: trunk
Keywords: defstruct Cc:

Description

(reported on #ccl)

(defstruct (foo (:constructor make-foo (&aux x)))
  (x nil :type fixnum))

(make-foo) ; shouldn't signal a TYPE-ERROR, per bizarre nonsense in 3.4.6

Change History (4)

comment:1 Changed 10 years ago by gb

  • Summary changed from DEFSTRUCT BOA constructurs, &aux, and slot typechecking to DEFSTRUCT BOA constructors, &aux, and slot typechecking

comment:2 Changed 10 years ago by rme

  • Keywords defstruct added

comment:3 Changed 9 years ago by rme

  • Owner changed from gb to rme
  • Status changed from new to assigned

comment:4 Changed 9 years ago by rme

  • Resolution set to fixed
  • Status changed from assigned to closed

(In [14504]) In DEFSTRUCT-BOA-CONSTRUCTOR, treat &aux in boa lambda lists specially with respect to slot type-checking, per 3.4.6 in the spec.

Fixes ticket:636.

Note: See TracTickets for help on using tickets.