[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Library semantics - higher level imports

This page is part of the web mail archives of SRFI 83 from before July 7th, 2015. The new archives for SRFI 83 contain all messages, not just those from before July 7th, 2015.



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.)