<div dir="ltr"><div>Alright, so here are the plausible alternatives</div><div><br></div><div>1a. New type-class-based behaviour without extension</div><div>1b.  New type-class-based behaviour gated by an extension</div><div>2. Just a warning (when main isn't at type IO () or IO Void)</div><div>3a. A warning + the new type-class-based behaviour gated by an extension. With the extension, types that don't implement the type class raise an error.</div><div>3b. A warning + the new type-class-based behaviour gated by an extension. 
With the extension, types that don't implement the type class raise a warning (which could have a different phrasing than without the extension).</div><div><br></div><div>Let's vote!<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, 22 Mar 2024 at 15:30, Malte Ott <<a href="mailto:malte.ott@maralorn.de">malte.ott@maralorn.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 2024-03-22 08:58, Arnaud Spiwack wrote:<br>
> @Malte, in my opinion, with the extension on, types which are not covered<br>
> by the type class should error out.<br>
<br>
Ah, I see. Well, I am fine either way.<br>
<br>
I just don’t see much value in deciding for the user which code problems are<br>
unacceptable. Especially since this will make the corresponding language<br>
extension more breaking and thus harder to make the default.<br>
Others have voiced similar opinions in the GitHub thread.<br>
<br>
Best<br>
Malte<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div><br clear="all"><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature"><div dir="ltr">Arnaud Spiwack<br>Director, Research at <a href="https://moduscreate.com" rel="noopener noreferrer" target="_blank">https://moduscreate.com</a> and <a href="https://tweag.io" rel="noopener noreferrer" target="_blank">https://tweag.io</a>.</div></div>