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

Arnaud Spiwack arnaud.spiwack at tweag.io
Thu May 2 06:56:51 UTC 2024


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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20240502/6918aeb1/attachment.html>


More information about the ghc-steering-committee mailing list