docs(diagnostics): E001 reserved (never emitted) + parse-example column#445
Merged
Merged
Conversation
…e example - E001 was documented as "Syntax error (tokenizer)" but grep of the source shows only E000/E002 are ever emitted — no code path produces E001. Marked it *reserved* (lexer failures surface as E002) rather than removing it, so the stable-code contract keeps E002's meaning intact. - The parse-error example still showed the pre-#407 format `Parse error line 1:` — the binary now prints `Parse error line 1:9:` (column added). Updated to match actual output. Doc-only. Both verified against the running binary. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Two DIAGNOSTICS.md accuracy fixes from a documentation review:
E001 = Syntax error (tokenizer), but the source only ever emitsE000andE002(grep oflint.c/eigenlsp.c). MarkedE001reserved — lexer-level failures surface through the parser asE002— rather than removing it, preserving the stable-code contract.Parse error line 1:, but since Runtime-error carets + token-precise LSP ranges (residual of #407) #407 the binary printsParse error line 1:9:. Updated to the real output (verified:if x > 0with no colon →line 1:9:).Doc-only.
🤖 Generated with Claude Code