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:09:59 UTC