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

[Arnaud Spiwack]

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