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)
> (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
Received on Thu Sep 20 2007 - 10:54:12 UTC