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

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

...

Moritz,

No worries. Take good care of yourself.

On Tue, 30 Apr 2024 at 14:37, Moritz Angermann < moritz.angermann@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 wrote:

...

On Mon, 29 Apr 2024 at 17:58, Simon Peyton Jones < simon.peytonjones@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@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.