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
