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

[Robby Findler]

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
>