[ghc-steering-committee] Proposal #631: Set program exit code by main return type, recommendation: accept something

[Arnaud Spiwack]

As it turns out. 3a wins in the votes as currently laid out. But changing
Malte's vote to 4 first makes 4 the winner. Since it's my understanding
that if warnings are added Malte prefers 4. I'll ask Shea to modify his
proposal to 4.

On Thu, 2 May 2024 at 08:56, Arnaud Spiwack <arnaud.spiwack at tweag.io> wrote:

> With the change of definition for 4, I'm leaving the votes open until
> tomorrow (Friday). I'll tally the vote Friday European afternoon (I want to
> post a decision on Github before the end of the week, because I'm off all
> week next week).
>
> On Tue, 30 Apr 2024 at 14:38, Arnaud Spiwack <arnaud.spiwack at tweag.io>
> wrote:
>
>> Moritz,
>>
>> No worries. Take good care of yourself.
>>
>> On Tue, 30 Apr 2024 at 14:37, Moritz Angermann <
>> moritz.angermann at gmail.com> wrote:
>>
>>> Dear friends,
>>>
>>> I ask to abstain from this vote, as I’m experiencing some medical
>>> issues, which require my full attention right now.
>>>
>>> Thank you!
>>>
>>> Best,
>>>   Moritz
>>>
>>> On Tue, 30 Apr 2024 at 8:20 PM, Arnaud Spiwack <arnaud.spiwack at tweag.io>
>>> wrote:
>>>
>>>> On Mon, 29 Apr 2024 at 17:58, Simon Peyton Jones <
>>>> simon.peytonjones at gmail.com> wrote:
>>>>
>>>>> Actually I didn't say anything about warnings when suggesting (4).  If
>>>>> we adopted (4) *we'd surely want a warning like (2) when main returns
>>>>> a type other than (), Void, or ExitCode*.  So I'm going to vote on
>>>>> that basis
>>>>>
>>>>
>>>> Argl! My misunderstanding, sorry.
>>>>
>>>> Would anyone change their vote if we change 4 to: -XNoWombat: 00WWWN /
>>>> -XWombat 00IWWN]? I believe Malte will. Anyone else?
>>>>
>>>> (For 3a, I did specify that -XWombat gives errors on types which aren't
>>>> instances of ExitStatus)
>>>> _______________________________________________
>>>> 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.
>>
>
>
> --
> Arnaud Spiwack
> Director, Research at https://moduscreate.com and https://tweag.io.
>


-- 
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/20240503/5705fa01/attachment.html>