[ghc-steering-committee] Please review #678: Amendment to ImportShadowing

[Matthías Páll Gissurarson]

I'm in support. I agree with Simon's comment, we'd be well served by a
better spec for what `module M` means in an export list, but this amendment
is closer to what we would want.

On Mon, 21 Oct 2024 at 04:50, Arnaud Spiwack <arnaud.spiwack at tweag.io>
wrote:

> I find it a little annoying that this isn't backward compatible. But on
> the other hand, it's a very obscure bit of Haskell semantics which is
> modified, module re-export is something that most people frequently get
> wrong anyway. At any rate, my feeling is that the proposed change is the
> right behaviour: if a module defines a function `foo`, and exports a
> *different* function `foo`, this is at least a smell, isn't it?
>
> So, in favour.
>
> On Fri, 18 Oct 2024 at 17:43, Jakob Brünker <jakob.bruenker at gmail.com>
> wrote:
>
>> Seems like a reasonable amendment, I'm in support.
>>
>> On Fri, Oct 18, 2024 at 10:33 AM Malte Ott <malte.ott at maralorn.de> wrote:
>>
>>> I support as well.
>>>
>>> On 2024-10-17 08:58, Simon Peyton Jones wrote:
>>> > I support, subject to a couple of typos I have identified.
>>> >
>>> > Simon
>>> >
>>> > On Thu, 17 Oct 2024 at 00:38, Erik de Castro Lopo <erikd at mega-nerd.com
>>> >
>>> > wrote:
>>> >
>>> > > Hi all,
>>> > >
>>> > > I have recommended "accept" for this minor modification of this
>>> proposal.
>>> > >
>>> > > I would appreciate it if everyone else on the committee would vote.
>>> > >
>>> > > Thanks,
>>> > > Erik
>>> > >
>>> > >
>>> > > Adam Gundry wrote:
>>> > >
>>> > > > Dear Committee,
>>> > > >
>>> > > > Gergő Érdi proposes to amend his import shadowing proposal #652 to
>>> > > > clarify the behaviour of module re-exports:
>>> > > >
>>> > > > https://github.com/ghc-proposals/ghc-proposals/pull/678
>>> > > >
>>> > > > I'd like to nominate Erik de Castro Lopo as the shepherd, as he
>>> > > > shepherded the original proposal.
>>> > > >
>>> > > > Please guide us to a conclusion as outlined in
>>> > > > https://github.com/ghc-proposals/ghc-proposals#committee-process
>>> > > >
>>> > > > Cheers,
>>> > > >
>>> > > > Adam
>>> > > >
>>> > > >
>>> > > > --
>>> > > > Adam Gundry, Haskell Consultant
>>> > > > Well-Typed LLP, https://www.well-typed.com/
>>> > > >
>>> > > > Registered in England & Wales, OC335890
>>> > > > 27 Old Gloucester Street, London WC1N 3AX, England
>>> > > >
>>> > >
>>> > >
>>> > > --
>>> > >
>>> ----------------------------------------------------------------------
>>> > > Erik de Castro Lopo
>>> > > http://www.mega-nerd.com/
>>> > > _______________________________________________
>>> > > ghc-steering-committee mailing list
>>> > > ghc-steering-committee at haskell.org
>>> > >
>>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>> > >
>>>
>>> > _______________________________________________
>>> > ghc-steering-committee mailing list
>>> > ghc-steering-committee at haskell.org
>>> >
>>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>>
>>> _______________________________________________
>>> ghc-steering-committee mailing list
>>> ghc-steering-committee at haskell.org
>>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>>
>> _______________________________________________
>> ghc-steering-committee mailing list
>> ghc-steering-committee at haskell.org
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>
>
>
> --
> Arnaud Spiwack
> Director, Research at https://moduscreate.com and https://tweag.io.
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>


-- 
--  Matthías Páll Gissurarson <http://mpg.is/>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20241021/3d266867/attachment-0001.html>