Data.Map.deleteAt broken with index 0
Take a look at this ghci session:
Prelude> :m Data.Map
Prelude Data.Map> Data.Map.deleteAt 0 (Data.Map.fromList [(0::Int, 0::Int), (1,1), (2, 2), (3, 3)])
fromList []
Prelude Data.Map> Data.Map.elemAt 0 (Data.Map.fromList [(0::Int, 0::Int), (1,1), (2, 2), (3, 3)])
(0,0)
In other words, deleteAt with index 0 deletes *everything* in the map, not just the first element in it.
Prelude Data.Map> Data.Map.deleteAt 1 (Data.Map.fromList [(0::Int, 0::Int), (1,1), (2, 2), (3, 3)])
fromList [(0,0),(2,2),(3,3)]
That appears to work as it should. It seems that there is something wrong with an index of 0.
Trac metadata
Trac field | Value |
---|---|
Version | 6.6.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | libraries/base |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | jgoerzen@complete.org |
Operating system | |
Architecture |