<div dir="ltr"><div dir="ltr">On Mon, 29 Apr 2024 at 17:58, Simon Peyton Jones <<a href="mailto:simon.peytonjones@gmail.com">simon.peytonjones@gmail.com</a>> wrote:</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Actually I didn't say anything about warnings when suggesting (4).  If we adopted (4) <b>we'd surely want a warning like (2) when main returns a type other than (), Void, or ExitCode</b>.  So I'm going to vote on that basis</div></blockquote><div><br></div>Argl! My misunderstanding, sorry.</div><div class="gmail_quote"><br></div><div class="gmail_quote">Would anyone change their vote if we change 4 to: -XNoWombat: 00WWWN / -XWombat 00IWWN]? I believe Malte will. Anyone else?<br></div><div class="gmail_quote"><br></div><div class="gmail_quote">(For 3a, I did specify that -XWombat gives errors on types which aren't instances of ExitStatus)<br></div></div>