aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/language
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2022-11-28 00:20:44 +0100
committerLibravatar Kristóf Marussy <kristof@marussy.com>2022-12-09 00:07:39 +0100
commit0173a4e5deb5dbe71c91a68c02ef88e3de778068 (patch)
tree8498ac382150f59ba626b85827c11dca3c33f880 /subprojects/frontend/src/language
parentfeat(frontend): scroll beyond last line in editor (diff)
downloadrefinery-0173a4e5deb5dbe71c91a68c02ef88e3de778068.tar.gz
refinery-0173a4e5deb5dbe71c91a68c02ef88e3de778068.tar.zst
refinery-0173a4e5deb5dbe71c91a68c02ef88e3de778068.zip
fix(frontend): content assist error recovery
Diffstat (limited to 'subprojects/frontend/src/language')
-rw-r--r--subprojects/frontend/src/language/problem.grammar10
1 files changed, 5 insertions, 5 deletions
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar
index f4cf1712..704badab 100644
--- a/subprojects/frontend/src/language/problem.grammar
+++ b/subprojects/frontend/src/language/problem.grammar
@@ -16,6 +16,11 @@
16@top Problem { statement* } 16@top Problem { statement* }
17 17
18statement { 18statement {
19 Assertion {
20 kw<"default">? (NotOp | UnknownOp)? RelationName
21 ParameterList<AssertionArgument>
22 (":" Expr)? "."
23 } |
19 ProblemDeclaration { 24 ProblemDeclaration {
20 kw<"problem"> QualifiedName "." 25 kw<"problem"> QualifiedName "."
21 } | 26 } |
@@ -45,11 +50,6 @@ statement {
45 // RuleName ParameterList<Parameter>? 50 // RuleName ParameterList<Parameter>?
46 // RuleBody { ":" sep<OrOp, Conjunction> "==>" sep<OrOp, Consequent> "." } 51 // RuleBody { ":" sep<OrOp, Conjunction> "==>" sep<OrOp, Consequent> "." }
47 //} | 52 //} |
48 Assertion {
49 kw<"default">? (NotOp | UnknownOp)? RelationName
50 ParameterList<AssertionArgument>
51 (":" Expr)? "."
52 } |
53 IndividualDeclaration { 53 IndividualDeclaration {
54 kw<"indiv"> sep<",", IndividualNodeName> "." 54 kw<"indiv"> sep<",", IndividualNodeName> "."
55 } | 55 } |