Redundant constraints

[Simon Peyton Jones]

| Current master of containers has no more unnecessary constraints,
| although I had to use the
|   where _ = ...
| trick 
| 
| Do you want me to release a bugfix version of containers?

I'll let Austin decide.

I _think_ that all we need do is update the GHC repo to point to your new commit in 'containers'; we don't need an actual release.

Over to you, Austin

Simon


| -----Original Message-----
| From: Milan Straka [mailto:fox at ucw.cz]
| Sent: 10 January 2015 13:45
| To: Simon Peyton Jones
| Cc: ghc-devs at haskell.org; Johan Tibell
| Subject: Re: Redundant constraints
| 
| Hi Simon and all,
| 
| > -----Original message-----
| > From: Simon Peyton Jones <simonpj at microsoft.com>
| > Sent: 7 Jan 2015, 15:19
| >
| > 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
| 
| thanks, a neat feature :)
| 
| Current master of containers has no more unnecessary constraints,
| although I had to use the
|   where _ = ...
| trick once -- we have two versions of Data.Sequence.fromArray function,
| and the GHC version did not need the (Ix *) constraint, but the standard
| Haskell version does.
| 
| Do you want me to release a bugfix version of containers?
| 
| Cheers,
| Milan