[r6rs-discuss] Error in phases note

From: AndrevanTonder <andre>
Date: Thu, 13 Sep 2007 11:49:20 -0400 (EDT)

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
Received on Thu Sep 13 2007 - 11:49:20 UTC