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.
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
