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] ]
FalseIs 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 |