Redundant constraints

[Simon Peyton Jones]

Friends
I've pushed a big patch that adds -fwarn-redundant-constraints (on by default).  It tells you when a constraint in a signature is unnecessary, e.g.
     f :: Ord a => a -> a -> Bool
     f x y = True
I think I have done all the necessary library updates etc, so everything should build fine.
Four libraries which we don't maintain have such warnings (MANY of them in transformers) so I'm ccing the maintainers:

o   containers

o   haskeline

o   transformers

o   binary



Enjoy!



Simon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20150107/5c701e03/attachment.html>