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?

On Sat, Oct 17, 2020 at 9:33 PM Alejandro Serrano Mena <trupill@gmail.com> 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