Proposal: keep Data.Map.foldWithKey

[Christian Maeder]

Am 14.01.2011 12:48, schrieb Ross Paterson:
> On Fri, Jan 14, 2011 at 12:32:29PM +0100, Christian Maeder wrote:
>> I wouldn't mind the additions even if committed for ghc-7.0.2, but can
>> we please start deprecations a major release later (and revert the
>> current spurious deprecation of Data.Map.foldWithKey).
> 
> We can't do additions until 7.2 either.  We're talking about deprecations
> for 7.2 and removals in 7.4.  If we decide to do that, surely it would
> make sense for the deprecation of Data.Map.foldWithKey to stay in.

The problem of adding a new function and deprecating an old one in the
same release is, that sources modified according to the deprecation
cannot be compiled with a previous compiler release.

So we should be talking about deprecations in 7.4 if we do additions in 7.2.

Doesn't the deprecation of Data.Map.foldWithKey indicate it will be gone
in 7.2?

To catch up with deprecating Data.IntMap.foldWithKey,
Data.Map.foldWithKey would need to stay deprecated in 7.0, 7.2 and 7.4

C.