[r6rs-discuss] Error in phases note

[Michael Sperber]

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