@tsonic/frontend 0.0.74 → 0.0.75

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-state-call-types.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state-call-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEvE,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IACpD,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAC3B;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEN,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IACzD,QAAQ,CAAC,qBAAqB,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAChE,QAAQ,CAAC,aAAa,CAAC,EAAE;QACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;QACvC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;KAC1C,CAAC;IACF,QAAQ,CAAC,oBAAoB,CAAC,EAAE;QAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;QACvC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;KAC1C,CAAC;IACF,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAC;IAC7C,QAAQ,CAAC,aAAa,CAAC,EAAE;QACvB,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;QACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;QAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;QAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;KAC3B,CAAC;IACF,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC"}

package/dist/ir/type-system/type-system-state-call-types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=type-system-state-call-types.js.map

package/dist/ir/type-system/type-system-state-call-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-state-call-types.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state-call-types.ts"],"names":[],"mappings":""}

package/dist/ir/type-system/type-system-state-handle-types.d.ts

@@ -0,0 +1,134 @@
+import type { IrMethodSignature, IrType } from "../types/index.js";
+import type { TypeId } from "./internal/universe/types.js";
+import type { DeclId, MemberId, ParameterMode, SignatureId, TypeParameterInfo, TypeSyntaxId } from "./types.js";
+import type { TypePredicateResult } from "./type-system-state-call-types.js";
+export type RawSignatureInfo = {
+    readonly parameterTypes: readonly (IrType | undefined)[];
+    readonly parameterFlags: readonly {
+        readonly isRest: boolean;
+        readonly isOptional: boolean;
+    }[];
+    readonly thisParameterType?: IrType;
+    readonly returnType: IrType;
+    readonly constructsDeclaringType: boolean;
+    readonly hasDeclaredReturnType: boolean;
+    readonly parameterModes: readonly ParameterMode[];
+    readonly typeParameters: readonly TypeParameterInfo[];
+    readonly parameterNames: readonly string[];
+    readonly typePredicate?: TypePredicateResult;
+    readonly declaringTypeTsName?: string;
+    readonly declaringTypeParameterNames?: readonly string[];
+    readonly declaringMemberName?: string;
+};
+export type HandleRegistry = {
+    getDecl(id: DeclId): DeclInfo | undefined;
+    getSignature(id: SignatureId): SignatureInfo | undefined;
+    getMember(id: MemberId): MemberInfo | undefined;
+    getTypeSyntax(id: TypeSyntaxId): TypeSyntaxInfo | undefined;
+};
+export type TypeSyntaxInfo = {
+    readonly typeNode: unknown;
+    readonly referenceDeclId?: DeclId;
+};
+export type ClassMemberNames = {
+    readonly typeParameters: readonly string[];
+    readonly methods: ReadonlySet<string>;
+    readonly properties: ReadonlySet<string>;
+    readonly methodSignatures: ReadonlyMap<string, readonly CapturedClassMethodSignature[]>;
+    readonly propertyTypeNodes: ReadonlyMap<string, unknown | undefined>;
+};
+export type CapturedClassMethodSignature = {
+    readonly parameters: readonly CapturedClassMethodParameter[];
+};
+export type CapturedClassMethodParameter = {
+    readonly typeNode?: unknown;
+    readonly isRest: boolean;
+};
+export type DeclInfo = {
+    readonly typeNode?: unknown;
+    readonly kind: DeclKind;
+    readonly fqName?: string;
+    readonly declNode?: unknown;
+    readonly typeDeclNode?: unknown;
+    readonly valueDeclNode?: unknown;
+    readonly classMemberNames?: ClassMemberNames;
+};
+export type DeclKind = "variable" | "function" | "class" | "interface" | "typeAlias" | "enum" | "parameter" | "property" | "method";
+export type SignatureInfo = {
+    readonly parameters: readonly ParameterNode[];
+    readonly resolvedParameters?: readonly ParameterNode[];
+    readonly thisTypeNode?: unknown;
+    readonly returnTypeNode?: unknown;
+    readonly typeParameters?: readonly TypeParameterNode[];
+    readonly declaringTypeTsName?: string;
+    readonly declaringTypeParameterNames?: readonly string[];
+    readonly declaringMemberName?: string;
+    readonly typePredicate?: SignatureTypePredicateRaw;
+};
+export type SignatureTypePredicateRaw = {
+    readonly kind: "param";
+    readonly parameterName: string;
+    readonly parameterIndex: number;
+    readonly targetTypeNode: unknown;
+} | {
+    readonly kind: "this";
+    readonly targetTypeNode: unknown;
+};
+export type ParameterNode = {
+    readonly name: string;
+    readonly typeNode?: unknown;
+    readonly isOptional: boolean;
+    readonly isRest: boolean;
+    readonly mode?: ParameterMode;
+};
+export type TypeParameterNode = {
+    readonly name: string;
+    readonly constraintNode?: unknown;
+    readonly defaultNode?: unknown;
+};
+export type MemberInfo = {
+    readonly name: string;
+    readonly declNode?: unknown;
+    readonly typeNode?: unknown;
+    readonly isOptional: boolean;
+    readonly isReadonly: boolean;
+};
+export type TypeRegistryAPI = {
+    resolveNominal(fqName: string): TypeRegistryEntry | undefined;
+    resolveBySimpleName(simpleName: string): TypeRegistryEntry | undefined;
+    getFQName(simpleName: string): string | undefined;
+    getFQNames(simpleName: string): readonly string[];
+    getMemberType(fqNominal: string, memberName: string): IrType | undefined;
+    hasType(fqName: string): boolean;
+};
+export type TypeParameterEntry = {
+    readonly name: string;
+    readonly constraint?: IrType;
+    readonly defaultType?: IrType;
+};
+export type TypeRegistryEntry = {
+    readonly kind: "class" | "interface" | "typeAlias";
+    readonly name: string;
+    readonly fullyQualifiedName: string;
+    readonly ownerIdentity?: string;
+    readonly typeParameters: readonly TypeParameterEntry[];
+    readonly members: ReadonlyMap<string, TypeRegistryMemberInfo>;
+};
+export type TypeRegistryMemberInfo = {
+    readonly kind: "property" | "method" | "indexSignature";
+    readonly name: string;
+    readonly type: IrType | undefined;
+    readonly isOptional: boolean;
+    readonly isReadonly: boolean;
+    readonly methodSignatures?: readonly IrMethodSignature[];
+};
+export type NominalEnvAPI = {
+    getInheritanceChain(typeId: TypeId): readonly TypeId[];
+    getInstantiation(receiverTypeId: TypeId, receiverTypeArgs: readonly IrType[], targetTypeId: TypeId): ReadonlyMap<string, IrType> | undefined;
+    findMemberDeclaringType(receiverTypeId: TypeId, receiverTypeArgs: readonly IrType[], memberName: string): MemberLookupResult | undefined;
+};
+export type MemberLookupResult = {
+    readonly declaringTypeId: TypeId;
+    readonly substitution: ReadonlyMap<string, IrType>;
+};
+//# sourceMappingURL=type-system-state-handle-types.d.ts.map

package/dist/ir/type-system/type-system-state-handle-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-state-handle-types.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state-handle-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACnE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,8BAA8B,CAAC;AAC3D,OAAO,KAAK,EACV,MAAM,EACN,QAAQ,EACR,aAAa,EACb,WAAW,EACX,iBAAiB,EACjB,YAAY,EACb,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAE7E,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IACzD,QAAQ,CAAC,cAAc,EAAE,SAAS;QAChC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;QACzB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;KAC9B,EAAE,CAAC;IACJ,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IAClD,QAAQ,CAAC,cAAc,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtD,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAC;IAC7C,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,2BAA2B,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC1C,YAAY,CAAC,EAAE,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS,CAAC;IACzD,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;IAChD,aAAa,CAAC,EAAE,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,CAAC;CAC7D,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CACpC,MAAM,EACN,SAAS,4BAA4B,EAAE,CACxC,CAAC;IACF,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC,CAAC;CACtE,CAAC;AAEF,MAAM,MAAM,4BAA4B,GAAG;IACzC,QAAQ,CAAC,UAAU,EAAE,SAAS,4BAA4B,EAAE,CAAC;CAC9D,CAAC;AAEF,MAAM,MAAM,4BAA4B,GAAG;IACzC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,QAAQ,GAChB,UAAU,GACV,UAAU,GACV,OAAO,GACP,WAAW,GACX,WAAW,GACX,MAAM,GACN,WAAW,GACX,UAAU,GACV,QAAQ,CAAC;AAEb,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IACvD,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACvD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,2BAA2B,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,aAAa,CAAC,EAAE,yBAAyB,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,yBAAyB,GACjC;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,CAAC;AAEN,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAC9D,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IACvE,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAClD,UAAU,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IAClD,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IACzE,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,WAAW,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACvD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;CAC/D,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,GAAG,gBAAgB,CAAC;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAC1D,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IACvD,gBAAgB,CACd,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,YAAY,EAAE,MAAM,GACnB,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAAC;IAC3C,uBAAuB,CACrB,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,UAAU,EAAE,MAAM,GACjB,kBAAkB,GAAG,SAAS,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpD,CAAC"}

package/dist/ir/type-system/type-system-state-handle-types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=type-system-state-handle-types.js.map

package/dist/ir/type-system/type-system-state-handle-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-state-handle-types.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state-handle-types.ts"],"names":[],"mappings":""}

package/dist/ir/type-system/type-system-state-helpers.d.ts

@@ -0,0 +1,56 @@
+import type { IrType, IrPrimitiveType } from "../types/index.js";
+import type { DiagnosticCode } from "../../types/diagnostic.js";
+import type { TypeId } from "./internal/universe/types.js";
+import type { TypeSystemState } from "./type-system-state-model.js";
+import type { Site } from "./type-system-state-types.js";
+export declare const emitDiagnostic: (state: TypeSystemState, code: DiagnosticCode, message: string, site?: Site) => void;
+export declare const makeMemberCacheKey: (fqName: string, memberName: string, typeArgs?: readonly IrType[]) => string;
+/**
+ * Create a cache key for nominal lookup.
+ */
+export declare const makeNominalLookupKey: (fqName: string, typeArgs: readonly IrType[], memberName: string) => string;
+export declare const isNullishPrimitive: (t: IrType) => t is IrPrimitiveType & {
+    name: "null" | "undefined";
+};
+export declare const addUndefinedToType: (type: IrType) => IrType;
+/**
+ * Resolve a surface name to a canonical TypeId.
+ *
+ * Order:
+ * 1) AliasTable (primitives/globals/System.* canonicalization)
+ * 2) UnifiedTypeCatalog source-authored tsName
+ * 3) UnifiedTypeCatalog assembly tsName
+ * 4) UnifiedTypeCatalog by clrName
+ *
+ * Canonical aliases must win over source-authored global wrapper declarations.
+ * Example:
+ * - source `interface String extends String$instance, __String$views {}`
+ * - canonical alias `String -> System.String`
+ *
+ * Member lookup on `string` / `String` must resolve against the canonical CLR
+ * entry so instance members like `IndexOf` and `Substring` remain available.
+ *
+ * IMPORTANT (airplane-grade):
+ * Resolution must be arity-aware when type arguments are present. Facade
+ * types often omit the `_N` generic arity suffix (e.g. `IList<T>` is a
+ * facade over `IList_1<T>`). When `arity` is provided and the direct
+ * resolution doesn't match, we deterministically try `<name>_<arity>`.
+ */
+export declare const resolveTypeIdByName: (state: TypeSystemState, name: string, arity?: number) => TypeId | undefined;
+export declare const resolveSourceReferenceFQName: (state: TypeSystemState, type: Extract<IrType, {
+    kind: "referenceType";
+}>) => string | undefined;
+/**
+ * Normalize a receiver type to nominal form for member lookup.
+ *
+ * Phase 6: Returns TypeId + typeArgs for TypeId-based NominalEnv.
+ *
+ * ALICE'S RULE R3: Primitive-to-nominal bridging is part of TypeSystem.
+ */
+export declare const normalizeToNominal: (state: TypeSystemState, type: IrType) => {
+    typeId: TypeId;
+    typeArgs: readonly IrType[];
+} | undefined;
+export declare const stripTsonicExtensionWrappers: (type: IrType) => IrType;
+export declare const stripNullishForInference: (type: IrType) => IrType | undefined;
+//# sourceMappingURL=type-system-state-helpers.d.ts.map

package/dist/ir/type-system/type-system-state-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-state-helpers.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAKhE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,8BAA8B,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAC;AAOzD,eAAO,MAAM,cAAc,GACzB,OAAO,eAAe,EACtB,MAAM,cAAc,EACpB,SAAS,MAAM,EACf,OAAO,IAAI,KACV,IAmBF,CAAC;AAeF,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,MAAM,EACd,YAAY,MAAM,EAClB,WAAW,SAAS,MAAM,EAAE,KAC3B,MAKF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,QAAQ,MAAM,EACd,UAAU,SAAS,MAAM,EAAE,EAC3B,YAAY,MAAM,KACjB,MAEF,CAAC;AAGF,eAAO,MAAM,kBAAkB,GAC7B,GAAG,MAAM,KACR,CAAC,IAAI,eAAe,GAAG;IAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAA;CAIrD,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAAI,MAAM,MAAM,KAAG,MAWjD,CAAC;AAMF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,mBAAmB,GAC9B,OAAO,eAAe,EACtB,MAAM,MAAM,EACZ,QAAQ,MAAM,KACb,MAAM,GAAG,SA6GX,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,OAAO,eAAe,EACtB,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,KAC/C,MAAM,GAAG,SAwDX,CAAC;AAMF;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,GAC7B,OAAO,eAAe,EACtB,MAAM,MAAM,KACX;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAAG,SAoCpD,CAAC;AAWF,eAAO,MAAM,4BAA4B,GAAI,MAAM,MAAM,KAAG,MAW3D,CAAC;AAEF,eAAO,MAAM,wBAAwB,GAAI,MAAM,MAAM,KAAG,MAAM,GAAG,SAOhE,CAAC"}

package/dist/ir/type-system/type-system-state-helpers.js

