Updates test consumer tree-sitter version

tlaplus-community · Sep 28, 2024 · b9e3978 · b9e3978
1 parent 5424e1d
commit b9e3978
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 4 deletions.
diff --git a/test/consumers/rust/Cargo.toml b/test/consumers/rust/Cargo.toml
@@ -5,5 +5,6 @@ edition = "2021"
 
 [dependencies]
 tree-sitter-tlaplus = {path = "../../.."}
-tree-sitter = "0.22.5"
+tree-sitter-language = "0.1.0"
+tree-sitter = "0.23"
 
diff --git a/test/consumers/rust/src/main.rs b/test/consumers/rust/src/main.rs
@@ -2,18 +2,23 @@ use tree_sitter::{Parser, Query, QueryCursor};
 
 fn main() {
     let mut parser = Parser::new();
-    parser.set_language(&tree_sitter_tlaplus::language()).expect("Error loading TLA+ grammar");
+    parser
+        .set_language(&tree_sitter_tlaplus::LANGUAGE.into())
+        .expect("Error loading TLA+ grammar");
     let source_code = r#"
         ---- MODULE Test ----
         op ≜ ∀ n ∈ ℕ : n ≥ 0
         ===="#;
     let tree = parser.parse(source_code, None).unwrap();
     println!("{}", tree.root_node().to_sexp());
 
-    let query = Query::new(&tree_sitter_tlaplus::language(), "(def_eq \"≜\") @capture").unwrap();
+    let query = Query::new(
+        &tree_sitter_tlaplus::LANGUAGE.into(),
+        "(def_eq \"≜\") @capture",
+    )
+    .unwrap();
     let mut cursor = QueryCursor::new();
     for capture in cursor.matches(&query, tree.root_node(), "".as_bytes()) {
         println!("{:?}", capture);
     }
 }
-