@flighthq/tool-compiler 0.5.1-edge.1687.b63c819

package/dist/packages/compiler-backend-hx/src/haxeTaskLowering.js

@@ -0,0 +1,265 @@
+import { analyzeCompilerRuntimeTaskCapabilityCompleteness, collectCompilerRuntimeTaskCapabilityRequirements, } from '../../compiler-runtime-contract/src/index.js';
+import { getCompilerRuntimeExternalSymbolTargetHaxe } from './haxeRuntimeExternalSymbolBinding.js';
+export function isCompilerHaxeTaskLoweringFailure(value) {
+    return (value instanceof Error &&
+        'kind' in value &&
+        value.kind === 'haxe-task-lowering' &&
+        'code' in value &&
+        compilerHaxeTaskLoweringFailureCodes.has(value.code) &&
+        'module' in value &&
+        isCompilerHaxeTaskLoweringModuleIdentity(value.module));
+}
+export function lowerCompilerAsyncStateMachinesHaxe(analysis, capabilityPlan, options = {}) {
+    const stateMachineRequirements = collectCompilerRuntimeTaskCapabilityRequirements({
+        module: analysis.module,
+        operations: [],
+        schema: 'flight-compiler-async-task-inventory/1',
+        scopes: [],
+        suspensions: [],
+    }, analysis);
+    const requirements = {
+        ...stateMachineRequirements,
+        requirements: compilerHaxeTaskLoweringCapabilityOrder.map((capability) => ({
+            capability,
+            evidence: stateMachineRequirements.requirements.find((requirement) => requirement.capability === capability)?.evidence ??
+                [],
+        })),
+    };
+    const completeness = analyzeCompilerRuntimeTaskCapabilityCompleteness(requirements, capabilityPlan);
+    if (completeness.kind === 'incomplete') {
+        throw createCompilerHaxeTaskLoweringFailure('runtime-capability-incomplete', analysis.module, getCompilerHaxeTaskLoweringCompletenessMessage(completeness));
+    }
+    const runtime = createCompilerHaxeTaskLoweringRuntime(completeness, analysis.module, options);
+    return cloneCompilerHaxeTaskLoweringValue({
+        functions: analysis.machines.map(lowerCompilerAsyncStateMachineFunctionHaxe),
+        module: analysis.module,
+        refusals: analysis.refusals.map((refusal) => ({
+            code: refusal.code,
+            kind: 'neutralStateMachine',
+            path: refusal.path,
+            scopePath: refusal.scopePath,
+        })),
+        runtime,
+        schema: 'flight-compiler-haxe-task-lowering/1',
+        strategy: {
+            continuation: 'nested-callback-chain',
+            retainedBindings: 'lexical-closure-storage',
+            retainedCaptures: 'lexical-closure-storage',
+            settlement: 'executor-resolve-reject-callbacks',
+            taskConstruction: 'runtime-constructor-executor',
+            thisBinding: 'lexical',
+        },
+    });
+}
+function cloneCompilerHaxeTaskLoweringValue(value) {
+    const clone = structuredClone(value);
+    freezeCompilerHaxeTaskLoweringValue(clone, new WeakSet());
+    return clone;
+}
+function createCompilerHaxeTaskLoweringFailure(code, module, message, details = {}) {
+    const failure = Object.assign(new Error(message), details, {
+        code,
+        kind: 'haxe-task-lowering',
+        module: structuredClone(module),
+    });
+    failure.name = 'CompilerHaxeTaskLoweringError';
+    return failure;
+}
+function createCompilerHaxeTaskLoweringRuntime(completeness, module, options) {
+    const taskTypeName = getCompilerRuntimeExternalSymbolTargetHaxe('Promise', 'value', options.runtimeModule);
+    if (!taskTypeName || !isCompilerHaxeTaskLoweringQualifiedNameValid(taskTypeName)) {
+        throw createCompilerHaxeTaskLoweringFailure('runtime-task-type-name', module, `Haxe task runtime target is not a valid qualified name: ${String(taskTypeName)}`, { received: String(taskTypeName) });
+    }
+    const cleanup = getCompilerHaxeTaskLoweringCapability(completeness.capabilities, 'cleanup');
+    const construct = getCompilerHaxeTaskLoweringCapability(completeness.capabilities, 'construct');
+    const continuation = getCompilerHaxeTaskLoweringCapability(completeness.capabilities, 'continue');
+    const joinAll = getCompilerHaxeTaskLoweringCapability(completeness.capabilities, 'joinAll');
+    const normalize = getCompilerHaxeTaskLoweringCapability(completeness.capabilities, 'normalize');
+    const reject = getCompilerHaxeTaskLoweringCapability(completeness.capabilities, 'reject');
+    for (const capability of [cleanup, continuation, joinAll, normalize, reject]) {
+        if (!isCompilerHaxeTaskLoweringIdentifierValid(capability.memberName)) {
+            throw createCompilerHaxeTaskLoweringFailure('runtime-member-name', module, `Haxe task runtime ${capability.capability} member is not a valid identifier: ${capability.memberName}`, { capability: capability.capability, received: capability.memberName });
+        }
+    }
+    return {
+        cleanupMemberName: cleanup.memberName,
+        continueMemberName: continuation.memberName,
+        executorParameters: construct.executorParameters,
+        joinAllMemberName: joinAll.memberName,
+        normalizeMemberName: normalize.memberName,
+        rejectMemberName: reject.memberName,
+        taskTypeName,
+    };
+}
+function freezeCompilerHaxeTaskLoweringValue(value, seen) {
+    if (!value || typeof value !== 'object' || seen.has(value))
+        return;
+    seen.add(value);
+    for (const child of Object.values(value))
+        freezeCompilerHaxeTaskLoweringValue(child, seen);
+    Object.freeze(value);
+}
+function getCompilerHaxeTaskLoweringCapability(capabilities, name) {
+    return capabilities.find((capability) => capability.capability === name);
+}
+function getCompilerHaxeTaskLoweringCompletenessMessage(completeness) {
+    const problems = [
+        `missing ${completeness.missingCapabilities.join(', ')}`,
+        completeness.duplicateCapabilities.length > 0
+            ? `duplicate ${completeness.duplicateCapabilities.join(', ')}`
+            : undefined,
+        completeness.invalidCapabilities.length > 0 ? `invalid ${completeness.invalidCapabilities.join(', ')}` : undefined,
+    ].filter((problem) => problem !== undefined);
+    return `Haxe task runtime capability ABI is incomplete: ${problems.join('; ')}`;
+}
+function isCompilerHaxeTaskLoweringIdentifierValid(value) {
+    return /^[A-Za-z_][A-Za-z0-9_]*$/u.test(value) && !compilerHaxeTaskLoweringReservedWords.has(value);
+}
+function isCompilerHaxeTaskLoweringModuleIdentity(value) {
+    return (!!value &&
+        typeof value === 'object' &&
+        'name' in value &&
+        typeof value.name === 'string' &&
+        'packageName' in value &&
+        typeof value.packageName === 'string' &&
+        'source' in value &&
+        typeof value.source === 'string');
+}
+function isCompilerHaxeTaskLoweringQualifiedNameValid(value) {
+    return value.split('.').every(isCompilerHaxeTaskLoweringIdentifierValid);
+}
+function lowerCompilerAsyncStateMachineFunctionHaxe(machine) {
+    return {
+        completionPaths: machine.completionPaths,
+        origin: machine.origin,
+        path: machine.path,
+        retainedBindings: machine.retainedBindings.map((retained) => ({
+            ...retained,
+            storage: 'lexicalClosure',
+        })),
+        retainedCaptures: machine.retainedCaptures.map((retained) => ({
+            ...retained,
+            storage: 'lexicalClosure',
+        })),
+        states: machine.states.map((state) => ({
+            ...(state.guard ? { guard: state.guard } : {}),
+            identity: state.identity,
+            steps: state.steps.map(lowerCompilerAsyncStateMachineStepHaxe),
+        })),
+    };
+}
+function lowerCompilerAsyncStateMachineStepHaxe(step) {
+    switch (step.kind) {
+        case 'branch':
+            return {
+                conditionPath: step.conditionPath,
+                evaluationRejection: step.evaluationRejection,
+                kind: 'branchState',
+                path: step.path,
+                whenFalse: step.whenFalse,
+                whenTrue: step.whenTrue,
+            };
+        case 'goto':
+            return { kind: 'continueState', path: step.path, target: step.target };
+        case 'guard':
+            return {
+                body: step.body,
+                ...(step.carrier ? { carrier: step.carrier } : {}),
+                catchState: step.catchState,
+                join: step.join,
+                kind: 'guardState',
+                path: step.path,
+            };
+        case 'carry':
+            return { binding: step.binding, kind: 'carryValue', path: step.path, value: step.value };
+        case 'loop':
+            return { header: step.header, kind: 'loopState', path: step.path };
+        case 'execute':
+            return {
+                abruptValues: step.abruptValues,
+                kind: 'executeSource',
+                onAbrupt: 'rejectTask',
+                path: step.path,
+            };
+        case 'reject':
+        case 'resolve':
+            return {
+                ...(step.evaluationRejection ? { evaluationRejection: step.evaluationRejection } : {}),
+                kind: step.kind === 'resolve' ? 'resolveTask' : 'rejectTask',
+                path: step.path,
+                value: step.value,
+            };
+        case 'suspend':
+            return {
+                fulfillment: step.fulfillment,
+                kind: 'awaitRuntime',
+                operandPath: step.operandPath,
+                path: step.path,
+                ...(step.rejectState ? { rejectState: step.rejectState } : {}),
+                rejection: step.rejection,
+                ...(step.resumeState ? { resumeState: step.resumeState } : {}),
+            };
+    }
+}
+const compilerHaxeTaskLoweringFailureCodes = new Set([
+    'runtime-capability-incomplete',
+    'runtime-member-name',
+    'runtime-task-type-name',
+]);
+const compilerHaxeTaskLoweringCapabilityOrder = [
+    'cleanup',
+    'construct',
+    'continue',
+    'joinAll',
+    'normalize',
+    'reject',
+];
+const compilerHaxeTaskLoweringReservedWords = new Set([
+    'abstract',
+    'break',
+    'case',
+    'cast',
+    'catch',
+    'class',
+    'continue',
+    'default',
+    'do',
+    'dynamic',
+    'else',
+    'enum',
+    'extends',
+    'extern',
+    'false',
+    'final',
+    'for',
+    'function',
+    'if',
+    'implements',
+    'import',
+    'in',
+    'inline',
+    'interface',
+    'macro',
+    'new',
+    'null',
+    'operator',
+    'overload',
+    'override',
+    'package',
+    'private',
+    'public',
+    'return',
+    'static',
+    'super',
+    'switch',
+    'this',
+    'throw',
+    'true',
+    'try',
+    'typedef',
+    'untyped',
+    'using',
+    'var',
+    'while',
+]);
+//# sourceMappingURL=haxeTaskLowering.js.map

