I am on board. And I like "redundant minimal" better
On Sat, Mar 2, 2019, 08:16 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-mini...
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