---
This message is a formal comment which was submitted to [EMAIL PROTECTED],
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
Dependencies: None
Summary:
--------
DEFINE and BEGIN^F have no place in the formal semantics, needlessly complicate
the latter, and should be removed.
Description:
------------
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).
Suggestion:
-----------
Remove DEFINE and BEGIN^F from formal semantics.
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
