Re: [Scheme-reports] Formal Comment: clarify library loading rules
Richard Kelsey 02 Jul 2012 20:00 UTC
Date: Mon, 02 Jul 2012 15:30:57 -0400
From: Aaron W. Hsu <arcfide@sacrideo.us>
Richard Kelsey <kelsey@s48.org> 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
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports