Skip to content

Notation change: ast => ir#1245

Merged
kripken merged 1 commit into
masterfrom
ir
Oct 25, 2017
Merged

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

Conversation

@kripken

@kripken kripken commented Oct 25, 2017

Copy link
Copy Markdown
Member

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

dschuff commented Oct 25, 2017

Copy link
Copy Markdown
Member

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

kripken commented Oct 25, 2017

Copy link
Copy Markdown
Member Author

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