[r6rs-discuss] [Formal] Remove DEFINE and BEGIN^F from formal semantics

[AndrevanTonder]

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
>
>