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

---
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).