package/dist/packages/compiler-backend-hx/src/haxeTaskLowering.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"haxeTaskLowering.js","sourceRoot":"","sources":["../../../../../compiler-backend-hx/src/haxeTaskLowering.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gDAAgD,EAChD,gDAAgD,GACjD,MAAM,8CAA8C,CAAC;AAiBtD,OAAO,EAAE,0CAA0C,EAAE,MAAM,uCAAuC,CAAC;AAEnG,MAAM,UAAU,iCAAiC,CAAC,KAAc;IAC9D,OAAO,CACL,KAAK,YAAY,KAAK;QACtB,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,IAAI,KAAK,oBAAoB;QACnC,MAAM,IAAI,KAAK;QACf,oCAAoC,CAAC,GAAG,CAAC,KAAK,CAAC,IAA2C,CAAC;QAC3F,QAAQ,IAAI,KAAK;QACjB,wCAAwC,CAAC,KAAK,CAAC,MAAM,CAAC,CACvD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,QAAqD,EACrD,cAA2D,EAC3D,UAAqD,EAAE;IAEvD,MAAM,wBAAwB,GAAG,gDAAgD,CAC/E;QACE,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,UAAU,EAAE,EAAE;QACd,MAAM,EAAE,wCAAwC;QAChD,MAAM,EAAE,EAAE;QACV,WAAW,EAAE,EAAE;KAChB,EACD,QAAQ,CACT,CAAC;IACF,MAAM,YAAY,GAA8C;QAC9D,GAAG,wBAAwB;QAC3B,YAAY,EAAE,uCAAuC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACzE,UAAU;YACV,QAAQ,EACN,wBAAwB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,UAAU,KAAK,UAAU,CAAC,EAAE,QAAQ;gBAC5G,EAAE;SACL,CAAC,CAAC;KACJ,CAAC;IACF,MAAM,YAAY,GAAG,gDAAgD,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IACpG,IAAI,YAAY,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACvC,MAAM,qCAAqC,CACzC,+BAA+B,EAC/B,QAAQ,CAAC,MAAM,EACf,8CAA8C,CAAC,YAAY,CAAC,CAC7D,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,qCAAqC,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9F,OAAO,kCAAkC,CAAC;QACxC,SAAS,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,0CAA0C,CAAC;QAC5E,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC5C,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,IAAI,EAAE,qBAA8B;YACpC,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B,CAAC,CAAC;QACH,OAAO;QACP,MAAM,EAAE,sCAA+C;QACvD,QAAQ,EAAE;YACR,YAAY,EAAE,uBAAgC;YAC9C,gBAAgB,EAAE,yBAAkC;YACpD,gBAAgB,EAAE,yBAAkC;YACpD,UAAU,EAAE,mCAA4C;YACxD,gBAAgB,EAAE,8BAAuC;YACzD,WAAW,EAAE,SAAkB;SAChC;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kCAAkC,CAAQ,KAAY;IAC7D,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACrC,mCAAmC,CAAC,KAAK,EAAE,IAAI,OAAO,EAAE,CAAC,CAAC;IAC1D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,qCAAqC,CAC5C,IAAyC,EACzC,MAAwC,EACxC,OAAe,EACf,UAA2F,EAAE;IAE7F,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE;QACzD,IAAI;QACJ,IAAI,EAAE,oBAA6B;QACnC,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC;KAChC,CAAC,CAAC;IACH,OAAO,CAAC,IAAI,GAAG,+BAA+B,CAAC;IAC/C,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,qCAAqC,CAC5C,YAAsF,EACtF,MAAwC,EACxC,OAAkD;IAElD,MAAM,YAAY,GAAG,0CAA0C,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IAC3G,IAAI,CAAC,YAAY,IAAI,CAAC,4CAA4C,CAAC,YAAY,CAAC,EAAE,CAAC;QACjF,MAAM,qCAAqC,CACzC,wBAAwB,EACxB,MAAM,EACN,2DAA2D,MAAM,CAAC,YAAY,CAAC,EAAE,EACjF,EAAE,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE,CACnC,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,qCAAqC,CAAC,YAAY,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAC5F,MAAM,SAAS,GAAG,qCAAqC,CAAC,YAAY,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IAChG,MAAM,YAAY,GAAG,qCAAqC,CAAC,YAAY,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;IAClG,MAAM,OAAO,GAAG,qCAAqC,CAAC,YAAY,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAC5F,MAAM,SAAS,GAAG,qCAAqC,CAAC,YAAY,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IAChG,MAAM,MAAM,GAAG,qCAAqC,CAAC,YAAY,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC1F,KAAK,MAAM,UAAU,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC;QAC7E,IAAI,CAAC,yCAAyC,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YACtE,MAAM,qCAAqC,CACzC,qBAAqB,EACrB,MAAM,EACN,qBAAqB,UAAU,CAAC,UAAU,sCAAsC,UAAU,CAAC,UAAU,EAAE,EACvG,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,UAAU,EAAE,CACvE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO;QACL,iBAAiB,EAAE,OAAO,CAAC,UAAU;QACrC,kBAAkB,EAAE,YAAY,CAAC,UAAU;QAC3C,kBAAkB,EAAE,SAAS,CAAC,kBAAkB;QAChD,iBAAiB,EAAE,OAAO,CAAC,UAAU;QACrC,mBAAmB,EAAE,SAAS,CAAC,UAAU;QACzC,gBAAgB,EAAE,MAAM,CAAC,UAAU;QACnC,YAAY;KACb,CAAC;AACJ,CAAC;AAED,SAAS,mCAAmC,CAAC,KAAc,EAAE,IAAqB;IAChF,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO;IACnE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,mCAAmC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC3F,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,qCAAqC,CAC5C,YAAsD,EACtD,IAAU;IAEV,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,KAAK,IAAI,CAGtE,CAAC;AACJ,CAAC;AAED,SAAS,8CAA8C,CACrD,YAAwF;IAExF,MAAM,QAAQ,GAAG;QACf,WAAW,YAAY,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACxD,YAAY,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC;YAC3C,CAAC,CAAC,aAAa,YAAY,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC9D,CAAC,CAAC,SAAS;QACb,YAAY,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,YAAY,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;KACnH,CAAC,MAAM,CAAC,CAAC,OAAO,EAAqB,EAAE,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IAChE,OAAO,mDAAmD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,SAAS,yCAAyC,CAAC,KAAa;IAC9D,OAAO,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,qCAAqC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,wCAAwC,CAAC,KAAc;IAC9D,OAAO,CACL,CAAC,CAAC,KAAK;QACP,OAAO,KAAK,KAAK,QAAQ;QACzB,MAAM,IAAI,KAAK;QACf,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,aAAa,IAAI,KAAK;QACtB,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ;QACrC,QAAQ,IAAI,KAAK;QACjB,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,CACjC,CAAC;AACJ,CAAC;AAED,SAAS,4CAA4C,CAAC,KAAa;IACjE,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,yCAAyC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,0CAA0C,CACjD,OAAwE;IAExE,OAAO;QACL,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC5D,GAAG,QAAQ;YACX,OAAO,EAAE,gBAAyB;SACnC,CAAC,CAAC;QACH,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC5D,GAAG,QAAQ;YACX,OAAO,EAAE,gBAAyB;SACnC,CAAC,CAAC;QACH,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACrC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,sCAAsC,CAAC;SAC/D,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,sCAAsC,CAC7C,IAA6C;IAE7C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO;gBACL,aAAa,EAAE,IAAI,CAAC,aAAa;gBACjC,mBAAmB,EAAE,IAAI,CAAC,mBAAmB;gBAC7C,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;aACxB,CAAC;QACJ,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QACzE,KAAK,OAAO;YACV,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClD,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,IAAI,CAAC,IAAI;aAChB,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3F,KAAK,MAAM;YACT,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QACrE,KAAK,SAAS;YACZ,OAAO;gBACL,YAAY,EAAE,IAAI,CAAC,YAAY;gBAC/B,IAAI,EAAE,eAAe;gBACrB,QAAQ,EAAE,YAAY;gBACtB,IAAI,EAAE,IAAI,CAAC,IAAI;aAChB,CAAC;QACJ,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtF,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY;gBAC5D,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,IAAI,EAAE,cAAc;gBACpB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9D,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/D,CAAC;IACN,CAAC;AACH,CAAC;AAED,MAAM,oCAAoC,GAAG,IAAI,GAAG,CAAsC;IACxF,+BAA+B;IAC/B,qBAAqB;IACrB,wBAAwB;CACzB,CAAC,CAAC;AAEH,MAAM,uCAAuC,GAAiD;IAC5F,SAAS;IACT,WAAW;IACX,UAAU;IACV,SAAS;IACT,WAAW;IACX,QAAQ;CACT,CAAC;AAEF,MAAM,qCAAqC,GAAG,IAAI,GAAG,CAAC;IACpD,UAAU;IACV,OAAO;IACP,MAAM;IACN,MAAM;IACN,OAAO;IACP,OAAO;IACP,UAAU;IACV,SAAS;IACT,IAAI;IACJ,SAAS;IACT,MAAM;IACN,MAAM;IACN,SAAS;IACT,QAAQ;IACR,OAAO;IACP,OAAO;IACP,KAAK;IACL,UAAU;IACV,IAAI;IACJ,YAAY;IACZ,QAAQ;IACR,IAAI;IACJ,QAAQ;IACR,WAAW;IACX,OAAO;IACP,KAAK;IACL,MAAM;IACN,UAAU;IACV,UAAU;IACV,UAAU;IACV,SAAS;IACT,SAAS;IACT,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,MAAM;IACN,OAAO;IACP,MAAM;IACN,KAAK;IACL,SAAS;IACT,SAAS;IACT,OAAO;IACP,KAAK;IACL,OAAO;CACR,CAAC,CAAC"}

