@artel/artc 0.6.25225 → 0.6.25227

package/build/types/emitter/Transformer.d.ts

@@ -95,7 +95,7 @@ export declare class Transformer {
     transformVariableAccessExpressionChildren(_expression: ir.VariableAccessExpression): void;
     transformFunctionAccessExpressionChildren(_expression: ir.FunctionAccessExpression): void;
     transformTypeAccessExpression(expression: ir.TypeAccessExpression): ir.TypeAccessExpression;
-    transformInstanceVariableAccessExpressionChildren(expression: ir.FieldAccessExpression): void;
+    transformFieldAccessExpressionChildren(expression: ir.FieldAccessExpression): void;
     transformMethodAccessExpressionChildren(expression: ir.MethodAccessExpression): void;
     transformConstructorCallExpressionChildren(expression: ir.ConstructorCallExpression): void;
     transformInlineJsExpressionChildren(_expression: ir.InlineJsExpression): void;

package/build/types/entities/FunctionEntity.d.ts

@@ -1,7 +1,7 @@
 import { Tag } from '../analysis/Tags.js';
 import { Analyzer } from '../analysis/index.js';
 import { Name } from '../common/index.js';
-import { FunctionBlockLiteral, FunctionLiteral, NestedFunctionDeclaration, PackageFunctionDeclaration, MethodDeclaration } from '../tree/index.js';
+import { NestedFunctionDeclaration, PackageFunctionDeclaration, MethodDeclaration } from '../tree/index.js';
 import * as types from '../types/index.js';
 import type { PackageEntity } from './index.js';
 import { DefinitionKind, Entity, EntityHidingLevel, EntityKind, ParameterVariableEntity, SubstitutionApplicationMode, TypeMemberEntityContainer, TypeParameterEntity } from './index.js';
@@ -40,7 +40,7 @@ interface IFunctionEntity {
 }
 export type FunctionEntityDefinition = {
     kind: DefinitionKind.Source;
-    node: PackageFunctionDeclaration | MethodDeclaration | NestedFunctionDeclaration | FunctionLiteral | FunctionBlockLiteral;
+    node: PackageFunctionDeclaration | MethodDeclaration | NestedFunctionDeclaration;
 } | {
     kind: DefinitionKind.Intrinsic;
 } | {

package/build/types/entities/VariableEntity.d.ts

@@ -1,7 +1,8 @@
+import { SetterDeclaration, SubprogramDeclarationOrLiteral } from '../analysis/NodeTypeUtils.js';
 import { Tag } from '../analysis/Tags.js';
 import { Analyzer } from '../analysis/index.js';
 import { Lazy, Name } from '../common/index.js';
-import { EnumerationVariableDeclaration, ErrorVariableDeclaration, FieldDeclaration, FieldGetterDeclaration, FieldSetterDeclaration, FunctionLiteral, LocalVariableDeclaration, PackageVariableDeclaration, PackageVariableGetterDeclaration, PackageVariableSetterDeclaration, ParameterDeclaration, VariantDeclaration } from '../tree/index.js';
+import * as tree from '../tree/index.js';
 import * as types from '../types/index.js';
 import type { Entity, IndexerEntity, PackageEntity } from './index.js';
 import { Entity as ActualEntity, ConstructorEntity, DefinitionKind, DestructorEntity, EntityHidingLevel, EntityKind, FunctionEntity, FunctionTypeEntity, GetterEntity, OperatorEntity, SetterEntity, TypeMemberEntityContainer } from './index.js';
@@ -28,8 +29,14 @@ export interface ParameterVariableEntity extends IVariableEntity {
 }
 export interface LocalVariableEntity extends IVariableEntity {
     readonly subkind: 'local';
+    getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
 }
+export declare enum LocalVariableKind {
+    Regular = 0,
+    Enumeration = 1,
+    Error = 2
+}
 interface IVariableEntity {
     readonly kind: EntityKind.Variable;
     getName(): Name;
@@ -67,29 +74,34 @@ export type VariableEntityDefinition = {
 export type SourceVariableEntityDefinition = SingleSourceVariableEntityDefinition | MultiSourceVariableEntityDefinition;
 export type SingleSourceVariableEntityDefinition = {
     kind: 'single';
-    node: PackageVariableDeclaration | FieldDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ErrorVariableDeclaration | ParameterDeclaration | VariantDeclaration;
+    node: tree.PackageVariableDeclaration | tree.FieldDeclaration | tree.LocalVariableDeclaration | tree.EnumerationVariableDeclaration | tree.ErrorVariableDeclaration | tree.ParameterDeclaration | tree.VariantDeclaration;
 };
 export type MultiSourceVariableEntityDefinition = {
     kind: 'multi';
-    nodes: ReadonlyArray<PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | FieldGetterDeclaration | FieldSetterDeclaration | ParameterDeclaration>;
+    nodes: ReadonlyArray<tree.PackageVariableGetterDeclaration | tree.PackageVariableSetterDeclaration | tree.FieldGetterDeclaration | tree.FieldSetterDeclaration | tree.ParameterDeclaration>;
 };
-export declare class ImplicitFunctionBlockParameterSpecialVariableEntityInfo {
-    readonly targetTypeParameter: types.ValueParameter;
-    readonly kind = "implicit-function-block-parameter";
-    constructor(targetTypeParameter: types.ValueParameter);
-}
 export type SpecialVariableEntityInfo = ResultSpecialVariableEntityInfo | ValueSpecialVariableEntityInfo | BackingSpecialVariableEntityInfo | ImplicitFunctionBlockParameterSpecialVariableEntityInfo;
 export declare class ResultSpecialVariableEntityInfo {
+    readonly subprogramNode: SubprogramDeclarationOrLiteral;
     readonly kind = "result";
+    constructor(subprogramNode: SubprogramDeclarationOrLiteral);
 }
 export declare class ValueSpecialVariableEntityInfo {
+    readonly setterDeclaration: SetterDeclaration;
     readonly kind = "value";
+    constructor(setterDeclaration: SetterDeclaration);
 }
 export declare class BackingSpecialVariableEntityInfo {
     readonly computedVariable: PackageVariableEntity | FieldEntity;
     readonly kind = "backing";
     constructor(computedVariable: PackageVariableEntity | FieldEntity);
 }
+export declare class ImplicitFunctionBlockParameterSpecialVariableEntityInfo {
+    readonly targetTypeParameter: types.ValueParameter;
+    readonly functionBlockLiteral: tree.FunctionBlockLiteral;
+    readonly kind = "implicit-function-block-parameter";
+    constructor(targetTypeParameter: types.ValueParameter, functionBlockLiteral: tree.FunctionBlockLiteral);
+}
 export declare class PackageVariableDeclarationEntity implements PackageVariableEntity {
     private readonly _analyzer;
     private readonly _node;
@@ -98,7 +110,7 @@ export declare class PackageVariableDeclarationEntity implements PackageVariable
     private readonly _typeInferrer;
     private readonly _modifierFlags;
     private get modifierFlags();
-    constructor(_analyzer: Analyzer, _node: PackageVariableDeclaration);
+    constructor(_analyzer: Analyzer, _node: tree.PackageVariableDeclaration);
     getName(): Name;
     getContainingPackage(): PackageEntity;
     getType(): types.Type;
@@ -119,7 +131,7 @@ export declare class ComputedPackageVariableDeclarationEntity implements Package
     private readonly _getterOrSetterDeclaration;
     private readonly _modifierFlags;
     private get modifierFlags();
-    constructor(analyzer: Analyzer, getterDeclaration: PackageVariableGetterDeclaration | undefined, setterDeclaration: PackageVariableSetterDeclaration | undefined);
+    constructor(analyzer: Analyzer, getterDeclaration: tree.PackageVariableGetterDeclaration | undefined, setterDeclaration: tree.PackageVariableSetterDeclaration | undefined);
     getName(): Name;
     getType(): types.Type;
     getContainingPackage(): PackageEntity;
@@ -140,7 +152,7 @@ export declare class FieldDeclarationEntity implements FieldEntity {
     private readonly _overriddenMembers;
     private readonly _modifierFlags;
     private get modifierFlags();
-    constructor(analyzer: Analyzer, node: FieldDeclaration);
+    constructor(analyzer: Analyzer, node: tree.FieldDeclaration);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -168,7 +180,7 @@ export declare class ComputedFieldDeclarationEntity implements FieldEntity {
     private readonly _overriddenMembers;
     private readonly _modifierFlags;
     private get modifierFlags();
-    constructor(analyzer: Analyzer, getterDeclaration: FieldGetterDeclaration | undefined, setterDeclaration: FieldSetterDeclaration | undefined);
+    constructor(analyzer: Analyzer, getterDeclaration: tree.FieldGetterDeclaration | undefined, setterDeclaration: tree.FieldSetterDeclaration | undefined);
     getName(): Name;
     getType(): types.Type;
     getContainer(): TypeMemberEntityContainer;
@@ -193,7 +205,7 @@ export declare class VariantDeclarationEntity implements FieldEntity {
     private readonly _node;
     private readonly _variantTypeDeclaration;
     private readonly _type;
-    constructor(analyzer: Analyzer, node: VariantDeclaration);
+    constructor(analyzer: Analyzer, node: tree.VariantDeclaration);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -217,7 +229,7 @@ export declare class LocalVariableDeclarationEntity implements LocalVariableEnti
     readonly kind = EntityKind.Variable;
     readonly subkind = "local";
     private readonly _typeInferrer;
-    constructor(_analyzer: Analyzer, _node: LocalVariableDeclaration);
+    constructor(_analyzer: Analyzer, _node: tree.LocalVariableDeclaration);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -227,6 +239,7 @@ export declare class LocalVariableDeclarationEntity implements LocalVariableEnti
     isHidden(): EntityHidingLevel | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
 }
 export declare class EnumerationVariableDeclarationEntity implements LocalVariableEntity {
@@ -235,7 +248,7 @@ export declare class EnumerationVariableDeclarationEntity implements LocalVariab
     readonly kind = EntityKind.Variable;
     readonly subkind = "local";
     private readonly _typeInferrer;
-    constructor(_analyzer: Analyzer, _node: EnumerationVariableDeclaration);
+    constructor(_analyzer: Analyzer, _node: tree.EnumerationVariableDeclaration);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -245,6 +258,7 @@ export declare class EnumerationVariableDeclarationEntity implements LocalVariab
     isHidden(): EntityHidingLevel | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
 }
 export declare class ErrorVariableDeclarationEntity implements LocalVariableEntity {
@@ -252,7 +266,7 @@ export declare class ErrorVariableDeclarationEntity implements LocalVariableEnti
     private readonly _node;
     readonly kind = EntityKind.Variable;
     readonly subkind = "local";
-    constructor(_analyzer: Analyzer, _node: ErrorVariableDeclaration);
+    constructor(_analyzer: Analyzer, _node: tree.ErrorVariableDeclaration);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -262,6 +276,7 @@ export declare class ErrorVariableDeclarationEntity implements LocalVariableEnti
     isHidden(): EntityHidingLevel | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
 }
 export declare class ParameterDeclarationEntity implements ParameterVariableEntity {
@@ -270,7 +285,7 @@ export declare class ParameterDeclarationEntity implements ParameterVariableEnti
     readonly kind = EntityKind.Variable;
     readonly subkind = "parameter";
     private readonly _typeInferrer;
-    constructor(_analyzer: Analyzer, _node: ParameterDeclaration);
+    constructor(_analyzer: Analyzer, _node: tree.ParameterDeclaration);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -293,7 +308,7 @@ export declare class IndexParameterDeclarationEntity implements ParameterVariabl
     readonly subkind = "parameter";
     private readonly _getterOrSetterParameterDeclaration;
     private readonly _typeInferrer;
-    constructor(_analyzer: Analyzer, _getterParameterDeclaration: ParameterDeclaration | undefined, _setterParameterDeclaration: ParameterDeclaration | undefined, _indexerEntity: IndexerEntity);
+    constructor(_analyzer: Analyzer, _getterParameterDeclaration: tree.ParameterDeclaration | undefined, _setterParameterDeclaration: tree.ParameterDeclaration | undefined, _indexerEntity: IndexerEntity);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -314,7 +329,7 @@ export declare class FunctionLiteralParameterDeclarationEntity implements Parame
     readonly kind = EntityKind.Variable;
     readonly subkind = "parameter";
     private readonly _parameterIndex;
-    constructor(_analyzer: Analyzer, _node: ParameterDeclaration, _functionLiteral: FunctionLiteral);
+    constructor(_analyzer: Analyzer, _node: tree.ParameterDeclaration, _functionLiteral: tree.FunctionLiteral);
     getName(): Name;
     getType(): types.Type;
     getDefinition(): VariableEntityDefinition;
@@ -424,6 +439,7 @@ export declare class IntrinsicLocalVariableEntity implements LocalVariableEntity
     isHidden(): EntityHidingLevel | undefined;
     isSpecial(): SpecialVariableEntityInfo | undefined;
     getTags(): readonly Tag[];
+    getLocalVariableKind(): LocalVariableKind;
     getContainingEntity(): Entity;
 }
 export {};

package/build/types/services/DefinitionService.d.ts

@@ -11,6 +11,9 @@ export declare class DefinitionService {
     private getReferenceTargetSourceLocation;
     private getReferenceTargetEntity;
     private createLocalizationContextForSourceGeneration;
+    private getSourceLocationsOfVariableEntity;
+    private getSourceLocationsOfSpecialVariable;
+    private getSourceLocationOfSubprogramNode;
 }
 export declare class DefinitionsAndReferenceInfo {
     readonly definitionLocations: readonly SourceLocation[];

package/build/types/tree/KeywordKind.d.ts

@@ -29,34 +29,35 @@ export declare enum KeywordKind {
     RepeatWhile = 27,
     Yield = 28,
     When = 29,
-    Creation = 30,
-    Catch = 31,
-    BreakLoop = 32,
-    ContinueLoop = 33,
-    For = 34,
-    Const = 35,
-    Hidden = 36,
-    Abstract = 37,
-    Redefinable = 38,
-    Redefined = 39,
-    Async = 40,
-    Static = 41,
-    As = 42,
-    Not = 43,
-    Switch = 44,
-    Case = 45,
-    Dispose = 46,
-    Destruction = 47,
-    InHierarchy = 48,
-    InFile = 49,
-    InPackage = 50,
-    InType = 51,
-    Yes = 52,
-    No = 53,
-    Reference = 54,
-    Translations = 55,
-    Base = 56,
-    None = 57,
-    Get = 58,
-    Set = 59
+    Cond = 30,
+    Creation = 31,
+    Catch = 32,
+    BreakLoop = 33,
+    ContinueLoop = 34,
+    For = 35,
+    Const = 36,
+    Hidden = 37,
+    Abstract = 38,
+    Redefinable = 39,
+    Redefined = 40,
+    Async = 41,
+    Static = 42,
+    As = 43,
+    Not = 44,
+    Switch = 45,
+    Case = 46,
+    Dispose = 47,
+    Destruction = 48,
+    InHierarchy = 49,
+    InFile = 50,
+    InPackage = 51,
+    InType = 52,
+    Yes = 53,
+    No = 54,
+    Reference = 55,
+    Translations = 56,
+    Base = 57,
+    None = 58,
+    Get = 59,
+    Set = 60
 }

package/build/types/tree/NodeKind.d.ts

@@ -76,84 +76,85 @@ export declare enum NodeKind {
     FunctionLiteral = 74,
     ParenthesizedExpression = 75,
     WhenTernaryExpression = 76,
-    PrefixUnaryExpression = 77,
-    MemberAccessExpression = 78,
-    ReferenceExpression = 79,
-    DereferenceExpression = 80,
-    TextTemplateLiteral = 81,
-    TextTemplateSpanList = 82,
-    TextTemplateSpan = 83,
-    TokenExpression = 84,
-    KeywordExpression = 85,
-    ObjectExpression = 86,
-    BaseExpression = 87,
-    IdentifierExpression = 88,
-    GenericSpecializationExpression = 89,
-    DefaultMatchExpression = 90,
-    AssignmentStatement = 91,
-    StatementList = 92,
-    StatementBlock = 93,
-    FunctionBlock = 94,
-    BreakLoopStatement = 95,
-    ContinueLoopStatement = 96,
-    DisposeStatement = 97,
-    RunStatement = 98,
-    TryStatement = 99,
-    CatchClause = 100,
-    ErrorVariableDeclaration = 101,
-    FinallyClause = 102,
-    EmptyStatement = 103,
-    ErrorStatement = 104,
-    ImportantStatement = 105,
-    ExpressionStatement = 106,
-    EnumerationVariableList = 107,
-    ForStatement = 108,
-    IfStatement = 109,
-    ElseIfClauseList = 110,
-    ElseIfClause = 111,
-    ElseClause = 112,
-    InvalidStatement = 113,
-    NestedFunctionDeclarationStatement = 114,
-    LocalVariableDeclarationStatement = 115,
-    LoopStatement = 116,
-    ReturnStatement = 117,
-    CaseClauseList = 118,
-    SwitchStatement = 119,
-    MatchExpressionList = 120,
-    CaseClause = 121,
-    WhileStatement = 122,
-    YieldStatement = 123,
-    TranslationParameterList = 124,
-    TranslationParameterClause = 125,
-    ConstructorTranslation = 126,
-    IndexParameterTranslationClause = 127,
-    IndexerTranslation = 128,
-    TranslationTypeParameterList = 129,
-    TranslationTypeParameterClause = 130,
-    PackageFunctionTranslation = 131,
-    MethodTranslation = 132,
-    FunctionTypeTranslation = 133,
-    PackageImportTranslation = 134,
-    QualifiedName = 135,
-    PackageVariableTranslation = 136,
-    FieldOrVariantTranslation = 137,
-    TypeMemberTranslationList = 138,
-    TypeTranslation = 139,
-    TextLiteralTranslation = 140,
-    TextTemplateLiteralTranslation = 141,
-    VariantDeclaration = 142,
-    TypeParameterDeclaration = 143,
-    ParameterDeclaration = 144,
-    Argument = 145,
-    TagList = 146,
-    Tag = 147,
-    ModifierList = 148,
-    Modifier = 149,
-    ParameterClause = 150,
-    ParameterList = 151,
-    TypeArgumentClause = 152,
-    TypeArgumentList = 153,
-    TypeParameterClause = 154,
-    TypeParameterList = 155,
-    TypeAnnotation = 156
+    ConditionalExpression = 77,
+    PrefixUnaryExpression = 78,
+    MemberAccessExpression = 79,
+    ReferenceExpression = 80,
+    DereferenceExpression = 81,
+    TextTemplateLiteral = 82,
+    TextTemplateSpanList = 83,
+    TextTemplateSpan = 84,
+    TokenExpression = 85,
+    KeywordExpression = 86,
+    ObjectExpression = 87,
+    BaseExpression = 88,
+    IdentifierExpression = 89,
+    GenericSpecializationExpression = 90,
+    DefaultMatchExpression = 91,
+    AssignmentStatement = 92,
+    StatementList = 93,
+    StatementBlock = 94,
+    FunctionBlock = 95,
+    BreakLoopStatement = 96,
+    ContinueLoopStatement = 97,
+    DisposeStatement = 98,
+    RunStatement = 99,
+    TryStatement = 100,
+    CatchClause = 101,
+    ErrorVariableDeclaration = 102,
+    FinallyClause = 103,
+    EmptyStatement = 104,
+    ErrorStatement = 105,
+    ImportantStatement = 106,
+    ExpressionStatement = 107,
+    EnumerationVariableList = 108,
+    ForStatement = 109,
+    IfStatement = 110,
+    ElseIfClauseList = 111,
+    ElseIfClause = 112,
+    ElseClause = 113,
+    InvalidStatement = 114,
+    NestedFunctionDeclarationStatement = 115,
+    LocalVariableDeclarationStatement = 116,
+    LoopStatement = 117,
+    ReturnStatement = 118,
+    CaseClauseList = 119,
+    SwitchStatement = 120,
+    MatchExpressionList = 121,
+    CaseClause = 122,
+    WhileStatement = 123,
+    YieldStatement = 124,
+    TranslationParameterList = 125,
+    TranslationParameterClause = 126,
+    ConstructorTranslation = 127,
+    IndexParameterTranslationClause = 128,
+    IndexerTranslation = 129,
+    TranslationTypeParameterList = 130,
+    TranslationTypeParameterClause = 131,
+    PackageFunctionTranslation = 132,
+    MethodTranslation = 133,
+    FunctionTypeTranslation = 134,
+    PackageImportTranslation = 135,
+    QualifiedName = 136,
+    PackageVariableTranslation = 137,
+    FieldOrVariantTranslation = 138,
+    TypeMemberTranslationList = 139,
+    TypeTranslation = 140,
+    TextLiteralTranslation = 141,
+    TextTemplateLiteralTranslation = 142,
+    VariantDeclaration = 143,
+    TypeParameterDeclaration = 144,
+    ParameterDeclaration = 145,
+    Argument = 146,
+    TagList = 147,
+    Tag = 148,
+    ModifierList = 149,
+    Modifier = 150,
+    ParameterClause = 151,
+    ParameterList = 152,
+    TypeArgumentClause = 153,
+    TypeArgumentList = 154,
+    TypeParameterClause = 155,
+    TypeParameterList = 156,
+    TypeAnnotation = 157
 }

package/build/types/tree/green/Nodes.d.ts

@@ -31,6 +31,7 @@ export declare class PackageMemberDeclarationList extends BaseNode {
 export type Identifier = Token<TokenKind.Identifier>;
 export type Comma = Token<TokenKind.Comma>;
 export type Semicolon = Token<TokenKind.Semicolon>;
+export type IdentifierListElement = Identifier | Comma;
 export declare class Keyword<TKind extends KeywordKind = KeywordKind> extends BaseNode {
     readonly keywordKind: TKind;
     readonly isMissing: boolean;
@@ -919,7 +920,8 @@ export declare class EnumerationVariableDeclaration extends BaseNode {
     constructor(name: Identifier);
     toRed(rangeStart: number, parent: red.EnumerationVariableDeclarationParent): red.EnumerationVariableDeclaration;
 }
-export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | FunctionBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | FunctionLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | MemberAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | GenericSpecializationExpression | DefaultMatchExpression | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression;
+export type Expression = ArrayLiteral | AsExpression | AssertionExpression | AssumptionExpression | BinaryExpression | FunctionBlockLiteral | CallExpression | IdentifierExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | FunctionLiteral | ParenthesizedExpression | WhenTernaryExpression | ConditionalExpression | PrefixUnaryExpression | MemberAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | GenericSpecializationExpression | DefaultMatchExpression | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression;
+export type ExpressionListElement = Expression | Comma;
 export declare class ArrayLiteral extends BaseNode {
     readonly kind = NodeKind.ArrayLiteral;
     readonly children: readonly [
@@ -934,13 +936,12 @@ export declare class ArrayLiteral extends BaseNode {
     constructor(openSquareBracketToken: Token<TokenKind.OpenSquareBracket>, elementList: ArrayLiteralElementList, closeSquareBracketToken: Token<TokenKind.CloseSquareBracket>);
     toRed(rangeStart: number, parent: red.ExpressionParent): red.ArrayLiteral;
 }
-export type ArrayLiteralElementListElement = Expression | Comma;
 export declare class ArrayLiteralElementList extends BaseNode {
     readonly kind = NodeKind.ArrayLiteralElementList;
-    readonly children: readonly ArrayLiteralElementListElement[];
-    get elements(): readonly ArrayLiteralElementListElement[];
+    readonly children: readonly ExpressionListElement[];
+    get elements(): readonly ExpressionListElement[];
     protected get thisAsNode(): Node;
-    constructor(elements: readonly ArrayLiteralElementListElement[]);
+    constructor(elements: readonly ExpressionListElement[]);
     toRed(rangeStart: number, parent: red.ArrayLiteralElementListParent): red.ArrayLiteralElementList;
 }
 export declare class AssertionExpression extends BaseNode {
@@ -1134,6 +1135,30 @@ export declare class WhenTernaryExpression extends BaseNode {
     constructor(firstExpression: Expression, whenKeyword: Keyword<KeywordKind.When>, condition: Expression, colonToken: Token<TokenKind.Colon>, secondExpression: Expression);
     toRed(rangeStart: number, parent: red.ExpressionParent): red.WhenTernaryExpression;
 }
+export declare class ConditionalExpression extends BaseNode {
+    readonly kind = NodeKind.ConditionalExpression;
+    readonly children: readonly [
+        Keyword<KeywordKind.Cond>,
+        Token<TokenKind.OpenParenthesis>,
+        Expression,
+        Comma,
+        Expression,
+        Comma | undefined,
+        Expression | undefined,
+        Token<TokenKind.CloseParenthesis>
+    ];
+    get condKeyword(): Keyword<KeywordKind.Cond>;
+    get openParenthesisToken(): Token<TokenKind.OpenParenthesis>;
+    get condition(): Expression;
+    get firstComma(): Comma;
+    get firstExpression(): Expression;
+    get secondComma(): Comma | undefined;
+    get secondExpression(): Expression | undefined;
+    get closeParenthesisToken(): Token<TokenKind.CloseParenthesis>;
+    protected get thisAsNode(): Node;
+    constructor(condKeyword: Keyword<KeywordKind.Cond>, openParenthesisToken: Token<TokenKind.OpenParenthesis>, condition: Expression, firstComma: Comma, firstExpression: Expression, secondComma: Comma | undefined, secondExpression: Expression | undefined, closeParenthesisToken: Token<TokenKind.CloseParenthesis>);
+    toRed(rangeStart: number, parent: red.ExpressionParent): red.ConditionalExpression;
+}
 export declare class PrefixUnaryExpression extends BaseNode {
     readonly kind = NodeKind.PrefixUnaryExpression;
     readonly children: readonly [
@@ -1650,13 +1675,12 @@ export declare class SwitchStatement extends BaseNode {
     constructor(switchKeyword: Keyword<KeywordKind.Switch>, expression: Expression, caseClauseList: CaseClauseList);
     toRed(rangeStart: number, parent: red.SwitchStatementParent): red.SwitchStatement;
 }
-export type MatchExpressionListElement = Expression | Comma;
 export declare class MatchExpressionList extends BaseNode {
     readonly kind = NodeKind.MatchExpressionList;
-    readonly children: readonly MatchExpressionListElement[];
-    get elements(): readonly MatchExpressionListElement[];
+    readonly children: readonly ExpressionListElement[];
+    get elements(): readonly ExpressionListElement[];
     protected get thisAsNode(): Node;
-    constructor(elements: readonly MatchExpressionListElement[]);
+    constructor(elements: readonly ExpressionListElement[]);
     toRed(rangeStart: number, parent: red.MatchExpressionListParent): red.MatchExpressionList;
 }
 export declare class CaseClause extends BaseNode {
@@ -1700,13 +1724,12 @@ export declare class YieldStatement extends BaseNode {
     toRed(rangeStart: number, parent: red.StatementParent): red.YieldStatement;
 }
 export type TopLevelTranslation = PackageImportTranslation | PackageVariableTranslation | PackageFunctionTranslation | TypeTranslation | FunctionTypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation;
-export type TranslationParameterListElement = Identifier | Comma;
 export declare class TranslationParameterList extends BaseNode {
     readonly kind = NodeKind.TranslationParameterList;
-    readonly children: readonly TranslationParameterListElement[];
-    get elements(): readonly TranslationParameterListElement[];
+    readonly children: readonly IdentifierListElement[];
+    get elements(): readonly IdentifierListElement[];
     protected get thisAsNode(): Node;
-    constructor(elements: readonly TranslationParameterListElement[]);
+    constructor(elements: readonly IdentifierListElement[]);
     toRed(rangeStart: number, parent: red.TranslationParameterListParent): red.TranslationParameterList;
 }
 export declare class TranslationParameterClause extends BaseNode {
@@ -1767,13 +1790,12 @@ export declare class IndexerTranslation extends BaseNode {
     constructor(sourceParameterClause: IndexParameterTranslationClause, minusGreaterThanToken: Token<TokenKind.MinusGreaterThan>, translatedParameterClause: IndexParameterTranslationClause);
     toRed(rangeStart: number, parent: red.TypeMemberTranslationParent): red.IndexerTranslation;
 }
-export type TranslationTypeParameterListElement = Identifier | Comma;
 export declare class TranslationTypeParameterList extends BaseNode {
     readonly kind = NodeKind.TranslationTypeParameterList;
-    readonly children: readonly TranslationTypeParameterListElement[];
-    get elements(): readonly TranslationTypeParameterListElement[];
+    readonly children: readonly IdentifierListElement[];
+    get elements(): readonly IdentifierListElement[];
     protected get thisAsNode(): Node;
-    constructor(elements: readonly TranslationTypeParameterListElement[]);
+    constructor(elements: readonly IdentifierListElement[]);
     toRed(rangeStart: number, parent: red.TranslationTypeParameterListParent): red.TranslationTypeParameterList;
 }
 export declare class TranslationTypeParameterClause extends BaseNode {
@@ -2183,4 +2205,4 @@ export declare class TypeAnnotation extends BaseNode {
     constructor(colonToken: Token<TokenKind.Colon>, typeSpecifier: TypeSpecifier);
     toRed(rangeStart: number, parent: red.TypeAnnotationParent): red.TypeAnnotation;
 }
-export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackageName | NamedTypeSpecifier | UnionTypeSpecifier | IntersectionTypeSpecifier | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousFunctionTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageFunctionDeclaration | PackageFunctionTypeDeclaration | FunctionTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | ConstructorDeclaration | DestructorDeclaration | IndexedElementGetterDeclaration | IndexedElementSetterDeclaration | IndexParameterClause | DereferencedVariableGetterDeclaration | DereferencedVariableSetterDeclaration | MethodDeclaration | OperatorDeclaration | FieldDeclaration | FieldGetterDeclaration | FieldSetterDeclaration | InvalidTypeMemberDeclaration | NestedFunctionDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | FunctionBlockLiteral | ArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | FunctionLiteral | ParenthesizedExpression | WhenTernaryExpression | PrefixUnaryExpression | MemberAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | FunctionBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatement | TryStatement | CatchClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ImportantStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | ElseClause | InvalidStatement | NestedFunctionDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | CaseClause | WhileStatement | YieldStatement | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexParameterTranslationClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageFunctionTranslation | MethodTranslation | FunctionTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | FieldOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | Argument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;
+export type Node = SourceFile | PackageMemberDeclarationList | Keyword | PackageImportDirectiveList | SinglePackageImportDirective | PackageGroupImportDirective | PackageImportList | PackageImport | PackageName | NamedTypeSpecifier | UnionTypeSpecifier | IntersectionTypeSpecifier | ParenthesizedTypeSpecifier | NullableTypeSpecifier | AnonymousTypeSpecifier | InvalidTypeSpecifier | AnonymousFunctionTypeDeclaration | AnonymousStructuredTypeDeclaration | AnonymousVariantTypeDeclaration | TopLevelTranslationList | TranslationsDeclaration | PackageAliasTypeDeclaration | AliasTypeDeclarationBody | PackageMemberGroupDeclaration | PackageConstructorDeclaration | PackageEntryPointDeclaration | PackageFunctionDeclaration | PackageFunctionTypeDeclaration | FunctionTypeDeclarationBody | BaseTypeList | TypeMemberDeclarationList | TypeMemberDeclarationBlock | PackageStructuredTypeDeclaration | StructuredTypeDeclarationBody | PackageVariableDeclaration | PackageVariableGetterDeclaration | PackageVariableSetterDeclaration | PackageVariantTypeDeclaration | VariantTypeDeclarationBody | TypeExtensionDeclaration | ExtendedTypeClauseCommaList | ExtendedTypeClause | InvalidPackageMemberDeclaration | TypeMemberGroupDeclaration | ConstructorDeclaration | DestructorDeclaration | IndexedElementGetterDeclaration | IndexedElementSetterDeclaration | IndexParameterClause | DereferencedVariableGetterDeclaration | DereferencedVariableSetterDeclaration | MethodDeclaration | OperatorDeclaration | FieldDeclaration | FieldGetterDeclaration | FieldSetterDeclaration | InvalidTypeMemberDeclaration | NestedFunctionDeclaration | LocalVariableDeclaration | EnumerationVariableDeclaration | ArrayLiteral | ArrayLiteralElementList | AssertionExpression | AssumptionExpression | AsExpression | BinaryExpression | FunctionBlockLiteral | ArgumentList | CallExpression | AutotypeCallExpression | IndexedAccessExpression | InvalidExpression | IsExpression | FunctionLiteral | ParenthesizedExpression | WhenTernaryExpression | ConditionalExpression | PrefixUnaryExpression | MemberAccessExpression | ReferenceExpression | DereferenceExpression | TextTemplateLiteral | TextTemplateSpanList | TextTemplateSpan | TokenExpression | KeywordExpression | ObjectExpression | BaseExpression | IdentifierExpression | GenericSpecializationExpression | DefaultMatchExpression | AssignmentStatement | StatementList | StatementBlock | FunctionBlock | BreakLoopStatement | ContinueLoopStatement | DisposeStatement | RunStatement | TryStatement | CatchClause | ErrorVariableDeclaration | FinallyClause | EmptyStatement | ErrorStatement | ImportantStatement | ExpressionStatement | EnumerationVariableList | ForStatement | IfStatement | ElseIfClauseList | ElseIfClause | ElseClause | InvalidStatement | NestedFunctionDeclarationStatement | LocalVariableDeclarationStatement | LoopStatement | ReturnStatement | CaseClauseList | SwitchStatement | MatchExpressionList | CaseClause | WhileStatement | YieldStatement | TranslationParameterList | TranslationParameterClause | ConstructorTranslation | IndexParameterTranslationClause | IndexerTranslation | TranslationTypeParameterList | TranslationTypeParameterClause | PackageFunctionTranslation | MethodTranslation | FunctionTypeTranslation | PackageImportTranslation | QualifiedName | PackageVariableTranslation | FieldOrVariantTranslation | TypeMemberTranslationList | TypeTranslation | TextLiteralTranslation | TextTemplateLiteralTranslation | VariantDeclaration | TypeParameterDeclaration | ParameterDeclaration | Argument | TagList | Tag | ModifierList | Modifier | ParameterClause | ParameterList | TypeArgumentClause | TypeArgumentList | TypeParameterClause | TypeParameterList | TypeAnnotation | Token;