From ed14f390935baa8232e69568760b2ca08b31602a Mon Sep 17 00:00:00 2001 From: MarkusEllyton Date: Sun, 15 Sep 2024 21:41:47 +0200 Subject: [PATCH] Fix character literal syntax highlighting which would break primed identifiers Bump version to 1.4.0-beta.11 --- CHANGELOG.md | 3 +++ package.json | 2 +- syntaxes/vdm.type.tmLanguage.json | 14 -------------- 3 files changed, 4 insertions(+), 15 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 67e9c13..59cc5a7 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,6 @@ +### 1.4.0-beta.11 +- Fix incorrect highlighting of character literals by reverting changes to syntax highlighting. + ### 1.4.0-beta.10 - QuickCheck panel UI improvements - Static position at bottom of PO view. diff --git a/package.json b/package.json index 8ade0b9..6fa2218 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "vdm-vscode", - "version": "1.4.0-beta.10", + "version": "1.4.0-beta.11", "publisher": "overturetool", "engines": { "vscode": "^1.64.0", diff --git a/syntaxes/vdm.type.tmLanguage.json b/syntaxes/vdm.type.tmLanguage.json index ea50cb3..949c85a 100644 --- a/syntaxes/vdm.type.tmLanguage.json +++ b/syntaxes/vdm.type.tmLanguage.json @@ -19,9 +19,6 @@ }, { "include": "#strings" - }, - { - "include": "#charliterals" } ], "repository": { @@ -56,17 +53,6 @@ } ] }, - "charliterals": { - "name": "string.quoted.single.vdm", - "begin": "'", - "end": "'", - "patterns": [ - { - "name": "constant.character.escape.vdm", - "match": "\\\\." - } - ] - }, "seq-of": { "match": "(seq of) (\\S+)", "captures": {