From eric at seidel.io  Sun Aug  4 18:39:30 2024
From: eric at seidel.io (Eric Seidel)
Date: Sun, 04 Aug 2024 13:39:30 -0500
Subject: [ghc-steering-committee] Please review #637: Modify multiline
 string proposal #569 to remove one trailing newline
In-Reply-To: <CAAS+=P_9zvuNaHdFtnO8u3sU4xmn2TQe2UeSght3GcdMpx0cmw@mail.gmail.com>
References: <3d92f9b2-7b8c-4d5a-aec3-01f7398bb3f3@well-typed.com>
 <2edd9808-55b2-40fc-952a-48158347187a@app.fastmail.com>
 <CAJKmMz_-qaYmKVw3HeCF57JdJCvCkaeeFa+4nU2twwLN2Rx=LQ@mail.gmail.com>
 <CAAS+=P_9zvuNaHdFtnO8u3sU4xmn2TQe2UeSght3GcdMpx0cmw@mail.gmail.com>
Message-ID: <4a0939be-ddfc-441d-96aa-9c7b114ef82e@app.fastmail.com>

Ok, we have support from everyone except Adam and Simon M, who haven't responded.

I think that's good enough, I declare the amendedment accepted.

On Mon, Jul 29, 2024, at 13:06, Sebastian Graf wrote:
> +1
>
> Am Mo., 29. Juli 2024 um 11:19 Uhr schrieb Simon Peyton Jones 
> <simon.peytonjones at gmail.com>:
>> I'm in support.
>> 
>> Simon
>> 
>> On Sun, 28 Jul 2024 at 17:32, Eric Seidel <eric at seidel.io> wrote:
>>> Dear Committee,
>>> 
>>> Brandon has proposed an amendment to his previous multiline string proposal.
>>> 
>>> https://github.com/ghc-proposals/ghc-proposals/pull/637
>>> 
>>> The change is to strip one trailing newline from the lexed string, meaning that a multiline string like
>>> 
>>> """
>>> hello
>>> world
>>> """
>>> 
>>> would actually lex as "hello\nworld".
>>> 
>>> He makes a compelling case that this behavior is more compositional. I recommend acceptance.
>>> 
>>> This is a tiny change, so I'll give us a week for review and will declare the amendment accepted next weekend barring any objections.
>>> 
>>> Eric
>>> 
>>> On Tue, Jul 16, 2024, at 02:19, Adam Gundry wrote:
>>> > Dear Committee,
>>> >
>>> > Brandon Chinn proposes to amend the multiline string literal proposal 
>>> > #569 to remove one trailing newline:
>>> >
>>> > https://github.com/ghc-proposals/ghc-proposals/pull/637
>>> >
>>> > I'd like to nominate Eric Seidel as the shepherd, since he was the 
>>> > shepherd of #569.
>>> >
>>> > 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
>>> > _______________________________________________
>>> > 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

From adam at well-typed.com  Sun Aug  4 20:03:43 2024
From: adam at well-typed.com (Adam Gundry)
Date: Sun, 4 Aug 2024 21:03:43 +0100
Subject: [ghc-steering-committee] Please review #570: Native string
	interpolation syntax
Message-ID: <97be0b0e-f090-4cc8-993a-5b979ad534d1@well-typed.com>

Dear Committee,

Brandon Chinn proposes to add native string interpolation syntax:

https://github.com/ghc-proposals/ghc-proposals/pull/570
https://github.com/brandonchinn178/ghc-proposals/blob/string-interpolation/proposals/0570-string-interpolation.rst

I'd like to nominate Sebastian as the shepherd.

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

From arnaud.spiwack at tweag.io  Mon Aug 12 07:30:55 2024
From: arnaud.spiwack at tweag.io (Arnaud Spiwack)
Date: Mon, 12 Aug 2024 09:30:55 +0200
Subject: [ghc-steering-committee] Please review #652: Import shadowing
In-Reply-To: <CAJKmMz9dkdD2tn9Bhnr1xj1zF9G-cQzJMvsjWADC15ODQvP9iA@mail.gmail.com>
References: <87ba8738-761f-4d39-8677-0486bd83358f@well-typed.com>
 <CAJKmMz8XHfZgnhGrdDHPt=OcVzEF9V=PCO8jZgv20Sj2uyZfGA@mail.gmail.com>
 <20240726131500.107f03e1514421332680a378@mega-nerd.com>
 <CAJKmMz9dkdD2tn9Bhnr1xj1zF9G-cQzJMvsjWADC15ODQvP9iA@mail.gmail.com>
Message-ID: <CAGwnsnkH-mv65WDKz+2ogxEk-Z4a6YaKbwwg7oiSpiq8DsfVuQ@mail.gmail.com>

For the record, I've read this proposal and am in favour. Not strongly, but
it feels like the proposed behaviour is a small improvement over the
current one (it's not infrequent that we define a name locally, not
realising that it exists in some of the imports, and find that we have to
go add `hiding` clauses and whatnots, shadowing in this case feels like a
better default).

On Fri, 26 Jul 2024 at 09:19, Simon Peyton Jones <
simon.peytonjones at gmail.com> wrote:

> This proposal seems totally reasonable. I
>
>
> In a blizzard of email, we may not all remember that you are the
> shepherd.   It's helpful to say something like
>
> Dear GHC Steering Committee
>
> I am the shepherd for
> https://github.com/ghc-proposals/ghc-proposals/pull/652
>
> https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst
>
> In it, Gergo proposes to allow local binders to shadow names defined in
> outer scopes.
> [In a more complicated proposal you might like to say a bit more, and why
> you like it; but this one is fairly simple.]
>
> I recommend acceptance of the proposal as-is.  Please respond by Weds 7th
> August.
>
> This reminds us (a) that you are speaking as the shepherd, (b) gives us a
> date to respond by, (c) conveys a clear recommendation.  (Of course choose
> your own date.)
>
> As shepherd you will remind us near your deadline, and guide us to a
> conclusion.
>
>
> All of this is general guidance for all shepherds!  I'm just using you as
> an example .. I hope you don't mind.
>
> thanks
>
> Simon
>
> On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo <erikd at mega-nerd.com>
> wrote:
>
>> Hi all,
>>
>> This proposal seems totally reasonable. I have marked it as "under review"
>> and added a "Pending committee review" label.
>>
>> Cheers,
>> Erik
>>
>>
>> Simon Peyton Jones wrote:
>>
>> > Erik,
>> >
>> > Adam assigned this to you on 26 June, and usually we'd expect a
>> > recommendation from the shepherd within a week, or two at most.  But I
>> > don't think we've heard from you.
>> >
>> > Could you drive us towards a timely conclusion?  I don't this this is a
>> > controversial one.
>> >
>> > Thanks!
>> >
>> > Simon
>> >
>> > On Wed, 26 Jun 2024 at 20:50, Adam Gundry <adam at well-typed.com> wrote:
>> >
>> > > Dear Committee,
>> > >
>> > > Gergő Érdi proposes to allow local binders to shadow names defined in
>> > > outer scopes:
>> > >
>> > > https://github.com/ghc-proposals/ghc-proposals/pull/652
>> > >
>> > >
>> https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst
>> > >
>> > > I'd like to nominate Erik de Castro Lopo as the shepherd.
>> > >
>> > > 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
>> > > _______________________________________________
>> > > ghc-steering-committee mailing list
>> > > ghc-steering-committee at haskell.org
>> > >
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>> > >
>>
>>
>> --
>> ----------------------------------------------------------------------
>> 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
>


