Skip to content

Notation change: ast => ir#1245

Merged
kripken merged 1 commit intomasterfrom
ir
Oct 25, 2017
Merged

Notation change: ast => ir#1245
kripken merged 1 commit intomasterfrom
ir

Conversation

@kripken
Copy link
Copy Markdown
Member

@kripken kripken commented Oct 25, 2017

As suggested in #1188, this changes notation from "ast" to "ir", and moves files around (in particular the ast dir is now the ir dir).

This type of PR with lots of files moving around often becomes in conflict almost as soon as it's posted, so hopefully we can get this in quickly. And apologies in advance for other PRs that might get conflicts later.

@dschuff
Copy link
Copy Markdown
Member

dschuff commented Oct 25, 2017

I don't have any PRs in flight right now. @jgravelle-google ?

@jgravelle-google
Copy link
Copy Markdown
Contributor

No PRs, no staged commits that rely on that dir, looks good to me

@kripken kripken merged commit 47c9021 into master Oct 25, 2017
@kripken kripken deleted the ir branch October 25, 2017 03:36
@kripken
Copy link
Copy Markdown
Member Author

kripken commented Oct 25, 2017

Thanks for the quick responses here.

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.

3 participants