@artel/artc 0.6.25286 → 0.6.25287

package/build/Cli.js

@@ -1,11 +1,11 @@
 #!/usr/bin/env node
 import {
   CommandLineCompiler
-} from "./chunk-GEHKHJWI.js";
-import "./chunk-OLLM5TTI.js";
+} from "./chunk-UX6AXIDJ.js";
+import "./chunk-QF4FBTV5.js";
 import {
   __async
-} from "./chunk-FCVCEIPF.js";
+} from "./chunk-RUVUYCWN.js";
 
 // source/Cli.ts
 function main() {

package/build/api/Api.js

@@ -1,6 +1,6 @@
 import {
   Compiler
-} from "../chunk-OLLM5TTI.js";
+} from "../chunk-QF4FBTV5.js";
 import {
   AccessKind,
   AccessedFunctionParameter,
@@ -346,7 +346,7 @@ import {
   withoutQuotes,
   withoutTemplateQuotes,
   yieldTask
-} from "../chunk-FCVCEIPF.js";
+} from "../chunk-RUVUYCWN.js";
 export {
   AccessKind,
   AccessedFunctionParameter,

package/build/api/ApiNodeJS.js

@@ -6,9 +6,9 @@ import {
   PhysicalFileSystem,
   PhysicalTypeScriptLibrariesProvider,
   PrintingDiagnosticAcceptor
-} from "../chunk-GEHKHJWI.js";
-import "../chunk-OLLM5TTI.js";
-import "../chunk-FCVCEIPF.js";
+} from "../chunk-UX6AXIDJ.js";
+import "../chunk-QF4FBTV5.js";
+import "../chunk-RUVUYCWN.js";
 export {
   CommandLineCompiler,
   FileSystemUri,

package/build/api/ApiServices.js

@@ -183,7 +183,7 @@ import {
   unwrapParenthesizedExpressions,
   visitChildren,
   yieldTask
-} from "../chunk-FCVCEIPF.js";
+} from "../chunk-RUVUYCWN.js";
 
 // source/services/CustomRequests.ts
 import * as ls from "vscode-languageserver";

package/build/{chunk-OLLM5TTI.js → chunk-QF4FBTV5.js}

