diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2024-06-29 01:46:31 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2024-06-30 20:29:21 +0200 |
| commit | 7f667d1c1dfad4c9ab4a857cef073c6216564df5 (patch) | |
| tree | 87601e15e108abca017183b4aa0dd6f174806bb7 /subprojects/frontend/src | |
| parent | refactor: improve propagation rule diagnostics (diff) | |
| download | refinery-7f667d1c1dfad4c9ab4a857cef073c6216564df5.tar.gz refinery-7f667d1c1dfad4c9ab4a857cef073c6216564df5.tar.zst refinery-7f667d1c1dfad4c9ab4a857cef073c6216564df5.zip | |
feat: access computed values of relations
Diffstat (limited to 'subprojects/frontend/src')
| -rw-r--r-- | subprojects/frontend/src/language/problem.grammar | 2 | ||||
| -rw-r--r-- | subprojects/frontend/src/language/problemLanguageSupport.ts | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar index a172835d..c499b99e 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar | |||
| @@ -133,7 +133,7 @@ UnaryExpr { | |||
| 133 | !prefix | 133 | !prefix |
| 134 | ( | 134 | ( |
| 135 | "+" | "-" | "!" | kw<"count"> | | 135 | "+" | "-" | "!" | kw<"count"> | |
| 136 | kw<"candidate"> | kw<"may"> | kw<"must"> | 136 | kw<"computed"> | kw<"candidate"> | kw<"may"> | kw<"must"> |
| 137 | ) | 137 | ) |
| 138 | Expr | 138 | Expr |
| 139 | } | 139 | } |
diff --git a/subprojects/frontend/src/language/problemLanguageSupport.ts b/subprojects/frontend/src/language/problemLanguageSupport.ts index 5ca162d9..67ef3d55 100644 --- a/subprojects/frontend/src/language/problemLanguageSupport.ts +++ b/subprojects/frontend/src/language/problemLanguageSupport.ts | |||
| @@ -40,7 +40,7 @@ const parserWithMetadata = parser.configure({ | |||
| 40 | default: t.modifier, | 40 | default: t.modifier, |
| 41 | 'propagation decision': t.modifier, | 41 | 'propagation decision': t.modifier, |
| 42 | 'true false unknown error': t.keyword, | 42 | 'true false unknown error': t.keyword, |
| 43 | 'candidate may must': t.operatorKeyword, | 43 | 'computed candidate may must': t.operatorKeyword, |
| 44 | 'count in is': t.operatorKeyword, | 44 | 'count in is': t.operatorKeyword, |
| 45 | NotOp: t.operator, | 45 | NotOp: t.operator, |
| 46 | UnknownOp: t.operator, | 46 | UnknownOp: t.operator, |