Skip to content

Grammar page for v3.0.0; fix the v2.x EBNF (#643) - #47

Merged
adityamukho merged 1 commit into
mainfrom
v3/643-grammar-page
Oct 20, 2026
Merged

adityamukho merged 1 commit into
mainfrom
v3/643-grammar-page

Conversation

@adityamukho

Copy link
Copy Markdown
Contributor

Part of project-minigraf/minigraf#643 (plan step 17). Depends on project-minigraf/minigraf#653: merge that first, since this page reads docs/GRAMMAR.md from origin/v3. CI fails until then.

  • site.toml: [[snapshot]] grammar, Reference section, order 15 (after the Datalog reference), path = "docs/GRAMMAR.md", since = "v3.0.0".
  • content/datalog-reference.md: from v3.0.0 the Formal Grammar section links to the Grammar page; the hand-written EBNF is wrapped in @until v3.0.0.
  • The v2.x EBNF now matches v2's grammar.pest on #643's four mismatches: op-sym as a value, an aggregate/window name and a one-argument function name; any character after \ in strings; carriage return in the whitespace note; no true/false/nil before a word character. Also variable added to edn-value (it was missing) and a shared word-char.

Built locally with v3.0.0's git_ref pointed at the core branch: 10 versions, 290 pages; v3.0.0/grammar/ renders and v2.0.8 keeps the corrected EBNF.

🤖 Generated with Claude Code

https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT

A grammar snapshot page reads docs/GRAMMAR.md (generated from
grammar.pest) from v3.0.0 on. The Datalog reference links to it from
v3.0.0 and keeps the hand-written EBNF until v3.0.0, now matching v2's
grammar.pest: operator symbols as values, aggregate and function names,
any character after a backslash in strings, carriage return as
whitespace, word boundaries after true/false/nil, and variables as EDN
values.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT
@adityamukho
adityamukho merged commit d64404e into main Oct 20, 2026
4 checks passed
@adityamukho
adityamukho deleted the v3/643-grammar-page branch October 20, 2026 12:46
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