How is this different than the other formal comment about the top-level you submitted? It seems to be another argument for that one?
Thanks, Robby On 3/14/07, AndrevanTonder <[EMAIL PROTECTED]> wrote:
--- 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
_______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
