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.

Sign up for GitHub

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

Jump to bottom

Non-gray comment text color after \* when including == #361

Open
sepehr541 opened this issue Jan 20, 2025 · 3 comments
Open

Non-gray comment text color after \* when including == #361

sepehr541 opened this issue Jan 20, 2025 · 3 comments
Labels
bug Something isn't working

Comments

@sepehr541
Copy link

sepehr541 commented Jan 20, 2025 •
edited by lemmy
Loading

Description:

Commented after \* has non-gray text color when there is == (definition) is included as a comment.

Steps to reproduce:

---- MODULE Expect ----
EXTENDS TLC

TODO == FALSE

A == TODO \* B == C

====

Image

Expectations:

Expected the text after \* to be grayed out as any other comment.

Image

  • note the = instead of ==

Version Information:

  • Plugin Version: 2025.1.180451
  • OS: Linux bluefin 6.11.8-300.fc41.x86_64
  • VSCode Version: 1.96.1
@sepehr541 sepehr541 added the bug Something isn't working label Jan 20, 2025
@lemmy
Copy link
Member

lemmy commented Jan 21, 2025

One more observation: The comment does not get highlighted if B has non-zero arity.

@sepehr541
Copy link
Author

As per @lemmy 's comment:

Image

@lemmy
Copy link
Member

lemmy commented Jan 21, 2025

Note that B() == C is invalid TLA.

@FedericoPonzi FedericoPonzi mentioned this issue Jan 21, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Milestone
No milestone
Development

No branches or pull requests
2 participants
@lemmy @sepehr541