Skip to content

Update mangling scheme syntax - #3130

Merged
nikomatsakis merged 5 commits into
rust-lang:masterfrom
tmiasko:mangling
Jun 17, 2021
Merged

Update mangling scheme syntax#3130
nikomatsakis merged 5 commits into
rust-lang:masterfrom
tmiasko:mangling

Conversation

@tmiasko

@tmiasko tmiasko commented May 26, 2021

Copy link
Copy Markdown
Contributor

Fixes #3112.

@michaelwoerister

Copy link
Copy Markdown
Member

Thanks, @tmiasko!

@eddyb, @varkor: Do you see anything in here that is still considered to be too unstable?

Comment thread text/2603-rust-symbol-name-mangling-v0.md Outdated
@varkor

varkor commented Jun 6, 2021

Copy link
Copy Markdown
Contributor

@eddyb, @varkor: Do you see anything in here that is still considered to be too unstable?

@eddyb is definitely the better person to ask – I was just following their instructions for the modifications I made! But from what I can tell, the changes look good to me.

@eddyb

eddyb commented Jun 17, 2021

Copy link
Copy Markdown
Contributor

@eddyb, @varkor: Do you see anything in here that is still considered to be too unstable?

@eddyb is definitely the better person to ask – I was just following their instructions for the modifications I made! But from what I can tell, the changes look good to me.

Yupp, all good! Sorry I didn't see this earlier.

@nikomatsakis
nikomatsakis merged commit 346368b into rust-lang:master Jun 17, 2021
@tmiasko
tmiasko deleted the mangling branch June 17, 2021 15:17
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.

Syntax of mangled names is outdated

5 participants