-- 
Arnaud Spiwack
Director, Research at https://moduscreate.com and https://tweag.io.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240812/e4644b4e/attachment.html>

From sgraf1337 at gmail.com  Mon Aug 12 08:24:47 2024
From: sgraf1337 at gmail.com (Sebastian Graf)
Date: Mon, 12 Aug 2024 10:24:47 +0200
Subject: [ghc-steering-committee] Please review #652: Import shadowing
In-Reply-To: <CAGwnsnkH-mv65WDKz+2ogxEk-Z4a6YaKbwwg7oiSpiq8DsfVuQ@mail.gmail.com>
References: <87ba8738-761f-4d39-8677-0486bd83358f@well-typed.com>
 <CAJKmMz8XHfZgnhGrdDHPt=OcVzEF9V=PCO8jZgv20Sj2uyZfGA@mail.gmail.com>
 <20240726131500.107f03e1514421332680a378@mega-nerd.com>
 <CAJKmMz9dkdD2tn9Bhnr1xj1zF9G-cQzJMvsjWADC15ODQvP9iA@mail.gmail.com>
 <CAGwnsnkH-mv65WDKz+2ogxEk-Z4a6YaKbwwg7oiSpiq8DsfVuQ@mail.gmail.com>
Message-ID: <CAAS+=P8tuOpD0Yu5oEKAgg_ZQRmMvmKpdVHU1A8G-v9yxFKnEQ@mail.gmail.com>

I expressed that I'm in support.
Like Adam, I think this could be a big deal in terms of forward compat if
we subsequently add -XImportShadowing to the set of GHC's default
extensions (perhaps even in Haskell2010).
(That is: I would be in favour of such a subsequent proposal as well.)

Am Mo., 12. Aug. 2024 um 09:31 Uhr schrieb Arnaud Spiwack <
arnaud.spiwack at tweag.io>:

> For the record, I've read this proposal and am in favour. Not strongly,
> but it feels like the proposed behaviour is a small improvement over the
> current one (it's not infrequent that we define a name locally, not
> realising that it exists in some of the imports, and find that we have to
> go add `hiding` clauses and whatnots, shadowing in this case feels like a
> better default).
>
> On Fri, 26 Jul 2024 at 09:19, Simon Peyton Jones <
> simon.peytonjones at gmail.com> wrote:
>
>> This proposal seems totally reasonable. I
>>
>>
>> In a blizzard of email, we may not all remember that you are the
>> shepherd.   It's helpful to say something like
>>
>> Dear GHC Steering Committee
>>
>> I am the shepherd for
>> https://github.com/ghc-proposals/ghc-proposals/pull/652
>>
>> https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst
>>
>> In it, Gergo proposes to allow local binders to shadow names defined in
>> outer scopes.
>> [In a more complicated proposal you might like to say a bit more, and why
>> you like it; but this one is fairly simple.]
>>
>> I recommend acceptance of the proposal as-is.  Please respond by Weds 7th
>> August.
>>
>> This reminds us (a) that you are speaking as the shepherd, (b) gives us a
>> date to respond by, (c) conveys a clear recommendation.  (Of course choose
>> your own date.)
>>
>> As shepherd you will remind us near your deadline, and guide us to a
>> conclusion.
>>
>>
>> All of this is general guidance for all shepherds!  I'm just using you as
>> an example .. I hope you don't mind.
>>
>> thanks
>>
>> Simon
>>
>> On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo <erikd at mega-nerd.com>
>> wrote:
>>
>>> Hi all,
>>>
>>> This proposal seems totally reasonable. I have marked it as "under
>>> review"
>>> and added a "Pending committee review" label.
>>>
>>> Cheers,
>>> Erik
>>>
>>>
>>> Simon Peyton Jones wrote:
>>>
>>> > Erik,
>>> >
>>> > Adam assigned this to you on 26 June, and usually we'd expect a
>>> > recommendation from the shepherd within a week, or two at most.  But I
>>> > don't think we've heard from you.
>>> >
>>> > Could you drive us towards a timely conclusion?  I don't this this is a
>>> > controversial one.
>>> >
>>> > Thanks!
>>> >
>>> > Simon
>>> >
>>> > On Wed, 26 Jun 2024 at 20:50, Adam Gundry <adam at well-typed.com> wrote:
>>> >
>>> > > Dear Committee,
>>> > >
>>> > > Gergő Érdi proposes to allow local binders to shadow names defined in
>>> > > outer scopes:
>>> > >
>>> > > https://github.com/ghc-proposals/ghc-proposals/pull/652
>>> > >
>>> > >
>>> https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst
>>> > >
>>> > > I'd like to nominate Erik de Castro Lopo as the shepherd.
>>> > >
>>> > > 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
>>> > > _______________________________________________
>>> > > ghc-steering-committee mailing list
>>> > > ghc-steering-committee at haskell.org
>>> > >
>>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>> > >
>>>
>>>
>>> --
>>> ----------------------------------------------------------------------
>>> 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
>>
>
>
> --
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240812/7dfed7e8/attachment-0001.html>

From simon.peytonjones at gmail.com  Mon Aug 12 11:15:45 2024
From: simon.peytonjones at gmail.com (Simon Peyton Jones)
Date: Mon, 12 Aug 2024 12:15:45 +0100
Subject: [ghc-steering-committee] Please review #652: Import shadowing
In-Reply-To: <20240726131500.107f03e1514421332680a378@mega-nerd.com>
References: <87ba8738-761f-4d39-8677-0486bd83358f@well-typed.com>
 <CAJKmMz8XHfZgnhGrdDHPt=OcVzEF9V=PCO8jZgv20Sj2uyZfGA@mail.gmail.com>
 <20240726131500.107f03e1514421332680a378@mega-nerd.com>
Message-ID: <CAJKmMz91coiEq4JXGMCXf1G-V6b35EN0Wc251KkxZ4Tu=BDAEg@mail.gmail.com>

Erik

Another two weeks has passed.  Can you push the committee towards a
decision?  As shepherd that is your role.

You may find the spreadsheet
<https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing>helpful
to record votes.

If particular committee members are unresponsive, address them by name,
cc'ing me.

We owe it to our proposers to make decisions.  Thanks!

