Syntax: Removed \w for its definition because of pandoc/latex

rkunnema · Sep 9, 2024 · 698e491 · 698e491
1 parent a27a8ab
commit 698e491
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/manual/grammar/grammar.ebnf b/manual/grammar/grammar.ebnf
@@ -181,7 +181,7 @@ rules:
   predicate_ref  ::=  FUNCTION((ident: predicate_identifier) '(' arguments? ')')
   pre_defined  ::=  NULLARY_FUN(ident)
   hexcolor  ::=  (''' @('#')? @(/[0-9a-fA-F]{1,6}/) ''') | (@('#')? @(/[0-9a-fA-F]{1,6}/))
-  ident  ::=  /[A-Za-z0-9]\w*/
+  ident  ::=  /[A-Za-z0-9][a-zA-Z0-9_*]*/
   param  ::=  /[^"]*/
   export_query  ::=  /(\\"|[^"])*/
   natural  ::=  /[0-9]+/

diff --git a/tree-sitter/tree-sitter-spthy/grammar.js b/tree-sitter/tree-sitter-spthy/grammar.js
@@ -1042,10 +1042,6 @@ module.exports = grammar({
       _term: $ => choice(
           $.tuple_term,
           $.mset_term,
-          // $.nat_term,
-          // $.xor_term,
-          // $.mult_term,
-          // $.exp_term,
           $.nested_term,
           $.nullary_fun,
           $.binary_app,
@@ -1412,7 +1408,7 @@ module.exports = grammar({
           )
       ),
 
-      ident: $ => /[A-Za-z0-9]\w*/,
+      ident: $ => /[A-Za-z0-9][a-zA-Z0-9_*]*/,
 
       param: $ => /[^"]*/,