Collapse nodes with one Leaf/Collision child (issue #47) #50

Merged
merged 1 commit into from Oct 18, 2012

Projects

None yet

2 participants

@michalt
Contributor
michalt commented Oct 18, 2012

Collapses BitmapIndexed and Full with just one Leaf or Collision child.

Note that in delete the line:

                Empty | A.length ary == 1 -> Empty

is unnecessary if we decide that the collapsing should be an invariant. That's because it would correspond to a situation where the considered BitmapIndexed had just one key-value pair at the end (and thus should have been represented as a Leaf in the first place).

@tibbe tibbe merged commit ac6c6d6 into tibbe:master Oct 18, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment