When splitting a bucket, keep the contents in the same order
authorSimon Marlow <simonmar@microsoft.com>
Wed, 1 Feb 2006 13:04:27 +0000 (13:04 +0000)
committerSimon Marlow <simonmar@microsoft.com>
Wed, 1 Feb 2006 13:04:27 +0000 (13:04 +0000)
commita01ece51085a2a8571c9bda7803b8ea5021c2a85
tree42c9c2ec11ae9125351a41c6f3780acc3b5b78cf
parent15d66dbc071acb00422d69bac50d6a8bfc87a070
When splitting a bucket, keep the contents in the same order
To retain the property that multiple inserts shadow each other
(see ticket #661, test hash001)
Data/HashTable.hs