diff options
author | 2022-11-20 20:52:17 +0100 | |
---|---|---|
committer | 2022-11-22 16:40:03 +0100 | |
commit | 19d38b03de9af68e6234a2a07ac54c36d73edaa7 (patch) | |
tree | f6c402aa3610bdf66fb842e3b6206622eed8a2fd /subprojects/frontend/src/language/problemLanguageSupport.ts | |
parent | refactor(test): WebSocket integ test robustness (diff) | |
download | refinery-19d38b03de9af68e6234a2a07ac54c36d73edaa7.tar.gz refinery-19d38b03de9af68e6234a2a07ac54c36d73edaa7.tar.zst refinery-19d38b03de9af68e6234a2a07ac54c36d73edaa7.zip |
refactor(language): simplify syntax
Diffstat (limited to 'subprojects/frontend/src/language/problemLanguageSupport.ts')
-rw-r--r-- | subprojects/frontend/src/language/problemLanguageSupport.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/frontend/src/language/problemLanguageSupport.ts b/subprojects/frontend/src/language/problemLanguageSupport.ts index 2a973c93..497030e2 100644 --- a/subprojects/frontend/src/language/problemLanguageSupport.ts +++ b/subprojects/frontend/src/language/problemLanguageSupport.ts | |||
@@ -21,12 +21,12 @@ const parserWithMetadata = parser.configure({ | |||
21 | styleTags({ | 21 | styleTags({ |
22 | LineComment: t.lineComment, | 22 | LineComment: t.lineComment, |
23 | BlockComment: t.blockComment, | 23 | BlockComment: t.blockComment, |
24 | 'problem class enum pred individual scope': t.definitionKeyword, | 24 | 'problem class enum pred indiv scope': t.definitionKeyword, |
25 | 'abstract extends refers contains container opposite': t.modifier, | 25 | 'abstract extends refers contains container opposite': t.modifier, |
26 | 'default error contained containment': t.modifier, | 26 | 'default error contained containment': t.modifier, |
27 | 'true false unknown error': t.keyword, | 27 | 'true false unknown error': t.keyword, |
28 | 'int real string bool': t.keyword, | 28 | 'int real string bool': t.keyword, |
29 | 'may must current': t.operatorKeyword, | 29 | 'may must current count': t.operatorKeyword, |
30 | 'sum prod min max in': t.operatorKeyword, | 30 | 'sum prod min max in': t.operatorKeyword, |
31 | // 'new delete': t.keyword, | 31 | // 'new delete': t.keyword, |
32 | NotOp: t.operator, | 32 | NotOp: t.operator, |