[r6rs-discuss] Proposed features for small Scheme, part 9: modules

[John Cowan]

Ray Dillinger scripsit:

> In the spirit of scheme, I would propose "import" as a binding
> form that is fully part of the language, which can be used 
> wherever binding forms are legal and which establishes bindings
> that respect the lexical scope in which the "import" form is 
> evaluated. And, yes, which is not limited or restricted by 
> requiring a "before macroexpansion" or "after macroexpansion" 
> condition.

I'm now inclined to a compromise, in which import can appear only in
positions that, after macro expansion, are either at the top level
or else at the top level of a module (modulo the usual begin hacks).
Note that import as specified refers to modules, not files; there is
no requirement of only one module in a file, nor is it required that
modules be in files at all.

-- 
Overhead, without any fuss, the stars were going out.
        --Arthur C. Clarke, "The Nine Billion Names of God"
                John Cowan <cowan at ccil.org>