Simon

On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo <erikd at mega-nerd.com>
wrote:

> Hi all,
>
> This proposal seems totally reasonable. I have marked it as "under review"
> and added a "Pending committee review" label.
>
> Cheers,
> Erik
>
>
> Simon Peyton Jones wrote:
>
> > Erik,
> >
> > Adam assigned this to you on 26 June, and usually we'd expect a
> > recommendation from the shepherd within a week, or two at most.  But I
> > don't think we've heard from you.
> >
> > Could you drive us towards a timely conclusion?  I don't this this is a
> > controversial one.
> >
> > Thanks!
> >
> > Simon
> >
> > On Wed, 26 Jun 2024 at 20:50, Adam Gundry <adam at well-typed.com> wrote:
> >
> > > Dear Committee,
> > >
> > > Gergő Érdi proposes to allow local binders to shadow names defined in
> > > outer scopes:
> > >
> > > https://github.com/ghc-proposals/ghc-proposals/pull/652
> > >
> > >
> https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst
> > >
> > > I'd like to nominate Erik de Castro Lopo as the shepherd.
> > >
> > > 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
> > > _______________________________________________
> > > ghc-steering-committee mailing list
> > > ghc-steering-committee at haskell.org
> > >
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> > >
>
>
> --
> ----------------------------------------------------------------------
> Erik de Castro Lopo
> http://www.mega-nerd.com/
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240812/eb87113d/attachment.html>

From arnaud.spiwack at tweag.io  Mon Aug 12 15:21:51 2024
From: arnaud.spiwack at tweag.io (Arnaud Spiwack)
Date: Mon, 12 Aug 2024 17:21:51 +0200
Subject: [ghc-steering-committee] Arnaud's holiday/move
Message-ID: <CAGwnsnmsZ2WU1NZGn-KNeW5esYd8gMxLxP5zrw88cNHq1a-nXQ@mail.gmail.com>

Dear all,

As of this Thursday 15th August, I'll be on holiday; I'll be back on the
9th September. Since it's a sizable chunk of time, I wanted to make sure to
share: I won't be reading my emails during this time.

When I'm back, I'll be living in Japan. Which shouldn't change much for my
Steering Committee commitments, I don't think. But it may be a little
disruptive at first.

Best,
-- 
Arnaud Spiwack
Director, Research at https://moduscreate.com and https://tweag.io.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240812/71c24ddb/attachment.html>

From jakob.bruenker at gmail.com  Mon Aug 12 15:42:56 2024
From: jakob.bruenker at gmail.com (=?UTF-8?Q?Jakob_Br=C3=BCnker?=)
Date: Mon, 12 Aug 2024 17:42:56 +0200
Subject: [ghc-steering-committee] Please review #652: Import shadowing
In-Reply-To: <CAJKmMz91coiEq4JXGMCXf1G-V6b35EN0Wc251KkxZ4Tu=BDAEg@mail.gmail.com>
References: <87ba8738-761f-4d39-8677-0486bd83358f@well-typed.com>
 <CAJKmMz8XHfZgnhGrdDHPt=OcVzEF9V=PCO8jZgv20Sj2uyZfGA@mail.gmail.com>
 <20240726131500.107f03e1514421332680a378@mega-nerd.com>
 <CAJKmMz91coiEq4JXGMCXf1G-V6b35EN0Wc251KkxZ4Tu=BDAEg@mail.gmail.com>
Message-ID: <CAJjQ6oNdgr9fw=111N0dCPQhBvsEd9asGYd_HPA7sysiCRZkpg@mail.gmail.com>

I'm in support.

As I mentioned in the github thread, I'm not a huge fan of (using)
shadowing, but I think it makes sense to be consistent about whether we
allow it or not, and I can certainly see myself using this for prototyping
or small scripts.

Jakob

On Mon, Aug 12, 2024 at 1:16 PM Simon Peyton Jones <
simon.peytonjones at gmail.com> wrote:

> Erik
>
> Another two weeks has passed.  Can you push the committee towards a
> decision?  As shepherd that is your role.
>
> You may find the spreadsheet
> <https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing>helpful
> to record votes.
>
> If particular committee members are unresponsive, address them by name,
> cc'ing me.
>
> We owe it to our proposers to make decisions.  Thanks!
>
> Simon
>
> On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo <erikd at mega-nerd.com>
> wrote:
>
>> Hi all,
>>
>> This proposal seems totally reasonable. I have marked it as "under review"
>> and added a "Pending committee review" label.
>>
>> Cheers,
>> Erik
>>
>>
>> Simon Peyton Jones wrote:
>>
>> > Erik,
>> >
>> > Adam assigned this to you on 26 June, and usually we'd expect a
>> > recommendation from the shepherd within a week, or two at most.  But I
>> > don't think we've heard from you.
>> >
>> > Could you drive us towards a timely conclusion?  I don't this this is a
>> > controversial one.
>> >
>> > Thanks!
>> >
>> > Simon
>> >
>> > On Wed, 26 Jun 2024 at 20:50, Adam Gundry <adam at well-typed.com> wrote:
>> >
>> > > Dear Committee,
>> > >
>> > > Gergő Érdi proposes to allow local binders to shadow names defined in
>> > > outer scopes:
>> > >
>> > > https://github.com/ghc-proposals/ghc-proposals/pull/652
>> > >
>> > >
>> https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst
>> > >
>> > > I'd like to nominate Erik de Castro Lopo as the shepherd.
>> > >
>> > > 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
>> > > _______________________________________________
>> > > ghc-steering-committee mailing list
>> > > ghc-steering-committee at haskell.org
>> > >
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>> > >
>>
>>
>> --
>> ----------------------------------------------------------------------
>> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240812/1da988ad/attachment.html>

From moritz.angermann at gmail.com  Mon Aug 12 20:56:52 2024
From: moritz.angermann at gmail.com (Moritz Angermann)
Date: Tue, 13 Aug 2024 05:56:52 +0900
Subject: [ghc-steering-committee] Arnaud's holiday/move
In-Reply-To: <CAGwnsnmsZ2WU1NZGn-KNeW5esYd8gMxLxP5zrw88cNHq1a-nXQ@mail.gmail.com>
References: <CAGwnsnmsZ2WU1NZGn-KNeW5esYd8gMxLxP5zrw88cNHq1a-nXQ@mail.gmail.com>
Message-ID: <CAKfdd-wp5Zw0APz9BBRELiUMH=7+s3GgCMv0qZ9sbuyQ_GLqrw@mail.gmail.com>

Hi Arnaud!

That sounds exciting. Good luck with the move.
We just moved to Korea 👋 we’ll share a timezone 😆

 Best,
  Moritz

On Tue, Aug 13, 2024 at 12:22 AM Arnaud Spiwack <arnaud.spiwack at tweag.io>
wrote:

