Skip to content

Commit

Permalink
Bumped release version and upgraded rust tree-sitter dependency (#39)
Browse files Browse the repository at this point in the history
Now using tree-sitter crate 0.20.0
  • Loading branch information
ahelwer authored Sep 13, 2021
1 parent 851cc5c commit 58d37dc
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 4 deletions.
4 changes: 2 additions & 2 deletions Cargo.toml
Original file line number Diff line number Diff line change
@@ -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"
Expand All @@ -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"
5 changes: 4 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion package.json
Original file line number Diff line number Diff line change
@@ -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": {
Expand Down

0 comments on commit 58d37dc

Please sign in to comment.