Data.Map operations can produce invalid trees
With 6.13.20100801:
Prelude Data.Map> valid $ deleteMin $ deleteMin $ fromList [ (i, ()) | i <- [0,2,5,1,6,4,8,9,7,11,10,3] ]
False
Is changing delta
from 5 to 4 the right fix?
See http://article.gmane.org/gmane.comp.lang.haskell.libraries/13444 for the original report and more details.
Trac metadata
Trac field | Value |
---|---|
Version | 6.12.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | high |
Resolution | Unresolved |
Component | libraries (other) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |