GitLab

darcs-hash:20081127130535-db55f-b3c498f28ffbe50341b193c0aad31dcea0568df4.gz

darcs-hash:20080307111432-65a35-ccb8091a40f9522f510bff4833fbdc8ff21cd830.gz

darcs-hash:20070704225134-65a35-c2072c906a0ccac2820862ffb3fb2f3f3cce0dd7.gz

If left kid was in heap but right was not, left kid was ignored.

darcs-hash:20070723151422-65a35-e4a50c9195ebb150b587043dcd4c44c1cc1ed941.gz

darcs-hash:20070713163844-65a35-509a6b4df8e13b039fbbc44bc368e026f3a4e8eb.gz

darcs-hash:20070704094233-65a35-fcf28389f363e82f0cf5816f96ec294b0906405d.gz

Reduced average number of comparisons and assignments when removing an
entry. Improved tests.

darcs-hash:20070703112744-65a35-64852a7e7fbf38b4a11e8af70d481721259e8ff2.gz

darcs-hash:20070702150206-65a35-d69eddcc83d8c27d2c688de04dbc4f201dfdbb05.gz