diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2024-03-05 22:14:06 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2024-04-07 14:55:46 +0200 |
| commit | bd909798aa2f8cfdf30258349f49e23dc1c85cdb (patch) | |
| tree | 7e919b62bdb5cc5e8af5e489bfbcc35853a1d110 /subprojects/frontend/src/language/problemLanguageSupport.ts | |
| parent | feat(language): type inference (diff) | |
| download | refinery-bd909798aa2f8cfdf30258349f49e23dc1c85cdb.tar.gz refinery-bd909798aa2f8cfdf30258349f49e23dc1c85cdb.tar.zst refinery-bd909798aa2f8cfdf30258349f49e23dc1c85cdb.zip | |
fix(frontend): * operator highlighting
Only highlight the * character as a number when it is not used as a
multiplication operator.
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 594351d6..dd5d6347 100644 --- a/subprojects/frontend/src/language/problemLanguageSupport.ts +++ b/subprojects/frontend/src/language/problemLanguageSupport.ts | |||
| @@ -39,8 +39,8 @@ const parserWithMetadata = parser.configure({ | |||
| 39 | UnknownOp: t.operator, | 39 | UnknownOp: t.operator, |
| 40 | OrOp: t.separator, | 40 | OrOp: t.separator, |
| 41 | StarArgument: t.keyword, | 41 | StarArgument: t.keyword, |
| 42 | 'IntMult StarMult Real': t.number, | 42 | 'IntMult Real': t.number, |
| 43 | StarMult: t.number, | 43 | 'StarMult/Star': t.number, |
| 44 | String: t.string, | 44 | String: t.string, |
| 45 | 'RelationName/QualifiedName': t.typeName, | 45 | 'RelationName/QualifiedName': t.typeName, |
| 46 | 'DatatypeName/QualifiedName': t.keyword, | 46 | 'DatatypeName/QualifiedName': t.keyword, |