Dropping the top-level would also end up dropping define and begin^f, since they are only used at the top-level.
Robby On 3/15/07, AndrevanTonder <[EMAIL PROTECTED]> wrote:
That comment suggested dropping the unnecessary semantics for libraries of section 10.9, and did not address DEFINE and BEGIN^F as used in the rest of the formal semantics. There are indeed many mentions and uses of DEFINE and BEGIN^F in the preceding sections. On Thu, 15 Mar 2007, Robby Findler wrote: > 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 > >
_______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
