chicken-janitors
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Chicken Trac
Subject: [Chicken-janitors] #1633: define-record-type does not check constructor arguments
Date: Sun, 14 Jul 2019 20:42:05 -0000

#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
 Keywords:  define-record-           |  Estimated difficulty:  easy
  type,macro,record types            |
-------------------------------------+-------------------------------------
 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).

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]