Merge pull request #9 from joker1007/add-__todo__

feat: add `__todo__` builtin type
joker1007 · Jan 30, 2024 · 28fde69 · 28fde69
2 parents b28e181 + 055532e
commit 28fde69
Show file tree

Hide file tree

Showing 4 changed files with 2,254 additions and 2,164 deletions.
diff --git a/grammar.js b/grammar.js
@@ -64,6 +64,7 @@ module.exports = grammar({
       "bool",
       "class",
       "untyped",
+      "__todo__",
       "nil",
       "top",
       "bot",

diff --git a/src/grammar.json b/src/grammar.json
@@ -143,6 +143,10 @@
           "type": "STRING",
           "value": "untyped"
         },
+        {
+          "type": "STRING",
+          "value": "__todo__"
+        },
         {
           "type": "STRING",
           "value": "nil"

diff --git a/src/node-types.json b/src/node-types.json
@@ -2119,6 +2119,10 @@
     "type": "^",
     "named": false
   },
+  {
+    "type": "__todo__",
+    "named": false
+  },
   {
     "type": "`",
     "named": false