Update python scripts in response to breaking change in tree-sitter package

Signed-off-by: Andrew Helwer <[email protected]>

Author: ahelwer

.github/scripts/check_manifest_features.py

@@ -237,7 +237,7 @@ def check_features(parser, queries, manifest, examples_root):
     manifest = tla_utils.load_json(manifest_path)
     examples_root = dirname(manifest_path)
 
-    TLAPLUS_LANGUAGE = Language(tree_sitter_tlaplus.language(), 'tlaplus')
+    TLAPLUS_LANGUAGE = Language(tree_sitter_tlaplus.language())
     parser = Parser()
     parser.set_language(TLAPLUS_LANGUAGE)
     queries = build_queries(TLAPLUS_LANGUAGE)

.github/scripts/generate_manifest.py

@@ -174,7 +174,7 @@ def integrate_old_manifest_into_new(old_manifest, new_manifest):
     ci_ignore_path = normpath(args.ci_ignore_path)
     ignored_dirs = tla_utils.get_ignored_dirs(ci_ignore_path)
 
-    TLAPLUS_LANGUAGE = Language(tree_sitter_tlaplus.language(), 'tlaplus')
+    TLAPLUS_LANGUAGE = Language(tree_sitter_tlaplus.language())
     parser = Parser()
     parser.set_language(TLAPLUS_LANGUAGE)
     queries = build_queries(TLAPLUS_LANGUAGE)

.github/scripts/requirements.txt

@@ -1,5 +1,5 @@
 jsonschema==4.20.0
 mistletoe==1.2.1
-tree-sitter
+tree-sitter==0.22
 tree-sitter-tlaplus
 

.github/scripts/unicode_number_set_shim.py

@@ -121,7 +121,7 @@ def write_module(examples_root, module_path, module_bytes):
     skip_modules = args.skip
     only_modules = args.only
 
-    TLAPLUS_LANGUAGE = Language(tree_sitter_tlaplus.language(), 'tlaplus')
+    TLAPLUS_LANGUAGE = Language(tree_sitter_tlaplus.language())
     parser = Parser()
     parser.set_language(TLAPLUS_LANGUAGE)
     imports_query = build_imports_query(TLAPLUS_LANGUAGE)