package/dist/packages/compiler-backend-hx/src/haxeTypeEmission.d.ts

@@ -0,0 +1,16 @@
+import type { IrBindingIdentity, IrType, IrTypeBindingIdentity, IrTypeReference } from '../../compiler-types/src/index.js';
+interface IrTypeHaxeEmissionContext {
+    readonly fail: (message: string) => never;
+    readonly getBindingName: (binding: Readonly<IrBindingIdentity | IrTypeBindingIdentity>) => string;
+    readonly getExternalTypeName: (name: string) => string | undefined;
+    readonly getMemberName: (name: string) => string;
+    readonly getTypeName: (name: string) => string;
+    readonly resolveNamedType?: ((type: Readonly<IrTypeReference>) => string | Readonly<IrTypeHaxeResolvedName> | undefined) | undefined;
+}
+interface IrTypeHaxeResolvedName {
+    readonly name: string;
+    readonly typeArgumentsApplied: boolean;
+}
+export declare function emitIrTypeHaxe(type: Readonly<IrType>, context: Readonly<IrTypeHaxeEmissionContext>): string;
+export {};
+//# sourceMappingURL=haxeTypeEmission.d.ts.map

package/dist/packages/compiler-backend-hx/src/haxeTypeEmission.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"haxeTypeEmission.d.ts","sourceRoot":"","sources":["../../../../../compiler-backend-hx/src/haxeTypeEmission.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,iBAAiB,EACjB,MAAM,EACN,qBAAqB,EACrB,eAAe,EAChB,MAAM,mCAAmC,CAAC;AAE3C,UAAU,yBAAyB;IACjC,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,KAAK,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,iBAAiB,GAAG,qBAAqB,CAAC,KAAK,MAAM,CAAC;IAClG,QAAQ,CAAC,mBAAmB,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;IACnE,QAAQ,CAAC,aAAa,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IACjD,QAAQ,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,CAAC,EACtB,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,eAAe,CAAC,KAAK,MAAM,GAAG,QAAQ,CAAC,sBAAsB,CAAC,GAAG,SAAS,CAAC,GAC5F,SAAS,CAAC;CACf;AAED,UAAU,sBAAsB;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,yBAAyB,CAAC,GAAG,MAAM,CA2G3G"}