@@ -10,7 +10,7 @@ import {
   WellKnownDeclarationsLoadError,
   __async,
   createTsInteropInputsForCompilation
-} from "./chunk-FCVCEIPF.js";
+} from "./chunk-RUVUYCWN.js";
 
 // source/executor/Compiler.ts
 var Compiler = class {

package/build/{chunk-FCVCEIPF.js → chunk-RUVUYCWN.js}

@@ -764,7 +764,7 @@ var UniqueWithComparatorQuery = class extends Query {
 };
 
 // source/common/Constants.ts
-var ArtelVersion = true ? "0.6.25286" : "";
+var ArtelVersion = true ? "0.6.25287" : "";
 var ArtelSourceFileExtensions = [".\u0430\u0440\u0442", ".\u0430\u0440\u0442\u0435\u043B\u044C", ".art", ".artel", ".\u0430\u0440\u0442\u043C", ".\u0430\u0440\u0442\u0435\u043B\u044C\u043C", ".artm", ".artelm"];
 var ArtelSourceFileExtensionSet = new Set(ArtelSourceFileExtensions);
 var ArtelSourceAndConfigurationFileExtensionSet = new Set(ArtelSourceFileExtensionSet).add(".json");
@@ -6801,6 +6801,7 @@ var englishKeywords = new Lazy(() => [
   { keyword: "else", kind: 11 /* Else */, flags: 0 /* None */, dialects: [0 /* ArtelA */, 1 /* ArtelM */] },
   { keyword: "else if", kind: 12 /* ElseIf */, flags: 0 /* None */, dialects: [0 /* ArtelA */, 1 /* ArtelM */] },
   { keyword: "error", kind: 21 /* Error */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
+  { keyword: "evaluate", kind: 20 /* Important */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
   { keyword: "fault", kind: 21 /* Error */, flags: 0 /* None */, dialects: [1 /* ArtelM */] },
   { keyword: "finally", kind: 22 /* Finally */, flags: 0 /* None */, dialects: [0 /* ArtelA */, 1 /* ArtelM */] },
   { keyword: "for", kind: 36 /* For */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
@@ -6809,7 +6810,6 @@ var englishKeywords = new Lazy(() => [
   { keyword: "get", kind: 59 /* Get */, flags: 4098 /* NeuNoun */, dialects: [0 /* ArtelA */] },
   { keyword: "if", kind: 14 /* If */, flags: 0 /* None */, dialects: [0 /* ArtelA */, 1 /* ArtelM */] },
   { keyword: "import", kind: 19 /* Import */, flags: 0 /* None */, dialects: [0 /* ArtelA */, 1 /* ArtelM */] },
-  { keyword: "important", kind: 20 /* Important */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
   { keyword: "is", kind: 15 /* Is */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
   { keyword: "let", kind: 1 /* Let */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
   { keyword: "loop", kind: 27 /* Loop */, flags: 0 /* None */, dialects: [0 /* ArtelA */, 1 /* ArtelM */] },
@@ -6855,13 +6855,13 @@ var russianKeywords = new Lazy(() => [
   { keyword: "\u0430\u0432\u0442\u043E\u0442\u0438\u043F", kind: 2 /* Autotype */, flags: 9218 /* SingularMasNoun */, dialects: [0 /* ArtelA */] },
   { keyword: "\u0430\u0441\u043F\u0435\u043A\u0442", kind: 3 /* Aspect */, flags: 9218 /* SingularMasNoun */, dialects: [0 /* ArtelA */] },
   { keyword: "\u0431\u0430\u0437\u0430", kind: 57 /* Base */, flags: 0 /* None */, dialects: [1 /* ArtelM */] },
-  { keyword: "\u0432\u0430\u0436\u043D\u043E", kind: 20 /* Important */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
   { keyword: "\u0432\u0430\u0440\u0438\u0430\u043D\u0442", kind: 7 /* Variant */, flags: 9218 /* SingularMasNoun */, dialects: [0 /* ArtelA */] },
   { keyword: "\u0432\u0435\u0440\u043D\u0443\u0442\u044C", kind: 16 /* Return */, flags: 0 /* None */, dialects: [0 /* ArtelA */, 1 /* ArtelM */] },
   { keyword: "\u0432\u043E\u0437\u0432\u0440\u0430\u0442", kind: 16 /* Return */, flags: 0 /* None */, dialects: [0 /* ArtelA */, 1 /* ArtelM */] },
   { keyword: "\u0432\u044B\u0431\u043E\u0440", kind: 45 /* Switch */, flags: 0 /* None */, dialects: [0 /* ArtelA */, 1 /* ArtelM */] },
   { keyword: "\u0432\u044B\u0434\u0430\u0442\u044C", kind: 29 /* Yield */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
   { keyword: "\u0432\u044B\u043F\u043E\u043B\u043D\u0438\u0442\u044C", kind: 8 /* Run */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
+  { keyword: "\u0432\u044B\u0447\u0438\u0441\u043B\u0438\u0442\u044C", kind: 20 /* Important */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
   { keyword: "\u0434\u0430", kind: 53 /* Yes */, flags: 0 /* None */, dialects: [0 /* ArtelA */, 1 /* ArtelM */] },
   { keyword: "\u0434\u043B\u044F", kind: 36 /* For */, flags: 0 /* None */, dialects: [0 /* ArtelA */] },
   { keyword: "\u0435\u0441\u043B\u0438", kind: 14 /* If */, flags: 0 /* None */, dialects: [0 /* ArtelA */, 1 /* ArtelM */] },
@@ -9235,7 +9235,7 @@ var englishErrorMessages = {
   [1105 /* ForStatementVariableDeclarationExpected */]: "Loop variable declaration expected.",
   [1106 /* StatementExpected */]: "Statement expected.",
   [1107 /* ExpressionExpected */]: "Expression expected.",
-  [1108 /* ExpressionCannotBeUsedAsStatement */]: "Expression cannot be used as statement. Consider using 'important' statement to evaluate expression that has some effect.",
+  [1108 /* ExpressionCannotBeUsedAsStatement */]: "Expression cannot be used as statement. Consider using 'evaluate' statement to evaluate expression that has some effect.",
   [1109 /* Expected0But1Found */]: "Expected '{0}', but '{1}' found.",
   [1110 /* Delimiter0Expected */]: "Delimiter '{0}' expected.",
   [1111 /* BaseTypeNameExpected */]: "Base type name expected.",
@@ -9498,7 +9498,7 @@ var russianErrorMessages = {
   [1105 /* ForStatementVariableDeclarationExpected */]: "\u041E\u0436\u0438\u0434\u0430\u043B\u043E\u0441\u044C \u043E\u0431\u044A\u044F\u0432\u043B\u0435\u043D\u0438\u0435 \u043F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u043E\u0439 \u0446\u0438\u043A\u043B\u0430.",
   [1106 /* StatementExpected */]: "\u041E\u0436\u0438\u0434\u0430\u043B\u0430\u0441\u044C \u043A\u043E\u043C\u0430\u043D\u0434\u0430.",
   [1107 /* ExpressionExpected */]: "\u041E\u0436\u0438\u0434\u0430\u043B\u043E\u0441\u044C \u0432\u044B\u0440\u0430\u0436\u0435\u043D\u0438\u0435.",
-  [1108 /* ExpressionCannotBeUsedAsStatement */]: "\u0412\u044B\u0440\u0430\u0436\u0435\u043D\u0438\u0435 \u043D\u0435 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u043E\u0432\u0430\u043D\u043E \u043A\u0430\u043A \u043A\u043E\u043C\u0430\u043D\u0434\u0430. \u0418\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u0439\u0442\u0435 \u043A\u043E\u043C\u0430\u043D\u0434\u0443 '\u0432\u0430\u0436\u043D\u043E' \u0434\u043B\u044F \u0432\u044B\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044F \u0432\u044B\u0440\u0430\u0436\u0435\u043D\u0438\u0439 \u0441 \u043F\u043E\u0431\u043E\u0447\u043D\u044B\u043C \u0440\u0435\u0437\u0443\u043B\u044C\u0442\u0430\u0442\u043E\u043C.",
+  [1108 /* ExpressionCannotBeUsedAsStatement */]: "\u0412\u044B\u0440\u0430\u0436\u0435\u043D\u0438\u0435 \u043D\u0435 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u043E\u0432\u0430\u043D\u043E \u043A\u0430\u043A \u043A\u043E\u043C\u0430\u043D\u0434\u0430. \u0418\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u0439\u0442\u0435 \u043A\u043E\u043C\u0430\u043D\u0434\u0443 '\u0432\u044B\u0447\u0438\u0441\u043B\u0438\u0442\u044C' \u0434\u043B\u044F \u0432\u044B\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044F \u0432\u044B\u0440\u0430\u0436\u0435\u043D\u0438\u0439 \u0441 \u043F\u043E\u0431\u043E\u0447\u043D\u044B\u043C \u0440\u0435\u0437\u0443\u043B\u044C\u0442\u0430\u0442\u043E\u043C.",
   [1109 /* Expected0But1Found */]: "\u041E\u0436\u0438\u0434\u0430\u043B\u0430\u0441\u044C \u043B\u0435\u043A\u0441\u0435\u043C\u0430 '{0}', \u043D\u043E \u0432\u0441\u0442\u0440\u0435\u0442\u0438\u043B\u0430\u0441\u044C \u043B\u0435\u043A\u0441\u0435\u043C\u0430 '{1}'.",
   [1110 /* Delimiter0Expected */]: "\u041E\u0436\u0438\u0434\u0430\u043B\u0441\u044F \u0440\u0430\u0437\u0434\u0435\u043B\u0438\u0442\u0435\u043B\u044C '{0}'.",
   [1111 /* BaseTypeNameExpected */]: "\u041E\u0436\u0438\u0434\u0430\u043B\u043E\u0441\u044C \u0438\u043C\u044F \u0431\u0430\u0437\u043E\u0432\u043E\u0433\u043E \u0442\u0438\u043F\u0430.",
@@ -22585,6 +22585,10 @@ var TypeMemberLookup = class _TypeMemberLookup {
     const lookup = new ConstructorLookup(this.analyzer, this.typeOrExtension);
     return lookup.getConstructors(this.typeOrExtension, context, options);
   }
+  getDestructors(context, options = 0 /* None */) {
+    const lookup = new DestructorLookup(this.analyzer, this.typeOrExtension);
+    return lookup.getDestructors(this.typeOrExtension, context, options);
+  }
   getIndexers(context, options = 0 /* None */) {
     const lookup = new IndexerLookup(this.analyzer, this.typeOrExtension);
     return lookup.getIndexers(this.typeOrExtension, context, options);
@@ -22627,6 +22631,9 @@ var BoundTypeMemberLookup = class _BoundTypeMemberLookup {
   getConstructors() {
     return this.lookup.getConstructors(this.context);
   }
+  getDestructors() {
+    return this.lookup.getDestructors(this.context);
+  }
   getIndexers() {
     return this.lookup.getIndexers(this.context, this.options);
   }
@@ -23506,6 +23513,140 @@ var ConstructorLookup = class {
     return shadowingParameters.length === shadowedParameters.length && Query.zip(shadowingParameters, shadowedParameters, (l, r) => l.getType().equals(r.getType())).all((v) => v);
   }
 };
+var DestructorLookup = class {
+  constructor(analyzer, typeOrExtension) {
+    this.analyzer = analyzer;
+    this.typeOrExtension = typeOrExtension;
+  }
+  getDestructors(typeOrExtension, context, options) {
+    switch (typeOrExtension.kind) {
+      case "type":
+        return this.getDestructorsOfType(typeOrExtension.value, context, options);
+      case "extension": {
+        const extendedTypeEntity = typeOrExtension.value.getExtendedTypeEntity();
+        if (extendedTypeEntity === void 0) {
+          return [];
+        }
+        const extendedType = this.analyzer.instantiateTypeByIdentitySubstitution(extendedTypeEntity);
+        return this.getDestructorsOfTypeWithOwnMembersOrExtension(
+          typeOrExtension.value,
+          extendedType,
+          context,
+          options
+        );
+      }
+      default:
+        Debug.never(typeOrExtension);
+    }
+  }
+  getDestructorsOfType(type, context, options) {
+    switch (type.kind) {
+      case "structured":
+        return this.getDestructorsOfStructuredType(type, context, options);
+      case "variant":
+        return this.getDestructorsOfVariantType(type, context, options);
+      case "function":
+        return this.getDestructorsOfFunctionType(type, context, options);
+      case "alias":
+        return this.getDestructorsOfAliasType(type, context, options);
+      case "reduced":
+        return this.getDestructorsOfReducedType(type, context, options);
+      case "parameter":
+      case "union":
+      case "intersection":
+      case "unresolved":
+      case "substitution-stub":
+        return [];
+      default:
+        Debug.never(type);
+    }
+  }
+  getDestructorsOfStructuredType(type, context, options) {
+    return this.getDestructorsOfTypeWithOwnMembersOrExtension(type.getEntity(), type, context, options);
+  }
+  getDestructorsOfVariantType(type, context, options) {
+    return this.getDestructorsOfTypeWithOwnMembersOrExtension(type.getEntity(), type, context, options);
+  }
+  getDestructorsOfFunctionType(type, context, options) {
+    return this.getDestructorsOfTypeWithOwnMembersOrExtension(type.getEntity(), type, context, options);
+  }
+  getDestructorsOfAliasType(type, context, options) {
+    let result = this.getOwnDestructors(type.getEntity(), type, context, options);
+    if (context?.typeExtensionLookup !== void 0 && (options & 4 /* NoTypeExtensionMembers */) === 0) {
+      const extensionDestructors = this.getExtensionDestructors(
+        type.getEntity(),
+        type,
+        context,
+        options,
+        context.typeExtensionLookup
+      );
+      result = this.mergeDestructors(result, extensionDestructors);
+    }
+    const aliasedType = type.getAliasedType();
+    const destructor = this.getDestructorsOfType(aliasedType, context, options);
+    result = this.mergeDestructors(result, destructor);
+    return result;
+  }
+  getDestructorsOfReducedType(type, context, options) {
+    return this.getDestructorsOfTypeWithOwnMembersOrExtension(type.getEntity(), type, context, options);
+  }
+  getDestructorsOfTypeWithOwnMembersOrExtension(entity, type, context, options) {
+    let result = this.getOwnDestructors(entity, type, context, options);
+    if (context?.typeExtensionLookup !== void 0 && entity.kind === 2 /* Type */ && (options & 4 /* NoTypeExtensionMembers */) === 0) {
+      const extensionDestructors = this.getExtensionDestructors(
+        entity,
+        type,
+        context,
+        options,
+        context.typeExtensionLookup
+      );
+      result = this.mergeDestructors(result, extensionDestructors);
+    }
+    return result;
+  }
+  getOwnDestructors(entity, type, context, options) {
+    let result = entity.getMembers().getDestructors().map((c) => new Destructor(c, type.getSubstitutions()));
+    if (context !== void 0 && context.affectsAccessibility()) {
+      const ignoreReceiverType = (options & 8 /* CheckAccessibilityIgnoringReceiverType */) !== 0;
+      result = result.filter((m) => AccessibilityCheck.isTypeMemberAccessible(
+        m.getEntity(),
+        context,
+        this.typeOrExtension.getType(),
+        ignoreReceiverType
+      ));
+    }
+    return result;
+  }
+  getExtensionDestructors(entity, type, context, options, typeExtensionLookup) {
+    let result = typeExtensionLookup.getTypeExtensionsByType(entity).flatMap((e) => e.getMembers().getDestructors().map((c) => new Destructor(c, type.getSubstitutions())));
+    if (context !== void 0 && context.affectsAccessibility()) {
+      const ignoreReceiverType = (options & 8 /* CheckAccessibilityIgnoringReceiverType */) !== 0;
+      result = result.filter((m) => AccessibilityCheck.isTypeMemberAccessible(
+        m.getEntity(),
+        context,
+        this.typeOrExtension.getType(),
+        ignoreReceiverType
+      ));
+    }
+    return result;
+  }
+  mergeDestructors(shadowingDestructors, shadowedDestructors) {
+    const shadowingDestructorsArray = shadowingDestructors;
+    const result = Array.from(shadowingDestructorsArray);
+    for (const shadowedMember of shadowedDestructors) {
+      if (shadowingDestructorsArray.some((shadowingMember) => this.checkDestructorShadowing(shadowingMember, shadowedMember))) {
+        continue;
+      }
+      result.push(shadowedMember);
+    }
+    return result;
+  }
+  checkDestructorShadowing(shadowing, shadowed) {
+    const shadowingParameters = shadowing.getParameters();
+    const shadowedParameters = shadowed.getParameters();
+    return shadowingParameters.length === shadowedParameters.length && Query.zip(shadowingParameters, shadowedParameters, (l, r) => l.getType().equals(r.getType())).all((v) => v);
+  }
+};
 var TypeOrExtension_type = class {
   constructor(value) {
     this.value = value;
@@ -38037,7 +38178,23 @@ var ReductionSourceMemberFinder = class _ReductionSourceMemberFinder {
     return result;
   }
   findDestructor(member, reductionSource, lookupContext, diagnostics, nodeForDiagnostic) {
-    return void 0;
+    const lookupOptions = this.getTypeMemberLookupOptions(member);
+    const matchingMembers = TypeMemberLookup.ofType(this.analyzer, reductionSource).getDestructors(lookupContext, lookupOptions).filter((o) => this.analyzer.signatureComparer.areEqualTypeMemberSignaturesWithoutTypeParameters(
+      o,
+      member,
+      _ReductionSourceMemberFinder.signatureComparisonOptions
+    ));
+    let result;
+    if (matchingMembers.length > 0) {
+      result = matchingMembers[0];
+      this.checkMembersHaveSameHiding(member, result, diagnostics, nodeForDiagnostic);
+    } else {
+      diagnostics.addDiagnostic(this.analyzer.createNodeDiagnostic(
+        2211 /* CorrespondingReductionSourceTypeMemberNotFound */,
+        nodeForDiagnostic
+      ));
+    }
+    return result;
   }
   findIndexer(member, reductionSource, lookupContext, diagnostics, nodeForDiagnostic) {
     const lookupOptions = this.getTypeMemberLookupOptions(member);

package/build/{chunk-GEHKHJWI.js → chunk-UX6AXIDJ.js}

@@ -1,6 +1,6 @@
 import {
   Compiler
-} from "./chunk-OLLM5TTI.js";
+} from "./chunk-QF4FBTV5.js";
 import {
   ArtelVersion,
   Cached,
@@ -15,7 +15,7 @@ import {
   __async,
   performanceMeasurementStageNames,
   performanceMeasurementStages
-} from "./chunk-FCVCEIPF.js";
+} from "./chunk-RUVUYCWN.js";
 
 // source/executor/FileSystemUri.ts
 import { platform } from "os";

package/build/types/analysis/TypeMemberLookup.d.ts

@@ -17,6 +17,7 @@ export declare class TypeMemberLookup {
     getOperators(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Operator[];
     getOperatorsByKind(kind: OperatorKind, context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Operator[];
     getConstructors(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Constructor[];
+    getDestructors(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Destructor[];
     getIndexers(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.Indexer[];
     getDereferenceOperators(context: TypeMemberLookupContext | undefined, options?: TypeMemberLookupOptions): readonly types.DereferenceOperator[];
 }
@@ -33,6 +34,7 @@ export declare class BoundTypeMemberLookup {
     getOperators(): readonly types.Operator[];
     getOperatorsByKind(kind: OperatorKind): readonly types.Operator[];
     getConstructors(): readonly types.Constructor[];
+    getDestructors(): readonly types.Destructor[];
     getIndexers(): readonly types.Indexer[];
     getDereferenceOperators(): readonly types.DereferenceOperator[];
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@artel/artc",
-  "version": "0.6.25286",
+  "version": "0.6.25287",
   "description": "Артель Компилятор | Artel Compiler",
   "author": "Nezaboodka Team <contact@nezaboodka.com>",
   "license": "LGPL-3.0-or-later",