> Dear all,
>
> As of this Thursday 15th August, I'll be on holiday; I'll be back on the
> 9th September. Since it's a sizable chunk of time, I wanted to make sure to
> share: I won't be reading my emails during this time.
>
> When I'm back, I'll be living in Japan. Which shouldn't change much for my
> Steering Committee commitments, I don't think. But it may be a little
> disruptive at first.
>
> Best,
>
> --
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240813/aea935d7/attachment.html>

From moritz.angermann at gmail.com  Mon Aug 12 21:01:14 2024
From: moritz.angermann at gmail.com (Moritz Angermann)
Date: Tue, 13 Aug 2024 06:01:14 +0900
Subject: [ghc-steering-committee] Please review #652: Import shadowing
In-Reply-To: <CAJjQ6oNdgr9fw=111N0dCPQhBvsEd9asGYd_HPA7sysiCRZkpg@mail.gmail.com>
References: <87ba8738-761f-4d39-8677-0486bd83358f@well-typed.com>
 <CAJKmMz8XHfZgnhGrdDHPt=OcVzEF9V=PCO8jZgv20Sj2uyZfGA@mail.gmail.com>
 <20240726131500.107f03e1514421332680a378@mega-nerd.com>
 <CAJKmMz91coiEq4JXGMCXf1G-V6b35EN0Wc251KkxZ4Tu=BDAEg@mail.gmail.com>
 <CAJjQ6oNdgr9fw=111N0dCPQhBvsEd9asGYd_HPA7sysiCRZkpg@mail.gmail.com>
Message-ID: <CAKfdd-wR1-jbW_khDjgjt9mYy_QPjZdkx=XxH2yt=-SAzNvZPA@mail.gmail.com>

I’m in support as well.

On Tue, Aug 13, 2024 at 12:43 AM Jakob Brünker <jakob.bruenker at gmail.com>
wrote:

> I'm in support.
>
> As I mentioned in the github thread, I'm not a huge fan of (using)
> shadowing, but I think it makes sense to be consistent about whether we
> allow it or not, and I can certainly see myself using this for prototyping
> or small scripts.
>
>
> Jakob
>
> On Mon, Aug 12, 2024 at 1:16 PM Simon Peyton Jones <
> simon.peytonjones at gmail.com> wrote:
>
>> Erik
>>
>> Another two weeks has passed.  Can you push the committee towards a
>> decision?  As shepherd that is your role.
>>
>> You may find the spreadsheet
>> <https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing>helpful
>> to record votes.
>>
>> If particular committee members are unresponsive, address them by name,
>> cc'ing me.
>>
>> We owe it to our proposers to make decisions.  Thanks!
>>
>> Simon
>>
>> On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo <erikd at mega-nerd.com>
>> wrote:
>>
>>> Hi all,
>>>
>>> This proposal seems totally reasonable. I have marked it as "under
>>> review"
>>> and added a "Pending committee review" label.
>>>
>>> Cheers,
>>> Erik
>>>
>>>
>>> Simon Peyton Jones wrote:
>>>
>>> > Erik,
>>> >
>>> > Adam assigned this to you on 26 June, and usually we'd expect a
>>> > recommendation from the shepherd within a week, or two at most.  But I
>>> > don't think we've heard from you.
>>> >
>>> > Could you drive us towards a timely conclusion?  I don't this this is a
>>> > controversial one.
>>> >
>>> > Thanks!
>>> >
>>> > Simon
>>> >
>>> > On Wed, 26 Jun 2024 at 20:50, Adam Gundry <adam at well-typed.com> wrote:
>>> >
>>> > > Dear Committee,
>>> > >
>>> > > Gergő Érdi proposes to allow local binders to shadow names defined in
>>> > > outer scopes:
>>> > >
>>> > > https://github.com/ghc-proposals/ghc-proposals/pull/652
>>> > >
>>> > >
>>> https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst
>>> > >
>>> > > I'd like to nominate Erik de Castro Lopo as the shepherd.
>>> > >
>>> > > 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
>>> <https://www.google.com/maps/search/27+Old+Gloucester+Street,+London+WC1N+3AX,+England?entry=gmail&source=g>
>>> > > _______________________________________________
>>> > > ghc-steering-committee mailing list
>>> > > ghc-steering-committee at haskell.org
>>> > >
>>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>> > >
>>>
>>>
>>> --
>>> ----------------------------------------------------------------------
>>> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240813/8f8209cf/attachment-0001.html>

From erikd at mega-nerd.com  Tue Aug 13 07:07:37 2024
From: erikd at mega-nerd.com (Erik de Castro Lopo)
Date: Tue, 13 Aug 2024 17:07:37 +1000
Subject: [ghc-steering-committee] Please review #652: Import shadowing
In-Reply-To: <CAJKmMz91coiEq4JXGMCXf1G-V6b35EN0Wc251KkxZ4Tu=BDAEg@mail.gmail.com>
References: <87ba8738-761f-4d39-8677-0486bd83358f@well-typed.com>
 <CAJKmMz8XHfZgnhGrdDHPt=OcVzEF9V=PCO8jZgv20Sj2uyZfGA@mail.gmail.com>
 <20240726131500.107f03e1514421332680a378@mega-nerd.com>
 <CAJKmMz91coiEq4JXGMCXf1G-V6b35EN0Wc251KkxZ4Tu=BDAEg@mail.gmail.com>
Message-ID: <20240813170737.b8cfb468722912bec3339806@mega-nerd.com>

Hi Simon M., Matte Ott, Matthías Páll Gissurarson, Eric Seidel and Adam Gundry,

We need a decision on:

   https://github.com/ghc-proposals/ghc-proposals/pull/652

Thank you.

Cheers,
Erik

Simon Peyton Jones wrote:

> Erik
> 
> Another two weeks has passed.  Can you push the committee towards a
> decision?  As shepherd that is your role.
> 
> You may find the spreadsheet
> <https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing>helpful
> to record votes.
> 
> If particular committee members are unresponsive, address them by name,
> cc'ing me.
> 
> We owe it to our proposers to make decisions.  Thanks!
> 
> Simon
> 
> On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo <erikd at mega-nerd.com>
> wrote:
> Matthías Páll Gissurarson
> > Hi all,
> >
> > This proposal seems totally reasonable. I have marked it as "under review"
> > and added a "Pending committee review" label.
> >
> > Cheers,
> > Erik
> >
> >
> > Simon Peyton Jones wrote:
> >
> > > Erik,
> > >
> > > Adam assigned this to you on 26 June, and usually we'd expect a
> > > recommendation from the shepherd within a week, or two at most.  But I
> > > don't think we've heard from you.
> > >
> > > Could you drive us towards a timely conclusion?  I don't this this is a
> > > controversial one.
> > >
> > > Thanks!
> > >
> > > Simon
> > >
> > > On Wed, 26 Jun 2024 at 20:50, Adam Gundry <adam at well-typed.com> wrote:
> > >
> > > > Dear Committee,
> > > >
> > > > Gergő Érdi proposes to allow local binders to shadow names defined in
> > > > outer scopes:
> > > >
> > > > https://github.com/ghc-proposals/ghc-proposals/pull/652
> > > >
> > > >
> > https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst
> > > >
> > > > I'd like to nominate Erik de Castro Lopo as the shepherd.
> > > >
> > > > 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
> > > > _______________________________________________
> > > > ghc-steering-committee mailing list
> > > > ghc-steering-committee at haskell.org
> > > >
> > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> > > >
> >
> >
> > --
> > ----------------------------------------------------------------------
> > Erik de Castro Lopo
> > http://www.mega-nerd.com/
> >


