4 ms·
As of the current draft, define-record-type is disjoint. They're "distinct from all existing types" and explicitly mentioned as being disjoint in the notes.
by oddthink 15y ago
As of the current draft, define-record-type is disjoint. They're "distinct from all existing types" and explicitly mentioned as being disjoint in the notes.
- gchpaco 15y agoAh! Well, that certainly improves things; either I misread the draft or that language wasn't there when I looked.