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

[Simon Peyton Jones]

I'm happy to support this.  And yes "-Wredundant-minimal-methods"

Simon

| -----Original Message-----
| From: ghc-steering-committee <ghc-steering-committee-bounces at haskell.org>
| On Behalf Of Joachim Breitner
| Sent: 02 March 2019 16:17
| To: ghc-steering-committee at haskell.org
| Subject: [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-
| 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 at haskell.org
| https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee