@boristype/bt-ir 0.1.0-alpha.0

package/build/lowering/bare-visitors.d.ts

@@ -0,0 +1,72 @@
+/**
+ * Bare Mode Visitors — упрощённые visitors для режима bare
+ *
+ * В bare mode транспиляция почти 1:1:
+ * - let/const → var
+ * - Типы и импорты вырезаются
+ * - Функции остаются с оригинальной сигнатурой (без __env/__this/__args)
+ * - Нет captured variables, env/desc, bt.getProperty/bt.setProperty
+ * - export namespace X { ... } → "META:NAMESPACE:X"; + содержимое наружу
+ *
+ * @module lowering/bare-visitors
+ */
+import * as ts from "typescript";
+import { type IRStatement, type IRExpression } from "../ir/index.ts";
+import type { VisitorContext } from "./visitor.ts";
+/**
+ * Обрабатывает объявление функции в bare mode.
+ * Генерирует plain function с оригинальными параметрами, без env/desc.
+ *
+ * @param node - TypeScript FunctionDeclaration
+ * @param ctx - VisitorContext (mode === "bare")
+ * @returns IR statements (одно объявление функции)
+ */
+export declare function visitBareFunctionDeclaration(node: ts.FunctionDeclaration, ctx: VisitorContext): IRStatement[] | null;
+/**
+ * Обрабатывает объявление переменной в bare mode.
+ * Просто генерирует var name = init; без captured/env логики.
+ *
+ * @param node - TypeScript VariableStatement
+ * @param ctx - VisitorContext (mode === "bare")
+ * @returns IR statements
+ */
+export declare function visitBareVariableStatement(node: ts.VariableStatement, ctx: VisitorContext): IRStatement | IRStatement[] | null;
+/**
+ * Обрабатывает export namespace X { ... } в bare mode.
+ * Генерирует "META:NAMESPACE:X"; + все statements из тела namespace.
+ *
+ * @param node - TypeScript ModuleDeclaration
+ * @param ctx - VisitorContext (mode === "bare")
+ * @returns IR statements
+ */
+export declare function visitBareNamespaceDeclaration(node: ts.ModuleDeclaration, ctx: VisitorContext): IRStatement[] | null;
+/**
+ * Обрабатывает arrow function в bare mode.
+ * Генерирует plain function с оригинальными параметрами.
+ * Arrow → именованная функция, hoisted в pendingStatements.
+ *
+ * @param node - TypeScript ArrowFunction
+ * @param ctx - VisitorContext (mode === "bare")
+ * @returns IR expression (ссылка на имя функции)
+ */
+export declare function visitBareArrowFunction(node: ts.ArrowFunction, ctx: VisitorContext): IRExpression;
+/**
+ * Обрабатывает function expression в bare mode.
+ * Генерирует plain function, hoisted в pendingStatements.
+ *
+ * @param node - TypeScript FunctionExpression
+ * @param ctx - VisitorContext (mode === "bare")
+ * @returns IR expression (ссылка на имя функции)
+ */
+export declare function visitBareFunctionExpression(node: ts.FunctionExpression, ctx: VisitorContext): IRExpression;
+/**
+ * Обрабатывает метод объекта в bare mode.
+ * Генерирует plain function, hoisted в pendingStatements.
+ * Возвращает имя функции для использования в свойстве объекта.
+ *
+ * @param prop - TypeScript MethodDeclaration
+ * @param ctx - VisitorContext (mode === "bare")
+ * @returns имя сгенерированной функции
+ */
+export declare function visitBareObjectMethod(prop: ts.MethodDeclaration, ctx: VisitorContext): string;
+//# sourceMappingURL=bare-visitors.d.ts.map

