TLA+ treesitter fails

#314 [Bug]
microsoft · Apr 5, 2024 · d1d6e35 · d1d6e35
1 parent a0a604a
commit d1d6e35
Show file tree

Hide file tree

Showing 6 changed files with 31 additions and 17 deletions.
diff --git a/THIRD_PARTY_LICENSES.md b/THIRD_PARTY_LICENSES.md
@@ -23637,7 +23637,7 @@ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLI
 
 The following npm package may be included in this product:
 
- - [email protected].7
+ - [email protected].11
 
 This package contains the following license and notice below:
 

diff --git a/packages/cli/package.json b/packages/cli/package.json
@@ -23,7 +23,7 @@
   "description": "A CLI for GenAIScript, a generative AI scripting framework.",
   "license": "MIT",
   "dependencies": {
-    "tree-sitter-wasms": "^0.1.10",
+    "tree-sitter-wasms": "^0.1.11",
     "web-tree-sitter": "^0.22.2",
     "pdfjs-dist": "4.0.379"
   },

diff --git a/packages/core/package.json b/packages/core/package.json
@@ -41,7 +41,7 @@
     "pretty-bytes": "^6.1.1",
     "serialize-error": "^11.0.3",
     "toml": "^3.0.0",
-    "tree-sitter-wasms": "^0.1.10",
+    "tree-sitter-wasms": "^0.1.11",
     "typescript": "^5.3.3",
     "yaml": "^2.4.1"
   },

diff --git a/packages/sample/src/cli.test.ts b/packages/sample/src/cli.test.ts
@@ -77,11 +77,11 @@ describe("parse", () => {
                 await $`node ${cli} ${cmd} ${action} src/counting.py "(class_definition) @i"`
             assert(res.stdout.includes("class_definition"))
         })
-    //    test("ewd.tla", async () => {
-    //        const res =
-    //           await $`node ${cli} ${cmd} ${action} src/tla/EWD998PCal.tla "(local_definition) @i"`
-    //        assert(res.stdout.includes("local_definition"))
-    //    })
+        test("ewd.tla", async () => {
+            const res =
+               await $`node ${cli} ${cmd} ${action} src/tla/EWD998PCal.tla "(local_definition) @i"`
+            assert(res.stdout.includes("local_definition"))
+        })
         test("README.md not supported", async () => {
             const res =
                 await $`node ${cli} ${cmd} ${action} README.md`.nothrow()

diff --git a/packages/vscode/package.json b/packages/vscode/package.json
@@ -360,7 +360,7 @@
     "dependencies": {
         "mammoth": "^1.7.0",
         "pdfjs-dist": "4.0.379",
-        "tree-sitter-wasms": "^0.1.10",
+        "tree-sitter-wasms": "^0.1.11",
         "web-tree-sitter": "^0.22.2"
     },
     "optionalDependencies": {

diff --git a/yarn.lock b/yarn.lock
@@ -8365,8 +8365,16 @@ string-trim-spaces-only@^5.0.10:
   resolved "https://registry.npmjs.org/string-trim-spaces-only/-/string-trim-spaces-only-5.0.10.tgz"
   integrity sha512-MhmjE5jNqb1Ylo+BARPRlsdChGLrnPpAUWrT1VOxo9WhWwKVUU6CbZTfjwKaQPYTGS/wsX/4Zek88FM2rEb5iA==
 
-"string-width-cjs@npm:string-width@^4.2.0", "string-width@^1.0.2 || 2 || 3 || 4", string-width@^4.1.0, string-width@^4.2.0, string-width@^4.2.3:
-  name string-width-cjs
+"string-width-cjs@npm:string-width@^4.2.0":
+  version "4.2.3"
+  resolved "https://registry.npmjs.org/string-width/-/string-width-4.2.3.tgz"
+  integrity sha512-wKyQRQpjJ0sIp62ErSZdGsjMJWsap5oRNihHhu6G7JVO/9jIB6UyevL+tXuOqrng8j/cxKTWyWUwvSTriiZz/g==
+  dependencies:
+    emoji-regex "^8.0.0"
+    is-fullwidth-code-point "^3.0.0"
+    strip-ansi "^6.0.1"
+
+"string-width@^1.0.2 || 2 || 3 || 4", string-width@^4.1.0, string-width@^4.2.0, string-width@^4.2.3:
   version "4.2.3"
   resolved "https://registry.npmjs.org/string-width/-/string-width-4.2.3.tgz"
   integrity sha512-wKyQRQpjJ0sIp62ErSZdGsjMJWsap5oRNihHhu6G7JVO/9jIB6UyevL+tXuOqrng8j/cxKTWyWUwvSTriiZz/g==
@@ -8429,8 +8437,14 @@ stringify-entities@^4.0.0:
     character-entities-html4 "^2.0.0"
     character-entities-legacy "^3.0.0"
 
-"strip-ansi-cjs@npm:strip-ansi@^6.0.1", strip-ansi@^6.0.0, strip-ansi@^6.0.1:
-  name strip-ansi-cjs
+"strip-ansi-cjs@npm:strip-ansi@^6.0.1":
+  version "6.0.1"
+  resolved "https://registry.npmjs.org/strip-ansi/-/strip-ansi-6.0.1.tgz"
+  integrity sha512-Y38VPSHcqkFrCpFnQ9vuSXmquuv5oXOKpGeT6aGrr3o3Gc9AlVa6JBfUSOCnbxGGZF+/0ooI7KrPuUSztUdU5A==
+  dependencies:
+    ansi-regex "^5.0.1"
+
+strip-ansi@^6.0.0, strip-ansi@^6.0.1:
   version "6.0.1"
   resolved "https://registry.npmjs.org/strip-ansi/-/strip-ansi-6.0.1.tgz"
   integrity sha512-Y38VPSHcqkFrCpFnQ9vuSXmquuv5oXOKpGeT6aGrr3o3Gc9AlVa6JBfUSOCnbxGGZF+/0ooI7KrPuUSztUdU5A==
@@ -8735,10 +8749,10 @@ tr46@~0.0.3:
   resolved "https://registry.npmjs.org/tr46/-/tr46-0.0.3.tgz"
   integrity sha512-N3WMsuqV66lT30CrXNbEjx4GEwlow3v6rr4mCcv6prnfwhS01rkgyFdjPNBYd9br7LpXV1+Emh01fHnq2Gdgrw==
 
-tree-sitter-wasms@^0.1.10:
-  version "0.1.10"
-  resolved "https://registry.yarnpkg.com/tree-sitter-wasms/-/tree-sitter-wasms-0.1.10.tgz#1db58b4d2cd37d7b2f9783aa614eb1b33080aed0"
-  integrity sha512-CVfpkXzJCyWKgTJ+r8cIB5C7ji6xU3xbW13TA4T+DrFL4C0GlnCKSunSrxBdPEks2vNMTxc8VyIszvn64shQKA==
+tree-sitter-wasms@^0.1.11:
+  version "0.1.11"
+  resolved "https://registry.yarnpkg.com/tree-sitter-wasms/-/tree-sitter-wasms-0.1.11.tgz#fcf096d2149009476672928c49be13d027d5d01a"
+  integrity sha512-26sE4+qoTi1CbzHdo9sHs9pRE/jXVFVRigSG/5TNAbwhSMVjHfMAg4UjmOhAFAIx5UxgoQuaURwqhm0SRNrpWA==
 
 trim-lines@^3.0.0:
   version "3.0.1"