[r6rs-discuss] Error in phases note
sperber at informatik.uni-tuebingen.de
Thu Sep 20 10:54:12 EDT 2007
AndrevanTonder <andre at het.brown.edu> 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)
> (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
More information about the r6rs-discuss