package/build/lowering/bare-visitors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bare-visitors.d.ts","sourceRoot":"","sources":["../../src/lowering/bare-visitors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAEL,KAAK,WAAW,EAChB,KAAK,YAAY,EAElB,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AASnD;;;;;;;GAOG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,EAAE,CAAC,mBAAmB,EAC5B,GAAG,EAAE,cAAc,GAClB,WAAW,EAAE,GAAG,IAAI,CA0BtB;AAMD;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,EAAE,CAAC,iBAAiB,EAC1B,GAAG,EAAE,cAAc,GAClB,WAAW,GAAG,WAAW,EAAE,GAAG,IAAI,CAgEpC;AAMD;;;;;;;GAOG;AACH,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,EAAE,CAAC,iBAAiB,EAC1B,GAAG,EAAE,cAAc,GAClB,WAAW,EAAE,GAAG,IAAI,CAsBtB;AAMD;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,EAAE,CAAC,aAAa,EACtB,GAAG,EAAE,cAAc,GAClB,YAAY,CA0Bd;AAMD;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,EAAE,CAAC,kBAAkB,EAC3B,GAAG,EAAE,cAAc,GAClB,YAAY,CAoBd;AAMD;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,EAAE,CAAC,iBAAiB,EAC1B,GAAG,EAAE,cAAc,GAClB,MAAM,CAqBR"}

package/build/lowering/bare-visitors.js

