diff options
author | 2022-11-22 16:35:42 +0100 | |
---|---|---|
committer | 2022-11-22 16:40:04 +0100 | |
commit | 862cb00e40aa6f094aff019a44f52ebfca90ab88 (patch) | |
tree | 3c32b6ca6612d07d3d1fcfc5620c86ba9c774b3b /subprojects/frontend/src/language/problem.grammar | |
parent | refactor(language): simplify syntax (diff) | |
download | refinery-862cb00e40aa6f094aff019a44f52ebfca90ab88.tar.gz refinery-862cb00e40aa6f094aff019a44f52ebfca90ab88.tar.zst refinery-862cb00e40aa6f094aff019a44f52ebfca90ab88.zip |
fix(frontend): mobx 6.7.0 typing
Also bumps some dependencies and updates tsconfig.json
The added workarounds should be remove once
https://github.com/mobxjs/mobx/issues/3582 is resolved.
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 c2410913..f4cf1712 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar | |||
@@ -37,7 +37,7 @@ statement { | |||
37 | PredicateBody { ("<->" sep<OrOp, Conjunction>)? "." } | 37 | PredicateBody { ("<->" sep<OrOp, Conjunction>)? "." } |
38 | } | | 38 | } | |
39 | FunctionDefinition { | 39 | FunctionDefinition { |
40 | PrimitiveType RelationName ParameterList<Parameter>? | 40 | kw<"fn"> PrimitiveType RelationName ParameterList<Parameter>? |
41 | FunctionBody { ("=" sep<OrOp, Case>)? "." } | 41 | FunctionBody { ("=" sep<OrOp, Case>)? "." } |
42 | } | | 42 | } | |
43 | //RuleDefinition { | 43 | //RuleDefinition { |