Merge pull request #330 from dbartol/dbartol/unique-highlighting

Highlight `unique` as a keyword
This commit is contained in:
jcreedcmu
2020-04-15 09:49:24 -04:00
committed by GitHub
2 changed files with 11 additions and 0 deletions

View File

@@ -1,5 +1,9 @@
# CodeQL for Visual Studio Code: Changelog
## 1.1.2
- Implement syntax highlighting for the new `unique` aggregate.
## 1.1.1 - 23 March 2020
- Fix quick evaluation in `.qll` files.

View File

@@ -422,6 +422,11 @@ repository:
keyword: 'true'
name: constant.language.boolean.true.ql
unique:
match:
keyword: 'unique'
name: keyword.aggregate.unique.ql
where:
match:
keyword: 'where'
@@ -478,6 +483,8 @@ repository:
- include: '#then'
- include: '#this'
- include: '#true'
# `unique` is not really a keyword, but we'll highlight it as if it is.
- include: '#unique'
- include: '#where'
# A keyword that can be the first token of a predicate declaration.