AndrevanTonder <[EMAIL PROTECTED]> writes: > 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.
Right. I've removed the note, and added a weaker statement to the rationale document. Thanks! -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
