Add `take`/`drop`/`splitAt` to `Data.Map`/`Data.Set`

Henning Thielemann lemming at henning-thielemann.de
Tue Mar 8 08:58:00 UTC 2016


On Tue, 8 Mar 2016, Herbert Valerio Riedel wrote:

> On 2016-03-08 at 01:26:12 +0100, Dan Burton wrote:
>> I would prefer that the Ord constraint be retained in the type signature,
>> even if not used in the implementation.
>
> Just for the record: You'll have to actively suppress the resulting
> warning if the Ord dictionary is not used by the implementation, as
> -Wredundant-constraints is part of -Wall starting with GHC 8.0

It seems to have changed:
    https://ghc.haskell.org/trac/ghc/ticket/10635#comment:7

But I had those cases in mind when I asked for removing 
-Wredundant-constraints from -Wall.


More information about the Libraries mailing list