Update grammar (#39)

* fix constructor id * update grammar * bump version * trigger * trigger * add comments
RelationalAI · Nov 1, 2023 · 9706a6f · 9706a6f
1 parent e98062f
commit 9706a6f
Show file tree

Hide file tree

Showing 16 changed files with 526 additions and 1,703 deletions.
diff --git a/dist/index.cjs b/dist/index.cjs
diff --git a/dist/index.cjs.d.ts b/dist/index.cjs.d.ts
@@ -1,8 +1,8 @@
 import { LRLanguage, LanguageSupport } from "@codemirror/language";
 declare namespace relTerms {
     const RawStringSequence: 1;
-    const spaces: 169;
-    const newLine: 170;
+    const spaces: 166;
+    const newLine: 167;
     const LineComment: 2;
     const BlockComment: 3;
     const Rel: 4;
@@ -34,9 +34,9 @@ declare namespace relTerms {
     const QualifiedNameId: 36;
     const QualifiedKeyword: 42;
     const QualifiedNameElem: 60;
-    const FormalParamsBracket: 61;
-    const FormalParams: 62;
-    const FormalParam: 63;
+    const FormalsBracket: 61;
+    const Formals: 62;
+    const Formal: 63;
     const Literal: 64;
     const BooleanLiteral: 65;
     const SpecializeIntLiteral: 66;
@@ -45,34 +45,31 @@ declare namespace relTerms {
     const InterpolationId: 69;
     const InterpolationExpression: 70;
     const Expression: 71;
-    const UnionExpression: 72;
-    const JoinExpression: 73;
-    const OverrideExpression: 74;
-    const RestrictExpression: 75;
-    const LogicalExpression: 76;
-    const BasicExpression: 77;
-    const SpecializeExpression: 78;
-    const PartialApplicationExpression: 80;
-    const NocommaParam: 81;
-    const NocommaExpression: 82;
-    const NocommaUnionExpression: 83;
-    const NocommaAbstractExpression: 84;
-    const Bindings: 85;
-    const LogicalParam: 86;
-    const ApplicationExpression: 87;
-    const BoundedExpression: 124;
-    const LogicalAbstractExpression: 127;
-    const AbstractExpression: 143;
-    const InterpolationMultilineLiteral: 144;
-    const FormalParamsParen: 147;
-    const BoundDeclaration: 148;
-    const ValueTypeDeclaration: 149;
-    const EntityTypeDeclaration: 150;
-    const ConstraintDeclaration: 151;
-    const ModuleDeclaration: 152;
-    const WithUseDeclaration: 153;
-    const Alias: 155;
-    const AliasId: 156;
+    const IffXorExpression: 72;
+    const UnionExpression: 73;
+    const ProductExpression: 74;
+    const BasicExpression: 75;
+    const PartialApplicationExpression: 76;
+    const NocommaParam: 77;
+    const NocommaExpression: 78;
+    const NocommaUnionExpression: 79;
+    const NocommaAbstractExpression: 80;
+    const Bindings: 81;
+    const BasicParam: 82;
+    const ApplicationExpression: 83;
+    const BoundedExpression: 122;
+    const LogicalAbstractExpression: 124;
+    const AbstractExpression: 140;
+    const InterpolationMultilineLiteral: 141;
+    const FormalsParen: 144;
+    const BoundDeclaration: 145;
+    const ValueTypeDeclaration: 146;
+    const EntityTypeDeclaration: 147;
+    const ConstraintDeclaration: 148;
+    const ModuleDeclaration: 149;
+    const WithUseDeclaration: 150;
+    const Alias: 152;
+    const AliasId: 153;
 }
 declare const relLanguage: LRLanguage;
 declare function rel(): LanguageSupport;

diff --git a/dist/index.d.ts b/dist/index.d.ts
@@ -1,8 +1,8 @@
 import { LRLanguage, LanguageSupport } from "@codemirror/language";
 declare namespace relTerms {
     const RawStringSequence: 1;
-    const spaces: 169;
-    const newLine: 170;
+    const spaces: 166;
+    const newLine: 167;
     const LineComment: 2;
     const BlockComment: 3;
     const Rel: 4;
@@ -34,9 +34,9 @@ declare namespace relTerms {
     const QualifiedNameId: 36;
     const QualifiedKeyword: 42;
     const QualifiedNameElem: 60;
-    const FormalParamsBracket: 61;
-    const FormalParams: 62;
-    const FormalParam: 63;
+    const FormalsBracket: 61;
+    const Formals: 62;
+    const Formal: 63;
     const Literal: 64;
     const BooleanLiteral: 65;
     const SpecializeIntLiteral: 66;
@@ -45,34 +45,31 @@ declare namespace relTerms {
     const InterpolationId: 69;
     const InterpolationExpression: 70;
     const Expression: 71;
-    const UnionExpression: 72;
-    const JoinExpression: 73;
-    const OverrideExpression: 74;
-    const RestrictExpression: 75;
-    const LogicalExpression: 76;
-    const BasicExpression: 77;
-    const SpecializeExpression: 78;
-    const PartialApplicationExpression: 80;
-    const NocommaParam: 81;
-    const NocommaExpression: 82;
-    const NocommaUnionExpression: 83;
-    const NocommaAbstractExpression: 84;
-    const Bindings: 85;
-    const LogicalParam: 86;
-    const ApplicationExpression: 87;
-    const BoundedExpression: 124;
-    const LogicalAbstractExpression: 127;
-    const AbstractExpression: 143;
-    const InterpolationMultilineLiteral: 144;
-    const FormalParamsParen: 147;
-    const BoundDeclaration: 148;
-    const ValueTypeDeclaration: 149;
-    const EntityTypeDeclaration: 150;
-    const ConstraintDeclaration: 151;
-    const ModuleDeclaration: 152;
-    const WithUseDeclaration: 153;
-    const Alias: 155;
-    const AliasId: 156;
+    const IffXorExpression: 72;
+    const UnionExpression: 73;
+    const ProductExpression: 74;
+    const BasicExpression: 75;
+    const PartialApplicationExpression: 76;
+    const NocommaParam: 77;
+    const NocommaExpression: 78;
+    const NocommaUnionExpression: 79;
+    const NocommaAbstractExpression: 80;
+    const Bindings: 81;
+    const BasicParam: 82;
+    const ApplicationExpression: 83;
+    const BoundedExpression: 122;
+    const LogicalAbstractExpression: 124;
+    const AbstractExpression: 140;
+    const InterpolationMultilineLiteral: 141;
+    const FormalsParen: 144;
+    const BoundDeclaration: 145;
+    const ValueTypeDeclaration: 146;
+    const EntityTypeDeclaration: 147;
+    const ConstraintDeclaration: 148;
+    const ModuleDeclaration: 149;
+    const WithUseDeclaration: 150;
+    const Alias: 152;
+    const AliasId: 153;
 }
 declare const relLanguage: LRLanguage;
 declare function rel(): LanguageSupport;

diff --git a/dist/index.js b/dist/index.js