package/dist/packages/compiler-backend-hx/src/haxeTypeEmission.js

@@ -0,0 +1,134 @@
+export function emitIrTypeHaxe(type, context) {
+    switch (type.kind) {
+        case 'array':
+            return `Array<${emitIrTypeHaxe(type.element, context)}>`;
+        case 'function': {
+            const parameters = type.parameters.map((parameter) => {
+                const emitted = emitIrTypeHaxe(parameter.type, context);
+                return parameter.optional ? `?${emitted}` : emitted;
+            });
+            const returns = emitIrTypeHaxe(type.returns, context);
+            return `(${parameters.join(', ')})->${type.returns.kind === 'function' ? `(${returns})` : returns}`;
+        }
+        case 'indexedAccess':
+        case 'conditionalFacet':
+        case 'keyof':
+        case 'typeOf':
+            return 'Dynamic';
+        case 'intersection':
+            return type.types.length === 1 ? emitIrTypeHaxe(type.types[0], context) : 'Dynamic';
+        case 'literal':
+            return typeof type.value === 'boolean' ? 'Bool' : typeof type.value === 'number' ? 'Float' : 'String';
+        case 'named': {
+            const sourceName = type.reference.kind === 'ambient' ? type.reference.name : undefined;
+            if (sourceName === 'Partial')
+                return 'Dynamic';
+            if (sourceName !== undefined && haxeErasedUtilityTypeNames.has(sourceName) && type.typeArguments[0]) {
+                return emitIrTypeHaxe(type.typeArguments[0], context);
+            }
+            // These utilities compute types rather than changing runtime representation. When semantic
+            // lowering cannot close their operand, Dynamic is the faithful Haxe boundary: emitting the
+            // callable operand itself for ReturnType/Parameters would describe the wrong representation.
+            if (sourceName !== undefined && haxeDynamicUtilityTypeNames.has(sourceName))
+                return 'Dynamic';
+            if (sourceName === 'Record' && type.typeArguments[1]) {
+                const externalTypeName = context.getExternalTypeName(sourceName);
+                if (!externalTypeName)
+                    context.fail(`external type ${sourceName} has no Haxe binding`);
+                return `${externalTypeName}<${emitIrTypeHaxe(type.typeArguments[1], context)}>`;
+            }
+            const resolved = context.resolveNamedType?.(type);
+            let targetName;
+            if (resolved !== undefined) {
+                if (typeof resolved !== 'string' && resolved.typeArgumentsApplied)
+                    return resolved.name;
+                targetName = typeof resolved === 'string' ? resolved : resolved.name;
+            }
+            else if (type.reference.kind === 'ambient') {
+                const externalTypeName = context.getExternalTypeName(type.reference.name);
+                if (!externalTypeName)
+                    context.fail(`external type ${type.reference.name} has no Haxe binding`);
+                targetName = externalTypeName;
+            }
+            else {
+                targetName = [
+                    context.getBindingName(type.reference.binding),
+                    ...type.reference.path.map(context.getTypeName),
+                ].join('.');
+            }
+            const arguments_ = type.typeArguments.map((argument) => sourceName === 'Promise' && argument.kind === 'primitive' && argument.name === 'void'
+                ? 'Dynamic'
+                : emitIrTypeHaxe(argument, context));
+            return targetName === 'Dynamic'
+                ? targetName
+                : `${targetName}${arguments_.length > 0 ? `<${arguments_.join(', ')}>` : ''}`;
+        }
+        case 'never':
+        case 'null':
+        case 'undefined':
+            return 'Dynamic';
+        case 'object':
+            return `{ ${type.properties
+                .map((property) => {
+                const optional = property.optional ? '?' : '';
+                // Void is a valid function result in Haxe, but it cannot be stored in an anonymous
+                // structure field. TypeScript uses it for unique-symbol brands as well as ordinary
+                // impossible-value properties; Dynamic keeps either shape representable without
+                // pretending the field is callable.
+                const emittedType = property.type.kind === 'primitive' && property.type.name === 'void'
+                    ? 'Dynamic'
+                    : emitIrTypeHaxe(property.type, context);
+                return `${optional}${context.getMemberName(property.name)}:${emittedType}`;
+            })
+                .join(', ')} }`;
+        case 'primitive':
+            return {
+                bigint: 'haxe.Int64',
+                boolean: 'Bool',
+                number: 'Float',
+                string: 'String',
+                symbol: 'Dynamic',
+                void: 'Void',
+            }[type.name];
+        case 'tuple': {
+            const elements = type.elements.map((element) => emitIrTypeHaxe(element.type, context));
+            const shared = new Set(elements);
+            return shared.size === 1 && !type.elements.some((element) => element.optional)
+                ? `Array<${[...shared][0]}>`
+                : 'Array<Dynamic>';
+        }
+        case 'union': {
+            const concrete = type.types.filter((item) => item.kind !== 'null' && item.kind !== 'undefined');
+            if (hasIrTypeKindHaxe(type, 'null') && hasIrTypeKindHaxe(type, 'undefined')) {
+                return 'Dynamic';
+            }
+            return concrete.length === 1 && concrete.length !== type.types.length
+                ? `Null<${emitIrTypeHaxe(concrete[0], context)}>`
+                : 'Dynamic';
+        }
+        case 'unknown':
+            return 'Dynamic';
+    }
+}
+const haxeErasedUtilityTypeNames = new Set([
+    'Exclude',
+    'Extract',
+    'NoInfer',
+    'NonNullable',
+    'Readonly',
+    'Required',
+    'ThisType',
+]);
+const haxeDynamicUtilityTypeNames = new Set([
+    'Awaited',
+    'FlatArray',
+    'Omit',
+    'Parameters',
+    'Pick',
+    'PropertyKey',
+    'ReturnType',
+]);
+function hasIrTypeKindHaxe(type, kind) {
+    return type.kind === kind || (type.kind === 'union' && type.types.some((member) => member.kind === kind));
+}
+//# sourceMappingURL=haxeTypeEmission.js.map

