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

Assorted RBS grammar fixes #3275

Merged
merged 1 commit into from
Mar 7, 2025
Merged

Assorted RBS grammar fixes #3275

merged 1 commit into from
Mar 7, 2025

Conversation

Morriar
Copy link
Contributor

@Morriar Morriar commented Mar 6, 2025

Motivation

Fixes grammar for RBS comments:

  1. Properly matches comments inside RBS comments so with #: Integer # some comment the # some comment is properly highlighted as a comment.line.number-sign.rbs
  2. Do not match preceding Ruby so with x = 42 #: Integer the x = 42 is properly highlighted using the Ruby grammar

Automated Tests

See tests.

@Morriar Morriar added bugfix This PR will fix an existing bug vscode This pull request should be included in the VS Code extension's release notes labels Mar 6, 2025
@Morriar Morriar requested a review from a team as a code owner March 6, 2025 19:53
@Morriar Morriar self-assigned this Mar 6, 2025
Copy link

graphite-app bot commented Mar 6, 2025

How to use the Graphite Merge Queue

Add the label graphite-merge to this PR to add it to the merge queue.

You must have a Graphite account in order to use the merge queue. Sign up using this link.

An organization admin has enabled the Graphite Merge Queue in this repository.

Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue.

@Morriar Morriar added the graphite-merge Ship this PR using Graphite's merge queue label Mar 7, 2025
Copy link
Contributor Author

Morriar commented Mar 7, 2025

Merge activity

  • Mar 7, 9:17 AM EST: The merge label 'graphite-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
  • Mar 7, 9:18 AM EST: A user added this pull request to the Graphite merge queue.
  • Mar 7, 9:44 AM EST: A user merged this pull request with the Graphite merge queue.

### Motivation

Fixes grammar for RBS comments:

1. Properly matches comments inside RBS comments so with `#: Integer # some comment` the `# some comment` is properly highlighted as a `comment.line.number-sign.rbs`
2. Do not match preceding Ruby so with `x = 42 #: Integer` the `x = 42` is properly highlighted using the Ruby grammar

### Automated Tests

See tests.
@graphite-app graphite-app bot force-pushed the va-rbs-grammar-fixes branch from 306c4cd to f695a75 Compare March 7, 2025 14:18
@graphite-app graphite-app bot merged commit f695a75 into main Mar 7, 2025
42 checks passed
@graphite-app graphite-app bot deleted the va-rbs-grammar-fixes branch March 7, 2025 14:44
@graphite-app graphite-app bot removed the graphite-merge Ship this PR using Graphite's merge queue label Mar 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bugfix This PR will fix an existing bug vscode This pull request should be included in the VS Code extension's release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants