[Top][All Lists]

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

Re: Merging Guile-R6RS-Libs in `master'

From: Julian Graham
Subject: Re: Merging Guile-R6RS-Libs in `master'
Date: Wed, 22 Apr 2009 16:10:37 -0400

>> Besides that, I don't think that phasing has any practical implication,
>> given the loopholes in the spec -- the set of bindings that a module
>> needs can be determined for *all* phases. That is to say, there is one
>> set of bindings that satisfies the needs of the spec for all phases of
>> evaluation of a module. Bindings needed at expansion time will be
>> present at runtime, but that's allowed.
> I didn't know the spec was so permissive.  Given that, indeed, R6'
> module system is a subset of Guile's.

Yeah, it's kind of amazing: It takes several pages to lay out a rich,
complex description of binding visibility and instantiation timing and
then rolls it all back in a paragraph at the end that basically says,
"Of course, implementations are free to disregard all of this."

reply via email to

[Prev in Thread] Current Thread [Next in Thread]