<div dir="auto">I am on board. And I like "redundant minimal" better</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Mar 2, 2019, 08:16 Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear Committee,<br>
<br>
Levent Erkök has proposed to introduce a warning when a type class<br>
specifies a methods as definitely requires (via a MINIMAL pragma), but<br>
still gives a default implementation:<br>
<a href="https://github.com/LeventErkok/ghc-proposals/blob/master/proposals/0000-minimal-should-warn-extras.rst" rel="noreferrer noreferrer" target="_blank">https://github.com/LeventErkok/ghc-proposals/blob/master/proposals/0000-minimal-should-warn-extras.rst</a><br>
<br>
This seems both useful and and harmless to me, so I propose we accept<br>
the proposal.<br>
<br>
If we want to do some bike shedding: I think <br>
   -Wredundant-minimal-methods<br>
has a better flow than the proposed<br>
   -Wminimal-redundant-methods<br>
After all, we want to be warned about redundancy of minimal methods,<br>
not minimality of redundant methods.<br>
<br>
Cheers,<br>
Simon<br>
<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank" rel="noreferrer">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>