~ahelwer/tree-sitter-tlaplus

aeb2e8fdc417c32ae7d1149cfa2a8ddc3b293600 — Vasil Markoukin 6 months ago c5fae9e
Set proper lexical precedence for string contents (#89)

Fixes #83

Problem
----
The grammar fails to parse strings with comment start lexemes inside them: `"\*"` and `"(*"`

Solution
----
Specify a higher lexical precedence for string contents than for comments
7 files changed, 561498 insertions(+), 561609 deletions(-)

M Cargo.toml
M grammar.js
M package.json
M src/grammar.json
M src/node-types.json
M src/parser.c
M test/corpus/string.txt
This diff is too large to display. Try viewing the raw diff instead.