From 58d37dc806736dbca53fc494706379e74bebf1f5 Mon Sep 17 00:00:00 2001 From: Andrew Helwer Date: Mon, 13 Sep 2021 13:29:30 -0400 Subject: [PATCH] Bumped release version and upgraded rust tree-sitter dependency (#39) Now using tree-sitter crate 0.20.0 --- Cargo.toml | 4 ++-- README.md | 5 ++++- package.json | 2 +- 3 files changed, 7 insertions(+), 4 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index d4714ba..b0a7452 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,7 +1,7 @@ [package] name = "tree-sitter-tlaplus" description = "A tree-sitter grammar for TLA+" -version = "0.2.0" +version = "0.2.1" authors = ["Andrew Helwer"] license = "MIT" readme = "README.md" @@ -23,7 +23,7 @@ include = [ path = "bindings/rust/lib.rs" [dependencies] -tree-sitter = "0.19.5" +tree-sitter = "0.20.0" [build-dependencies] cc = "1.0" diff --git a/README.md b/README.md index f6f236b..63a48c2 100644 --- a/README.md +++ b/README.md @@ -34,9 +34,12 @@ If you really want to use this project to write an interpreter, nobody's stoppin You could first use SANY to check spec validity, then use this parser to extract & interact with the actual parse tree. For a REPL, you might want to wait until the [multiple entry points](https://github.com/tree-sitter/tree-sitter/issues/870) feature is added to tree-sitter so you can parse standalone TLA+ expressions without an encapsulating module. -## Use +## Use & Notable Integrations There are a number of avenues available for consuming & using the parser in a project of your own; see the [tlaplus-tool-dev-examples](https://github.com/tlaplus-community/tlaplus-tool-dev-examples) repo. +Notable projects currently using or integrating this grammar include: + * [nvim-treesitter](https://github.com/nvim-treesitter/nvim-treesitter) for TLA+ syntax highlighting & code folding in Neovim + ## Build & Test 1. Install [Node.js and npm](https://docs.npmjs.com/downloading-and-installing-node-js-and-npm) 1. Install a C compiler diff --git a/package.json b/package.json index 4871f5e..7f6a30e 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "@tlaplus/tree-sitter-tlaplus", - "version": "0.2.0", + "version": "0.2.1", "description": "A tree-sitter grammar for TLA+", "main": "bindings/node", "scripts": {