aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/language/problem.grammar
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/frontend/src/language/problem.grammar')
-rw-r--r--subprojects/frontend/src/language/problem.grammar6
1 files changed, 4 insertions, 2 deletions
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar
index 829dc138..7949f90c 100644
--- a/subprojects/frontend/src/language/problem.grammar
+++ b/subprojects/frontend/src/language/problem.grammar
@@ -119,7 +119,7 @@ BinaryExpr {
119 Expr !comparison ComparisonOp Expr | 119 Expr !comparison ComparisonOp Expr |
120 Expr !lattice (LatticeMeet | "\\/") Expr | 120 Expr !lattice (LatticeMeet | "\\/") Expr |
121 Expr !additive ("+" | "-") Expr | 121 Expr !additive ("+" | "-") Expr |
122 Expr !multiplicative (StarMult | Divide) Expr | 122 Expr !multiplicative (Star | Divide) Expr |
123 Expr !exponential "**" Expr | 123 Expr !exponential "**" Expr |
124 Expr !range ".." Expr 124 Expr !range ".." Expr
125} 125}
@@ -184,6 +184,8 @@ AggregatorName { QualifiedName }
184 184
185QualifiedName[implicitCompletion=true] { "::"? identifier (QualifiedNameSeparator "::" identifier)* } 185QualifiedName[implicitCompletion=true] { "::"? identifier (QualifiedNameSeparator "::" identifier)* }
186 186
187StarMult { Star }
188
187kw<term> { @specialize[@name={term},implicitCompletion=true]<identifier, term> } 189kw<term> { @specialize[@name={term},implicitCompletion=true]<identifier, term> }
188 190
189ckw<term> { @extend[@name={term},implicitCompletion=true]<identifier, term> } 191ckw<term> { @extend[@name={term},implicitCompletion=true]<identifier, term> }
@@ -223,7 +225,7 @@ sep1<separator, content> { content (separator content)* }
223 225
224 IntMult { int } 226 IntMult { int }
225 227
226 StarMult { "*" } 228 Star { "*" }
227 229
228 Real { (exponential | int ("." (int | exponential))?) } 230 Real { (exponential | int ("." (int | exponential))?) }
229 231