#4242: Data.Map operations can produce invalid trees
----------------------------------+-----------------------------------------
Reporter: igloo | Owner:
Type: bug | Status: new
Priority: high | Milestone: 6.14.1
Component: libraries (other) | Version: 6.12.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
----------------------------------+-----------------------------------------
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.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4242>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
