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

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