Skip to content

remove ExtraTerminal diagnostic#1846

Open
OmarTawfik wants to merge 1 commit into
mainfrom
OmarTawfik/remove-extra-terminal
Open

remove ExtraTerminal diagnostic#1846
OmarTawfik wants to merge 1 commit into
mainfrom
OmarTawfik/remove-extra-terminal

Conversation

@OmarTawfik

Copy link
Copy Markdown
Contributor

Error is unreachable, since the grammar defines the root node as SourceUnit, which is a greedy repetition. The generated parser ensures that extra tokens after a complete source unit are reported as UnexpectedTerminal for a new SourceUnitMember instead.

Error is unreachable, since the grammar defines the root node as `SourceUnit`, which is a greedy repetition. The generated parser ensures that extra tokens after a complete source unit are reported as `UnexpectedTerminal` for a new `SourceUnitMember` instead.
@changeset-bot

changeset-bot Bot commented Jun 9, 2026

Copy link
Copy Markdown

⚠️ No Changeset found

Latest commit: b5f931d

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@github-actions

github-actions Bot commented Jun 9, 2026

Copy link
Copy Markdown
Contributor

🐰 Bencher Report

BranchOmarTawfik/remove-extra-terminal
Testbedci

⚠️ WARNING: Truncated view!

The full continuous benchmarking report exceeds the maximum length allowed on this platform.

⚠️ WARNING: No Threshold found!

Without a Threshold, no Alerts will ever be generated.

🚨 6 Alerts

🐰 View full continuous benchmarking report in Bencher

@OmarTawfik OmarTawfik marked this pull request as ready for review June 9, 2026 11:16
@OmarTawfik OmarTawfik requested review from a team as code owners June 9, 2026 11:16
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.

1 participant