@@ -0,0 +1,287 @@
+/**
+ * Bare Mode Visitors — упрощённые visitors для режима bare
+ *
+ * В bare mode транспиляция почти 1:1:
+ * - let/const → var
+ * - Типы и импорты вырезаются
+ * - Функции остаются с оригинальной сигнатурой (без __env/__this/__args)
+ * - Нет captured variables, env/desc, bt.getProperty/bt.setProperty
+ * - export namespace X { ... } → "META:NAMESPACE:X"; + содержимое наружу
+ *
+ * @module lowering/bare-visitors
+ */
+import * as ts from "typescript";
+import { IR, } from "../ir/index.js";
+import { visitExpression } from "./expressions.js";
+import { visitStatementList, visitStatement } from "./statements.js";
+import { getLoc } from "./helpers.js";
+// ============================================================================
+// Bare Function Declaration
+// ============================================================================
+/**
+ * Обрабатывает объявление функции в bare mode.
+ * Генерирует plain function с оригинальными параметрами, без env/desc.
+ *
+ * @param node - TypeScript FunctionDeclaration
+ * @param ctx - VisitorContext (mode === "bare")
+ * @returns IR statements (одно объявление функции)
+ */
+export function visitBareFunctionDeclaration(node, ctx) {
+    if (!node.name || !node.body) {
+        return null;
+    }
+    const name = node.name.text;
+    const params = collectBareParams(node.parameters, ctx);
+    // Создаём дочерний контекст без captured/env логики
+    const fnCtx = createBareFnCtx(node, ctx);
+    // Регистрируем параметры для дочернего контекста (не используется в bare,
+    // но нужно чтобы visitIdentifier не ломался)
+    node.parameters.forEach((param, index) => {
+        if (ts.isIdentifier(param.name)) {
+            fnCtx.functionParams.set(param.name.text, index);
+        }
+    });
+    const body = visitStatementList(node.body.statements, fnCtx);
+    // pending statements из тела (вложенные функции и т.п.)
+    const fullBody = fnCtx.pendingStatements.length > 0
+        ? [...fnCtx.pendingStatements, ...body]
+        : body;
+    return [IR.functionDecl(name, params, fullBody, getLoc(node, ctx), true)];
+}
+// ============================================================================
+// Bare Variable Statement
+// ============================================================================
+/**
+ * Обрабатывает объявление переменной в bare mode.
+ * Просто генерирует var name = init; без captured/env логики.
+ *
+ * @param node - TypeScript VariableStatement
+ * @param ctx - VisitorContext (mode === "bare")
+ * @returns IR statements
+ */
+export function visitBareVariableStatement(node, ctx) {
+    // Ambient declarations (declare var/let/const) — strip completely
+    if (node.modifiers?.some(m => m.kind === ts.SyntaxKind.DeclareKeyword)) {
+        return null;
+    }
+    const results = [];
+    for (const decl of node.declarationList.declarations) {
+        if (ts.isIdentifier(decl.name)) {
+            const varName = decl.name.text;
+            const init = decl.initializer ? visitExpression(decl.initializer, ctx) : null;
+            results.push(IR.varDecl(varName, init, getLoc(decl, ctx)));
+        }
+        // Деструктуризация объекта: const { a, b } = obj
+        else if (ts.isObjectBindingPattern(decl.name) && decl.initializer) {
+            const init = visitExpression(decl.initializer, ctx);
+            for (const element of decl.name.elements) {
+                if (ts.isBindingElement(element) && ts.isIdentifier(element.name)) {
+                    if (element.dotDotDotToken) {
+                        // rest не поддерживается в bare
+                        continue;
+                    }
+                    const propertyName = element.propertyName
+                        ? element.propertyName.text
+                        : element.name.text;
+                    const variableName = element.name.text;
+                    const val = IR.dot(init, propertyName, getLoc(decl, ctx));
+                    const initExpr = element.initializer
+                        ? IR.conditional(IR.binary("!==", val, IR.id("undefined")), val, visitExpression(element.initializer, ctx), getLoc(decl, ctx))
+                        : val;
+                    results.push(IR.varDecl(variableName, initExpr, getLoc(decl, ctx)));
+                }
+            }
+        }
+        // Деструктуризация массива: const [a, b] = arr
+        else if (ts.isArrayBindingPattern(decl.name) && decl.initializer) {
+            const init = visitExpression(decl.initializer, ctx);
+            let index = 0;
+            for (const element of decl.name.elements) {
+                if (ts.isOmittedExpression(element)) {
+                    index++;
+                    continue;
+                }
+                if (ts.isBindingElement(element) && ts.isIdentifier(element.name)) {
+                    if (element.dotDotDotToken) {
+                        // rest не поддерживается в bare
+                        continue;
+                    }
+                    const variableName = element.name.text;
+                    const val = IR.member(IR.id("__arr"), IR.number(index), true, getLoc(decl, ctx));
+                    results.push(IR.varDecl(variableName, val, getLoc(decl, ctx)));
+                    index++;
+                }
+            }
+        }
+    }
+    return results.length === 1 ? results[0] : results;
+}
+// ============================================================================
+// Bare Namespace Declaration
+// ============================================================================
+/**
+ * Обрабатывает export namespace X { ... } в bare mode.
+ * Генерирует "META:NAMESPACE:X"; + все statements из тела namespace.
+ *
+ * @param node - TypeScript ModuleDeclaration
+ * @param ctx - VisitorContext (mode === "bare")
+ * @returns IR statements
+ */
+export function visitBareNamespaceDeclaration(node, ctx) {
+    const name = node.name.text;
+    const results = [];
+    // "META:NAMESPACE:<name>";
+    results.push(IR.exprStmt(IR.string(`META:NAMESPACE:${name}`)));
+    // Извлекаем содержимое тела namespace
+    if (node.body && ts.isModuleBlock(node.body)) {
+        for (const statement of node.body.statements) {
+            const irNodes = visitStatement(statement, ctx);
+            if (irNodes) {
+                if (Array.isArray(irNodes)) {
+                    results.push(...irNodes);
+                }
+                else {
+                    results.push(irNodes);
+                }
+            }
+        }
+    }
+    return results;
+}
+// ============================================================================
+// Bare Arrow Function
+// ============================================================================
+/**
+ * Обрабатывает arrow function в bare mode.
+ * Генерирует plain function с оригинальными параметрами.
+ * Arrow → именованная функция, hoisted в pendingStatements.
+ *
+ * @param node - TypeScript ArrowFunction
+ * @param ctx - VisitorContext (mode === "bare")
+ * @returns IR expression (ссылка на имя функции)
+ */
+export function visitBareArrowFunction(node, ctx) {
+    const params = collectBareParams(node.parameters, ctx);
+    const funcName = ctx.bindings.create("arrow");
+    const fnCtx = createBareFnCtx(node, ctx);
+    node.parameters.forEach((param, index) => {
+        if (ts.isIdentifier(param.name)) {
+            fnCtx.functionParams.set(param.name.text, index);
+        }
+    });
+    let body;
+    if (ts.isBlock(node.body)) {
+        body = visitStatementList(node.body.statements, fnCtx);
+    }
+    else {
+        body = [IR.return(visitExpression(node.body, fnCtx))];
+    }
+    if (fnCtx.pendingStatements.length > 0) {
+        body = [...fnCtx.pendingStatements, ...body];
+    }
+    const funcDecl = IR.functionDecl(funcName, params, body, getLoc(node, ctx), true);
+    ctx.pendingStatements.push(funcDecl);
+    return IR.id(funcName, getLoc(node, ctx));
+}
+// ============================================================================
+// Bare Function Expression
+// ============================================================================
+/**
+ * Обрабатывает function expression в bare mode.
+ * Генерирует plain function, hoisted в pendingStatements.
+ *
+ * @param node - TypeScript FunctionExpression
+ * @param ctx - VisitorContext (mode === "bare")
+ * @returns IR expression (ссылка на имя функции)
+ */
+export function visitBareFunctionExpression(node, ctx) {
+    const name = node.name?.text ?? ctx.bindings.create("func");
+    const params = collectBareParams(node.parameters, ctx);
+    const fnCtx = createBareFnCtx(node, ctx);
+    node.parameters.forEach((param, index) => {
+        if (ts.isIdentifier(param.name)) {
+            fnCtx.functionParams.set(param.name.text, index);
+        }
+    });
+    let body = node.body ? visitStatementList(node.body.statements, fnCtx) : [];
+    if (fnCtx.pendingStatements.length > 0) {
+        body = [...fnCtx.pendingStatements, ...body];
+    }
+    const funcDecl = IR.functionDecl(name, params, body, getLoc(node, ctx), true);
+    ctx.pendingStatements.push(funcDecl);
+    return IR.id(name, getLoc(node, ctx));
+}
+// ============================================================================
+// Bare Object Method
+// ============================================================================
+/**
+ * Обрабатывает метод объекта в bare mode.
+ * Генерирует plain function, hoisted в pendingStatements.
+ * Возвращает имя функции для использования в свойстве объекта.
+ *
+ * @param prop - TypeScript MethodDeclaration
+ * @param ctx - VisitorContext (mode === "bare")
+ * @returns имя сгенерированной функции
+ */
+export function visitBareObjectMethod(prop, ctx) {
+    const methodName = prop.name.text;
+    const funcName = ctx.bindings.create(`${methodName}__method`);
+    const params = collectBareParams(prop.parameters, ctx);
+    const fnCtx = createBareFnCtx(prop, ctx);
+    prop.parameters.forEach((param, index) => {
+        if (ts.isIdentifier(param.name)) {
+            fnCtx.functionParams.set(param.name.text, index);
+        }
+    });
+    let body = prop.body ? visitStatementList(prop.body.statements, fnCtx) : [];
+    if (fnCtx.pendingStatements.length > 0) {
+        body = [...fnCtx.pendingStatements, ...body];
+    }
+    const funcDecl = IR.functionDecl(funcName, params, body, getLoc(prop, ctx), true);
+    ctx.pendingStatements.push(funcDecl);
+    return funcName;
+}
+// ============================================================================
+// Helpers
+// ============================================================================
+/**
+ * Собирает параметры функции для bare mode (оригинальные имена, без __env/__this/__args)
+ */
+function collectBareParams(parameters, ctx) {
+    const params = [];
+    for (const param of parameters) {
+        if (ts.isIdentifier(param.name)) {
+            const defaultValue = param.initializer
+                ? visitExpression(param.initializer, ctx)
+                : undefined;
+            const isRest = !!param.dotDotDotToken;
+            params.push(IR.param(param.name.text, defaultValue, isRest));
+        }
+    }
+    return params;
+}
+/**
+ * Создаёт дочерний VisitorContext для bare mode функции.
+ * Без captured variables, env/desc и прочей логики script/module режимов.
+ */
+function createBareFnCtx(node, ctx) {
+    const funcScope = ctx.scopeAnalysis.nodeToScope.get(node) || ctx.currentScope;
+    return {
+        mode: ctx.mode,
+        functionParams: new Map(),
+        hoistedFunctions: [],
+        typeChecker: ctx.typeChecker,
+        sourceFile: ctx.sourceFile,
+        bindings: ctx.bindings,
+        scopeAnalysis: ctx.scopeAnalysis,
+        currentScope: funcScope,
+        pendingStatements: [],
+        currentEnvRef: "__env",
+        currentEnvScope: funcScope,
+        xmlDocumentSymbol: ctx.xmlDocumentSymbol,
+        xmlElemSymbol: ctx.xmlElemSymbol,
+        importBindings: ctx.importBindings,
+        helperFlags: ctx.helperFlags,
+    };
+}
+//# sourceMappingURL=bare-visitors.js.map

