Opened 10 years ago

Closed 10 years ago

#683 closed defect (fixed)

DEFSTRUCT slot type checking and complex FUNCTION types

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

Description

? (defun required-argument () (error "missing slot initform"))

? (defstruct foo
    (a (required-argument) :type (function (integer) t)))

? (make-foo :a #'oddp)
=> whoops.

Change History (1)

comment:1 Changed 10 years ago by gz

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

(In [13696]) in defstruct constructors, wrap-with-type-check => wrap-with-type-declaration (whether that turns into a type check is controlled by the same settings as any other declaration). Fixes ticket:683

Note: See TracTickets for help on using tickets.