define-record-type allows 'extra' syntax

Bug #433149 reported by leppie
6
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

leppie (leppie)
description: updated
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.