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

[Malte Ott]

I agree with this plan of action, althougn I have no strong opinion about 3a vs. 4.

On 2024-05-03 15:29, Arnaud Spiwack wrote:
> 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.

> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee