From 6b82b26a742964bd93d022db134a4ac3a1a15a96 Mon Sep 17 00:00:00 2001 From: Andrew Helwer Date: Wed, 6 Oct 2021 13:16:18 -0400 Subject: Updated TLA+ grammar version and queries --- lockfile.json | 2 +- queries/tlaplus/highlights.scm | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/lockfile.json b/lockfile.json index ce5c7a31..cc0dcf0f 100644 --- a/lockfile.json +++ b/lockfile.json @@ -207,7 +207,7 @@ "revision": "fcc5f6f4d194dede4e676834ff28a506e39e17b4" }, "tlaplus": { - "revision": "d7d8c73035028edeb07cd3d9a50bcc635a186877" + "revision": "f1b5eafceab0d98b389033235e3d3edcc33490ba" }, "toml": { "revision": "8bd2056818b21860e3d756b5a58c4f6e05fb744e" diff --git a/queries/tlaplus/highlights.scm b/queries/tlaplus/highlights.scm index bbbabd96..c491ea18 100644 --- a/queries/tlaplus/highlights.scm +++ b/queries/tlaplus/highlights.scm @@ -85,7 +85,11 @@ (string) @string (escape_char) @string.escape (boolean) @boolean -(primitive_value_set) @type +(string_set) @type +(boolean_set) @type +(nat_number_set) @type +(int_number_set) @type +(real_number_set) @type ; Comments (comment) @comment -- cgit v1.2.3