-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/

From adam at well-typed.com  Tue Aug 13 07:14:00 2024
From: adam at well-typed.com (Adam Gundry)
Date: Tue, 13 Aug 2024 08:14:00 +0100
Subject: [ghc-steering-committee] Please review #652: Import shadowing
In-Reply-To: <20240813170737.b8cfb468722912bec3339806@mega-nerd.com>
References: <87ba8738-761f-4d39-8677-0486bd83358f@well-typed.com>
 <CAJKmMz8XHfZgnhGrdDHPt=OcVzEF9V=PCO8jZgv20Sj2uyZfGA@mail.gmail.com>
 <20240726131500.107f03e1514421332680a378@mega-nerd.com>
 <CAJKmMz91coiEq4JXGMCXf1G-V6b35EN0Wc251KkxZ4Tu=BDAEg@mail.gmail.com>
 <20240813170737.b8cfb468722912bec3339806@mega-nerd.com>
Message-ID: <665f6c2a-a3ed-4166-8836-e99ec89c756b@well-typed.com>

Apologies for the delay in following up. I support the proposal.

Cheers,

Adam


On 13/08/2024 08:07, Erik de Castro Lopo wrote:
> Hi Simon M., Matte Ott, Matthías Páll Gissurarson, Eric Seidel and Adam Gundry,
> 
> We need a decision on:
> 
>     https://github.com/ghc-proposals/ghc-proposals/pull/652
> 
> Thank you.
> 
> Cheers,
> Erik
> 
> Simon Peyton Jones wrote:
> 
>> Erik
>>
>> Another two weeks has passed.  Can you push the committee towards a
>> decision?  As shepherd that is your role.
>>
>> You may find the spreadsheet
>> <https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing>helpful
>> to record votes.
>>
>> If particular committee members are unresponsive, address them by name,
>> cc'ing me.
>>
>> We owe it to our proposers to make decisions.  Thanks!
>>
>> Simon
>>
>> On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo <erikd at mega-nerd.com>
>> wrote:
>> Matthías Páll Gissurarson
>>> Hi all,
>>>
>>> This proposal seems totally reasonable. I have marked it as "under review"
>>> and added a "Pending committee review" label.
>>>
>>> Cheers,
>>> Erik
>>>
>>>
>>> Simon Peyton Jones wrote:
>>>
>>>> Erik,
>>>>
>>>> Adam assigned this to you on 26 June, and usually we'd expect a
>>>> recommendation from the shepherd within a week, or two at most.  But I
>>>> don't think we've heard from you.
>>>>
>>>> Could you drive us towards a timely conclusion?  I don't this this is a
>>>> controversial one.
>>>>
>>>> Thanks!
>>>>
>>>> Simon
>>>>
>>>> On Wed, 26 Jun 2024 at 20:50, Adam Gundry <adam at well-typed.com> wrote:
>>>>
>>>>> Dear Committee,
>>>>>
>>>>> Gergő Érdi proposes to allow local binders to shadow names defined in
>>>>> outer scopes:
>>>>>
>>>>> https://github.com/ghc-proposals/ghc-proposals/pull/652
>>>>>
>>>>>
>>> https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst
>>>>>
>>>>> I'd like to nominate Erik de Castro Lopo as the shepherd.
>>>>>
>>>>> 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


From adam at well-typed.com  Tue Aug 13 07:17:49 2024
From: adam at well-typed.com (Adam Gundry)
Date: Tue, 13 Aug 2024 08:17:49 +0100
Subject: [ghc-steering-committee] Arnaud's holiday/move
In-Reply-To: <CAKfdd-wp5Zw0APz9BBRELiUMH=7+s3GgCMv0qZ9sbuyQ_GLqrw@mail.gmail.com>
References: <CAGwnsnmsZ2WU1NZGn-KNeW5esYd8gMxLxP5zrw88cNHq1a-nXQ@mail.gmail.com>
 <CAKfdd-wp5Zw0APz9BBRELiUMH=7+s3GgCMv0qZ9sbuyQ_GLqrw@mail.gmail.com>
Message-ID: <2a80876e-5c3e-4e5d-abfc-edcc86ffdfdc@well-typed.com>

Thanks for flagging up your plans, Arnaud, and best wishes for your 
respective moves to both you and Moritz!

Cheers,

Adam


On 12/08/2024 21:56, Moritz Angermann wrote:
> Hi Arnaud!
> 
> That sounds exciting. Good luck with the move.
> We just moved to Korea 👋 we’ll share a timezone 😆
> 
>   Best,
>    Moritz
> 
> On Tue, Aug 13, 2024 at 12:22 AM Arnaud Spiwack <arnaud.spiwack at tweag.io 
> <mailto:arnaud.spiwack at tweag.io>> wrote:
> 
>     Dear all,
> 
>     As of this Thursday 15th August, I'll be on holiday; I'll be back on
>     the 9th September. Since it's a sizable chunk of time, I wanted to
>     make sure to share: I won't be reading my emails during this time.
> 
>     When I'm back, I'll be living in Japan. Which shouldn't change much
>     for my Steering Committee commitments, I don't think. But it may be
>     a little disruptive at first.
> 
>     Best,
> 
>     -- 
>     Arnaud Spiwack
>     Director, Research at https://moduscreate.com
>     <https://moduscreate.com> and https://tweag.io <https://tweag.io>.


-- 
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


From arnaud.spiwack at tweag.io  Tue Aug 13 13:46:03 2024
From: arnaud.spiwack at tweag.io (Arnaud Spiwack)
Date: Tue, 13 Aug 2024 15:46:03 +0200
Subject: [ghc-steering-committee] Arnaud's holiday/move
In-Reply-To: <2a80876e-5c3e-4e5d-abfc-edcc86ffdfdc@well-typed.com>
References: <CAGwnsnmsZ2WU1NZGn-KNeW5esYd8gMxLxP5zrw88cNHq1a-nXQ@mail.gmail.com>
 <CAKfdd-wp5Zw0APz9BBRELiUMH=7+s3GgCMv0qZ9sbuyQ_GLqrw@mail.gmail.com>
 <2a80876e-5c3e-4e5d-abfc-edcc86ffdfdc@well-typed.com>
