Re: Library semantics - higher level imports

[Andre van Tonder <andre@xxxxxxxxxxxxxxxxx>]

On Sun, 4 Dec 2005, Andre van Tonder wrote:

> The change in the semantics would then be:
>
> To visit a library at phase N:
>
>    * Visit at phase N any library that is imported by this library
>      for ... (phase 0), and that is not yet visited at phase N.
> [MODIFIED]
>    * For each k >= 1, invoke at phase N+k any library that is imported
>      by this library for .... (phase k), and that is not yet invoked at
>      phase N+k.
> [ADDED]
>    * For each k >= 1, visit at phase N+1 any library that is imported by
>      this library for .... (phase k), and that is not yet visited at phase
>      N+k.
>    * Evaluate all syntax definitions within the library.
>      (Top-level expressions are not evaluated, and the right-hand sides
>      of variable definitions are not evaluated.)

Sorry, there was a misprint.  This should be

To visit a library at phase N:

    * Visit at phase N any library that is imported by this library
      for ... (phase 0), and that is not yet visited at phase N.
 [MODIFIED]
    * For each k >= 1, invoke at phase N+k any library that is imported
      by this library for .... (phase k), and that is not yet invoked at
      phase N+k.
 [ADDED] [CORRECTED MISPRINT]
    * For each k >= 1, visit at phase N+k any library that is imported by
      this library for .... (phase k), and that is not yet visited at phase
      N+k.
    * Evaluate all syntax definitions within the library.
      (Top-level expressions are not evaluated, and the right-hand sides
      of variable definitions are not evaluated.)