Allow empty verbatim text

kolen · Feb 17, 2024 · 40858d6 · 40858d6
1 parent 15daba0
commit 40858d6
Show file tree

Hide file tree

Showing 3 changed files with 34 additions and 3 deletions.
diff --git a/grammar.js b/grammar.js
@@ -261,7 +261,7 @@ module.exports = grammar({
 
     verbatim_text: $ => seq(
       choice('|', $.verbatim_text_modifier_trailing_whitespace),
-      $._text
+      optional($._text)
     ),
 
     verbatim_text_modifier_trailing_whitespace: $ => "'",

diff --git a/src/grammar.json b/src/grammar.json
@@ -1503,8 +1503,16 @@
           ]
         },
         {
-          "type": "SYMBOL",
-          "name": "_text"
+          "type": "CHOICE",
+          "members": [
+            {
+              "type": "SYMBOL",
+              "name": "_text"
+            },
+            {
+              "type": "BLANK"
+            }
+          ]
         }
       ]
     },

diff --git a/test/corpus/verbatim_text.txt b/test/corpus/verbatim_text.txt
@@ -20,3 +20,26 @@ Verbatim text with trailing space
 (source_file
   (verbatim_text
     (verbatim_text_modifier_trailing_whitespace)))
+
+===================
+Empty verbatim text
+===================
+
+|
+
+---
+
+(source_file
+  (verbatim_text))
+
+=======================================
+Empty verbatim text with trailing space
+=======================================
+
+'
+
+---
+
+(source_file
+  (verbatim_text
+    (verbatim_text_modifier_trailing_whitespace)))