Skip to content

Conversation

solson
Copy link
Contributor

@solson solson commented Jan 7, 2016

This just removes the Some() that appeared around terminators in MIR text output after #30481 (cc @nagisa). The graphviz is already fixed.

r? @eddyb

@eddyb
Copy link
Member

eddyb commented Jan 7, 2016

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 7, 2016

📌 Commit 8e29367 has been approved by eddyb

@bors
Copy link
Collaborator

bors commented Jan 8, 2016

⌛ Testing commit 8e29367 with merge 01c86ea...

bors added a commit that referenced this pull request Jan 8, 2016
This just removes the `Some()` that appeared around terminators in MIR text output after #30481 (cc @nagisa). The graphviz is already fixed.

r? @eddyb
@bors
Copy link
Collaborator

bors commented Jan 8, 2016

💔 Test failed - auto-mac-64-opt

@nrc
Copy link
Member

nrc commented Jan 8, 2016

@bors retry

@bors
Copy link
Collaborator

bors commented Jan 8, 2016

💔 Test failed - auto-linux-32-nopt-t

@solson
Copy link
Contributor Author

solson commented Jan 8, 2016

Yet another timeout failure. This commit is simple enough and the tests passed on other platforms, so it could probably just be rolled up.

@brson
Copy link
Contributor

brson commented Jan 8, 2016

@bors rollup

@brson
Copy link
Contributor

brson commented Jan 8, 2016

@bors retry

nagisa added a commit to nagisa/rust that referenced this pull request Jan 9, 2016
This just removes the `Some()` that appeared around terminators in MIR text output after rust-lang#30481 (cc @nagisa). The graphviz is already fixed.

r? @eddyb
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Jan 9, 2016
This just removes the `Some()` that appeared around terminators in MIR text output after rust-lang#30481 (cc @nagisa). The graphviz is already fixed.

r? @eddyb
bors added a commit that referenced this pull request Jan 11, 2016
@bors bors merged commit 8e29367 into rust-lang:master Jan 11, 2016
@solson solson deleted the mir-text-terminator-fix branch January 15, 2016 01:39
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.

5 participants