package/build/lowering/bare-visitors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bare-visitors.js","sourceRoot":"","sources":["../../src/lowering/bare-visitors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,EAAE,GAIH,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,MAAM,EAAoB,MAAM,cAAc,CAAC;AAExD,+EAA+E;AAC/E,4BAA4B;AAC5B,+EAA+E;AAE/E;;;;;;;GAOG;AACH,MAAM,UAAU,4BAA4B,CAC1C,IAA4B,EAC5B,GAAmB;IAEnB,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAEvD,oDAAoD;IACpD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,0EAA0E;IAC1E,6CAA6C;IAC7C,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACvC,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAE7D,wDAAwD;IACxD,MAAM,QAAQ,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;QACjD,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,iBAAiB,EAAE,GAAG,IAAI,CAAC;QACvC,CAAC,CAAC,IAAI,CAAC;IAET,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,+EAA+E;AAC/E,0BAA0B;AAC1B,+EAA+E;AAE/E;;;;;;;GAOG;AACH,MAAM,UAAU,0BAA0B,CACxC,IAA0B,EAC1B,GAAmB;IAEnB,kEAAkE;IAClE,IAAI,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QACvE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,CAAC;IAElC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;QACrD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9E,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7D,CAAC;QACD,iDAAiD;aAC5C,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAClE,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YACpD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACzC,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClE,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;wBAC3B,gCAAgC;wBAChC,SAAS;oBACX,CAAC;oBACD,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY;wBACvC,CAAC,CAAE,OAAO,CAAC,YAA8B,CAAC,IAAI;wBAC9C,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;oBACtB,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;oBACvC,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;oBAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW;wBAClC,CAAC,CAAC,EAAE,CAAC,WAAW,CACZ,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EACzC,GAAG,EACH,eAAe,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,EACzC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAClB;wBACH,CAAC,CAAC,GAAG,CAAC;oBACR,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;gBACtE,CAAC;YACH,CAAC;QACH,CAAC;QACD,+CAA+C;aAC1C,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACjE,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YACpD,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACzC,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;oBACpC,KAAK,EAAE,CAAC;oBACR,SAAS;gBACX,CAAC;gBACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClE,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;wBAC3B,gCAAgC;wBAChC,SAAS;oBACX,CAAC;oBACD,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;oBACvC,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;oBACjF,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;oBAC/D,KAAK,EAAE,CAAC;gBACV,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AACrD,CAAC;AAED,+EAA+E;AAC/E,6BAA6B;AAC7B,+EAA+E;AAE/E;;;;;;;GAOG;AACH,MAAM,UAAU,6BAA6B,CAC3C,IAA0B,EAC1B,GAAmB;IAEnB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,MAAM,OAAO,GAAkB,EAAE,CAAC;IAElC,2BAA2B;IAC3B,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAE/D,sCAAsC;IACtC,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YAC7C,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAC/C,IAAI,OAAO,EAAE,CAAC;gBACZ,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC3B,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;gBAC3B,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,+EAA+E;AAC/E,sBAAsB;AACtB,+EAA+E;AAE/E;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAsB,EACtB,GAAmB;IAEnB,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAE9C,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACvC,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,IAAmB,CAAC;IACxB,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACzD,CAAC;SAAM,CAAC;QACN,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,iBAAiB,EAAE,GAAG,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IAClF,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAErC,OAAO,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED,+EAA+E;AAC/E,2BAA2B;AAC3B,+EAA+E;AAE/E;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CACzC,IAA2B,EAC3B,GAAmB;IAEnB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAEvD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACvC,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,iBAAiB,EAAE,GAAG,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9E,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAErC,OAAO,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,+EAA+E;AAC/E,qBAAqB;AACrB,+EAA+E;AAE/E;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAA0B,EAC1B,GAAmB;IAEnB,MAAM,UAAU,GAAI,IAAI,CAAC,IAAsB,CAAC,IAAI,CAAC;IACrD,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,UAAU,UAAU,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAEvD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACvC,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,iBAAiB,EAAE,GAAG,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IAClF,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAErC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,+EAA+E;AAC/E,UAAU;AACV,+EAA+E;AAE/E;;GAEG;AACH,SAAS,iBAAiB,CACxB,UAAiD,EACjD,GAAmB;IAEnB,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,YAAY,GAAG,KAAK,CAAC,WAAW;gBACpC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC;gBACzC,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CACtB,IAAa,EACb,GAAmB;IAEnB,MAAM,SAAS,GAAG,GAAG,CAAC,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,YAAY,CAAC;IAC9E,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,gBAAgB,EAAE,EAAE;QACpB,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,YAAY,EAAE,SAAS;QACvB,iBAAiB,EAAE,EAAE;QACrB,aAAa,EAAE,OAAO;QACtB,eAAe,EAAE,SAAS;QAC1B,iBAAiB,EAAE,GAAG,CAAC,iBAAiB;QACxC,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,cAAc,EAAE,GAAG,CAAC,cAAc;QAClC,WAAW,EAAE,GAAG,CAAC,WAAW;KAC7B,CAAC;AACJ,CAAC"}

