Ticket #683 (closed defect: fixed)

Opened 4 years ago

Last modified 4 years ago

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

comment:1 Changed 4 years ago by gz

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

(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.