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

Re: [Scheme-reports] Formal Comment: clarify library loading rules

   Date: Mon, 02 Jul 2012 15:30:57 -0400
   From: Aaron W. Hsu <arcfide@x>

   Richard Kelsey <kelsey@x> wrote:

   > What I was trying to do was to make it possible to import the same
   > binding, from the same instantiation, under multiple names.  A more
   > direct way to do this would be to add
   >  (alias <import set> (<identifier1> <identifier2>) ...)

   The current way you would do this is something like the following:

   (import (...) (rename (...) (<id> <id2>)))

   In any Scheme that I know of, this will result in the same binding
   with different names for any given "phase." You may get different
   bindings at different levels, but you will get the same binding at the
   same level.

I'm not surprised.  What I would like to do is to get the report to
provide a mechanism that will always work.  That can be done for

 (import (...) (rename (...) (<id> <id2>)))

by discussing levels and putting constraints on how many times the
library is instantiated.  The 'alias' form avoids all that, which
seems like a better fit for R7RS.
                                       -Richard Kelsey

Scheme-reports mailing list