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 <andre_at_het.brown.edu> 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 <andre_at_het.brown.edu> wrote:
> >> ---
> >> 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
> >> 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
> >> r6rs-discuss_at_lists.r6rs.org
> >> http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
> >>
> >
> > _______________________________________________
> > r6rs-discuss mailing list
> > r6rs-discuss_at_lists.r6rs.org
> > http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
> >
> >
>
Received on Thu Mar 15 2007 - 12:28:24 UTC