Message-ID: <CAGwnsn=VDruvj5v8AkGuwhKTGB4E1LNGJ_5Sqt2S8T6Tu2azbg@mail.gmail.com>

Thank you both!

On Tue, 13 Aug 2024 at 09:18, Adam Gundry <adam at well-typed.com> wrote:

> Thanks for flagging up your plans, Arnaud, and best wishes for your
> respective moves to both you and Moritz!
>
> Cheers,
>
> Adam
>
>
> On 12/08/2024 21:56, Moritz Angermann wrote:
> > Hi Arnaud!
> >
> > That sounds exciting. Good luck with the move.
> > We just moved to Korea 👋 we’ll share a timezone 😆
> >
> >   Best,
> >    Moritz
> >
> > On Tue, Aug 13, 2024 at 12:22 AM Arnaud Spiwack <arnaud.spiwack at tweag.io
> > <mailto:arnaud.spiwack at tweag.io>> wrote:
> >
> >     Dear all,
> >
> >     As of this Thursday 15th August, I'll be on holiday; I'll be back on
> >     the 9th September. Since it's a sizable chunk of time, I wanted to
> >     make sure to share: I won't be reading my emails during this time.
> >
> >     When I'm back, I'll be living in Japan. Which shouldn't change much
> >     for my Steering Committee commitments, I don't think. But it may be
> >     a little disruptive at first.
> >
> >     Best,
> >
> >     --
> >     Arnaud Spiwack
> >     Director, Research at https://moduscreate.com
> >     <https://moduscreate.com> and https://tweag.io <https://tweag.io>.
>
>
> --
> 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
>
> _______________________________________________
> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240813/94aef0e9/attachment.html>

From malte.ott at maralorn.de  Tue Aug 13 20:23:14 2024
From: malte.ott at maralorn.de (Malte Ott)
Date: Tue, 13 Aug 2024 22:23:14 +0200
Subject: [ghc-steering-committee] Please review #652: Import shadowing
In-Reply-To: <20240813170737.b8cfb468722912bec3339806@mega-nerd.com>
References: <87ba8738-761f-4d39-8677-0486bd83358f@well-typed.com>
 <CAJKmMz8XHfZgnhGrdDHPt=OcVzEF9V=PCO8jZgv20Sj2uyZfGA@mail.gmail.com>
 <20240726131500.107f03e1514421332680a378@mega-nerd.com>
 <CAJKmMz91coiEq4JXGMCXf1G-V6b35EN0Wc251KkxZ4Tu=BDAEg@mail.gmail.com>
 <20240813170737.b8cfb468722912bec3339806@mega-nerd.com>
Message-ID: <4hbwc2jhg4eb6pnp3cr6tncut3drbg53x4tjjzdv3cijr3autg@hera.m-0.eu>

I am in favor of this proposal and would like to see it in the next language
edition.

On 2024-08-13 17:07, Erik de Castro Lopo wrote:
> Hi Simon M., Matte Ott, Matthías Páll Gissurarson, Eric Seidel and Adam Gundry,
> 
> We need a decision on:
> 
>    https://github.com/ghc-proposals/ghc-proposals/pull/652
> 
> Thank you.
> 
> Cheers,
> Erik
> 
> Simon Peyton Jones wrote:
> 
> > Erik
> > 
> > Another two weeks has passed.  Can you push the committee towards a
> > decision?  As shepherd that is your role.
> > 
> > You may find the spreadsheet
> > <https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing>helpful
> > to record votes.
> > 
> > If particular committee members are unresponsive, address them by name,
> > cc'ing me.
> > 
> > We owe it to our proposers to make decisions.  Thanks!
> > 
> > Simon
> > 
> > On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo <erikd at mega-nerd.com>
> > wrote:
> > Matthías Páll Gissurarson
> > > Hi all,
> > >
> > > This proposal seems totally reasonable. I have marked it as "under review"
> > > and added a "Pending committee review" label.
> > >
> > > Cheers,
> > > Erik
> > >
> > >
> > > Simon Peyton Jones wrote:
> > >
> > > > Erik,
> > > >
> > > > Adam assigned this to you on 26 June, and usually we'd expect a
> > > > recommendation from the shepherd within a week, or two at most.  But I
> > > > don't think we've heard from you.
> > > >
> > > > Could you drive us towards a timely conclusion?  I don't this this is a
> > > > controversial one.
> > > >
> > > > Thanks!
> > > >
> > > > Simon
> > > >
> > > > On Wed, 26 Jun 2024 at 20:50, Adam Gundry <adam at well-typed.com> wrote:
> > > >
> > > > > Dear Committee,
> > > > >
> > > > > Gergő Érdi proposes to allow local binders to shadow names defined in
> > > > > outer scopes:
> > > > >
> > > > > https://github.com/ghc-proposals/ghc-proposals/pull/652
> > > > >
> > > > >
> > > https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst
> > > > >
> > > > > I'd like to nominate Erik de Castro Lopo as the shepherd.
> > > > >
> > > > > 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
> > > > > _______________________________________________
> > > > > ghc-steering-committee mailing list
> > > > > ghc-steering-committee at haskell.org
> > > > >
> > > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> > > > >
> > >
> > >
> > > --
> > > ----------------------------------------------------------------------
> > > Erik de Castro Lopo
> > > http://www.mega-nerd.com/
> > >
> 
> 
> -- 
> ----------------------------------------------------------------------
> 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

From marlowsd at gmail.com  Thu Aug 15 07:46:49 2024
From: marlowsd at gmail.com (Simon Marlow)
Date: Thu, 15 Aug 2024 08:46:49 +0100
Subject: [ghc-steering-committee] Please review #652: Import shadowing
In-Reply-To: <20240813170737.b8cfb468722912bec3339806@mega-nerd.com>
References: <87ba8738-761f-4d39-8677-0486bd83358f@well-typed.com>
 <CAJKmMz8XHfZgnhGrdDHPt=OcVzEF9V=PCO8jZgv20Sj2uyZfGA@mail.gmail.com>
 <20240726131500.107f03e1514421332680a378@mega-nerd.com>
 <CAJKmMz91coiEq4JXGMCXf1G-V6b35EN0Wc251KkxZ4Tu=BDAEg@mail.gmail.com>
 <20240813170737.b8cfb468722912bec3339806@mega-nerd.com>
Message-ID: <CANsrgPJ=hpAgEN-Wz5DMQoxxzVHD-a0HWWOa+M2nyvrhQ_N7yQ@mail.gmail.com>

Seems like a good change. I'm in favour of acceptance.

Simon

On Tue, 13 Aug 2024 at 08:07, Erik de Castro Lopo <erikd at mega-nerd.com>
wrote:

