[ghc-steering-committee] #210: -Wredundant-minimal-methods, recommendation: accept
Joachim Breitner
mail at joachim-breitner.de
Sat Mar 2 16:16:33 UTC 2019
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
More information about the ghc-steering-committee
mailing list