Opened 7 years ago

Closed 7 years ago

#4242 closed bug (fixed)

Data.Map operations can produce invalid trees

Reported by: igloo Owned by: igloo
Priority: high Milestone: 7.0.1
Component: libraries (other) Version: 6.12.3
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case: datamap002
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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

Is changing delta from 5 to 4 the right fix?

See for the original report and more details.

Change History (3)

comment:1 Changed 7 years ago by milan

I think I have proof that it is the right fix. For some comments, see

Cheers, Milan

comment:2 Changed 7 years ago by igloo

Owner: set to igloo

comment:3 Changed 7 years ago by igloo

Resolution: fixed
Status: newclosed
Test Case: datamap002

OK, thanks. Fixed:

Sun Aug 15 14:19:54 BST 2010  Ian Lynagh <>
  * Set Data.Map's delta to 4; fixes #4242
Note: See TracTickets for help on using tickets.