package/dist/packages/compiler-backend-hx/src/haxeTypeEmission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"haxeTypeEmission.js","sourceRoot":"","sources":["../../../../../compiler-backend-hx/src/haxeTypeEmission.ts"],"names":[],"mappings":"AAuBA,MAAM,UAAU,cAAc,CAAC,IAAsB,EAAE,OAA4C;IACjG,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,SAAS,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;QAC3D,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;gBACnD,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACxD,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YACtD,CAAC,CAAC,CAAC;YACH,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACtD,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACtG,CAAC;QACD,KAAK,eAAe,CAAC;QACrB,KAAK,kBAAkB,CAAC;QACxB,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;QACnB,KAAK,cAAc;YACjB,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACvF,KAAK,SAAS;YACZ,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;QACxG,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACvF,IAAI,UAAU,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC/C,IAAI,UAAU,KAAK,SAAS,IAAI,0BAA0B,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpG,OAAO,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACxD,CAAC;YACD,2FAA2F;YAC3F,2FAA2F;YAC3F,6FAA6F;YAC7F,IAAI,UAAU,KAAK,SAAS,IAAI,2BAA2B,CAAC,GAAG,CAAC,UAAU,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC9F,IAAI,UAAU,KAAK,QAAQ,IAAI,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,MAAM,gBAAgB,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;gBACjE,IAAI,CAAC,gBAAgB;oBAAE,OAAO,CAAC,IAAI,CAAC,iBAAiB,UAAU,sBAAsB,CAAC,CAAC;gBACvF,OAAO,GAAG,gBAAgB,IAAI,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC;YAClF,CAAC;YACD,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,UAAkB,CAAC;YACvB,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,CAAC,oBAAoB;oBAAE,OAAO,QAAQ,CAAC,IAAI,CAAC;gBACxF,UAAU,GAAG,OAAO,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;YACvE,CAAC;iBAAM,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7C,MAAM,gBAAgB,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBAC1E,IAAI,CAAC,gBAAgB;oBAAE,OAAO,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,IAAI,sBAAsB,CAAC,CAAC;gBAChG,UAAU,GAAG,gBAAgB,CAAC;YAChC,CAAC;iBAAM,CAAC;gBACN,UAAU,GAAG;oBACX,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;oBAC9C,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC;iBAChD,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACd,CAAC;YACD,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACrD,UAAU,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;gBACnF,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,CACtC,CAAC;YACF,OAAO,UAAU,KAAK,SAAS;gBAC7B,CAAC,CAAC,UAAU;gBACZ,CAAC,CAAC,GAAG,UAAU,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAClF,CAAC;QACD,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW;YACd,OAAO,SAAS,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,KAAK,IAAI,CAAC,UAAU;iBACxB,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;gBAChB,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9C,mFAAmF;gBACnF,mFAAmF;gBACnF,gFAAgF;gBAChF,oCAAoC;gBACpC,MAAM,WAAW,GACf,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;oBACjE,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC7C,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;YAC7E,CAAC,CAAC;iBACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACpB,KAAK,WAAW;YACd,OAAO;gBACL,MAAM,EAAE,YAAY;gBACpB,OAAO,EAAE,MAAM;gBACf,MAAM,EAAE,OAAO;gBACf,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,SAAS;gBACjB,IAAI,EAAE,MAAM;aACb,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;YACvF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;YACjC,OAAO,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC;gBAC5E,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAE,GAAG;gBAC7B,CAAC,CAAC,gBAAgB,CAAC;QACvB,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;YAChG,IAAI,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;gBAC5E,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;gBACnE,CAAC,CAAC,QAAQ,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,GAAG;gBAClD,CAAC,CAAC,SAAS,CAAC;QAChB,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC;IACzC,SAAS;IACT,SAAS;IACT,SAAS;IACT,aAAa;IACb,UAAU;IACV,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,2BAA2B,GAAG,IAAI,GAAG,CAAC;IAC1C,SAAS;IACT,WAAW;IACX,MAAM;IACN,YAAY;IACZ,MAAM;IACN,aAAa;IACb,YAAY;CACb,CAAC,CAAC;AAEH,SAAS,iBAAiB,CAAC,IAAsB,EAAE,IAAoB;IACrE,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC;AAC5G,CAAC"}

