Re: [Chicken-janitors] #1633: define-record-type does not check constructor arguments

[Chicken Trac]

#1633: define-record-type does not check constructor arguments
-------------------------------------+-------------------------------------
            Reporter:  sjamaan       |      Owner:  sjamaan
                Type:  defect        |     Status:  new
            Priority:  major         |  Milestone:  5.2
           Component:  unknown       |    Version:  5.1.0
          Resolution:                |   Keywords:  define-record-
Estimated difficulty:  easy          |  type,macro,record types
-------------------------------------+-------------------------------------
Description changed by sjamaan:

Old description:

> Pointed out by Zepheir on IRC:
>
> {{{
> #;1> (define-record-type <wrong> (wrong value) wrong? (valur wrong-
> value))
> #;2> (wrong-value (wrong 10)) => #<unspecified>
> }}}
>
> This should probably be an expansion time error, that {{{value}}} doesn't
> exist (notice the type in the {{{valur}}} attribute).

New description:

 Pointed out by Zipheir on IRC:

 {{{
 #;1> (define-record-type <wrong> (wrong value) wrong? (valur wrong-value))
 #;2> (wrong-value (wrong 10)) => #<unspecified>
 }}}

 This should probably be an expansion time error, that {{{value}}} doesn't
 exist (notice the type in the {{{valur}}} attribute).

--

--
Ticket URL: <https://bugs.call-cc.org/ticket/1633#comment:1>
CHICKEN Scheme <https://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.