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

Herbert Valerio Riedel hvriedel at
Tue Mar 8 09:48:59 UTC 2016

On 2016-03-08 at 09:58:00 +0100, Henning Thielemann 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:

Indeed, see also

which was the result of a lengthy debate...

Sadly, aspects in the warning design-space such as how to
classify/default warnings in combination with the 3-rls-policy tend to
drain the living will out of its participants (paraphrasing Simon

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

More information about the Libraries mailing list