define-record-type allows 'extra' syntax
Bug #433149 reported by
leppie
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Ikarus Scheme |
New
|
Undecided
|
Unassigned |
Bug Description
Hi
Some minor 'extra' syntax that define-record-type allows, but should not.
(protocol)
(protocol #f) ; breaks evaluation rule
(protocol x x ...)
(sealed)
(sealed #t x) ; unexpected behavior
(sealed x x ...)
(opaque)
(opaque #t x) ; unexpected behavior
(opaque x x ...)
Examples of what goes through:
(define-record-type foo (protocol))
(define-record-type foo (protocol a b c))
(define-record-type foo (opaque #t 1))
(define-record-type foo (opaque foo))
Unexpected behaviour is just my opinion. :)
Cheers
leppie