package/dist/packages/compiler-backend-hx/src/index.d.ts

@@ -0,0 +1,13 @@
+export { createHaxeCompilerBackend, emitIrModuleHaxe } from './haxeCompilerBackend.js';
+export { createHaxeCompilerEmittedSourceParser } from './haxeCompilerEmittedSourceSyntax.js';
+export { convertPackageNameToHaxePackageName, convertSourcePathToHaxeModuleName } from './haxeCompilerIdentity.js';
+export { createHaxeCompilerTargetCompilationSmoke } from './haxeCompilerTargetCompilationSmoke.js';
+export { emitIrModuleHaxeExtern } from './haxeExternEmission.js';
+export { createCompilerHaxeAmbientMemberBindingPlan } from './haxeAmbientMemberBinding.js';
+export { createCompilerHaxeRuntimeAbiManifest } from './haxeRuntimeAbiManifest.js';
+export { createCompilerRuntimeExternalConstructorAbiPlanHaxe } from './haxeRuntimeExternalConstructorAbi.js';
+export { createCompilerHaxeRuntimeExternalSymbolBindingPlan, createCompilerRuntimeExternalSymbolBindingPlanHaxe, getCompilerRuntimeExternalSymbolTargetHaxe, } from './haxeRuntimeExternalSymbolBinding.js';
+export { createCompilerRuntimeTaskCapabilityPlanHaxe } from './haxeRuntimeTaskCapability.js';
+export { emitCompilerHaxeTaskLoweringFunction } from './haxeTaskEmission.js';
+export { isCompilerHaxeTaskLoweringFailure, lowerCompilerAsyncStateMachinesHaxe } from './haxeTaskLowering.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/packages/compiler-backend-hx/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../compiler-backend-hx/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AACvF,OAAO,EAAE,qCAAqC,EAAE,MAAM,sCAAsC,CAAC;AAC7F,OAAO,EAAE,mCAAmC,EAAE,iCAAiC,EAAE,MAAM,2BAA2B,CAAC;AACnH,OAAO,EAAE,wCAAwC,EAAE,MAAM,yCAAyC,CAAC;AACnG,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,0CAA0C,EAAE,MAAM,+BAA+B,CAAC;AAC3F,OAAO,EAAE,oCAAoC,EAAE,MAAM,6BAA6B,CAAC;AACnF,OAAO,EAAE,mDAAmD,EAAE,MAAM,wCAAwC,CAAC;AAC7G,OAAO,EACL,kDAAkD,EAClD,kDAAkD,EAClD,0CAA0C,GAC3C,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,2CAA2C,EAAE,MAAM,gCAAgC,CAAC;AAC7F,OAAO,EAAE,oCAAoC,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EAAE,iCAAiC,EAAE,mCAAmC,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/packages/compiler-backend-hx/src/index.js

@@ -0,0 +1,13 @@
+export { createHaxeCompilerBackend, emitIrModuleHaxe } from './haxeCompilerBackend.js';
+export { createHaxeCompilerEmittedSourceParser } from './haxeCompilerEmittedSourceSyntax.js';
+export { convertPackageNameToHaxePackageName, convertSourcePathToHaxeModuleName } from './haxeCompilerIdentity.js';
+export { createHaxeCompilerTargetCompilationSmoke } from './haxeCompilerTargetCompilationSmoke.js';
+export { emitIrModuleHaxeExtern } from './haxeExternEmission.js';
+export { createCompilerHaxeAmbientMemberBindingPlan } from './haxeAmbientMemberBinding.js';
+export { createCompilerHaxeRuntimeAbiManifest } from './haxeRuntimeAbiManifest.js';
+export { createCompilerRuntimeExternalConstructorAbiPlanHaxe } from './haxeRuntimeExternalConstructorAbi.js';
+export { createCompilerHaxeRuntimeExternalSymbolBindingPlan, createCompilerRuntimeExternalSymbolBindingPlanHaxe, getCompilerRuntimeExternalSymbolTargetHaxe, } from './haxeRuntimeExternalSymbolBinding.js';
+export { createCompilerRuntimeTaskCapabilityPlanHaxe } from './haxeRuntimeTaskCapability.js';
+export { emitCompilerHaxeTaskLoweringFunction } from './haxeTaskEmission.js';
+export { isCompilerHaxeTaskLoweringFailure, lowerCompilerAsyncStateMachinesHaxe } from './haxeTaskLowering.js';
+//# sourceMappingURL=index.js.map

