[r6rs-discuss] [Formal] combine syntactic record layers

[R. Kent Dybvig]

---
This message is a formal comment which was submitted to formal-comment at r6rs.org, following the requirements described at: http://www.r6rs.org/process.html
---
name:      Kent Dybvig
email:     dyb at cs.indiana.edu
type:      defect
priority:  minor
component: records libraries
version:   5.92

Summary: combine syntactic record layers

Description:

Having two syntactic record libraries in the report gives the appearance
of language bloat without added expressiveness, since the explicit-naming
layer is a strict subset of the implicit-naming layer.

An equivalent of the (r6rs records explicit) library can be defined as a
wrapper for the (r6rs records implicit) library, perhaps as a SRFI that
can be used when programmers wish to be sure that no names are being
generated implicitly.

Proposal:

Eliminate the explicit-naming layer, leaving the report with one syntactic
layer, presumably called (r6rs records syntactic).