<div dir="ltr"><div dir="ltr">On Mon, 9 Oct 2023 at 15:22, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</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"><br>
That is my understanding, yes.  Oleg, who suggested this originally (I<br>
just wrote it up) says (see motivation section of the proposal)<br>
<br>
> not having -Wsevere=missing-methods by default essentially prevents <br>
> any (true) breakage assessment of adding new, non-defaulted members<br>
> to existing type-classes.<br></blockquote><div><br></div><div>If the goal is to do a breakage assessment, couldn't you make the change to your library and then build all of Hackage with `--ghc-option=-Werror=severe`?</div><div><br></div><div>Cheers</div><div>Simon<br></div><div> </div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
> Wouldn't this be something that PVP should guard against? Adding new<br>
> fields should result in a new major version, because<br>
> it's technically a breaking change?<br>
<br>
Yeah, probably in a world where everyone follows the PVP perfectly, we<br>
wouldn’t have this discussion.<br>
<br>
Am Montag, dem 09.10.2023 um 14:38 +0100 schrieb Chris Dornan:<br>
> If I understand you rightly, you are arguing that any legacy packages<br>
> that would flag severe warnings should now fail to compile, even if <br>
> they are marked as being (say) Haskell2010?<br>
<br>
I’m not arguing that we should do this, but I am arguing that this is<br>
the question we are supposed to decide here. (I’m personally not<br>
decided<br>
<br>
> If the impetus for the proposal was driven by observed problematic<br>
> failures of packaged code that could be caught by these warnings<br>
> then, for me, there would be a discussion to be had. <br>
<br>
My understanding, based on the motivation section, is that this _is_<br>
the impetus.<br>
<br>
Cheers,<br>
Joachim<br>
<br>
<br>
-- <br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
<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></div>