[ghc-steering-committee] #283: Local modules (again), recommendation: accept

[Eric Seidel]

On Sat, Oct 16, 2021, at 14:21, Eric Seidel wrote:
> One concern I have, that I raised on GitHub but will repeat here, is 
> about the implicit export of unqualified names from local modules. It 
> seems truly bizarre to me that we'd accept the following program.
>
> ```
> module Top where
>   y = x
>   module Inner where
>     x = 5
> ```
>
> Am I the only one who finds this strange and counter-intuitive?

For those not following GitHub as closely, I think Richard has convinced me that this is the most consistent behavior.

https://github.com/ghc-proposals/ghc-proposals/pull/283#discussion_r730293027