package/dist/packages/compiler-backend-hx/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../compiler-backend-hx/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AACvF,OAAO,EAAE,qCAAqC,EAAE,MAAM,sCAAsC,CAAC;AAC7F,OAAO,EAAE,mCAAmC,EAAE,iCAAiC,EAAE,MAAM,2BAA2B,CAAC;AACnH,OAAO,EAAE,wCAAwC,EAAE,MAAM,yCAAyC,CAAC;AACnG,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,0CAA0C,EAAE,MAAM,+BAA+B,CAAC;AAC3F,OAAO,EAAE,oCAAoC,EAAE,MAAM,6BAA6B,CAAC;AACnF,OAAO,EAAE,mDAAmD,EAAE,MAAM,wCAAwC,CAAC;AAC7G,OAAO,EACL,kDAAkD,EAClD,kDAAkD,EAClD,0CAA0C,GAC3C,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,2CAA2C,EAAE,MAAM,gCAAgC,CAAC;AAC7F,OAAO,EAAE,oCAAoC,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EAAE,iCAAiC,EAAE,mCAAmC,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/packages/compiler-backend-rs/src/index.d.ts

@@ -0,0 +1,8 @@
+export { createRustCompilerBackend, emitIrModuleRust } from './rustCompilerBackend.js';
+export { analyzeIrModuleOwnershipEvidenceRust } from './rustOwnershipEvidence.js';
+export { createRustCompilerEmittedSourceParser } from './rustCompilerEmittedSourceSyntax.js';
+export { createRustCompilerTargetCompilationSmoke } from './rustCompilerTargetCompilationSmoke.js';
+export { convertPackageNameToRustCrateName, convertSourcePathToRustModuleName, isRustCompilerKeyword, } from './rustCompilerIdentity.js';
+export { createCompilerRuntimeExternalConstructorAbiPlanRust } from './rustRuntimeExternalConstructorAbi.js';
+export { createCompilerRuntimeExternalSymbolBindingPlanRust, getCompilerRuntimeExternalSymbolTargetRust, } from './rustRuntimeExternalSymbolBinding.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/packages/compiler-backend-rs/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../compiler-backend-rs/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AACvF,OAAO,EAAE,oCAAoC,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qCAAqC,EAAE,MAAM,sCAAsC,CAAC;AAC7F,OAAO,EAAE,wCAAwC,EAAE,MAAM,yCAAyC,CAAC;AACnG,OAAO,EACL,iCAAiC,EACjC,iCAAiC,EACjC,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,mDAAmD,EAAE,MAAM,wCAAwC,CAAC;AAC7G,OAAO,EACL,kDAAkD,EAClD,0CAA0C,GAC3C,MAAM,uCAAuC,CAAC"}

package/dist/packages/compiler-backend-rs/src/index.js

@@ -0,0 +1,8 @@
+export { createRustCompilerBackend, emitIrModuleRust } from './rustCompilerBackend.js';
+export { analyzeIrModuleOwnershipEvidenceRust } from './rustOwnershipEvidence.js';
+export { createRustCompilerEmittedSourceParser } from './rustCompilerEmittedSourceSyntax.js';
+export { createRustCompilerTargetCompilationSmoke } from './rustCompilerTargetCompilationSmoke.js';
+export { convertPackageNameToRustCrateName, convertSourcePathToRustModuleName, isRustCompilerKeyword, } from './rustCompilerIdentity.js';
+export { createCompilerRuntimeExternalConstructorAbiPlanRust } from './rustRuntimeExternalConstructorAbi.js';
+export { createCompilerRuntimeExternalSymbolBindingPlanRust, getCompilerRuntimeExternalSymbolTargetRust, } from './rustRuntimeExternalSymbolBinding.js';
+//# sourceMappingURL=index.js.map

package/dist/packages/compiler-backend-rs/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../compiler-backend-rs/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AACvF,OAAO,EAAE,oCAAoC,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qCAAqC,EAAE,MAAM,sCAAsC,CAAC;AAC7F,OAAO,EAAE,wCAAwC,EAAE,MAAM,yCAAyC,CAAC;AACnG,OAAO,EACL,iCAAiC,EACjC,iCAAiC,EACjC,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,mDAAmD,EAAE,MAAM,wCAAwC,CAAC;AAC7G,OAAO,EACL,kDAAkD,EAClD,0CAA0C,GAC3C,MAAM,uCAAuC,CAAC"}

package/dist/packages/compiler-backend-rs/src/rustAmbientMemberBinding.d.ts

@@ -0,0 +1,3 @@
+import type { CompilerRustAmbientMemberBinding, IrResolvedMember } from '../../compiler-types/src/index.js';
+export declare function getCompilerRustAmbientMemberBinding(member: Readonly<IrResolvedMember>): CompilerRustAmbientMemberBinding | undefined;
+//# sourceMappingURL=rustAmbientMemberBinding.d.ts.map

package/dist/packages/compiler-backend-rs/src/rustAmbientMemberBinding.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rustAmbientMemberBinding.d.ts","sourceRoot":"","sources":["../../../../../compiler-backend-rs/src/rustAmbientMemberBinding.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gCAAgC,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAS5G,wBAAgB,mCAAmC,CACjD,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC,GACjC,gCAAgC,GAAG,SAAS,CAE9C"}

package/dist/packages/compiler-backend-rs/src/rustAmbientMemberBinding.js

