diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2024-07-05 19:54:38 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2024-07-05 19:54:38 +0200 |
| commit | c991b64b1839fcf5dcfd29fa1de9d0ceeb90f792 (patch) | |
| tree | 672f862efec5b485d12163f9765c1c3efc8ef926 /subprojects/frontend/src/language/problem.grammar | |
| parent | refactor(reasoning): remove errors when possible (diff) | |
| download | refinery-c991b64b1839fcf5dcfd29fa1de9d0ceeb90f792.tar.gz refinery-c991b64b1839fcf5dcfd29fa1de9d0ceeb90f792.tar.zst refinery-c991b64b1839fcf5dcfd29fa1de9d0ceeb90f792.zip | |
feat(language): shadow predicate validation and content assist
Diffstat (limited to 'subprojects/frontend/src/language/problem.grammar')
| -rw-r--r-- | subprojects/frontend/src/language/problem.grammar | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar index eb3846cd..b8038b70 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar | |||
| @@ -130,7 +130,7 @@ UnaryExpr { | |||
| 130 | !prefix | 130 | !prefix |
| 131 | ( | 131 | ( |
| 132 | "+" | "-" | "!" | kw<"count"> | | 132 | "+" | "-" | "!" | kw<"count"> | |
| 133 | kw<"candidate"> | kw<"may"> | kw<"must"> | 133 | kw<"candidate"> kw<"partial"> | kw<"may"> | kw<"must"> |
| 134 | ) | 134 | ) |
| 135 | Expr | 135 | Expr |
| 136 | } | 136 | } |