Skip to content

docs(reference): v3.0.0 parser tightening (#651) - #48

Merged
adityamukho merged 1 commit into
mainfrom
v3/651-parser-tightening
Oct 20, 2026
Merged

adityamukho merged 1 commit into
mainfrom
v3/651-parser-tightening

Conversation

@adityamukho

Copy link
Copy Markdown
Contributor

Docs for project-minigraf/minigraf#651, all @since v3.0.0, in content/datalog-reference.md:

  • The query vector: sections in any order. An empty section is PRS-112, an unknown keyword PRS-113, and a value after an option's argument PRS-061.
  • Filter predicates: a filter is a list inside a vector. A bare (< ?a 30) is a rule call and fails with PRS-097.
  • Recursive Rules: a head is a name followed by variables (PRS-105, PRS-114), with the body-binding workaround.

The Grammar page and the error codes are read from the core repo per tag. Merge after the core PR on v3.

🤖 Generated with Claude Code

https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT

…rule heads (v3.0.0, #651)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019kY61Y11gcRD91Y6b7jbGT
@adityamukho
adityamukho merged commit 0ae834f into main Oct 20, 2026
2 checks passed
@adityamukho
adityamukho deleted the v3/651-parser-tightening branch October 20, 2026 15:24
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