Re: [ghc-steering-committee] #283: Local modules, recommendation: accept

On Wed, 21 Oct 2020 at 07:40, Spiwack, Arnaud wrote:

Simon (Marlow):

Do I understand correctly that what you are objecting to is the following syntax in the proposal

module M where import module M where

And would rather have

qualified module M where module M where

To mimic the import declaration behaviour?

Yes. And instead of import M (module N) import M (import module N) we would write import M (qualified module N) import M (module N) It seems to me to be desirable to use the same convention for all of: * importing modules at the top level ([import M [qualified]) * importing a local module (import M ([qualified] module N)) * declaring a local module ([qualified] module M where ..) * exporting a local module (module M ([qualified] module M) where) and perhaps it would be a source of confusion if these were different, as in the proposal. (but it's hard to tell, since we don't have any experience with using the extension yet.) Richard, what do you think? Cheers Simon

On Sat, Oct 17, 2020 at 9:33 PM Alejandro Serrano Mena wrote:

...

I like the proposal as it stands.

El jue., 15 oct. 2020 a las 20:09, Spiwack, Arnaud (< arnaud.spiwack@tweag.io>) escribió:

...

In

...

particular excited about the ability to locally open a module (something that I began to like when writing Ocaml).

It is also one of my favourite features in Ocaml. It's a fairly recent addition to Ocaml (10ish years ago, I would say?), and I believe it's fair to say that it had a profound impact on coding style throughout the community. For the better in my opinion. _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee