@tsonic/frontend 0.0.62 → 0.0.63

package/dist/ir/type-system/type-system-call-resolution.d.ts

@@ -0,0 +1,69 @@
+/**
+ * TypeSystem Call Resolution — Signature Extraction, Type ID Attachment, and Call Resolution
+ *
+ * Handles call resolution, signature extraction, type ID attachment, and structural member lookup.
+ *
+ * DAG position: depends on type-system-state and type-system-relations
+ */
+import type { IrType, IrFunctionType, IrParameter, IrInterfaceMember, IrTypeParameter } from "../types/index.js";
+import type { TypeParameterInfo, SignatureId } from "./types.js";
+import type { MethodSignatureEntry } from "./internal/universe/types.js";
+import type { TypeSystemState, CallQuery, ResolvedCall, RawSignatureInfo, TypeSubstitutionMap, Site } from "./type-system-state.js";
+/**
+ * Get or compute raw signature info from SignatureId.
+ * Caches the result for subsequent calls.
+ */
+export declare const getRawSignature: (state: TypeSystemState, sigId: SignatureId) => RawSignatureInfo | undefined;
+/**
+ * Attach canonical TypeIds to IR types where possible.
+ *
+ * This keeps nominal identity stable throughout the pipeline and enables
+ * emit-time resolution without relying on string name matching.
+ */
+export declare const attachParameterTypeIds: (state: TypeSystemState, p: IrParameter) => IrParameter;
+export declare const attachTypeParameterTypeIds: (state: TypeSystemState, tp: IrTypeParameter) => IrTypeParameter;
+export declare const attachInterfaceMemberTypeIds: (state: TypeSystemState, m: IrInterfaceMember) => IrInterfaceMember;
+export declare const attachTypeIds: (state: TypeSystemState, type: IrType) => IrType;
+/**
+ * Deterministic type syntax conversion with canonical TypeId attachment.
+ *
+ * The underlying converter is syntax-only; this wrapper re-attaches the
+ * nominal identity from the UnifiedUniverse so downstream passes (including
+ * the emitter) can resolve CLR types without re-driving a parallel lookup.
+ */
+export declare const convertTypeNode: (state: TypeSystemState, node: unknown) => IrType;
+/**
+ * Convert a nominal CLR delegate type to an IrFunctionType by reading its Invoke signature.
+ *
+ * This is used for deterministic lambda typing when the expected type is a delegate
+ * (e.g., custom delegates from CLR metadata).
+ */
+export declare const delegateToFunctionType: (state: TypeSystemState, type: IrType) => IrFunctionType | undefined;
+/**
+ * Look up a member on a structural (object) type.
+ */
+export declare const lookupStructuralMember: (state: TypeSystemState, type: IrType, memberName: string, site?: Site) => IrType;
+/**
+ * Compute receiver substitution for a method call.
+ *
+ * Given a receiver type (e.g., Array<string>) and a declaring type's TS name,
+ * computes the substitution map for class type parameters.
+ *
+ * Phase 6: Uses TypeId-based NominalEnv.getInstantiation().
+ */
+export declare const computeReceiverSubstitution: (state: TypeSystemState, receiverType: IrType, declaringTypeTsName: string, _declaringMemberName: string) => TypeSubstitutionMap | undefined;
+/**
+ * Deterministic type argument inference from call-site arguments.
+ *
+ * Walks parameter and argument shapes without ambiguity.
+ */
+export declare const inferMethodTypeArgsFromArguments: (state: TypeSystemState, methodTypeParams: readonly TypeParameterInfo[], parameterTypes: readonly (IrType | undefined)[], argTypes: readonly (IrType | undefined)[]) => Map<string, IrType> | undefined;
+export declare const mapEntriesEqual: (left: ReadonlyMap<string, IrType>, right: ReadonlyMap<string, IrType>) => boolean;
+export declare const collectExpectedReturnCandidates: (state: TypeSystemState, type: IrType) => readonly IrType[];
+export declare const containsMethodTypeParameter: (type: IrType, unresolved: ReadonlySet<string>) => boolean;
+export declare const normalizeCatalogTsName: (name: string) => string;
+export declare const isArityCompatible: (signature: MethodSignatureEntry, argumentCount: number) => boolean;
+export declare const scoreSignatureMatch: (state: TypeSystemState, parameterTypes: readonly (IrType | undefined)[], argTypes: readonly (IrType | undefined)[], argumentCount: number) => number;
+export declare const tryResolveCallFromUnifiedCatalog: (state: TypeSystemState, declaringTypeTsName: string, declaringMemberName: string, query: CallQuery) => ResolvedCall | undefined;
+export declare const resolveCall: (state: TypeSystemState, query: CallQuery) => ResolvedCall;
+//# sourceMappingURL=type-system-call-resolution.d.ts.map

package/dist/ir/type-system/type-system-call-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-call-resolution.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-call-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,cAAc,EACd,WAAW,EACX,iBAAiB,EAEjB,eAAe,EAChB,MAAM,mBAAmB,CAAC;AAO3B,OAAO,KAAK,EAAE,iBAAiB,EAAiB,WAAW,EAAE,MAAM,YAAY,CAAC;AAEhF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,KAAK,EACV,eAAe,EACf,SAAS,EACT,YAAY,EACZ,gBAAgB,EAEhB,mBAAmB,EACnB,IAAI,EACL,MAAM,wBAAwB,CAAC;AAgBhC;;;GAGG;AACH,eAAO,MAAM,eAAe,GAC1B,OAAO,eAAe,EACtB,OAAO,WAAW,KACjB,gBAAgB,GAAG,SA2GrB,CAAC;AAMF;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,GACjC,OAAO,eAAe,EACtB,GAAG,WAAW,KACb,WAGD,CAAC;AAEH,eAAO,MAAM,0BAA0B,GACrC,OAAO,eAAe,EACtB,IAAI,eAAe,KAClB,eAOD,CAAC;AAEH,eAAO,MAAM,4BAA4B,GACvC,OAAO,eAAe,EACtB,GAAG,iBAAiB,KACnB,iBAaF,CAAC;AAEF,eAAO,MAAM,aAAa,GAAI,OAAO,eAAe,EAAE,MAAM,MAAM,KAAG,MAuEpE,CAAC;AAMF;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAC1B,OAAO,eAAe,EACtB,MAAM,OAAO,KACZ,MAEF,CAAC;AAMF;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,GACjC,OAAO,eAAe,EACtB,MAAM,MAAM,KACX,cAAc,GAAG,SAmEnB,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,OAAO,eAAe,EACtB,MAAM,MAAM,EACZ,YAAY,MAAM,EAClB,OAAO,IAAI,KACV,MA+DF,CAAC;AAMF;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,GACtC,OAAO,eAAe,EACtB,cAAc,MAAM,EACpB,qBAAqB,MAAM,EAC3B,sBAAsB,MAAM,KAC3B,mBAAmB,GAAG,SAYxB,CAAC;AAMF;;;;GAIG;AACH,eAAO,MAAM,gCAAgC,GAC3C,OAAO,eAAe,EACtB,kBAAkB,SAAS,iBAAiB,EAAE,EAC9C,gBAAgB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EAC/C,UAAU,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,KACxC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAkRxB,CAAC;AAMF,eAAO,MAAM,eAAe,GAC1B,MAAM,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACjC,OAAO,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,KACjC,OAOF,CAAC;AAMF,eAAO,MAAM,+BAA+B,GAC1C,OAAO,eAAe,EACtB,MAAM,MAAM,KACX,SAAS,MAAM,EAyDjB,CAAC;AAMF,eAAO,MAAM,2BAA2B,GACtC,MAAM,MAAM,EACZ,YAAY,WAAW,CAAC,MAAM,CAAC,KAC9B,OAgDF,CAAC;AAMF,eAAO,MAAM,sBAAsB,GAAI,MAAM,MAAM,KAAG,MAMrD,CAAC;AAMF,eAAO,MAAM,iBAAiB,GAC5B,WAAW,oBAAoB,EAC/B,eAAe,MAAM,KACpB,OAyBF,CAAC;AAMF,eAAO,MAAM,mBAAmB,GAC9B,OAAO,eAAe,EACtB,gBAAgB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EAC/C,UAAU,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EACzC,eAAe,MAAM,KACpB,MA+BF,CAAC;AAMF,eAAO,MAAM,gCAAgC,GAC3C,OAAO,eAAe,EACtB,qBAAqB,MAAM,EAC3B,qBAAqB,MAAM,EAC3B,OAAO,SAAS,KACf,YAAY,GAAG,SAiLjB,CAAC;AAMF,eAAO,MAAM,WAAW,GACtB,OAAO,eAAe,EACtB,OAAO,SAAS,KACf,YA4XF,CAAC"}