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

pretty-printer screws up recs #672

Closed
jruderman opened this issue Jul 12, 2011 · 1 comment
Closed

pretty-printer screws up recs #672

jruderman opened this issue Jul 12, 2011 · 1 comment

Comments

@jruderman
Copy link
Contributor

fn main() { rec(x=1234); }

becomes

fn main() { rec(x=234)); }

IOW "1234" becomes "234)".

@brson
Copy link
Contributor

brson commented Jul 12, 2011

This is a problem with printing literals in general. I made some changes to that code today that may have broken things.

brson added a commit that referenced this issue Jul 12, 2011
The pos variable is one character beyond where I thought it was.
@brson brson closed this as completed Jul 12, 2011
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
Add syscall table for x86 and x86_64

I'm wondering if we should use `SYS_write` or `__NR_write`. Both are available to C programs.
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
I'd rather avoid the duplication, this is discussed in rust-lang#707.
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
Port rust-lang#672 and rust-lang#686 to Android.

I'd rather avoid the duplication, but this is discussed in rust-lang#707.
bors pushed a commit to rust-lang-ci/rust that referenced this issue Oct 26, 2020
bors pushed a commit to rust-lang-ci/rust that referenced this issue Oct 26, 2020
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
This resolves rust-lang#664. I added an argument to rmc and cargo rmc (--tests) to
allow users to target test harnesses as their verification function.
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

No branches or pull requests

2 participants