Skip to content

Commit

Permalink
distinguish constructor ids and remove special types (#33)
Browse files Browse the repository at this point in the history 
* distinguish constructor ids and remove special types

* update package version
  • Loading branch information
@OsamaSBCrea
OsamaSBCrea authored May 26, 2023
1 parent 5e18c4c commit 2949d93
Show file tree
Hide file tree
Showing 12 changed files with 283 additions and 280 deletions.
1 change: 1 addition & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
.env
.eslintcache
.idea
node_modules
29 changes: 15 additions & 14 deletions dist/index.cjs
View file

Large diffs are not rendered by default.

93 changes: 47 additions & 46 deletions dist/index.cjs.d.ts
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
import { LRLanguage, LanguageSupport } from "@codemirror/language";
declare namespace relTerms {
const RawStringSequence: 1;
const spaces: 198;
const newLine: 199;
const spaces: 168;
const newLine: 169;
const LineComment: 2;
const BlockComment: 3;
const Rel: 4;
Expand All @@ -27,50 +27,51 @@ declare namespace relTerms {
const DateTimeLiteral: 24;
const RawStringLiteral: 25;
const LhsId: 28;
const ParenOpId: 63;
const Operator: 64;
const QualifiedName: 65;
const QualifiedNameId: 66;
const QualifiedNameElem: 72;
const FormalParamsBracket: 73;
const FormalParams: 74;
const FormalParam: 75;
const Literal: 76;
const BooleanLiteral: 77;
const SpecializeIntLiteral: 78;
const InterpolationLiteral: 79;
const Interpolation: 80;
const InterpolationId: 81;
const InterpolationExpression: 82;
const Expression: 83;
const UnionExpression: 84;
const JoinExpression: 85;
const OverrideExpression: 86;
const RestrictExpression: 87;
const LogicalExpression: 88;
const BasicExpression: 89;
const SpecializeExpression: 90;
const PartialApplicationExpression: 92;
const NocommaParam: 93;
const NocommaExpression: 94;
const NocommaUnionExpression: 95;
const NocommaAbstractExpression: 96;
const Bindings: 97;
const LogicalParam: 101;
const ApplicationExpression: 102;
const BoundedExpression: 139;
const LogicalAbstractExpression: 146;
const AbstractExpression: 167;
const InterpolationMultilineLiteral: 168;
const FormalParamsParen: 171;
const BoundStatement: 172;
const ValueTypeStatement: 174;
const EntityTypeStatement: 175;
const ConstraintStatement: 176;
const ModuleStatement: 178;
const UseStatement: 180;
const Alias: 183;
const AliasId: 185;
const ConstructorId: 29;
const ParenOpId: 33;
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;
}
declare const relLanguage: LRLanguage;
declare function rel(): LanguageSupport;
Expand Down
93 changes: 47 additions & 46 deletions dist/index.d.ts
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
import { LRLanguage, LanguageSupport } from "@codemirror/language";
declare namespace relTerms {
const RawStringSequence: 1;
const spaces: 198;
const newLine: 199;
const spaces: 168;
const newLine: 169;
const LineComment: 2;
const BlockComment: 3;
const Rel: 4;
Expand All @@ -27,50 +27,51 @@ declare namespace relTerms {
const DateTimeLiteral: 24;
const RawStringLiteral: 25;
const LhsId: 28;
const ParenOpId: 63;
const Operator: 64;
const QualifiedName: 65;
const QualifiedNameId: 66;
const QualifiedNameElem: 72;
const FormalParamsBracket: 73;
const FormalParams: 74;
const FormalParam: 75;
const Literal: 76;
const BooleanLiteral: 77;
const SpecializeIntLiteral: 78;
const InterpolationLiteral: 79;
const Interpolation: 80;
const InterpolationId: 81;
const InterpolationExpression: 82;
const Expression: 83;
const UnionExpression: 84;
const JoinExpression: 85;
const OverrideExpression: 86;
const RestrictExpression: 87;
const LogicalExpression: 88;
const BasicExpression: 89;
const SpecializeExpression: 90;
const PartialApplicationExpression: 92;
const NocommaParam: 93;
const NocommaExpression: 94;
const NocommaUnionExpression: 95;
const NocommaAbstractExpression: 96;
const Bindings: 97;
const LogicalParam: 101;
const ApplicationExpression: 102;
const BoundedExpression: 139;
const LogicalAbstractExpression: 146;
const AbstractExpression: 167;
const InterpolationMultilineLiteral: 168;
const FormalParamsParen: 171;
const BoundStatement: 172;
const ValueTypeStatement: 174;
const EntityTypeStatement: 175;
const ConstraintStatement: 176;
const ModuleStatement: 178;
const UseStatement: 180;
const Alias: 183;
const AliasId: 185;
const ConstructorId: 29;
const ParenOpId: 33;
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;
}
declare const relLanguage: LRLanguage;
declare function rel(): LanguageSupport;
Expand Down
Loading

0 comments on commit 2949d93

Please sign in to comment.