> Hi Simon M., Matte Ott, Matthías Páll Gissurarson, Eric Seidel and Adam
> Gundry,
>
> We need a decision on:
>
>    https://github.com/ghc-proposals/ghc-proposals/pull/652
>
> Thank you.
>
> Cheers,
> Erik
>
> Simon Peyton Jones wrote:
>
> > Erik
> >
> > Another two weeks has passed.  Can you push the committee towards a
> > decision?  As shepherd that is your role.
> >
> > You may find the spreadsheet
> > <
> https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing
> >helpful
> > to record votes.
> >
> > If particular committee members are unresponsive, address them by name,
> > cc'ing me.
> >
> > We owe it to our proposers to make decisions.  Thanks!
> >
> > Simon
> >
> > On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo <erikd at mega-nerd.com>
> > wrote:
> > Matthías Páll Gissurarson
> > > Hi all,
> > >
> > > This proposal seems totally reasonable. I have marked it as "under
> review"
> > > and added a "Pending committee review" label.
> > >
> > > Cheers,
> > > Erik
> > >
> > >
> > > Simon Peyton Jones wrote:
> > >
> > > > Erik,
> > > >
> > > > Adam assigned this to you on 26 June, and usually we'd expect a
> > > > recommendation from the shepherd within a week, or two at most.  But
> I
> > > > don't think we've heard from you.
> > > >
> > > > Could you drive us towards a timely conclusion?  I don't this this
> is a
> > > > controversial one.
> > > >
> > > > Thanks!
> > > >
> > > > Simon
> > > >
> > > > On Wed, 26 Jun 2024 at 20:50, Adam Gundry <adam at well-typed.com>
> wrote:
> > > >
> > > > > Dear Committee,
> > > > >
> > > > > Gergő Érdi proposes to allow local binders to shadow names defined
> in
> > > > > outer scopes:
> > > > >
> > > > > https://github.com/ghc-proposals/ghc-proposals/pull/652
> > > > >
> > > > >
> > >
> https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst
> > > > >
> > > > > I'd like to nominate Erik de Castro Lopo as the shepherd.
> > > > >
> > > > > 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
> > > > > _______________________________________________
> > > > > ghc-steering-committee mailing list
> > > > > ghc-steering-committee at haskell.org
> > > > >
> > >
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> > > > >
> > >
> > >
> > > --
> > > ----------------------------------------------------------------------
> > > Erik de Castro Lopo
> > > http://www.mega-nerd.com/
> > >
>
>
> --
> ----------------------------------------------------------------------
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240815/a10a681e/attachment.html>

From eric at seidel.io  Thu Aug 15 11:38:38 2024
From: eric at seidel.io (Eric Seidel)
Date: Thu, 15 Aug 2024 06:38:38 -0500
Subject: [ghc-steering-committee] Please review #652: Import shadowing
In-Reply-To: <CANsrgPJ=hpAgEN-Wz5DMQoxxzVHD-a0HWWOa+M2nyvrhQ_N7yQ@mail.gmail.com>
References: <CANsrgPJ=hpAgEN-Wz5DMQoxxzVHD-a0HWWOa+M2nyvrhQ_N7yQ@mail.gmail.com>
Message-ID: <CE15438D-5491-4DB1-AADE-C6BC37ACAD94@seidel.io>

An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240815/eb15358b/attachment.html>

From mpg at mpg.is  Thu Aug 15 12:02:36 2024
From: mpg at mpg.is (=?UTF-8?Q?Matth=C3=ADas_P=C3=A1ll_Gissurarson?=)
Date: Thu, 15 Aug 2024 14:02:36 +0200
Subject: [ghc-steering-committee] Please review #652: Import shadowing
In-Reply-To: <CE15438D-5491-4DB1-AADE-C6BC37ACAD94@seidel.io>
References: <CANsrgPJ=hpAgEN-Wz5DMQoxxzVHD-a0HWWOa+M2nyvrhQ_N7yQ@mail.gmail.com>
 <CE15438D-5491-4DB1-AADE-C6BC37ACAD94@seidel.io>
Message-ID: <CAPxmXQwMC_QFMt3o_eLRggu06tDpFCRVKSgOkReTpetkFipJcg@mail.gmail.com>

Sorry for the late reply. I'm in support!

/Matti Palli


On Thu, Aug 15, 2024 at 13:38 Eric Seidel <eric at seidel.io> wrote:

> I am also in favor of the change.
>
> Sent from my iPhone
>
> On Aug 15, 2024, at 02:47, Simon Marlow <marlowsd at gmail.com> wrote:
>
> 
>
> Seems like a good change. I'm in favour of acceptance.
>
> Simon
>
> On Tue, 13 Aug 2024 at 08:07, Erik de Castro Lopo <erikd at mega-nerd.com>
> wrote:
>
>> Hi Simon M., Matte Ott, Matthías Páll Gissurarson, Eric Seidel and Adam
>> Gundry,
>>
>> We need a decision on:
>>
>>    https://github.com/ghc-proposals/ghc-proposals/pull/652
>>
>> Thank you.
>>
>> Cheers,
>> Erik
>>
>> Simon Peyton Jones wrote:
>>
>> > Erik
>> >
>> > Another two weeks has passed.  Can you push the committee towards a
>> > decision?  As shepherd that is your role.
>> >
>> > You may find the spreadsheet
>> > <
>> https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing
>> >helpful
>> > to record votes.
>> >
>> > If particular committee members are unresponsive, address them by name,
>> > cc'ing me.
>> >
>> > We owe it to our proposers to make decisions.  Thanks!
>> >
>> > Simon
>> >
>> > On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo <erikd at mega-nerd.com>
>> > wrote:
>> > Matthías Páll Gissurarson
>> > > Hi all,
>> > >
>> > > This proposal seems totally reasonable. I have marked it as "under
>> review"
>> > > and added a "Pending committee review" label.
>> > >
>> > > Cheers,
>> > > Erik
>> > >
>> > >
>> > > Simon Peyton Jones wrote:
>> > >
>> > > > Erik,
>> > > >
>> > > > Adam assigned this to you on 26 June, and usually we'd expect a
>> > > > recommendation from the shepherd within a week, or two at most.
>> But I
>> > > > don't think we've heard from you.
>> > > >
>> > > > Could you drive us towards a timely conclusion?  I don't this this
>> is a
>> > > > controversial one.
>> > > >
>> > > > Thanks!
>> > > >
>> > > > Simon
>> > > >
>> > > > On Wed, 26 Jun 2024 at 20:50, Adam Gundry <adam at well-typed.com>
>> wrote:
>> > > >
>> > > > > Dear Committee,
>> > > > >
>> > > > > Gergő Érdi proposes to allow local binders to shadow names
>> defined in
>> > > > > outer scopes:
>> > > > >
>> > > > > https://github.com/ghc-proposals/ghc-proposals/pull/652
>> > > > >
>> > > > >
>> > >
>> https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst
>> > > > >
>> > > > > I'd like to nominate Erik de Castro Lopo as the shepherd.
>> > > > >
>> > > > > 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
>> <https://www.google.com/maps/search/27+Old+Gloucester+Street,+London+WC1N+3AX,+England?entry=gmail&source=g>
>> > > > > _______________________________________________
>> > > > > ghc-steering-committee mailing list
>> > > > > ghc-steering-committee at haskell.org
>> > > > >
>> > >
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>> > > > >
>> > >
>> > >
>> > > --
>> > > ----------------------------------------------------------------------
>> > > Erik de Castro Lopo
>> > > http://www.mega-nerd.com/
>> > >
>>
>>
>> --
>> ----------------------------------------------------------------------
>> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240815/eefe17fc/attachment.html>