@@ -0,0 +1,291 @@
+import { createLocalTypeIdentityState, localTypeIdentityKey, } from "../types/type-ops.js";
+import { BUILTIN_NOMINALS } from "./type-system-state-registry-types.js";
+// ═══════════════════════════════════════════════════════════════════════════
+// DIAGNOSTIC HELPERS
+// ═══════════════════════════════════════════════════════════════════════════
+export const emitDiagnostic = (state, code, message, site) => {
+    const location = site?.file !== undefined &&
+        site?.line !== undefined &&
+        site?.column !== undefined
+        ? {
+            file: site.file,
+            line: site.line,
+            column: site.column,
+            length: 1, // Default length
+        }
+        : undefined;
+    state.diagnostics.push({
+        code,
+        severity: "error",
+        message,
+        location,
+    });
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// CACHE KEY HELPERS
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Create a cache key for member type lookup.
+ */
+const cacheTypeKeyState = createLocalTypeIdentityState();
+const cacheTypeArgKey = (type) => {
+    return localTypeIdentityKey(type, cacheTypeKeyState);
+};
+export const makeMemberCacheKey = (fqName, memberName, typeArgs) => {
+    if (typeArgs && typeArgs.length > 0) {
+        return `${fqName}:${memberName}:${typeArgs.map(cacheTypeArgKey).join(",")}`;
+    }
+    return `${fqName}:${memberName}`;
+};
+/**
+ * Create a cache key for nominal lookup.
+ */
+export const makeNominalLookupKey = (fqName, typeArgs, memberName) => {
+    return `${fqName}:${typeArgs.map(cacheTypeArgKey).join(",")}:${memberName}`;
+};
+// Helper to check if type is null/undefined primitive
+export const isNullishPrimitive = (t) => {
+    return (t.kind === "primitiveType" && (t.name === "null" || t.name === "undefined"));
+};
+export const addUndefinedToType = (type) => {
+    const undefinedType = { kind: "primitiveType", name: "undefined" };
+    if (type.kind === "unionType") {
+        const hasUndefined = type.types.some((x) => x.kind === "primitiveType" && x.name === "undefined");
+        return hasUndefined
+            ? type
+            : { ...type, types: [...type.types, undefinedType] };
+    }
+    return { kind: "unionType", types: [type, undefinedType] };
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// TYPE ID RESOLUTION
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Resolve a surface name to a canonical TypeId.
+ *
+ * Order:
+ * 1) AliasTable (primitives/globals/System.* canonicalization)
+ * 2) UnifiedTypeCatalog source-authored tsName
+ * 3) UnifiedTypeCatalog assembly tsName
+ * 4) UnifiedTypeCatalog by clrName
+ *
+ * Canonical aliases must win over source-authored global wrapper declarations.
+ * Example:
+ * - source `interface String extends String$instance, __String$views {}`
+ * - canonical alias `String -> System.String`
+ *
+ * Member lookup on `string` / `String` must resolve against the canonical CLR
+ * entry so instance members like `IndexOf` and `Substring` remain available.
+ *
+ * IMPORTANT (airplane-grade):
+ * Resolution must be arity-aware when type arguments are present. Facade
+ * types often omit the `_N` generic arity suffix (e.g. `IList<T>` is a
+ * facade over `IList_1<T>`). When `arity` is provided and the direct
+ * resolution doesn't match, we deterministically try `<name>_<arity>`.
+ */
+export const resolveTypeIdByName = (state, name, arity) => {
+    const normalizeTsbindgenWrapperTypeName = (candidate) => {
+        if (candidate.endsWith("$instance")) {
+            return candidate.slice(0, -"$instance".length);
+        }
+        if (candidate.startsWith("__") && candidate.endsWith("$views")) {
+            return candidate.slice(2, -"$views".length);
+        }
+        return candidate;
+    };
+    const canonicalName = normalizeTsbindgenWrapperTypeName(name);
+    const tsNameCandidate = state.unifiedCatalog.resolveTsName(name);
+    const canonicalTsNameCandidate = canonicalName !== name
+        ? state.unifiedCatalog.resolveTsName(canonicalName)
+        : undefined;
+    const sourceTsNameCandidate = tsNameCandidate &&
+        state.unifiedCatalog.getByTypeId(tsNameCandidate)?.origin === "source"
+        ? tsNameCandidate
+        : undefined;
+    const canonicalSourceTsNameCandidate = canonicalTsNameCandidate &&
+        state.unifiedCatalog.getByTypeId(canonicalTsNameCandidate)?.origin ===
+            "source"
+        ? canonicalTsNameCandidate
+        : undefined;
+    const assemblyTsNameCandidate = tsNameCandidate &&
+        state.unifiedCatalog.getByTypeId(tsNameCandidate)?.origin !== "source"
+        ? tsNameCandidate
+        : undefined;
+    const canonicalAssemblyTsNameCandidate = canonicalTsNameCandidate &&
+        state.unifiedCatalog.getByTypeId(canonicalTsNameCandidate)?.origin !==
+            "source"
+        ? canonicalTsNameCandidate
+        : undefined;
+    const directCandidates = [];
+    const pushCandidate = (candidate) => {
+        if (!candidate)
+            return;
+        if (directCandidates.some((existing) => existing.stableId === candidate.stableId)) {
+            return;
+        }
+        directCandidates.push(candidate);
+    };
+    pushCandidate(state.aliasTable.get(name));
+    pushCandidate(sourceTsNameCandidate);
+    pushCandidate(assemblyTsNameCandidate);
+    pushCandidate(state.unifiedCatalog.resolveClrName(name));
+    if (canonicalName !== name) {
+        pushCandidate(state.aliasTable.get(canonicalName));
+        pushCandidate(canonicalSourceTsNameCandidate);
+        pushCandidate(canonicalAssemblyTsNameCandidate);
+        pushCandidate(state.unifiedCatalog.resolveClrName(canonicalName));
+    }
+    if (arity === undefined) {
+        return directCandidates[0];
+    }
+    const matchesArity = (candidate) => state.unifiedCatalog.getTypeParameters(candidate).length === arity;
+    const directMatch = directCandidates.find(matchesArity);
+    if (directMatch)
+        return directMatch;
+    // Facade name without arity suffix → try tsbindgen's structural encoding.
+    if (arity > 0) {
+        const suffixed = `${name}_${arity}`;
+        const canonicalSuffixed = canonicalName !== name ? `${canonicalName}_${arity}` : undefined;
+        const suffixedCandidates = [];
+        const pushSuffixedCandidate = (candidate) => {
+            if (!candidate)
+                return;
+            if (suffixedCandidates.some((existing) => existing.stableId === candidate.stableId)) {
+                return;
+            }
+            suffixedCandidates.push(candidate);
+        };
+        pushSuffixedCandidate(state.aliasTable.get(suffixed));
+        pushSuffixedCandidate(state.unifiedCatalog.resolveTsName(suffixed));
+        pushSuffixedCandidate(state.unifiedCatalog.resolveClrName(suffixed));
+        if (canonicalSuffixed) {
+            pushSuffixedCandidate(state.aliasTable.get(canonicalSuffixed));
+            pushSuffixedCandidate(state.unifiedCatalog.resolveTsName(canonicalSuffixed));
+            pushSuffixedCandidate(state.unifiedCatalog.resolveClrName(canonicalSuffixed));
+        }
+        const suffixedMatch = suffixedCandidates.find(matchesArity);
+        if (suffixedMatch)
+            return suffixedMatch;
+    }
+    return undefined;
+};
+export const resolveSourceReferenceFQName = (state, type) => {
+    if (type.resolvedClrType || type.name.includes(".")) {
+        return undefined;
+    }
+    const direct = state.typeRegistry.getFQName(type.name);
+    if (direct) {
+        return direct;
+    }
+    const allFqNames = state.typeRegistry.getFQNames(type.name);
+    const dottedCandidates = allFqNames.filter((fqName) => fqName.includes("."));
+    if (dottedCandidates.length === 1) {
+        const [onlyDotted] = dottedCandidates;
+        if (onlyDotted) {
+            return onlyDotted;
+        }
+    }
+    const structuralMembers = type.structuralMembers;
+    if (!structuralMembers || structuralMembers.length === 0) {
+        return undefined;
+    }
+    const candidates = allFqNames.filter((fqName) => {
+        const entry = state.typeRegistry.resolveNominal(fqName);
+        if (!entry) {
+            return false;
+        }
+        return structuralMembers.every((member) => {
+            const entryMember = entry.members.get(member.name);
+            if (!entryMember) {
+                return false;
+            }
+            if (member.kind === "propertySignature") {
+                return entryMember.kind === "property";
+            }
+            if (member.kind === "methodSignature") {
+                return (entryMember.kind === "method" &&
+                    (entryMember.methodSignatures?.some((signature) => signature.parameters.length === member.parameters.length) ??
+                        false));
+            }
+            return false;
+        });
+    });
+    return candidates.length === 1 ? candidates[0] : undefined;
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// NORMALIZATION HELPERS
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Normalize a receiver type to nominal form for member lookup.
+ *
+ * Phase 6: Returns TypeId + typeArgs for TypeId-based NominalEnv.
+ *
+ * ALICE'S RULE R3: Primitive-to-nominal bridging is part of TypeSystem.
+ */
+export const normalizeToNominal = (state, type) => {
+    if (type.kind === "referenceType") {
+        const arity = type.typeArguments?.length;
+        const sourceFqName = resolveSourceReferenceFQName(state, type);
+        const typeId = (type.resolvedClrType
+            ? resolveTypeIdByName(state, type.resolvedClrType, arity)
+            : undefined) ??
+            (sourceFqName
+                ? resolveTypeIdByName(state, sourceFqName, arity)
+                : undefined) ??
+            type.typeId ??
+            (!sourceFqName
+                ? resolveTypeIdByName(state, type.name, arity)
+                : undefined);
+        if (!typeId)
+            return undefined;
+        return { typeId, typeArgs: type.typeArguments ?? [] };
+    }
+    if (type.kind === "primitiveType") {
+        const builtinNominalName = BUILTIN_NOMINALS[type.name];
+        const typeId = (builtinNominalName
+            ? resolveTypeIdByName(state, builtinNominalName, 0)
+            : undefined) ?? resolveTypeIdByName(state, type.name, 0);
+        if (!typeId)
+            return undefined;
+        return { typeId, typeArgs: [] };
+    }
+    if (type.kind === "arrayType") {
+        const arrayTypeId = resolveTypeIdByName(state, "Array", 1);
+        if (!arrayTypeId)
+            return undefined;
+        return { typeId: arrayTypeId, typeArgs: [type.elementType] };
+    }
+    return undefined;
+};
+// tsbindgen-generated "sticky extension scope" helpers are TS-only wrappers that
+// must erase for deterministic IR typing and call inference.
+//
+// Example (generated bindings for Tsonic source):
+//   import type { ExtensionMethods as __TsonicExt_Ef } from "@tsonic/efcore/Microsoft.EntityFrameworkCore.js";
+//   readonly Tenants: __TsonicExt_Ef<...>;
+//
+// These wrapper types have no CLR identity. For the compiler, the only meaningful
+// runtime/CLR shape is the inner type argument.
+export const stripTsonicExtensionWrappers = (type) => {
+    if (type.kind === "referenceType") {
+        if (type.name.startsWith("__TsonicExt_") &&
+            (type.typeArguments?.length ?? 0) === 1) {
+            const inner = type.typeArguments?.[0];
+            return inner ? stripTsonicExtensionWrappers(inner) : type;
+        }
+    }
+    return type;
+};
+export const stripNullishForInference = (type) => {
+    if (isNullishPrimitive(type))
+        return undefined;
+    if (type.kind !== "unionType")
+        return type;
+    const filtered = type.types.filter((t) => !isNullishPrimitive(t));
+    if (filtered.length === 0)
+        return undefined;
+    if (filtered.length === 1 && filtered[0])
+        return filtered[0];
+    return { kind: "unionType", types: filtered };
+};
+//# sourceMappingURL=type-system-state-helpers.js.map

package/dist/ir/type-system/type-system-state-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-state-helpers.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state-helpers.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,4BAA4B,EAC5B,oBAAoB,GACrB,MAAM,sBAAsB,CAAC;AAI9B,OAAO,EAAE,gBAAgB,EAAE,MAAM,uCAAuC,CAAC;AAEzE,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAAsB,EACtB,IAAoB,EACpB,OAAe,EACf,IAAW,EACL,EAAE;IACR,MAAM,QAAQ,GACZ,IAAI,EAAE,IAAI,KAAK,SAAS;QACxB,IAAI,EAAE,IAAI,KAAK,SAAS;QACxB,IAAI,EAAE,MAAM,KAAK,SAAS;QACxB,CAAC,CAAC;YACE,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,CAAC,EAAE,iBAAiB;SAC7B;QACH,CAAC,CAAC,SAAS,CAAC;IAEhB,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,QAAQ,EAAE,OAAO;QACjB,OAAO;QACP,QAAQ;KACT,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,iBAAiB,GAAG,4BAA4B,EAAE,CAAC;AAEzD,MAAM,eAAe,GAAG,CAAC,IAAY,EAAU,EAAE;IAC/C,OAAO,oBAAoB,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,MAAc,EACd,UAAkB,EAClB,QAA4B,EACpB,EAAE;IACV,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,OAAO,GAAG,MAAM,IAAI,UAAU,IAAI,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,GAAG,MAAM,IAAI,UAAU,EAAE,CAAC;AACnC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,MAAc,EACd,QAA2B,EAC3B,UAAkB,EACV,EAAE;IACV,OAAO,GAAG,MAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,UAAU,EAAE,CAAC;AAC9E,CAAC,CAAC;AAEF,sDAAsD;AACtD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,CAAS,EAC8C,EAAE;IACzD,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC5E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAU,EAAE;IACzD,MAAM,aAAa,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC5D,CAAC;QACF,OAAO,YAAY;YACjB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;AAC7D,CAAC,CAAC;AAEF,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAAsB,EACtB,IAAY,EACZ,KAAc,EACM,EAAE;IACtB,MAAM,iCAAiC,GAAG,CAAC,SAAiB,EAAU,EAAE;QACtE,IAAI,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACpC,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC/D,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,MAAM,aAAa,GAAG,iCAAiC,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAG,KAAK,CAAC,cAAc,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IACjE,MAAM,wBAAwB,GAC5B,aAAa,KAAK,IAAI;QACpB,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,aAAa,CAAC,aAAa,CAAC;QACnD,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,qBAAqB,GACzB,eAAe;QACf,KAAK,CAAC,cAAc,CAAC,WAAW,CAAC,eAAe,CAAC,EAAE,MAAM,KAAK,QAAQ;QACpE,CAAC,CAAC,eAAe;QACjB,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,8BAA8B,GAClC,wBAAwB;QACxB,KAAK,CAAC,cAAc,CAAC,WAAW,CAAC,wBAAwB,CAAC,EAAE,MAAM;YAChE,QAAQ;QACR,CAAC,CAAC,wBAAwB;QAC1B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,uBAAuB,GAC3B,eAAe;QACf,KAAK,CAAC,cAAc,CAAC,WAAW,CAAC,eAAe,CAAC,EAAE,MAAM,KAAK,QAAQ;QACpE,CAAC,CAAC,eAAe;QACjB,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,gCAAgC,GACpC,wBAAwB;QACxB,KAAK,CAAC,cAAc,CAAC,WAAW,CAAC,wBAAwB,CAAC,EAAE,MAAM;YAChE,QAAQ;QACR,CAAC,CAAC,wBAAwB;QAC1B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,MAAM,aAAa,GAAG,CAAC,SAA6B,EAAQ,EAAE;QAC5D,IAAI,CAAC,SAAS;YAAE,OAAO;QACvB,IACE,gBAAgB,CAAC,IAAI,CACnB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,QAAQ,CACvD,EACD,CAAC;YACD,OAAO;QACT,CAAC;QACD,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC;IAEF,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1C,aAAa,CAAC,qBAAqB,CAAC,CAAC;IACrC,aAAa,CAAC,uBAAuB,CAAC,CAAC;IACvC,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QAC3B,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;QACnD,aAAa,CAAC,8BAA8B,CAAC,CAAC;QAC9C,aAAa,CAAC,gCAAgC,CAAC,CAAC;QAChD,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,SAAiB,EAAW,EAAE,CAClD,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC;IAErE,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACxD,IAAI,WAAW;QAAE,OAAO,WAAW,CAAC;IAEpC,0EAA0E;IAC1E,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,MAAM,QAAQ,GAAG,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC;QACpC,MAAM,iBAAiB,GACrB,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,aAAa,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACnE,MAAM,kBAAkB,GAAa,EAAE,CAAC;QACxC,MAAM,qBAAqB,GAAG,CAAC,SAA6B,EAAQ,EAAE;YACpE,IAAI,CAAC,SAAS;gBAAE,OAAO;YACvB,IACE,kBAAkB,CAAC,IAAI,CACrB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,QAAQ,CACvD,EACD,CAAC;gBACD,OAAO;YACT,CAAC;YACD,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC,CAAC;QAEF,qBAAqB,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QACtD,qBAAqB,CAAC,KAAK,CAAC,cAAc,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;QACpE,qBAAqB,CAAC,KAAK,CAAC,cAAc,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrE,IAAI,iBAAiB,EAAE,CAAC;YACtB,qBAAqB,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC;YAC/D,qBAAqB,CACnB,KAAK,CAAC,cAAc,CAAC,aAAa,CAAC,iBAAiB,CAAC,CACtD,CAAC;YACF,qBAAqB,CACnB,KAAK,CAAC,cAAc,CAAC,cAAc,CAAC,iBAAiB,CAAC,CACvD,CAAC;QACJ,CAAC;QAED,MAAM,aAAa,GAAG,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC5D,IAAI,aAAa;YAAE,OAAO,aAAa,CAAC;IAC1C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,KAAsB,EACtB,IAAgD,EAC5B,EAAE;IACtB,IAAI,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,gBAAgB,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7E,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,CAAC,UAAU,CAAC,GAAG,gBAAgB,CAAC;QACtC,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IAED,MAAM,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC;IACjD,IAAI,CAAC,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE;YACxC,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,OAAO,KAAK,CAAC;YACf,CAAC;YAED,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACxC,OAAO,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC;YACzC,CAAC;YAED,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACtC,OAAO,CACL,WAAW,CAAC,IAAI,KAAK,QAAQ;oBAC7B,CAAC,WAAW,CAAC,gBAAgB,EAAE,IAAI,CACjC,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU,CAAC,MAAM,CAC3D;wBACC,KAAK,CAAC,CACT,CAAC;YACJ,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC,CAAC;AAEF,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAsB,EACtB,IAAY,EACiD,EAAE;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC;QACzC,MAAM,YAAY,GAAG,4BAA4B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/D,MAAM,MAAM,GACV,CAAC,IAAI,CAAC,eAAe;YACnB,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC;YACzD,CAAC,CAAC,SAAS,CAAC;YACd,CAAC,YAAY;gBACX,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,CAAC;gBACjD,CAAC,CAAC,SAAS,CAAC;YACd,IAAI,CAAC,MAAM;YACX,CAAC,CAAC,YAAY;gBACZ,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC;gBAC9C,CAAC,CAAC,SAAS,CAAC,CAAC;QACjB,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;IACxD,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,MAAM,GACV,CAAC,kBAAkB;YACjB,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,kBAAkB,EAAE,CAAC,CAAC;YACnD,CAAC,CAAC,SAAS,CAAC,IAAI,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC7D,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAClC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAC3D,IAAI,CAAC,WAAW;YAAE,OAAO,SAAS,CAAC;QACnC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;IAC/D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,iFAAiF;AACjF,6DAA6D;AAC7D,EAAE;AACF,kDAAkD;AAClD,+GAA+G;AAC/G,2CAA2C;AAC3C,EAAE;AACF,kFAAkF;AAClF,gDAAgD;AAChD,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,IAAY,EAAU,EAAE;IACnE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,IACE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;YACpC,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EACvC,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;YACtC,OAAO,KAAK,CAAC,CAAC,CAAC,4BAA4B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAsB,EAAE;IAC3E,IAAI,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC7D,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAChD,CAAC,CAAC"}

package/dist/ir/type-system/type-system-state-model.d.ts

@@ -0,0 +1,33 @@
+import type * as ts from "typescript";
+import type { Diagnostic } from "../../types/diagnostic.js";
+import type { IrType } from "../types/index.js";
+import type { AliasTable } from "./internal/universe/alias-table.js";
+import type { UnifiedTypeCatalog } from "./internal/universe/types.js";
+import { neverType, unknownType, voidType } from "./types.js";
+import type { DeclId, SignatureId } from "./types.js";
+import type { HandleRegistry, NominalEnvAPI, NominalLookupResult, RawSignatureInfo, TypeRegistryAPI } from "./type-system-state-types.js";
+export { unknownType, neverType, voidType };
+export type TypeSystemState = {
+    readonly sourceRoot: string;
+    readonly rootNamespace: string;
+    readonly handleRegistry: HandleRegistry;
+    readonly typeRegistry: TypeRegistryAPI;
+    readonly nominalEnv: NominalEnvAPI;
+    readonly convertTypeNodeRaw: (node: unknown) => IrType;
+    readonly unifiedCatalog: UnifiedTypeCatalog;
+    readonly aliasTable: AliasTable;
+    readonly resolveIdentifier: (node: unknown) => DeclId | undefined;
+    readonly resolveTypeReference: (node: unknown) => DeclId | undefined;
+    readonly resolveShorthandAssignment: (node: unknown) => DeclId | undefined;
+    readonly resolveCallSignature: (node: unknown) => SignatureId | undefined;
+    readonly resolveConstructorSignature: (node: unknown) => SignatureId | undefined;
+    readonly checker: ts.TypeChecker;
+    readonly tsCompilerOptions: ts.CompilerOptions;
+    readonly sourceFilesByPath: ReadonlyMap<string, ts.SourceFile>;
+    readonly declTypeCache: Map<number, IrType>;
+    readonly memberDeclaredTypeCache: Map<string, IrType>;
+    readonly signatureRawCache: Map<number, RawSignatureInfo>;
+    readonly nominalMemberLookupCache: Map<string, NominalLookupResult | null>;
+    readonly diagnostics: Diagnostic[];
+};
+//# sourceMappingURL=type-system-state-model.d.ts.map

package/dist/ir/type-system/type-system-state-model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-state-model.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state-model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACtD,OAAO,KAAK,EACV,cAAc,EACd,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EAChB,eAAe,EAChB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAE5C,MAAM,MAAM,eAAe,GAAG;IAE5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,CAAC;IACvD,QAAQ,CAAC,cAAc,EAAE,kBAAkB,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,GAAG,SAAS,CAAC;IAClE,QAAQ,CAAC,oBAAoB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,GAAG,SAAS,CAAC;IACrE,QAAQ,CAAC,0BAA0B,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,GAAG,SAAS,CAAC;IAC3E,QAAQ,CAAC,oBAAoB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,WAAW,GAAG,SAAS,CAAC;IAC1E,QAAQ,CAAC,2BAA2B,EAAE,CACpC,IAAI,EAAE,OAAO,KACV,WAAW,GAAG,SAAS,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IACjC,QAAQ,CAAC,iBAAiB,EAAE,EAAE,CAAC,eAAe,CAAC;IAC/C,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IAG/D,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,uBAAuB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtD,QAAQ,CAAC,iBAAiB,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC1D,QAAQ,CAAC,wBAAwB,EAAE,GAAG,CAAC,MAAM,EAAE,mBAAmB,GAAG,IAAI,CAAC,CAAC;IAG3E,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;CACpC,CAAC"}

package/dist/ir/type-system/type-system-state-model.js

@@ -0,0 +1,3 @@
+import { neverType, unknownType, voidType } from "./types.js";
+export { unknownType, neverType, voidType };
+//# sourceMappingURL=type-system-state-model.js.map

package/dist/ir/type-system/type-system-state-model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-state-model.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state-model.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAU9D,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC"}

package/dist/ir/type-system/type-system-state-registry-types.d.ts

@@ -0,0 +1,11 @@
+import type { Diagnostic } from "../../types/diagnostic.js";
+import type { IrType } from "../types/index.js";
+import type { ResolvedCall } from "./type-system-state-call-types.js";
+export declare const BUILTIN_NOMINALS: Readonly<Record<string, string>>;
+export declare const poisonedCall: (arity: number, diagnostics: readonly Diagnostic[]) => ResolvedCall;
+export type NominalLookupResult = {
+    readonly targetNominal: string;
+    readonly memberType: IrType;
+    readonly substitution: ReadonlyMap<string, IrType>;
+};
+//# sourceMappingURL=type-system-state-registry-types.d.ts.map

package/dist/ir/type-system/type-system-state-registry-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-state-registry-types.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state-registry-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AAEtE,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAM7D,CAAC;AAEF,eAAO,MAAM,YAAY,GACvB,OAAO,MAAM,EACb,aAAa,SAAS,UAAU,EAAE,KACjC,YAOD,CAAC;AAEH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpD,CAAC"}

package/dist/ir/type-system/type-system-state-registry-types.js

@@ -0,0 +1,17 @@
+import { unknownType } from "./types.js";
+export const BUILTIN_NOMINALS = {
+    string: "String",
+    number: "Number",
+    boolean: "Boolean",
+    bigint: "BigInt",
+    symbol: "Symbol",
+};
+export const poisonedCall = (arity, diagnostics) => ({
+    surfaceParameterTypes: Array(arity).fill(unknownType),
+    parameterTypes: Array(arity).fill(unknownType),
+    parameterModes: Array(arity).fill("value"),
+    returnType: unknownType,
+    hasDeclaredReturnType: false,
+    diagnostics,
+});
+//# sourceMappingURL=type-system-state-registry-types.js.map

package/dist/ir/type-system/type-system-state-registry-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-state-registry-types.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state-registry-types.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAGzC,MAAM,CAAC,MAAM,gBAAgB,GAAqC;IAChE,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,SAAS;IAClB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;CACjB,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,KAAa,EACb,WAAkC,EACpB,EAAE,CAAC,CAAC;IAClB,qBAAqB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;IACrD,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;IAC9C,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAgB,CAAC;IACnD,UAAU,EAAE,WAAW;IACvB,qBAAqB,EAAE,KAAK;IAC5B,WAAW;CACZ,CAAC,CAAC"}

package/dist/ir/type-system/type-system-state-types.d.ts

@@ -0,0 +1,4 @@
+export * from "./type-system-state-call-types.js";
+export * from "./type-system-state-handle-types.js";
+export * from "./type-system-state-registry-types.js";
+//# sourceMappingURL=type-system-state-types.d.ts.map

package/dist/ir/type-system/type-system-state-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-state-types.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state-types.ts"],"names":[],"mappings":"AAAA,cAAc,mCAAmC,CAAC;AAClD,cAAc,qCAAqC,CAAC;AACpD,cAAc,uCAAuC,CAAC"}