package/build/lowering/binding.d.ts

@@ -0,0 +1,127 @@
+/**
+ * Binding Manager - централизованная генерация уникальных имён
+ *
+ * Обеспечивает единый механизм для:
+ * - Генерации имён для временных переменных (__tmp0, __arr1, ...)
+ * - Генерации имён для анонимных функций (__arrow0, __func1, ...)
+ * - Переименования shadowed переменных (a → a__0, a__1, ...)
+ * - Защиты от коллизий с именами из исходного кода
+ *
+ * @module lowering/binding
+ */
+/**
+ * Менеджер генерации уникальных имён
+ *
+ * Все сгенерированные имена гарантированно уникальны в пределах
+ * одного экземпляра менеджера и не конфликтуют с именами из исходного кода.
+ *
+ * @example
+ * ```typescript
+ * const bindings = new BindingManager();
+ * bindings.registerSourceNames(["__item", "foo", "bar"]);
+ *
+ * bindings.create("item");   // "__item0" (если __item0 не занято)
+ * bindings.create("arrow");  // "__arrow0"
+ * bindings.create("arrow");  // "__arrow1"
+ * bindings.temp();           // "__tmp0"
+ * bindings.shadow("x");      // "x__0"
+ * ```
+ */
+export declare class BindingManager {
+    /** Счётчики для каждого префикса */
+    private counters;
+    /** Имена из исходного кода (для проверки коллизий) */
+    private sourceNames;
+    /** Все сгенерированные имена (для проверки коллизий) */
+    private generatedNames;
+    /**
+     * Регистрирует имена из исходного кода для проверки коллизий
+     *
+     * @param names - Массив имён переменных/функций из исходного файла
+     */
+    registerSourceNames(names: Iterable<string>): void;
+    /**
+     * Проверяет, занято ли имя (в исходнике или уже сгенерировано)
+     */
+    private isNameTaken;
+    /**
+     * Создаёт уникальное имя с заданным префиксом
+     *
+     * Гарантирует что имя не конфликтует с:
+     * - Именами из исходного кода
+     * - Ранее сгенерированными именами
+     *
+     * @param prefix - Префикс имени (без __)
+     * @returns Уникальное имя вида __prefix0, __prefix1, ...
+     *
+     * @example
+     * bindings.create("arrow")  // "__arrow0"
+     * bindings.create("obj")    // "__obj0"
+     */
+    create(prefix: string): string;
+    /**
+     * Создаёт уникальное имя для временной переменной
+     *
+     * @returns Уникальное имя вида __tmp0, __tmp1, ...
+     */
+    temp(): string;
+    /**
+     * Создаёт уникальное имя для shadowed переменной
+     *
+     * Используется когда let/const во вложенном блоке перекрывает
+     * переменную из внешнего scope.
+     *
+     * @param original - Оригинальное имя переменной
+     * @returns Уникальное имя вида original__0, original__1, ...
+     *
+     * @example
+     * bindings.shadow("a")  // "a__0"
+     * bindings.shadow("a")  // "a__1"
+     * bindings.shadow("b")  // "b__0"
+     */
+    shadow(original: string): string;
+    /**
+     * Создаёт уникальное имя для env переменной функции
+     *
+     * @param funcName - Имя функции
+     * @returns Имя env вида funcName_env
+     */
+    envName(funcName: string): string;
+    /**
+     * Создаёт уникальное имя для descriptor функции
+     *
+     * @param funcName - Имя функции
+     * @returns Имя descriptor вида funcName_desc
+     */
+    descName(funcName: string): string;
+    /**
+     * Создаёт уникальное имя для hoisted вложенной функции (module mode)
+     *
+     * @param originalName - Оригинальное имя функции
+     * @returns Уникальное имя вида __hoisted_originalName_N
+     */
+    hoistedName(originalName: string): string;
+    /**
+     * Сбрасывает все счётчики и имена (для тестирования)
+     */
+    reset(): void;
+    /**
+     * Получает текущее значение счётчика (для отладки)
+     */
+    getCount(prefix: string): number;
+}
+/**
+ * Получает текущий BindingManager
+ * @throws Если менеджер не инициализирован
+ */
+export declare function getBindings(): BindingManager;
+/**
+ * Инициализирует новый BindingManager для компиляции
+ * @returns Созданный менеджер
+ */
+export declare function initBindings(): BindingManager;
+/**
+ * Создаёт изолированный BindingManager (для тестов)
+ */
+export declare function createBindings(): BindingManager;
+//# sourceMappingURL=binding.d.ts.map

