[r6rs-discuss] [Formal] Minor wording issues

Andre van Tonder andre at het.brown.edu
Tue Mar 6 11:19:54 EST 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.







More information about the r6rs-discuss mailing list