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

[Joachim Breitner]

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