[ghc-steering-committee] #210: -Wredundant-minimal-methods, recommendation: accept

[Iavor Diatchki]

I am on board. And I like "redundant minimal" better

On Sat, Mar 2, 2019, 08:16 Joachim Breitner <mail at joachim-breitner.de>
wrote:

> Dear Committee,
>
> Levent Erkök has proposed to introduce a warning when a type class
> specifies a methods as definitely requires (via a MINIMAL pragma), but
> still gives a default implementation:
>
> https://github.com/LeventErkok/ghc-proposals/blob/master/proposals/0000-minimal-should-warn-extras.rst
>
> This seems both useful and and harmless to me, so I propose we accept
> the proposal.
>
> If we want to do some bike shedding: I think
>    -Wredundant-minimal-methods
> has a better flow than the proposed
>    -Wminimal-redundant-methods
> After all, we want to be warned about redundancy of minimal methods,
> not minimality of redundant methods.
>
> Cheers,
> Simon
>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20190302/60d3dcc8/attachment.html>