grammar: also allow | characters in block comments

open-goal · Dec 19, 2023 · 22530b8 · 22530b8
1 parent bdfcdc7
commit 22530b8
Show file tree

Hide file tree

Showing 4 changed files with 284 additions and 233 deletions.
diff --git a/grammar.js b/grammar.js
@@ -38,7 +38,7 @@ const COMMENT =
   token(/(;)[^\n]*/);
 
 const BLOCK_COMMENT =
-  token(seq('#|', repeat(/[^|]/), '|#'));
+  token(seq('#|', repeat(choice(/[^|#]/, seq('#', /[^|]/), seq('|', /[^#]/))), '|#'));
 
 const DIGIT =
   /[0-9]/;

diff --git a/src/grammar.json b/src/grammar.json