8000 docs(grammar): document line comments and Unicode identifiers (#650) by adityamukho · Pull Request #660 · project-minigraf/minigraf · GitHub
[go: up one dir, main page]

Skip to content

docs(grammar): document line comments and Unicode identifiers (#650) - #660

Merged
adityamukho merged 1 commit into
mainfrom
docs/650-grammar-comments-unicode-v2
Oct 20, 2026
Merged

adityamukho merged 1 commit into
mainfrom
docs/650-grammar-comments-unicode-v2

Conversation

@adityamukho
Copy link
Copy Markdown
Collaborator

Backport of #658 (v3) to main. tests/grammar/grammar.pest now describes what the v2.x parser has always accepted: ; line comments, and Unicode letters and numerals (ALPHABETIC / NUMBER) in symbols, variables, keywords and bind slots, with - + numeral read as a number. The verifier's Comment and UnicodeLetter KNOWN_DRIFT entries are removed. No parser change. CHANGELOG, CLAUDE.md and TEST_COVERAGE updated; test count unchanged (main has no grammar_doc test).

The docs site's hand-written v2 EBNF gets the same change in a separate minigraf-docs PR.

Verification

  • cargo test --lib verifier: 4 passed.
  • cargo test --test grammar_conformance, cargo clippy -- -D warnings.

🤖 Generated with Claude Code

https://claude.ai/code/session_01PtCdzbJMSS1V8qEPaJ4jXz

Backport of #658 from v3. grammar.pest skips `;` line comments like
whitespace, and symbols, variables, keywords and bind slots use
ALPHABETIC and NUMBER, as the tokenizer does; `-` followed by a numeral
is a number, not a symbol. The verifier's Comment and UnicodeLetter
drift entries are removed. No parser change.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01PtCdzbJMSS1V8qEPaJ4jXz
@codecov
codecov Bot commented Oct 20, 2026
Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@adityamukho
adityamukho merged commit f3fa882 into main Oct 20, 2026
22 checks passed
@adityamukho
adityamukho deleted the docs/650-grammar-comments-unicode-v2 branch October 20, 2026 15:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

458A None yet

Development

Successfully merging this pull request may close these issues.

1 participant

0