[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] 5. Program Structure
Andy Wingo scripsit:
> I think the division of valid kinds of declarations as "variable
> definitions, syntax definitions, or record-type definitions" is pretty
> nasty. I don't see why record-type definitions can't be defined as a
> sequence of variable and syntax definitions.
The (IMHO ill-conceived) distinction between primitive and derived
syntax maintained by the R5RS has not been introduced into definitions,
library declarations, or procedures. It's true that a record type
definition MAY be expanded to a sequence of syntax definitions and
variable definitions, but there is no requirement that this be so:
it may be treated as a co-equal primitive form.
John Cowan <cowan@x> http://www.ccil.org/~cowan
Charles li reis, nostre emperesdre magnes,
Set anz totz pleinz ad ested in Espagnes.
Scheme-reports mailing list