Skip to content

Commit

Permalink
RAI-15600 Fix extended keywords (#35)
Browse files Browse the repository at this point in the history
* Fix extended keywords

* fix qualified names

* fix implies, iff, xor

* fix annotation keywords

* fix highlight tags

* bump version
  • Loading branch information
OsamaSBCrea authored Sep 7, 2023
1 parent 237e7f3 commit daf6ceb
Show file tree
Hide file tree
Showing 11 changed files with 463 additions and 336 deletions.
46 changes: 24 additions & 22 deletions dist/index.cjs

Large diffs are not rendered by default.

87 changes: 44 additions & 43 deletions dist/index.cjs.d.ts
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
import { LRLanguage, LanguageSupport } from "@codemirror/language";
declare namespace relTerms {
const RawStringSequence: 1;
const spaces: 168;
const newLine: 169;
const spaces: 169;
const newLine: 170;
const LineComment: 2;
const BlockComment: 3;
const Rel: 4;
const DefinitionStatement: 5;
const DefinitionDeclaration: 5;
const Docstring: 6;
const BasicId: 7;
const DocstringLiteral: 9;
Expand All @@ -32,46 +32,47 @@ declare namespace relTerms {
const Operator: 34;
const QualifiedName: 35;
const QualifiedNameId: 36;
const QualifiedNameElem: 42;
const FormalParamsBracket: 43;
const FormalParams: 44;
const FormalParam: 45;
const Literal: 46;
const BooleanLiteral: 47;
const SpecializeIntLiteral: 48;
const InterpolationLiteral: 49;
const Interpolation: 50;
const InterpolationId: 51;
const InterpolationExpression: 52;
const Expression: 53;
const UnionExpression: 54;
const JoinExpression: 55;
const OverrideExpression: 56;
const RestrictExpression: 57;
const LogicalExpression: 58;
const BasicExpression: 59;
const SpecializeExpression: 60;
const PartialApplicationExpression: 62;
const NocommaParam: 63;
const NocommaExpression: 64;
const NocommaUnionExpression: 65;
const NocommaAbstractExpression: 66;
const Bindings: 67;
const LogicalParam: 71;
const ApplicationExpression: 72;
const BoundedExpression: 109;
const LogicalAbstractExpression: 116;
const AbstractExpression: 137;
const InterpolationMultilineLiteral: 138;
const FormalParamsParen: 141;
const BoundStatement: 142;
const ValueTypeStatement: 144;
const EntityTypeStatement: 145;
const ConstraintStatement: 146;
const ModuleStatement: 148;
const UseStatement: 150;
const Alias: 153;
const AliasId: 155;
const QualifiedKeyword: 42;
const QualifiedNameElem: 64;
const FormalParamsBracket: 65;
const FormalParams: 66;
const FormalParam: 67;
const Literal: 68;
const BooleanLiteral: 69;
const SpecializeIntLiteral: 70;
const InterpolationLiteral: 71;
const Interpolation: 72;
const InterpolationId: 73;
const InterpolationExpression: 74;
const Expression: 75;
const UnionExpression: 76;
const JoinExpression: 77;
const OverrideExpression: 78;
const RestrictExpression: 79;
const LogicalExpression: 80;
const BasicExpression: 81;
const SpecializeExpression: 82;
const PartialApplicationExpression: 84;
const NocommaParam: 85;
const NocommaExpression: 86;
const NocommaUnionExpression: 87;
const NocommaAbstractExpression: 88;
const Bindings: 89;
const LogicalParam: 90;
const ApplicationExpression: 91;
const BoundedExpression: 128;
const LogicalAbstractExpression: 129;
const AbstractExpression: 144;
const InterpolationMultilineLiteral: 145;
const FormalParamsParen: 148;
const BoundDeclaration: 149;
const ValueTypeDeclaration: 150;
const EntityTypeDeclaration: 151;
const ConstraintDeclaration: 152;
const ModuleDeclaration: 153;
const WithUseDeclaration: 154;
const Alias: 155;
const AliasId: 156;
}
declare const relLanguage: LRLanguage;
declare function rel(): LanguageSupport;
Expand Down
87 changes: 44 additions & 43 deletions dist/index.d.ts
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
import { LRLanguage, LanguageSupport } from "@codemirror/language";
declare namespace relTerms {
const RawStringSequence: 1;
const spaces: 168;
const newLine: 169;
const spaces: 169;
const newLine: 170;
const LineComment: 2;
const BlockComment: 3;
const Rel: 4;
const DefinitionStatement: 5;
const DefinitionDeclaration: 5;
const Docstring: 6;
const BasicId: 7;
const DocstringLiteral: 9;
Expand All @@ -32,46 +32,47 @@ declare namespace relTerms {
const Operator: 34;
const QualifiedName: 35;
const QualifiedNameId: 36;
const QualifiedNameElem: 42;
const FormalParamsBracket: 43;
const FormalParams: 44;
const FormalParam: 45;
const Literal: 46;
const BooleanLiteral: 47;
const SpecializeIntLiteral: 48;
const InterpolationLiteral: 49;
const Interpolation: 50;
const InterpolationId: 51;
const InterpolationExpression: 52;
const Expression: 53;
const UnionExpression: 54;
const JoinExpression: 55;
const OverrideExpression: 56;
const RestrictExpression: 57;
const LogicalExpression: 58;
const BasicExpression: 59;
const SpecializeExpression: 60;
const PartialApplicationExpression: 62;
const NocommaParam: 63;
const NocommaExpression: 64;
const NocommaUnionExpression: 65;
const NocommaAbstractExpression: 66;
const Bindings: 67;
const LogicalParam: 71;
const ApplicationExpression: 72;
const BoundedExpression: 109;
const LogicalAbstractExpression: 116;
const AbstractExpression: 137;
const InterpolationMultilineLiteral: 138;
const FormalParamsParen: 141;
const BoundStatement: 142;
const ValueTypeStatement: 144;
const EntityTypeStatement: 145;
const ConstraintStatement: 146;
const ModuleStatement: 148;
const UseStatement: 150;
const Alias: 153;
const AliasId: 155;
const QualifiedKeyword: 42;
const QualifiedNameElem: 64;
const FormalParamsBracket: 65;
const FormalParams: 66;
const FormalParam: 67;
const Literal: 68;
const BooleanLiteral: 69;
const SpecializeIntLiteral: 70;
const InterpolationLiteral: 71;
const Interpolation: 72;
const InterpolationId: 73;
const InterpolationExpression: 74;
const Expression: 75;
const UnionExpression: 76;
const JoinExpression: 77;
const OverrideExpression: 78;
const RestrictExpression: 79;
const LogicalExpression: 80;
const BasicExpression: 81;
const SpecializeExpression: 82;
const PartialApplicationExpression: 84;
const NocommaParam: 85;
const NocommaExpression: 86;
const NocommaUnionExpression: 87;
const NocommaAbstractExpression: 88;
const Bindings: 89;
const LogicalParam: 90;
const ApplicationExpression: 91;
const BoundedExpression: 128;
const LogicalAbstractExpression: 129;
const AbstractExpression: 144;
const InterpolationMultilineLiteral: 145;
const FormalParamsParen: 148;
const BoundDeclaration: 149;
const ValueTypeDeclaration: 150;
const EntityTypeDeclaration: 151;
const ConstraintDeclaration: 152;
const ModuleDeclaration: 153;
const WithUseDeclaration: 154;
const Alias: 155;
const AliasId: 156;
}
declare const relLanguage: LRLanguage;
declare function rel(): LanguageSupport;
Expand Down
Loading

0 comments on commit daf6ceb

Please sign in to comment.