On 11 October 2016 at 18:04, Iavor Diatchki
wrote:
> Hello,
>
> There may be some more thinking to be done on the design of this feature.
> In particular, if a module `M` has en export declaration `module T`, this
> is not at all the same as adding `import T` in modules
Hello,
There may be some more thinking to be done on the design of this feature.
In particular, if a module `M` has en export declaration `module T`, this
is not at all the same as adding `import T` in modules exporting `M`. The
reason is that meaning of `module T` depends on what is in scope in