From adam at well-typed.com  Tue Sep 10 07:19:39 2024
From: adam at well-typed.com (Adam Gundry)
Date: Tue, 10 Sep 2024 08:19:39 +0100
Subject: [ghc-steering-committee] #672: Amendment to exportable named
 defaults (#409), recommendation: accept
In-Reply-To: <CAJKmMz94Nr8Bxq=PzegfyPEVJ6gOTfT1o2vY5RCUi+v9QVR7AA@mail.gmail.com>
References: <CAJKmMz94Nr8Bxq=PzegfyPEVJ6gOTfT1o2vY5RCUi+v9QVR7AA@mail.gmail.com>
Message-ID: <aa160e64-7cf7-4e3d-8f3d-ddbce41d0d4d@well-typed.com>

Dear Committee,

Mario Blažević proposes to amend the accepted proposal #409 for 
exportable named defaults, so that defaults will be exported only if 
they are listed explicitly (even where a module lacks an export list or 
is exported as a whole).

PR: https://github.com/ghc-proposals/ghc-proposals/pull/672

Diff: https://github.com/ghc-proposals/ghc-proposals/pull/672/files

Rendered: 
https://github.com/blamario/ghc-proposals/blob/named-default-explicit-export-only/proposals/0409-exportable-named-default.rst

I'll shepherd this one, since we want to get this resolved before 9.12. 
As quite a few committee members have already expressed support on the 
GitHub thread, and based on the rationale at 
https://github.com/ghc-proposals/ghc-proposals/pull/672#issuecomment-2308980309, 
I recommend prompt acceptance.

Please object within a week if you think we should reconsider.

Cheers,

Adam



On 25/08/2024 17:48, Simon Peyton Jones wrote:
> Dear GHC Steering Committee
> 
> Please see https://github.com/ghc-proposals/ghc-proposals/pull/672 
> <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


-- 
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 simon.peytonjones at gmail.com  Fri Sep 13 16:44:14 2024
From: simon.peytonjones at gmail.com (Simon Peyton Jones)
Date: Fri, 13 Sep 2024 17:44:14 +0100
Subject: [ghc-steering-committee] #672: Amendment to exportable named
 defaults (#409), recommendation: accept
In-Reply-To: <aa160e64-7cf7-4e3d-8f3d-ddbce41d0d4d@well-typed.com>
References: <CAJKmMz94Nr8Bxq=PzegfyPEVJ6gOTfT1o2vY5RCUi+v9QVR7AA@mail.gmail.com>
 <aa160e64-7cf7-4e3d-8f3d-ddbce41d0d4d@well-typed.com>
Message-ID: <CAJKmMz8xaq=-yw=B3qpWo0EM-MXkYRhvVMNe-AU==B9uk=CH4A@mail.gmail.com>

I'm in support.

Simon

On Tue, 10 Sept 2024 at 08:20, Adam Gundry <adam at well-typed.com> wrote:

> Dear Committee,
>
> Mario Blažević proposes to amend the accepted proposal #409 for
> exportable named defaults, so that defaults will be exported only if
> they are listed explicitly (even where a module lacks an export list or
> is exported as a whole).
>
> PR: https://github.com/ghc-proposals/ghc-proposals/pull/672
>
> Diff: https://github.com/ghc-proposals/ghc-proposals/pull/672/files
>
> Rendered:
>
> https://github.com/blamario/ghc-proposals/blob/named-default-explicit-export-only/proposals/0409-exportable-named-default.rst
>
> I'll shepherd this one, since we want to get this resolved before 9.12.
> As quite a few committee members have already expressed support on the
> GitHub thread, and based on the rationale at
>
> https://github.com/ghc-proposals/ghc-proposals/pull/672#issuecomment-2308980309,
>
> I recommend prompt acceptance.
>
> Please object within a week if you think we should reconsider.
>
> Cheers,
>
> Adam
>
>
>
> On 25/08/2024 17:48, Simon Peyton Jones wrote:
> > Dear GHC Steering Committee
> >
> > Please see https://github.com/ghc-proposals/ghc-proposals/pull/672
> > <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
>
>
> --
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240913/4c26e48f/attachment.html>

From mpg at mpg.is  Fri Sep 13 17:28:56 2024
From: mpg at mpg.is (=?UTF-8?Q?Matth=C3=ADas_P=C3=A1ll_Gissurarson?=)
Date: Fri, 13 Sep 2024 19:28:56 +0200
Subject: [ghc-steering-committee] #672: Amendment to exportable named
 defaults (#409), recommendation: accept
In-Reply-To: <CAJKmMz8xaq=-yw=B3qpWo0EM-MXkYRhvVMNe-AU==B9uk=CH4A@mail.gmail.com>
References: <CAJKmMz94Nr8Bxq=PzegfyPEVJ6gOTfT1o2vY5RCUi+v9QVR7AA@mail.gmail.com>
 <aa160e64-7cf7-4e3d-8f3d-ddbce41d0d4d@well-typed.com>
 <CAJKmMz8xaq=-yw=B3qpWo0EM-MXkYRhvVMNe-AU==B9uk=CH4A@mail.gmail.com>
Message-ID: <CAPxmXQw2YKmdGSowaYHt-Eew9oGQFRGo=1zCc-=xmbkfDwZvtg@mail.gmail.com>

I'm in support.

On Fri, 13 Sept 2024 at 18:44, Simon Peyton Jones <
simon.peytonjones at gmail.com> wrote:

> I'm in support.
>
> Simon
>
> On Tue, 10 Sept 2024 at 08:20, Adam Gundry <adam at well-typed.com> wrote:
>
>> Dear Committee,
>>
>> Mario Blažević proposes to amend the accepted proposal #409 for
>> exportable named defaults, so that defaults will be exported only if
>> they are listed explicitly (even where a module lacks an export list or
>> is exported as a whole).
>>
>> PR: https://github.com/ghc-proposals/ghc-proposals/pull/672
>>
>> Diff: https://github.com/ghc-proposals/ghc-proposals/pull/672/files
>>
>> Rendered:
>>
>> https://github.com/blamario/ghc-proposals/blob/named-default-explicit-export-only/proposals/0409-exportable-named-default.rst
>>
>> I'll shepherd this one, since we want to get this resolved before 9.12.
>> As quite a few committee members have already expressed support on the
>> GitHub thread, and based on the rationale at
>>
>> https://github.com/ghc-proposals/ghc-proposals/pull/672#issuecomment-2308980309,
>>
>> I recommend prompt acceptance.
>>
>> Please object within a week if you think we should reconsider.
>>
>> Cheers,
>>
>> Adam
>>
>>
>>
>> On 25/08/2024 17:48, Simon Peyton Jones wrote:
>> > Dear GHC Steering Committee
>> >
>> > Please see https://github.com/ghc-proposals/ghc-proposals/pull/672
>> > <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
>>
>>
>> --
>> 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
>


-- 
--  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/20240913/1f3e092d/attachment.html>

From jakob.bruenker at gmail.com  Sat Sep 14 13:18:38 2024
From: jakob.bruenker at gmail.com (=?UTF-8?Q?Jakob_Br=C3=BCnker?=)
Date: Sat, 14 Sep 2024 15:18:38 +0200
Subject: [ghc-steering-committee] #672: Amendment to exportable named
 defaults (#409), recommendation: accept
In-Reply-To: <CAPxmXQw2YKmdGSowaYHt-Eew9oGQFRGo=1zCc-=xmbkfDwZvtg@mail.gmail.com>
References: <CAJKmMz94Nr8Bxq=PzegfyPEVJ6gOTfT1o2vY5RCUi+v9QVR7AA@mail.gmail.com>
 <aa160e64-7cf7-4e3d-8f3d-ddbce41d0d4d@well-typed.com>
 <CAJKmMz8xaq=-yw=B3qpWo0EM-MXkYRhvVMNe-AU==B9uk=CH4A@mail.gmail.com>
 <CAPxmXQw2YKmdGSowaYHt-Eew9oGQFRGo=1zCc-=xmbkfDwZvtg@mail.gmail.com>
Message-ID: <CAJjQ6oNUGTVkVuoXdH7ZYJUEDZJ-Acw5-ksyKuOibnh2=Y5_vg@mail.gmail.com>

I'm in support

Jakob

On Fri, Sep 13, 2024 at 7:30 PM Matthías Páll Gissurarson <mpg at mpg.is>
wrote:

> I'm in support.
>
> On Fri, 13 Sept 2024 at 18:44, Simon Peyton Jones <
> simon.peytonjones at gmail.com> wrote:
>
>> I'm in support.
>>
>> Simon
>>
>> On Tue, 10 Sept 2024 at 08:20, Adam Gundry <adam at well-typed.com> wrote:
>>
>>> Dear Committee,
>>>
>>> Mario Blažević proposes to amend the accepted proposal #409 for
>>> exportable named defaults, so that defaults will be exported only if
>>> they are listed explicitly (even where a module lacks an export list or
>>> is exported as a whole).
>>>
>>> PR: https://github.com/ghc-proposals/ghc-proposals/pull/672
>>>
>>> Diff: https://github.com/ghc-proposals/ghc-proposals/pull/672/files
>>>
>>> Rendered:
>>>
>>> https://github.com/blamario/ghc-proposals/blob/named-default-explicit-export-only/proposals/0409-exportable-named-default.rst
>>>
>>> I'll shepherd this one, since we want to get this resolved before 9.12.
>>> As quite a few committee members have already expressed support on the
>>> GitHub thread, and based on the rationale at
>>>
>>> https://github.com/ghc-proposals/ghc-proposals/pull/672#issuecomment-2308980309,
>>>
>>> I recommend prompt acceptance.
>>>
>>> Please object within a week if you think we should reconsider.
>>>
>>> Cheers,
>>>
>>> Adam
>>>
>>>
>>>
>>> On 25/08/2024 17:48, Simon Peyton Jones wrote:
>>> > Dear GHC Steering Committee
>>> >
>>> > Please see https://github.com/ghc-proposals/ghc-proposals/pull/672
>>> > <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
>>>
>>>
>>> --
>>> 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
>>
>
>
> --
> --  Matthías Páll Gissurarson <http://mpg.is/>
> _______________________________________________
> 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/20240914/da9f8ece/attachment.html>

From eric at seidel.io  Sun Sep 15 21:45:19 2024
From: eric at seidel.io (Eric Seidel)
Date: Sun, 15 Sep 2024 16:45:19 -0500
Subject: [ghc-steering-committee] #672: Amendment to exportable named
 defaults (#409), recommendation: accept
In-Reply-To: <CAJjQ6oNUGTVkVuoXdH7ZYJUEDZJ-Acw5-ksyKuOibnh2=Y5_vg@mail.gmail.com>
References: <CAJKmMz94Nr8Bxq=PzegfyPEVJ6gOTfT1o2vY5RCUi+v9QVR7AA@mail.gmail.com>
 <aa160e64-7cf7-4e3d-8f3d-ddbce41d0d4d@well-typed.com>
 <CAJKmMz8xaq=-yw=B3qpWo0EM-MXkYRhvVMNe-AU==B9uk=CH4A@mail.gmail.com>
 <CAPxmXQw2YKmdGSowaYHt-Eew9oGQFRGo=1zCc-=xmbkfDwZvtg@mail.gmail.com>
 <CAJjQ6oNUGTVkVuoXdH7ZYJUEDZJ-Acw5-ksyKuOibnh2=Y5_vg@mail.gmail.com>
Message-ID: <19f403fb-b828-4145-9e59-edd208192e0e@app.fastmail.com>

I support the amendment as well.

On Sat, Sep 14, 2024, at 08:18, Jakob Brünker wrote:
> I'm in support
>
> Jakob
>
> On Fri, Sep 13, 2024 at 7:30 PM Matthías Páll Gissurarson <mpg at mpg.is> wrote:
>> I'm in support.
>> 
>> On Fri, 13 Sept 2024 at 18:44, Simon Peyton Jones <simon.peytonjones at gmail.com> wrote:
>>> I'm in support.
>>> 
>>> Simon
>>> 
>>> On Tue, 10 Sept 2024 at 08:20, Adam Gundry <adam at well-typed.com> wrote:
>>>> Dear Committee,
>>>> 
>>>> Mario Blažević proposes to amend the accepted proposal #409 for 
>>>> exportable named defaults, so that defaults will be exported only if 
>>>> they are listed explicitly (even where a module lacks an export list or 
>>>> is exported as a whole).
>>>> 
>>>> PR: https://github.com/ghc-proposals/ghc-proposals/pull/672
>>>> 
>>>> Diff: https://github.com/ghc-proposals/ghc-proposals/pull/672/files
>>>> 
>>>> Rendered: 
>>>> https://github.com/blamario/ghc-proposals/blob/named-default-explicit-export-only/proposals/0409-exportable-named-default.rst
>>>> 
>>>> I'll shepherd this one, since we want to get this resolved before 9.12. 
>>>> As quite a few committee members have already expressed support on the 
>>>> GitHub thread, and based on the rationale at 
>>>> https://github.com/ghc-proposals/ghc-proposals/pull/672#issuecomment-2308980309, 
>>>> I recommend prompt acceptance.
>>>> 
>>>> Please object within a week if you think we should reconsider.
>>>> 
>>>> Cheers,
>>>> 
>>>> Adam
>>>> 
>>>> 
>>>> 
>>>> On 25/08/2024 17:48, Simon Peyton Jones wrote:
>>>> > Dear GHC Steering Committee
>>>> > 
>>>> > Please see https://github.com/ghc-proposals/ghc-proposals/pull/672 
>>>> > <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
>>>> 
>>>> 
>>>> -- 
>>>> 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
>> 
>> 
>> -- 
>> --  Matthías Páll Gissurarson <http://mpg.is/>
>> _______________________________________________
>> 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 erikd at mega-nerd.com  Mon Sep 16 08:15:15 2024
From: erikd at mega-nerd.com (Erik de Castro Lopo)
Date: Mon, 16 Sep 2024 18:15:15 +1000
Subject: [ghc-steering-committee] #672: Amendment to exportable named
 defaults (#409), recommendation: accept
In-Reply-To: <19f403fb-b828-4145-9e59-edd208192e0e@app.fastmail.com>
References: <CAJKmMz94Nr8Bxq=PzegfyPEVJ6gOTfT1o2vY5RCUi+v9QVR7AA@mail.gmail.com>
 <aa160e64-7cf7-4e3d-8f3d-ddbce41d0d4d@well-typed.com>
 <CAJKmMz8xaq=-yw=B3qpWo0EM-MXkYRhvVMNe-AU==B9uk=CH4A@mail.gmail.com>
 <CAPxmXQw2YKmdGSowaYHt-Eew9oGQFRGo=1zCc-=xmbkfDwZvtg@mail.gmail.com>
 <CAJjQ6oNUGTVkVuoXdH7ZYJUEDZJ-Acw5-ksyKuOibnh2=Y5_vg@mail.gmail.com>
 <19f403fb-b828-4145-9e59-edd208192e0e@app.fastmail.com>
Message-ID: <20240916181515.90ef0bc9e7b5a9b464e33741@mega-nerd.com>


I already supported this on the GH issue. Here it is in email as well.

Erik

Eric Seidel wrote:

> I support the amendment as well.
> 
> On Sat, Sep 14, 2024, at 08:18, Jakob Brünker wrote:
> > I'm in support
> >
> > Jakob
> >
> > On Fri, Sep 13, 2024 at 7:30 PM Matthías Páll Gissurarson <mpg at mpg.is> wrote:
> >> I'm in support.
> >> 
> >> On Fri, 13 Sept 2024 at 18:44, Simon Peyton Jones <simon.peytonjones at gmail.com> wrote:
> >>> I'm in support.
> >>> 
> >>> Simon
> >>> 
> >>> On Tue, 10 Sept 2024 at 08:20, Adam Gundry <adam at well-typed.com> wrote:
> >>>> Dear Committee,
> >>>> 
> >>>> Mario Blažević proposes to amend the accepted proposal #409 for 
> >>>> exportable named defaults, so that defaults will be exported only if 
> >>>> they are listed explicitly (even where a module lacks an export list or 
> >>>> is exported as a whole).
> >>>> 
> >>>> PR: https://github.com/ghc-proposals/ghc-proposals/pull/672
> >>>> 
> >>>> Diff: https://github.com/ghc-proposals/ghc-proposals/pull/672/files
> >>>> 
> >>>> Rendered: 
> >>>> https://github.com/blamario/ghc-proposals/blob/named-default-explicit-export-only/proposals/0409-exportable-named-default.rst
> >>>> 
> >>>> I'll shepherd this one, since we want to get this resolved before 9.12. 
> >>>> As quite a few committee members have already expressed support on the 
> >>>> GitHub thread, and based on the rationale at 
> >>>> https://github.com/ghc-proposals/ghc-proposals/pull/672#issuecomment-2308980309, 
> >>>> I recommend prompt acceptance.
> >>>> 
> >>>> Please object within a week if you think we should reconsider.
> >>>> 
> >>>> Cheers,
> >>>> 
> >>>> Adam
> >>>> 
> >>>> 
> >>>> 
> >>>> On 25/08/2024 17:48, Simon Peyton Jones wrote:
> >>>> > Dear GHC Steering Committee
> >>>> > 
> >>>> > Please see https://github.com/ghc-proposals/ghc-proposals/pull/672 
> >>>> > <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
> >>>> 
> >>>> 
> >>>> -- 
> >>>> 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
> >> 
> >> 
> >> -- 
> >> --  Matthías Páll Gissurarson <http://mpg.is/>
> >> _______________________________________________
> >> 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 sgraf1337 at gmail.com  Mon Sep 16 08:19:47 2024
From: sgraf1337 at gmail.com (Sebastian Graf)
Date: Mon, 16 Sep 2024 08:19:47 +0000
Subject: [ghc-steering-committee] #672: Amendment to exportable named
 defaults (#409), recommendation: accept
In-Reply-To: <20240916181515.90ef0bc9e7b5a9b464e33741@mega-nerd.com>
References: <CAJKmMz94Nr8Bxq=PzegfyPEVJ6gOTfT1o2vY5RCUi+v9QVR7AA@mail.gmail.com>
 <aa160e64-7cf7-4e3d-8f3d-ddbce41d0d4d@well-typed.com>
 <CAJKmMz8xaq=-yw=B3qpWo0EM-MXkYRhvVMNe-AU==B9uk=CH4A@mail.gmail.com>
 <CAPxmXQw2YKmdGSowaYHt-Eew9oGQFRGo=1zCc-=xmbkfDwZvtg@mail.gmail.com>
 <CAJjQ6oNUGTVkVuoXdH7ZYJUEDZJ-Acw5-ksyKuOibnh2=Y5_vg@mail.gmail.com>
 <19f403fb-b828-4145-9e59-edd208192e0e@app.fastmail.com>
 <20240916181515.90ef0bc9e7b5a9b464e33741@mega-nerd.com>
Message-ID: <emd083f5c3-bd67-4af2-9a9a-c9c66d9c3565@ae2cc6f1.com>

Just for the record: I'm in support as well.

However, I was thinking that the following request

 > Please object within a week if you think we should reconsider.

meant that I should only write if I was *not* in support.
Or does this sentence mean "please state acceptance regardless, so that 
maybe we can accept in less than a week"?

Cheers,
Sebastian


------ Originalnachricht ------
Von "Erik de Castro Lopo" <erikd at mega-nerd.com>
An ghc-steering-committee at haskell.org
Datum 16.09.2024 10:15:15
Betreff Re: [ghc-steering-committee] #672: Amendment to exportable named 
defaults (#409), recommendation: accept

>
>I already supported this on the GH issue. Here it is in email as well.
>
>Erik
>
>Eric Seidel wrote:
>
>>  I support the amendment as well.
>>
>>  On Sat, Sep 14, 2024, at 08:18, Jakob Brünker wrote:
>>  > I'm in support
>>  >
>>  > Jakob
>>  >
>>  > On Fri, Sep 13, 2024 at 7:30 PM Matthías Páll Gissurarson <mpg at mpg.is> wrote:
>>  >> I'm in support.
>>  >>
>>  >> On Fri, 13 Sept 2024 at 18:44, Simon Peyton Jones <simon.peytonjones at gmail.com> wrote:
>>  >>> I'm in support.
>>  >>>
>>  >>> Simon
>>  >>>
>>  >>> On Tue, 10 Sept 2024 at 08:20, Adam Gundry <adam at well-typed.com> wrote:
>>  >>>> Dear Committee,
>>  >>>>
>>  >>>> Mario Blažević proposes to amend the accepted proposal #409 for
>>  >>>> exportable named defaults, so that defaults will be exported only if
>>  >>>> they are listed explicitly (even where a module lacks an export list or
>>  >>>> is exported as a whole).
>>  >>>>
>>  >>>> PR: https://github.com/ghc-proposals/ghc-proposals/pull/672
>>  >>>>
>>  >>>> Diff: https://github.com/ghc-proposals/ghc-proposals/pull/672/files
>>  >>>>
>>  >>>> Rendered:
>>  >>>> https://github.com/blamario/ghc-proposals/blob/named-default-explicit-export-only/proposals/0409-exportable-named-default.rst
>>  >>>>
>>  >>>> I'll shepherd this one, since we want to get this resolved before 9.12.
>>  >>>> As quite a few committee members have already expressed support on the
>>  >>>> GitHub thread, and based on the rationale at
>>  >>>> https://github.com/ghc-proposals/ghc-proposals/pull/672#issuecomment-2308980309,
>>  >>>> I recommend prompt acceptance.
>>  >>>>
>>  >>>> Please object within a week if you think we should reconsider.
>>  >>>>
>>  >>>> Cheers,
>>  >>>>
>>  >>>> Adam
>>  >>>>
>>  >>>>
>>  >>>>
>>  >>>> On 25/08/2024 17:48, Simon Peyton Jones wrote:
>>  >>>> > Dear GHC Steering Committee
>>  >>>> >
>>  >>>> > Please see https://github.com/ghc-proposals/ghc-proposals/pull/672
>>  >>>> > <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
>>  >>>>
>>  >>>>
>>  >>>> --
>>  >>>> 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
>>  >>
>>  >>
>>  >> --
>>  >> --  Matthías Páll Gissurarson <http://mpg.is/>
>>  >> _______________________________________________
>>  >> 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/
>_______________________________________________
>ghc-steering-committee mailing list
>ghc-steering-committee at haskell.org
>https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

From eric at seidel.io  Mon Sep 16 11:59:15 2024
From: eric at seidel.io (Eric Seidel)
Date: Mon, 16 Sep 2024 06:59:15 -0500
Subject: [ghc-steering-committee] #672: Amendment to exportable named
	defaults (#409), recommendation: accept
In-Reply-To: <emd083f5c3-bd67-4af2-9a9a-c9c66d9c3565@ae2cc6f1.com>
References: <emd083f5c3-bd67-4af2-9a9a-c9c66d9c3565@ae2cc6f1.com>
Message-ID: <DE8E4A8C-8147-4B9B-9AA9-DC3371E75DE0@seidel.io>

The acting shepherd will often assume that silence is assent in order to keep things moving (within reason). But as a rule we prefer to have the committee explicitly voice support. 

Sent from my iPhone

> On Sep 16, 2024, at 03:20, Sebastian Graf <sgraf1337 at gmail.com> wrote:
> 
> Just for the record: I'm in support as well.
> 
> However, I was thinking that the following request
> 
> > Please object within a week if you think we should reconsider.
> 
> meant that I should only write if I was *not* in support.
> Or does this sentence mean "please state acceptance regardless, so that maybe we can accept in less than a week"?
> 
> Cheers,
> Sebastian
> 
> 
> ------ Originalnachricht ------
> Von "Erik de Castro Lopo" <erikd at mega-nerd.com>
> An ghc-steering-committee at haskell.org
> Datum 16.09.2024 10:15:15
> Betreff Re: [ghc-steering-committee] #672: Amendment to exportable named defaults (#409), recommendation: accept
> 
>> 
>> I already supported this on the GH issue. Here it is in email as well.
>> 
>> Erik
>> 
>> Eric Seidel wrote:
>> 
>>> I support the amendment as well.
>>> 
>>>> On Sat, Sep 14, 2024, at 08:18, Jakob Brünker wrote:
>>> > I'm in support
>>> >
>>> > Jakob
>>> >
>>> > On Fri, Sep 13, 2024 at 7:30 PM Matthías Páll Gissurarson <mpg at mpg.is> wrote:
>>> >> I'm in support.
>>> >>
>>> >> On Fri, 13 Sept 2024 at 18:44, Simon Peyton Jones <simon.peytonjones at gmail.com> wrote:
>>> >>> I'm in support.
>>> >>>
>>> >>> Simon
>>> >>>
>>> >>> On Tue, 10 Sept 2024 at 08:20, Adam Gundry <adam at well-typed.com> wrote:
>>> >>>> Dear Committee,
>>> >>>>
>>> >>>> Mario Blažević proposes to amend the accepted proposal #409 for
>>> >>>> exportable named defaults, so that defaults will be exported only if
>>> >>>> they are listed explicitly (even where a module lacks an export list or
>>> >>>> is exported as a whole).
>>> >>>>
>>> >>>> PR: https://github.com/ghc-proposals/ghc-proposals/pull/672
>>> >>>>
>>> >>>> Diff: https://github.com/ghc-proposals/ghc-proposals/pull/672/files
>>> >>>>
>>> >>>> Rendered:
>>> >>>> https://github.com/blamario/ghc-proposals/blob/named-default-explicit-export-only/proposals/0409-exportable-named-default.rst
>>> >>>>
>>> >>>> I'll shepherd this one, since we want to get this resolved before 9.12.
>>> >>>> As quite a few committee members have already expressed support on the
>>> >>>> GitHub thread, and based on the rationale at
>>> >>>> https://github.com/ghc-proposals/ghc-proposals/pull/672#issuecomment-2308980309,
>>> >>>> I recommend prompt acceptance.
>>> >>>>
>>> >>>> Please object within a week if you think we should reconsider.
>>> >>>>
>>> >>>> Cheers,
>>> >>>>
>>> >>>> Adam
>>> >>>>
>>> >>>>
>>> >>>>
>>> >>>> On 25/08/2024 17:48, Simon Peyton Jones wrote:
>>> >>>> > Dear GHC Steering Committee
>>> >>>> >
>>> >>>> > Please see https://github.com/ghc-proposals/ghc-proposals/pull/672
>>> >>>> > <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
>>> >>>>
>>> >>>>
>>> >>>> --
>>> >>>> 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
>>> >>
>>> >>
>>> >> --
>>> >> --  Matthías Páll Gissurarson <http://mpg.is/>
>>> >> _______________________________________________
>>> >> 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/
>> _______________________________________________
>> 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  Thu Sep 19 15:27:44 2024
From: adam at well-typed.com (Adam Gundry)
Date: Thu, 19 Sep 2024 16:27:44 +0100
Subject: [ghc-steering-committee] Please review #673: Amendment to -jsem
	proposal #540
Message-ID: <cafec484-0ca7-4f0c-8949-992e9c115537@well-typed.com>

Dear Committee,

Zubin Duggal proposes to amend proposal #540, which introduced the -jsem 
parallelism control mechanism, so that it can avoid incompatibilities 
arising from different system C library implementations:

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

https://github.com/wz1000/ghc-proposals/blob/new-jsem/proposals/0540-jsem.rst

I'd like to nominate Eric Seidel as the shepherd, since he was the 
shepherd of 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

From erikd at mega-nerd.com  Fri Sep 20 00:00:38 2024
From: erikd at mega-nerd.com (Erik de Castro Lopo)
Date: Fri, 20 Sep 2024 10:00:38 +1000
Subject: [ghc-steering-committee] Please review #673: Amendment to -jsem
 proposal #540
In-Reply-To: <cafec484-0ca7-4f0c-8949-992e9c115537@well-typed.com>
References: <cafec484-0ca7-4f0c-8949-992e9c115537@well-typed.com>
Message-ID: <20240920100038.f2cc7a353c4b4ce02da189f2@mega-nerd.com>

Hi all,

This is minor updates to correct an existing approved proposal.

I approve of these changes.

Erik

Adam Gundry wrote:

> Dear Committee,
> 
> Zubin Duggal proposes to amend proposal #540, which introduced the -jsem 
> parallelism control mechanism, so that it can avoid incompatibilities 
> arising from different system C library implementations:
> 
> https://github.com/ghc-proposals/ghc-proposals/pull/673
> 
> https://github.com/wz1000/ghc-proposals/blob/new-jsem/proposals/0540-jsem.rst
> 
> I'd like to nominate Eric Seidel as the shepherd, since he was the 
> shepherd of 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
> _______________________________________________
> 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 moritz.angermann at gmail.com  Fri Sep 20 03:51:54 2024
From: moritz.angermann at gmail.com (Moritz Angermann)
Date: Fri, 20 Sep 2024 12:51:54 +0900
Subject: [ghc-steering-committee] Please review #673: Amendment to -jsem
 proposal #540
In-Reply-To: <20240920100038.f2cc7a353c4b4ce02da189f2@mega-nerd.com>
References: <cafec484-0ca7-4f0c-8949-992e9c115537@well-typed.com>
 <20240920100038.f2cc7a353c4b4ce02da189f2@mega-nerd.com>
Message-ID: <CAKfdd-wjSySnQbnY6Vg_i-sN_8iTWM9yeR1JySkKfjJYnz16UA@mail.gmail.com>

Hi all,

I believe Erik meant to recommend acceptance of this proposal.

I too support this change.

Best,
 Moritz

On Fri, 20 Sept 2024 at 09:00, Erik de Castro Lopo <erikd at mega-nerd.com>
wrote:

> Hi all,
>
> This is minor updates to correct an existing approved proposal.
>
> I approve of these changes.
>
> Erik
>
> Adam Gundry wrote:
>
> > Dear Committee,
> >
> > Zubin Duggal proposes to amend proposal #540, which introduced the -jsem
> > parallelism control mechanism, so that it can avoid incompatibilities
> > arising from different system C library implementations:
> >
> > https://github.com/ghc-proposals/ghc-proposals/pull/673
> >
> >
> https://github.com/wz1000/ghc-proposals/blob/new-jsem/proposals/0540-jsem.rst
> >
> > I'd like to nominate Eric Seidel as the shepherd, since he was the
> > shepherd of 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
> > _______________________________________________
> > 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/20240920/e96c862e/attachment.html>

From erikd at mega-nerd.com  Fri Sep 20 04:05:02 2024
From: erikd at mega-nerd.com (Erik de Castro Lopo)
Date: Fri, 20 Sep 2024 14:05:02 +1000
Subject: [ghc-steering-committee] Please review #673: Amendment to -jsem
 proposal #540
In-Reply-To: <CAKfdd-wjSySnQbnY6Vg_i-sN_8iTWM9yeR1JySkKfjJYnz16UA@mail.gmail.com>
References: <cafec484-0ca7-4f0c-8949-992e9c115537@well-typed.com>
 <20240920100038.f2cc7a353c4b4ce02da189f2@mega-nerd.com>
 <CAKfdd-wjSySnQbnY6Vg_i-sN_8iTWM9yeR1JySkKfjJYnz16UA@mail.gmail.com>
Message-ID: <20240920140502.b3908e3675da2d2e3bce68b4@mega-nerd.com>

Moritz,

Eric Seidel was the shepherd for #540 which #673 (this one) amends.

Erik (with a 'k')

Moritz Angermann wrote:

> Hi all,
> 
> I believe Erik meant to recommend acceptance of this proposal.
> 
> I too support this change.
> 
> Best,
>  Moritz
> 
> On Fri, 20 Sept 2024 at 09:00, Erik de Castro Lopo <erikd at mega-nerd.com>
> wrote:
> 
> > Hi all,
> >
> > This is minor updates to correct an existing approved proposal.
> >
> > I approve of these changes.
> >
> > Erik
> >
> > Adam Gundry wrote:
> >
> > > Dear Committee,
> > >
> > > Zubin Duggal proposes to amend proposal #540, which introduced the -jsem
> > > parallelism control mechanism, so that it can avoid incompatibilities
> > > arising from different system C library implementations:
> > >
> > > https://github.com/ghc-proposals/ghc-proposals/pull/673
> > >
> > >
> > https://github.com/wz1000/ghc-proposals/blob/new-jsem/proposals/0540-jsem.rst
> > >
> > > I'd like to nominate Eric Seidel as the shepherd, since he was the
> > > shepherd of 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
> > > _______________________________________________
> > > 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
> >


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

From moritz.angermann at gmail.com  Fri Sep 20 04:07:09 2024
From: moritz.angermann at gmail.com (Moritz Angermann)
Date: Fri, 20 Sep 2024 13:07:09 +0900
Subject: [ghc-steering-committee] Please review #673: Amendment to -jsem
 proposal #540
In-Reply-To: <20240920140502.b3908e3675da2d2e3bce68b4@mega-nerd.com>
References: <cafec484-0ca7-4f0c-8949-992e9c115537@well-typed.com>
 <20240920100038.f2cc7a353c4b4ce02da189f2@mega-nerd.com>
 <CAKfdd-wjSySnQbnY6Vg_i-sN_8iTWM9yeR1JySkKfjJYnz16UA@mail.gmail.com>
 <20240920140502.b3908e3675da2d2e3bce68b4@mega-nerd.com>
Message-ID: <CAKfdd-xf=NLnK6vL+fg717nyBiOkaph7NCaUnAZe3+ebSU+8HQ@mail.gmail.com>

Erik,

My apologies! I got my eyes crossed 🙇

Best,
 Moritz

On Fri, 20 Sept 2024 at 13:05, Erik de Castro Lopo <erikd at mega-nerd.com>
wrote:

> Moritz,
>
> Eric Seidel was the shepherd for #540 which #673 (this one) amends.
>
> Erik (with a 'k')
>
> Moritz Angermann wrote:
>
> > Hi all,
> >
> > I believe Erik meant to recommend acceptance of this proposal.
> >
> > I too support this change.
> >
> > Best,
> >  Moritz
> >
> > On Fri, 20 Sept 2024 at 09:00, Erik de Castro Lopo <erikd at mega-nerd.com>
> > wrote:
> >
> > > Hi all,
> > >
> > > This is minor updates to correct an existing approved proposal.
> > >
> > > I approve of these changes.
> > >
> > > Erik
> > >
> > > Adam Gundry wrote:
> > >
> > > > Dear Committee,
> > > >
> > > > Zubin Duggal proposes to amend proposal #540, which introduced the
> -jsem
> > > > parallelism control mechanism, so that it can avoid incompatibilities
> > > > arising from different system C library implementations:
> > > >
> > > > https://github.com/ghc-proposals/ghc-proposals/pull/673
> > > >
> > > >
> > >
> https://github.com/wz1000/ghc-proposals/blob/new-jsem/proposals/0540-jsem.rst
> > > >
> > > > I'd like to nominate Eric Seidel as the shepherd, since he was the
> > > > shepherd of 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
> > > > _______________________________________________
> > > > 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
> > >
>
>
> --
> ----------------------------------------------------------------------
> 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/20240920/55f37aae/attachment-0001.html>

From eric at seidel.io  Sat Sep 21 14:16:26 2024
From: eric at seidel.io (Eric Seidel)
Date: Sat, 21 Sep 2024 09:16:26 -0500
Subject: [ghc-steering-committee] Please review #673: Amendment to -jsem
 proposal #540
In-Reply-To: <20240920100038.f2cc7a353c4b4ce02da189f2@mega-nerd.com>
References: <cafec484-0ca7-4f0c-8949-992e9c115537@well-typed.com>
 <20240920100038.f2cc7a353c4b4ce02da189f2@mega-nerd.com>
Message-ID: <86d15bf6-a4e1-4b5f-bf49-de7f88496f32@app.fastmail.com>

Hi all,

This seems like a sensible update to an accepted proposal.

I recommend we accept the amendment.

Eric

On Thu, Sep 19, 2024, at 19:00, Erik de Castro Lopo wrote:
> Hi all,
>
> This is minor updates to correct an existing approved proposal.
>
> I approve of these changes.
>
> Erik
>
> Adam Gundry wrote:
>
>> Dear Committee,
>> 
>> Zubin Duggal proposes to amend proposal #540, which introduced the -jsem 
>> parallelism control mechanism, so that it can avoid incompatibilities 
>> arising from different system C library implementations:
>> 
>> https://github.com/ghc-proposals/ghc-proposals/pull/673
>> 
>> https://github.com/wz1000/ghc-proposals/blob/new-jsem/proposals/0540-jsem.rst
>> 
>> I'd like to nominate Eric Seidel as the shepherd, since he was the 
>> shepherd of 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
>> _______________________________________________
>> 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

From malte.ott at maralorn.de  Sat Sep 21 19:44:40 2024
From: malte.ott at maralorn.de (Malte Ott)
Date: Sat, 21 Sep 2024 21:44:40 +0200
Subject: [ghc-steering-committee] Please review #673: Amendment to -jsem
 proposal #540
In-Reply-To: <86d15bf6-a4e1-4b5f-bf49-de7f88496f32@app.fastmail.com>
References: <cafec484-0ca7-4f0c-8949-992e9c115537@well-typed.com>
 <20240920100038.f2cc7a353c4b4ce02da189f2@mega-nerd.com>
 <86d15bf6-a4e1-4b5f-bf49-de7f88496f32@app.fastmail.com>
Message-ID: <i46tbqu3ptd36vlc4sgsckpycry6uzispkp7ksi6i34nfiwoo5@hera.m-0.eu>

I agree.

On 2024-09-21 09:16, Eric Seidel wrote:
> Hi all,
> 
> This seems like a sensible update to an accepted proposal.
> 
> I recommend we accept the amendment.
> 
> Eric
> 
> On Thu, Sep 19, 2024, at 19:00, Erik de Castro Lopo wrote:
> > Hi all,
> >
> > This is minor updates to correct an existing approved proposal.
> >
> > I approve of these changes.
> >
> > Erik
> >
> > Adam Gundry wrote:
> >
> >> Dear Committee,
> >> 
> >> Zubin Duggal proposes to amend proposal #540, which introduced the -jsem 
> >> parallelism control mechanism, so that it can avoid incompatibilities 
> >> arising from different system C library implementations:
> >> 
> >> https://github.com/ghc-proposals/ghc-proposals/pull/673
> >> 
> >> https://github.com/wz1000/ghc-proposals/blob/new-jsem/proposals/0540-jsem.rst
> >> 
> >> I'd like to nominate Eric Seidel as the shepherd, since he was the 
> >> shepherd of 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
> >> _______________________________________________
> >> 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

From simon.peytonjones at gmail.com  Mon Sep 23 10:10:16 2024
From: simon.peytonjones at gmail.com (Simon Peyton Jones)
Date: Mon, 23 Sep 2024 11:10:16 +0100
Subject: [ghc-steering-committee] Please review #673: Amendment to -jsem
 proposal #540
In-Reply-To: <i46tbqu3ptd36vlc4sgsckpycry6uzispkp7ksi6i34nfiwoo5@hera.m-0.eu>
References: <cafec484-0ca7-4f0c-8949-992e9c115537@well-typed.com>
 <20240920100038.f2cc7a353c4b4ce02da189f2@mega-nerd.com>
 <86d15bf6-a4e1-4b5f-bf49-de7f88496f32@app.fastmail.com>
 <i46tbqu3ptd36vlc4sgsckpycry6uzispkp7ksi6i34nfiwoo5@hera.m-0.eu>
Message-ID: <CAJKmMz8K8twpXOC2uZD8xH006Oi-nt+28q=j+BZkCGW8Ds9zuw@mail.gmail.com>

I'm happy to support too, but I would like to see presentational changes,
so the final proposal makes sense when read in 5 yrs time.

Simon

On Sat, 21 Sept 2024 at 20:45, Malte Ott <malte.ott at maralorn.de> wrote:

> I agree.
>
> On 2024-09-21 09:16, Eric Seidel wrote:
> > Hi all,
> >
> > This seems like a sensible update to an accepted proposal.
> >
> > I recommend we accept the amendment.
> >
> > Eric
> >
> > On Thu, Sep 19, 2024, at 19:00, Erik de Castro Lopo wrote:
> > > Hi all,
> > >
> > > This is minor updates to correct an existing approved proposal.
> > >
> > > I approve of these changes.
> > >
> > > Erik
> > >
> > > Adam Gundry wrote:
> > >
> > >> Dear Committee,
> > >>
> > >> Zubin Duggal proposes to amend proposal #540, which introduced the
> -jsem
> > >> parallelism control mechanism, so that it can avoid incompatibilities
> > >> arising from different system C library implementations:
> > >>
> > >> https://github.com/ghc-proposals/ghc-proposals/pull/673
> > >>
> > >>
> https://github.com/wz1000/ghc-proposals/blob/new-jsem/proposals/0540-jsem.rst
> > >>
> > >> I'd like to nominate Eric Seidel as the shepherd, since he was the
> > >> shepherd of 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
> > >> _______________________________________________
> > >> 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
> _______________________________________________
> 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/20240923/c5be2eb3/attachment.html>

From arnaud.spiwack at tweag.io  Tue Sep 24 02:17:17 2024
From: arnaud.spiwack at tweag.io (Arnaud Spiwack)
Date: Tue, 24 Sep 2024 11:17:17 +0900
Subject: [ghc-steering-committee] Please review #673: Amendment to -jsem
 proposal #540
In-Reply-To: <CAJKmMz8K8twpXOC2uZD8xH006Oi-nt+28q=j+BZkCGW8Ds9zuw@mail.gmail.com>
References: <cafec484-0ca7-4f0c-8949-992e9c115537@well-typed.com>
 <20240920100038.f2cc7a353c4b4ce02da189f2@mega-nerd.com>
 <86d15bf6-a4e1-4b5f-bf49-de7f88496f32@app.fastmail.com>
 <i46tbqu3ptd36vlc4sgsckpycry6uzispkp7ksi6i34nfiwoo5@hera.m-0.eu>
 <CAJKmMz8K8twpXOC2uZD8xH006Oi-nt+28q=j+BZkCGW8Ds9zuw@mail.gmail.com>
Message-ID: <CAGwnsn=nNKX+bh+CWD_dd4N0HTGzBTBnB5oTTKTyp_TNS7_vnA@mail.gmail.com>

Quite frankly, this is barely any user-facing change at all. Technically
the semaphore could previously be shared by non-Haskell processes in ways
the updated proposal doesn't allow. But it's not really something people
do. So it all sounds reasonable.

On Mon, 23 Sept 2024 at 19:10, Simon Peyton Jones <
simon.peytonjones at gmail.com> wrote:

> I'm happy to support too, but I would like to see presentational changes,
> so the final proposal makes sense when read in 5 yrs time.
>
> Simon
>
> On Sat, 21 Sept 2024 at 20:45, Malte Ott <malte.ott at maralorn.de> wrote:
>
>> I agree.
>>
>> On 2024-09-21 09:16, Eric Seidel wrote:
>> > Hi all,
>> >
>> > This seems like a sensible update to an accepted proposal.
>> >
>> > I recommend we accept the amendment.
>> >
>> > Eric
>> >
>> > On Thu, Sep 19, 2024, at 19:00, Erik de Castro Lopo wrote:
>> > > Hi all,
>> > >
>> > > This is minor updates to correct an existing approved proposal.
>> > >
>> > > I approve of these changes.
>> > >
>> > > Erik
>> > >
>> > > Adam Gundry wrote:
>> > >
>> > >> Dear Committee,
>> > >>
>> > >> Zubin Duggal proposes to amend proposal #540, which introduced the
>> -jsem
>> > >> parallelism control mechanism, so that it can avoid
>> incompatibilities
>> > >> arising from different system C library implementations:
>> > >>
>> > >> https://github.com/ghc-proposals/ghc-proposals/pull/673
>> > >>
>> > >>
>> https://github.com/wz1000/ghc-proposals/blob/new-jsem/proposals/0540-jsem.rst
>> > >>
>> > >> I'd like to nominate Eric Seidel as the shepherd, since he was the
>> > >> shepherd of 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
>> > >> _______________________________________________
>> > >> 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
>> _______________________________________________
>> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240924/5513318f/attachment.html>

From sgraf1337 at gmail.com  Tue Sep 24 06:44:23 2024
From: sgraf1337 at gmail.com (Sebastian Graf)
Date: Tue, 24 Sep 2024 06:44:23 +0000
Subject: [ghc-steering-committee] Please review #673: Amendment to -jsem
 proposal #540
In-Reply-To: <CAGwnsn=nNKX+bh+CWD_dd4N0HTGzBTBnB5oTTKTyp_TNS7_vnA@mail.gmail.com>
References: <cafec484-0ca7-4f0c-8949-992e9c115537@well-typed.com>
 <20240920100038.f2cc7a353c4b4ce02da189f2@mega-nerd.com>
 <86d15bf6-a4e1-4b5f-bf49-de7f88496f32@app.fastmail.com>
 <i46tbqu3ptd36vlc4sgsckpycry6uzispkp7ksi6i34nfiwoo5@hera.m-0.eu>
 <CAJKmMz8K8twpXOC2uZD8xH006Oi-nt+28q=j+BZkCGW8Ds9zuw@mail.gmail.com>
 <CAGwnsn=nNKX+bh+CWD_dd4N0HTGzBTBnB5oTTKTyp_TNS7_vnA@mail.gmail.com>
Message-ID: <em63aabb01-6ad6-43e5-b597-afad17fe0a94@ad1f818c.com>

I think changes to the communication protocol *are* user-facing, in that 
any change to the protocol could implies a breaking change between all 
cabal releases in the future and all GHC releases in the past.
It appears that is the case for the planned release of 
`semaphore-compat-2`, but I'm not 100% sure.

In that light, I think it's good to discuss in a proposal to ensure we 
do not sign off lightly on such breaking changes, in particular for 
future versions of `semaphore-compat`.

I will express support once compatibility and breaking changes are 
properly addressed.

Sebastian

------ Originalnachricht ------
Von "Arnaud Spiwack" <arnaud.spiwack at tweag.io>
An "Simon Peyton Jones" <simon.peytonjones at gmail.com>
Cc ghc-steering-committee at haskell.org
Datum 24.09.2024 04:17:17
Betreff Re: [ghc-steering-committee] Please review #673: Amendment to 
-jsem proposal #540

>Quite frankly, this is barely any user-facing change at all. 
>Technically the semaphore could previously be shared by non-Haskell 
>processes in ways the updated proposal doesn't allow. But it's not 
>really something people do. So it all sounds reasonable.
>
>On Mon, 23 Sept 2024 at 19:10, Simon Peyton Jones 
><simon.peytonjones at gmail.com> wrote:
>>I'm happy to support too, but I would like to see presentational 
>>changes, so the final proposal makes sense when read in 5 yrs time.
>>
>>Simon
>>
>>On Sat, 21 Sept 2024 at 20:45, Malte Ott <malte.ott at maralorn.de> 
>>wrote:
>>>I agree.
>>>
>>>On 2024-09-21 09:16, Eric Seidel wrote:
>>> > Hi all,
>>> >
>>> > This seems like a sensible update to an accepted proposal.
>>> >
>>> > I recommend we accept the amendment.
>>> >
>>> > Eric
>>> >
>>> > On Thu, Sep 19, 2024, at 19:00, Erik de Castro Lopo wrote:
>>> > > Hi all,
>>> > >
>>> > > This is minor updates to correct an existing approved proposal.
>>> > >
>>> > > I approve of these changes.
>>> > >
>>> > > Erik
>>> > >
>>> > > Adam Gundry wrote:
>>> > >
>>> > >> Dear Committee,
>>> > >>
>>> > >> Zubin Duggal proposes to amend proposal #540, which introduced 
>>>the -jsem
>>> > >> parallelism control mechanism, so that it can avoid 
>>>incompatibilities
>>> > >> arising from different system C library implementations:
>>> > >>
>>> > >> https://github.com/ghc-proposals/ghc-proposals/pull/673
>>> > >>
>>> > >> 
>>>https://github.com/wz1000/ghc-proposals/blob/new-jsem/proposals/0540-jsem.rst
>>> > >>
>>> > >> I'd like to nominate Eric Seidel as the shepherd, since he was 
>>>the
>>> > >> shepherd of 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
>>> > >> _______________________________________________
>>> > >> 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
>>>_______________________________________________
>>>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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240924/d77e5794/attachment-0001.html>