package/build/lowering/binding.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding.d.ts","sourceRoot":"","sources":["../../src/lowering/binding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AACH,qBAAa,cAAc;IACzB,oCAAoC;IACpC,OAAO,CAAC,QAAQ,CAAkC;IAElD,sDAAsD;IACtD,OAAO,CAAC,WAAW,CAA0B;IAE7C,wDAAwD;IACxD,OAAO,CAAC,cAAc,CAA0B;IAEhD;;;;OAIG;IACH,mBAAmB,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,IAAI;IAMlD;;OAEG;IACH,OAAO,CAAC,WAAW;IAInB;;;;;;;;;;;;;OAaG;IACH,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM;IAe9B;;;;OAIG;IACH,IAAI,IAAI,MAAM;IAId;;;;;;;;;;;;;OAaG;IACH,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM;IAgBhC;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM;IAIjC;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM;IAIlC;;;;;OAKG;IACH,WAAW,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM;IAazC;;OAEG;IACH,KAAK,IAAI,IAAI;IAMb;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM;CAGjC;AAQD;;;GAGG;AACH,wBAAgB,WAAW,IAAI,cAAc,CAK5C;AAED;;;GAGG;AACH,wBAAgB,YAAY,IAAI,cAAc,CAG7C;AAED;;GAEG;AACH,wBAAgB,cAAc,IAAI,cAAc,CAE/C"}