From erikd at mega-nerd.com  Thu Aug 15 22:54:11 2024
From: erikd at mega-nerd.com (Erik de Castro Lopo)
Date: Fri, 16 Aug 2024 08:54:11 +1000
Subject: [ghc-steering-committee] Please review #652: Import shadowing
In-Reply-To: <CAPxmXQwMC_QFMt3o_eLRggu06tDpFCRVKSgOkReTpetkFipJcg@mail.gmail.com>
References: <CANsrgPJ=hpAgEN-Wz5DMQoxxzVHD-a0HWWOa+M2nyvrhQ_N7yQ@mail.gmail.com>
 <CE15438D-5491-4DB1-AADE-C6BC37ACAD94@seidel.io>
 <CAPxmXQwMC_QFMt3o_eLRggu06tDpFCRVKSgOkReTpetkFipJcg@mail.gmail.com>
Message-ID: <20240816085411.ec203929180180a7734d2b79@mega-nerd.com>



As the shephard, I have accepted this proposal.

Thanks to all.

Cheers,
Erik

Matthías Páll Gissurarson wrote:

> Sorry for the late reply. I'm in support!
> 
> /Matti Palli
> 
> 
> On Thu, Aug 15, 2024 at 13:38 Eric Seidel <eric at seidel.io> wrote:
> 
> > I am also in favor of the change.
> >
> > Sent from my iPhone
> >
> > On Aug 15, 2024, at 02:47, Simon Marlow <marlowsd at gmail.com> wrote:
> >
> > 
> >
> > Seems like a good change. I'm in favour of acceptance.
> >
> > Simon
> >
> > On Tue, 13 Aug 2024 at 08:07, Erik de Castro Lopo <erikd at mega-nerd.com>
> > wrote:
> >
> >> Hi Simon M., Matte Ott, Matthías Páll Gissurarson, Eric Seidel and Adam
> >> Gundry,
> >>
> >> We need a decision on:
> >>
> >>    https://github.com/ghc-proposals/ghc-proposals/pull/652
> >>
> >> Thank you.
> >>
> >> Cheers,
> >> Erik
> >>
> >> Simon Peyton Jones wrote:
> >>
> >> > Erik
> >> >
> >> > Another two weeks has passed.  Can you push the committee towards a
> >> > decision?  As shepherd that is your role.
> >> >
> >> > You may find the spreadsheet
> >> > <
> >> https://docs.google.com/spreadsheets/d/1e6GdwHmAjeDEUhTvP-b18MDkpTfH3SMHhFu5F3nDIWc/edit?usp=sharing
> >> >helpful
> >> > to record votes.
> >> >
> >> > If particular committee members are unresponsive, address them by name,
> >> > cc'ing me.
> >> >
> >> > We owe it to our proposers to make decisions.  Thanks!
> >> >
> >> > Simon
> >> >
> >> > On Fri, 26 Jul 2024 at 04:15, Erik de Castro Lopo <erikd at mega-nerd.com>
> >> > wrote:
> >> > Matthías Páll Gissurarson
> >> > > Hi all,
> >> > >
> >> > > This proposal seems totally reasonable. I have marked it as "under
> >> review"
> >> > > and added a "Pending committee review" label.
> >> > >
> >> > > Cheers,
> >> > > Erik
> >> > >
> >> > >
> >> > > Simon Peyton Jones wrote:
> >> > >
> >> > > > Erik,
> >> > > >
> >> > > > Adam assigned this to you on 26 June, and usually we'd expect a
> >> > > > recommendation from the shepherd within a week, or two at most.
> >> But I
> >> > > > don't think we've heard from you.
> >> > > >
> >> > > > Could you drive us towards a timely conclusion?  I don't this this
> >> is a
> >> > > > controversial one.
> >> > > >
> >> > > > Thanks!
> >> > > >
> >> > > > Simon
> >> > > >
> >> > > > On Wed, 26 Jun 2024 at 20:50, Adam Gundry <adam at well-typed.com>
> >> wrote:
> >> > > >
> >> > > > > Dear Committee,
> >> > > > >
> >> > > > > Gergő Érdi proposes to allow local binders to shadow names
> >> defined in
> >> > > > > outer scopes:
> >> > > > >
> >> > > > > https://github.com/ghc-proposals/ghc-proposals/pull/652
> >> > > > >
> >> > > > >
> >> > >
> >> https://github.com/gergoerdi/ghc-proposals/blob/mu/import-shadowing/proposals/0000-import-shadowing.rst
> >> > > > >
> >> > > > > I'd like to nominate Erik de Castro Lopo as the shepherd.
> >> > > > >
> >> > > > > 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
> >> <https://www.google.com/maps/search/27+Old+Gloucester+Street,+London+WC1N+3AX,+England?entry=gmail&source=g>
> >> > > > > _______________________________________________
> >> > > > > ghc-steering-committee mailing list
> >> > > > > ghc-steering-committee at haskell.org
> >> > > > >
> >> > >
> >> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> >> > > > >
> >> > >
> >> > >
> >> > > --
> >> > > ----------------------------------------------------------------------
> >> > > Erik de Castro Lopo
> >> > > http://www.mega-nerd.com/
> >> > >
> >>
> >>
> >> --
> >> ----------------------------------------------------------------------
> >> 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
> >


-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/

From simon.peytonjones at gmail.com  Sun Aug 25 16:48:11 2024
From: simon.peytonjones at gmail.com (Simon Peyton Jones)
Date: Sun, 25 Aug 2024 17:48:11 +0100
Subject: [ghc-steering-committee] Named defaults -- attention needed
Message-ID: <CAJKmMz94Nr8Bxq=PzegfyPEVJ6gOTfT1o2vY5RCUi+v9QVR7AA@mail.gmail.com>

Dear GHC Steering Committee

Please see https://github.com/ghc-proposals/ghc-proposals/pull/672.  This
is a small amendment to a recently-accepted proposal, prompted by the
discovery that the language feature accidentally breaks code that doesn't
use it.

It's small but important.  Maybe not yet formally submitted for our
attention, but we want to get something agreed and implemented before the
next release.  So I think it's worth your early attention.

Simon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240825/44598d40/attachment.html>