@@ -0,0 +1,99 @@
+// How Rust spells a member of the ambient surface.
+//
+// Rust reaches a collection's shape through iterators rather than through methods on the collection,
+// so `map` is a chain that has to be collected back and `length` is a call that counts in `usize`.
+// Those are shapes, not renames, which is why the binding says which shape rather than only a name.
+// A member absent from this table has no agreed Rust spelling and is refused rather than guessed at.
+export function getCompilerRustAmbientMemberBinding(member) {
+    return rustAmbientMemberBindings[`${member.receiver}.${member.name}`];
+}
+const rustAmbientMemberBindings = {
+    'arrayBuffer.byteLength': { kind: 'countingMethod', targetName: 'byte_length' },
+    'array.concat': { kind: 'method', targetName: 'extend' },
+    'array.every': { collect: false, kind: 'iterator', targetName: 'all' },
+    'array.filter': { borrowsElement: true, collect: true, kind: 'iterator', targetName: 'filter' },
+    'array.find': { borrowsElement: true, collect: false, kind: 'iterator', targetName: 'find' },
+    'array.findIndex': { kind: 'predicatePosition', targetName: 'position' },
+    'array.flatMap': { collect: true, kind: 'iterator', targetName: 'flat_map' },
+    'array.includes': { kind: 'borrowedMethod', targetName: 'contains' },
+    'array.indexOf': { kind: 'positionSearch', targetName: 'position' },
+    'array.join': { kind: 'borrowedMethod', targetName: 'join' },
+    'array.lastIndexOf': { kind: 'positionSearch', targetName: 'rposition' },
+    'array.length': { kind: 'countingMethod', targetName: 'len' },
+    'array.map': { collect: true, kind: 'iterator', targetName: 'map' },
+    'array.pop': { kind: 'method', targetName: 'pop' },
+    'array.push': { kind: 'method', targetName: 'push' },
+    'array.reduce': { argumentOrder: [1, 0], collect: false, kind: 'iterator', targetName: 'fold' },
+    'array.reverse': { kind: 'method', targetName: 'reverse' },
+    'array.shift': { kind: 'method', leadingArguments: ['0'], targetName: 'remove' },
+    // `slice` is emitted as a range rather than bound to a name: Rust reaches a subrange through
+    // indexing, and the source's optional bounds decide which range it is.
+    'array.slice': { kind: 'method', targetName: 'slice' },
+    'array.some': { collect: false, kind: 'iterator', targetName: 'any' },
+    'array.unshift': { kind: 'method', leadingArguments: ['0'], targetName: 'insert' },
+    'dataView.buffer': { kind: 'propertyMethod', targetName: 'buffer' },
+    'dataView.byteLength': { kind: 'countingMethod', targetName: 'byte_length' },
+    'dataView.byteOffset': { kind: 'countingMethod', targetName: 'byte_offset' },
+    'dataView.getFloat32': { kind: 'method', targetName: 'get_float32' },
+    'dataView.getFloat64': { kind: 'method', targetName: 'get_float64' },
+    'dataView.getInt8': { kind: 'method', targetName: 'get_int8' },
+    'dataView.getInt16': { kind: 'method', targetName: 'get_int16' },
+    'dataView.getInt32': { kind: 'method', targetName: 'get_int32' },
+    'dataView.getUint8': { kind: 'method', targetName: 'get_uint8' },
+    'dataView.getUint16': { kind: 'method', targetName: 'get_uint16' },
+    'dataView.getUint32': { kind: 'method', targetName: 'get_uint32' },
+    'dataView.setFloat32': { kind: 'method', targetName: 'set_float32' },
+    'dataView.setFloat64': { kind: 'method', targetName: 'set_float64' },
+    'dataView.setInt8': { kind: 'method', targetName: 'set_int8' },
+    'dataView.setInt16': { kind: 'method', targetName: 'set_int16' },
+    'dataView.setInt32': { kind: 'method', targetName: 'set_int32' },
+    'dataView.setUint8': { kind: 'method', targetName: 'set_uint8' },
+    'dataView.setUint16': { kind: 'method', targetName: 'set_uint16' },
+    'dataView.setUint32': { kind: 'method', targetName: 'set_uint32' },
+    'date.getDate': { kind: 'method', targetName: 'day' },
+    'date.getDay': { kind: 'method', targetName: 'weekday' },
+    'date.getFullYear': { kind: 'method', targetName: 'year' },
+    'date.getHours': { kind: 'method', targetName: 'hour' },
+    'date.getMilliseconds': { kind: 'method', targetName: 'millisecond' },
+    'date.getMinutes': { kind: 'method', targetName: 'minute' },
+    'date.getMonth': { kind: 'method', targetName: 'month' },
+    'date.getSeconds': { kind: 'method', targetName: 'second' },
+    'date.getTime': { kind: 'method', targetName: 'timestamp_millis' },
+    'date.toISOString': { kind: 'method', targetName: 'to_iso_string' },
+    'date.toString': { kind: 'method', targetName: 'to_string' },
+    'error.message': { kind: 'method', targetName: 'to_string' },
+    'map.clear': { kind: 'method', targetName: 'clear' },
+    'map.delete': { kind: 'borrowedMethod', targetName: 'remove' },
+    'map.get': { kind: 'optionalLookup', targetName: 'get' },
+    'map.has': { kind: 'borrowedMethod', targetName: 'contains_key' },
+    'map.set': { kind: 'method', targetName: 'insert' },
+    'map.size': { kind: 'countingMethod', targetName: 'len' },
+    'number.toString': { kind: 'method', targetName: 'to_string' },
+    'set.add': { kind: 'method', targetName: 'insert' },
+    'set.clear': { kind: 'method', targetName: 'clear' },
+    'set.delete': { kind: 'borrowedMethod', targetName: 'remove' },
+    'set.has': { kind: 'borrowedMethod', targetName: 'contains' },
+    'set.size': { kind: 'countingMethod', targetName: 'len' },
+    'string.length': { kind: 'countingMethod', targetName: 'len' },
+    'string.endsWith': { kind: 'borrowedMethod', targetName: 'ends_with' },
+    'string.includes': { kind: 'borrowedMethod', targetName: 'contains' },
+    'string.indexOf': { kind: 'sentinelSearch', targetName: 'find' },
+    'string.lastIndexOf': { kind: 'sentinelSearch', targetName: 'rfind' },
+    // The source language replaces the first occurrence; Rust's `replace` replaces every one, and
+    // `replacen` with a count of one is the member that means what the source meant.
+    'string.replace': { kind: 'borrowedMethod', targetName: 'replacen', trailingArguments: ['1'] },
+    'string.repeat': { kind: 'runtimeMethod', targetName: 'repeat_text' },
+    'string.split': { kind: 'splitCollect', targetName: 'split' },
+    'string.startsWith': { kind: 'borrowedMethod', targetName: 'starts_with' },
+    'string.toLowerCase': { kind: 'method', targetName: 'to_lowercase' },
+    'string.toUpperCase': { kind: 'method', targetName: 'to_uppercase' },
+    'string.trim': { kind: 'method', owns: true, targetName: 'trim' },
+    'typedArray.buffer': { kind: 'propertyMethod', targetName: 'buffer' },
+    'typedArray.byteLength': { kind: 'countingMethod', targetName: 'byte_length' },
+    'typedArray.byteOffset': { kind: 'countingMethod', targetName: 'byte_offset' },
+    'typedArray.length': { kind: 'countingMethod', targetName: 'len' },
+    'typedArray.slice': { kind: 'method', targetName: 'slice' },
+    'typedArray.subarray': { kind: 'method', targetName: 'subarray' },
+    'tuple.length': { kind: 'countingMethod', targetName: 'len' },
+};
+//# sourceMappingURL=rustAmbientMemberBinding.js.map