(From a discussion on IRC).
The motivation is for enabling better tooling, and with some additional changes (require imports at the top, disallow multiple modules per file) potential faster recompilation times.
One thing that would need figuring out: how would it actually work, since we're dropping the qualified modifier, so it wouldn't be import qualified X.Y as it is in Haskell. Change import X.Y to not implicitly import anything and require import X.Y (..) as mentioned in #1509? Require import X.Y as X.Y?
The three of us who talked about it (@paf31, @natefaubion) don't feel particularly strongly about it, but the pros do seem to slightly outweigh the cons, so, discuss:
(From a discussion on IRC).
The motivation is for enabling better tooling, and with some additional changes (require imports at the top, disallow multiple modules per file) potential faster recompilation times.
One thing that would need figuring out: how would it actually work, since we're dropping the
qualifiedmodifier, so it wouldn't beimport qualified X.Yas it is in Haskell. Changeimport X.Yto not implicitly import anything and requireimport X.Y (..)as mentioned in #1509? Requireimport X.Y as X.Y?The three of us who talked about it (@paf31, @natefaubion) don't feel particularly strongly about it, but the pros do seem to slightly outweigh the cons, so, discuss: