add ellipsis token

2021-06-11 23:57:34 +02:00
parent 1b32606141
commit 94b188039a
6 changed files with 210 additions and 114 deletions
--- a/src/grammar.json
+++ b/src/grammar.json
@@ -601,8 +601,8 @@
          "type": "CHOICE",
          "members": [
            {
-              "type": "STRING",
-              "value": "..."
+              "type": "SYMBOL",
+              "name": "ellipsis"
            },
            {
              "type": "BLANK"
@@ -757,8 +757,8 @@
                  "value": ","
                },
                {
-                  "type": "STRING",
-                  "value": "..."
+                  "type": "SYMBOL",
+                  "name": "ellipsis"
                }
              ]
            },
@@ -769,6 +769,13 @@
        }
      ]
    },
+    "ellipsis": {
+      "type": "TOKEN",
+      "content": {
+        "type": "STRING",
+        "value": "..."
+      }
+    },
    "comment": {
      "type": "TOKEN",
      "content": {