[r6rs-discuss] [Formal] Minor wording issues

From: Andre van Tonder <andre>
Date: Tue Mar 6 11:20:27 2007

A couple more nitpicks:

In section 9.5.4:

   <Variable> must be bound either in some region enclosing the set!
   expression or at the top level of a library body.

  - As I have argued, I believe this is redundant, since the toplevel
    of a library body (or for that matter of a toplevel program, which
    is omitted here) is a region in which bindings are local in the same
    sense that letrec* bindings are local. I would suggest dropping the second
    part of the sentence starting with "or". If it is not dropped, the case
    of toplevel program should perhaps also be stated.

In section 6:

This section contains various statements about "importing libraries" that are
presumably also intended to be true if the importing entity is a toplevel
program. Perhaps this should be stated.
Received on Tue Mar 06 2007 - 11:19:54 UTC