I don't think this statement is 100% correct:
Note: If a program and its libraries avoid the (rnrs (6)) and (rnrs
syntax-case (6)) libraries,
and if the program and libraries never use the for import form, then
the
program does not depend on whether
instances are distinguished across phases, and the phase of an
identifier's use cannot be inconsistent with the
identifier's level.
I think this is a counterexample:
(library (foo)
(export)
(import (rnrs base))
(define-syntax bar (lambda (e) 1)))
The use of lambda at level 1 is inconsistent with its level, and this code
would be accepted by some conforming implementations, yet the conditions
stated in the note are not sufficient to avoid this.
Andre
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
