Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add spawn_conversation #3152

Closed
wants to merge 1 commit into from
Closed

Add spawn_conversation #3152

wants to merge 1 commit into from

Conversation

jruderman
Copy link
Contributor

Adds a convenience function for bidirectional communication. This lets programmers avoid boilerplate that's prone to mistakes and/or variable shadowing.

@jruderman jruderman closed this Aug 8, 2012
@jruderman
Copy link
Contributor Author

New pull request against incoming: #3153

bors pushed a commit to rust-lang-ci/rust that referenced this pull request May 15, 2021
…ition-in-rustfmt-toml

Use edition in rustfmt.toml when no command line argument is passed
jaisnan pushed a commit to jaisnan/rust-dev that referenced this pull request Jul 29, 2024
…ust-lang#3245)

Using stubs or function contracts as part of the `verify-std`
sub-command does not work with multiple rustc executions as previous
implementation. This happens because we now enable verifying
dependencies, and cargo crashes due to a race condition. As soon as the
first rustc invocation succeeds, cargo starts the compilation of the
dependents crate. However, new executions can override files.

Instead, we moved the stub logic to the new transformation framework,
which is done on the top of the StableMIR body, and doesn't affect the
Rust compiler session. We are now able to apply stub without restarting
the compiler. This is a much better user experience as well, since
multiple calls to the compiler can print the same warnings multiple
times.

Resolves rust-lang#3072
Towards rust-lang#3152 


Co-authored-by: Felipe R. Monteiro <[email protected]>
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.

1 participant