From 4a83da0515fd3bfc483dba8476b60d2a16f79661 Mon Sep 17 00:00:00 2001 From: anca Date: Tue, 20 Aug 2024 19:12:49 +0300 Subject: [PATCH] Fix syntax highlighting for 'macro-rec' and add highlighting for 'alias-rec' and 'alias' --- k-vscode/syntaxes/k.tmLanguage.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/k-vscode/syntaxes/k.tmLanguage.json b/k-vscode/syntaxes/k.tmLanguage.json index 7fca40d..3296527 100644 --- a/k-vscode/syntaxes/k.tmLanguage.json +++ b/k-vscode/syntaxes/k.tmLanguage.json @@ -287,7 +287,7 @@ }, "attribute_name": { "comment": "Is 'amb' really an attribute?", - "match": "\\b(strict|avoid|prefer|bracket|non-assoc|seqstrict|left|right|macro|macro-rec|token|structural|latex|binder|klabel|symbol|hook|unit|function|total|result|assoc|comm|idem|element|format|smtlib|anywhere|context|smt-hook|smt-lemma|owise|label|hybrid|heat|cool|trusted|simplification|priority|concrete|symbol|symbolic|no-evaluators|injective)\\b", + "match": "\\b(strict|avoid|prefer|bracket|non-assoc|seqstrict|left|right|macro-rec|macro|alias-rec|alias|token|structural|latex|binder|klabel|symbol|hook|unit|function|total|result|assoc|comm|idem|element|format|smtlib|anywhere|context|smt-hook|smt-lemma|owise|label|hybrid|heat|cool|trusted|simplification|priority|concrete|symbol|symbolic|no-evaluators|injective)\\b", "name": "entity.name.attribute.k" }, "attributes": {