add character extension

6cdh · Aug 2, 2023 · da7c5b2 · da7c5b2
1 parent 0958c99
commit da7c5b2
Show file tree

Hide file tree

Showing 4 changed files with 1,870 additions and 1,794 deletions.
diff --git a/corpus/ext.scm b/corpus/ext.scm
@@ -22,3 +22,21 @@ keyword
 (program
   (keyword)
   (keyword))
+
+===
+character
+===
+
+#\bel
+#\ls
+#\nel
+#\rubout
+#\vt
+
+---
+(program
+  (character)
+  (character)
+  (character)
+  (character)
+  (character))
diff --git a/grammar.js b/grammar.js
@@ -113,6 +113,13 @@ const r7rs = {
       "|")
 };
 
+const extension = {
+  character:
+    seq(
+      "#\\",
+      choice("bel", "ls", "nel", "rubout", "vt")),
+};
+
 const hidden_node = {
   symbol:
     token(
@@ -205,7 +212,8 @@ module.exports = grammar({
         choice(
           r5rs.character,
           r6rs.character,
-          r7rs.character)),
+          r7rs.character,
+          extension.character)),
 
     string: $ =>
       seq(

diff --git a/src/grammar.json b/src/grammar.json
@@ -12064,6 +12064,40 @@
                 ]
               }
             ]
+          },
+          {
+            "type": "SEQ",
+            "members": [
+              {
+                "type": "STRING",
+                "value": "#\\"
+              },
+              {
+                "type": "CHOICE",
+                "members": [
+                  {
+                    "type": "STRING",
+                    "value": "bel"
+                  },
+                  {
+                    "type": "STRING",
+                    "value": "ls"
+                  },
+                  {
+                    "type": "STRING",
+                    "value": "nel"
+                  },
+                  {
+                    "type": "STRING",
+                    "value": "rubout"
+                  },
+                  {
+                    "type": "STRING",
+                    "value": "vt"
+                  }
+                ]
+              }
+            ]
           }
         ]
       }