rust-playground icon indicating copy to clipboard operation
rust-playground copied to clipboard

Published 20 hours ago • verified publisher icon rust-lang

Monaco highlights `int` as a type

Open chubei opened this issue 3 years ago • 4 comments

I thought int was not a built in type in Rust and don't know if this is known issue.

See this playground.

chubei avatar May 21 '22 06:05 chubei

See this playground.

Looks fine:

image

It appears you need to provide more information about what editor / editor settings you are using.

shepmaster avatar May 27 '22 17:05 shepmaster

Sorry, didn't know editor and theme was relavant. Here's what I see.

image

Setting editor to monaco with any theme can reproduce.

chubei avatar May 28 '22 03:05 chubei

https://microsoft.github.io/monaco-editor/ reproduces the problem:

image

You'll need to file an issue with them. Looks like the Rust config has both int and uint. Presumably this is from some very old code as those were renamed in 2014.

shepmaster avatar May 31 '22 00:05 shepmaster

Thanks for the detailed explanation! Filed https://github.com/microsoft/monaco-editor/issues/3123.

chubei avatar May 31 '22 04:05 chubei