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

[Joachim Breitner]

Hi,

great, I’ll marks this as accepted, with "-Wredundant-minimal-methods".

Cheers,
Joachim

Am Montag, den 04.03.2019, 11:41 +0000 schrieb Simon Peyton Jones via
ghc-steering-committee:
> I'm happy to support this.  And yes 
> 
> 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
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20190314/0b98b76e/attachment.sig>