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@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee