[r6rs-discuss] [Formal] Remove DEFINE and BEGIN^F from formal
andre at het.brown.edu
Wed Mar 14 18:38:15 EDT 2007
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 : Andre van Tonder
Email : andre at het.brown.edu
Type : defect
Priority : medium
Component : Formal semantics
Version : 5.92
Pages : 61 and on
DEFINE and BEGIN^F have no place in the formal semantics, needlessly complicate
the latter, and should be removed.
According to the description of the expansion process in chapter 8, a fully
expanded Scheme program will not contain any occurrences of DEFINE or
BEGIN^F, /not even at program or library toplevel/.
For this reason, including these as primitives in the formal semantics does not
add any value to the formal semantics. It just needlessly complicates and
bloats it (a lot).
Remove DEFINE and BEGIN^F from formal semantics.
More information about the r6rs-discuss