18 Oct
2021
18 Oct
'21
8:09 p.m.
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_r73029302...