Re: qualified module export

2016-10-13 Thread Simon Marlow
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

Re: qualified module export

2016-10-11 Thread Iavor Diatchki
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