Skip to content
This repository was archived by the owner on Nov 11, 2022. It is now read-only.

Conversation

@kennknowles
Copy link
Contributor

Previously, the sequence was:

  1. Map a window to a representative of its equivalence class
    according to merging.
  2. Drop the element if that window was closed.

But this crashes if the original window was already closed.

The new sequence is reversed. This is safe, because it is not possible
to map to a representative which is closed, as it is no longer a
candidate for merges.

Previously, the sequence was:

1. Map a window to a representative of its equivalence class
   according to merging.
2. Drop the element if that window was closed.

But this crashes if the original window was already closed.

The new sequence is reversed. This is safe, because it is not possible
to map to a representative which is closed, as it is no longer a
candidate for merges.
@davorbonaci davorbonaci merged commit 1a457b3 into GoogleCloudPlatform:master Apr 4, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants