Skip to content

Deterministic AST node identifiers.#1570

Merged
chriseth merged 1 commit intodevelopfrom
astidentifiers
Jan 17, 2017
Merged

Deterministic AST node identifiers.#1570
chriseth merged 1 commit intodevelopfrom
astidentifiers

Conversation

@chriseth
Copy link
Contributor

Fixes #1391

Copy link
Contributor

@pirapira pirapira left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me.

(The last thing I checked was it is not copyable.)

@chriseth chriseth merged commit a466f26 into develop Jan 17, 2017
@axic axic deleted the astidentifiers branch January 17, 2017 12:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants