Opened 5 years ago

Closed 5 years ago

#1633 closed defect (fixed)

define-record-type does not check constructor arguments

Reported by: sjamaan Owned by: sjamaan
Priority: major Milestone: 5.2
Component: unknown Version: 5.1.0
Keywords: define-record-type, macro, record types Cc:
Estimated difficulty: easy

Description (last modified by sjamaan)

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

Change History (2)

comment:1 Changed 5 years ago by sjamaan

Description: modified (diff)

comment:2 Changed 5 years ago by Kooda

Resolution: fixed
Status: newclosed

Fixed by 721d8a592bb07c91eb093051d922c825b230a9b0

Note: See TracTickets for help on using tickets.