tree_sitter_lean4/lib.rs
1//! Tree-sitter grammar for Lean 4.
2
3use tree_sitter::Language;
4
5extern "C" {
6 fn tree_sitter_lean() -> Language;
7}
8
9/// Get the tree-sitter [Language][] for this grammar.
10///
11/// [Language]: https://docs.rs/tree-sitter/*/tree_sitter/struct.Language.html
12pub fn language() -> Language {
13 unsafe { tree_sitter_lean() }
14}
15
16#[cfg(test)]
17mod tests {
18 #[test]
19 fn test_can_load_grammar() {
20 let mut parser = tree_sitter::Parser::new();
21 parser
22 .set_language(&super::language())
23 .expect("Error loading lean language");
24 }
25}