@tsonic/frontend 0.0.62 → 0.0.63

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

@@ -10,18 +10,24 @@
  * - INV-1: No convertType/getHandleRegistry outside TypeAuthority
  * - INV-2: Deterministic type sources only
  * - INV-3: Poison-on-missing-types (return unknownType + emit diagnostic)
+ *
+ * DAG position: orchestrator — imports all split modules, constructs state,
+ * returns TypeAuthority with functions bound to shared state.
  */
-import type { IrType, IrFunctionType, IrMethodSignature } from "../types/index.js";
+import type { IrType, IrFunctionType } from "../types/index.js";
 import type { Diagnostic } from "../../types/diagnostic.js";
-import type { DeclId, SignatureId, MemberId, TypeSyntaxId, TypeParameterInfo, UtilityTypeName, ParameterMode } from "./types.js";
+import type { DeclId, SignatureId, MemberId, TypeSyntaxId, UtilityTypeName } from "./types.js";
 import type { AliasTable } from "./internal/universe/alias-table.js";
-import type { TypeId, UnifiedTypeCatalog } from "./internal/universe/types.js";
+import type { UnifiedTypeCatalog } from "./internal/universe/types.js";
+export type { MemberRef, CallQuery, ResolvedCall, Site, } from "./type-system-state.js";
+export { BUILTIN_NOMINALS, poisonedCall } from "./type-system-state.js";
+import type { HandleRegistry, TypeRegistryAPI, NominalEnvAPI, CallQuery, ResolvedCall, MemberRef, Site, TypeSubstitutionMap } from "./type-system-state.js";
 /**
  * TypeAuthority interface — Alice's exact specification.
  *
  * Key method: resolveCall(query) — single entry point for all call resolution.
  */
-export interface TypeAuthority {
+export type TypeAuthority = {
     /**
      * Convert a captured type syntax to IrType.
      *
@@ -31,8 +37,7 @@ export interface TypeAuthority {
      * ALICE'S SPEC (Phase 4): TypeSystem receives opaque handles, not ts.TypeNode.
      * This keeps the TypeSystem public API free of TypeScript types.
      *
-     * NOTE: The deprecated convertTypeNode() method has been removed.
-     * All converters now use captureTypeSyntax() + typeFromSyntax().
+     * All converters use captureTypeSyntax() + typeFromSyntax().
      */
     typeFromSyntax(typeSyntaxId: TypeSyntaxId): IrType;
     /**
@@ -217,140 +222,6 @@ export interface TypeAuthority {
      * Clear accumulated diagnostics.
      */
     clearDiagnostics(): void;
-}
-/**
- * MemberRef — Reference to a member by ID or name.
- *
- * byId: Use when MemberId is available (stable identity).
- * byName: Use for dynamic access (property access expressions).
- */
-export type MemberRef = {
-    readonly kind: "byId";
-    readonly id: MemberId;
-} | {
-    readonly kind: "byName";
-    readonly name: string;
-};
-/**
- * CallQuery — Input to resolveCall().
- *
- * Contains all information needed to resolve a call site.
- *
- * IMPORTANT (Alice's spec): argumentCount is REQUIRED for totality.
- * Even if signature lookup fails, TypeSystem must return correct-arity
- * arrays filled with unknownType. This prevents fallback behavior.
- */
-export type CallQuery = {
-    /** The signature being called (from Binding.resolveCallSignature) */
-    readonly sigId: SignatureId;
-    /**
-     * Number of arguments at the call site.
-     *
-     * REQUIRED for totality: Used to construct correct-arity poisoned result
-     * when signature lookup fails. Without this, TypeSystem cannot guarantee
-     * parameterTypes.length === argumentCount.
-     */
-    readonly argumentCount: number;
-    /** Receiver type for member calls (e.g., `arr` in `arr.map(...)`) */
-    readonly receiverType?: IrType;
-    /** Explicit type arguments from call syntax (e.g., `fn<string>(...)`) */
-    readonly explicitTypeArgs?: readonly IrType[];
-    /** Argument types for deterministic unification (undefined = unknown) */
-    readonly argTypes?: readonly (IrType | undefined)[];
-    /**
-     * Contextual expected return type from call site usage.
-     *
-     * Used for deterministic generic inference when method type parameters only
-     * appear in the return position (e.g., `ok<T>(value: T): Ok<T>` in
-     * `return ok({...})` where function return type is `Result<Payload, string>`).
-     */
-    readonly expectedReturnType?: IrType;
-    /** Blame location for diagnostics */
-    readonly site?: Site;
-};
-/**
- * ResolvedCall — Output of resolveCall().
- *
- * Contains fully instantiated types after all substitutions applied.
- */
-export type ResolvedCall = {
-    /** Fully instantiated parameter types (undefined = missing annotation) */
-    readonly parameterTypes: readonly (IrType | undefined)[];
-    /** Parameter passing modes (value, ref, out, in) */
-    readonly parameterModes: readonly ParameterMode[];
-    /** Fully instantiated return type */
-    readonly returnType: IrType;
-    /**
-     * Type predicate info for narrowing (x is T).
-     * Only present if the function has a type predicate return type.
-     */
-    readonly typePredicate?: TypePredicateResult;
-    /** Diagnostics emitted during resolution */
-    readonly diagnostics: readonly Diagnostic[];
-};
-/**
- * TypePredicateResult — Resolved type predicate info.
- *
- * Extracted from SignatureInfo.typePredicate and converted to IR types.
- */
-export type TypePredicateResult = {
-    readonly kind: "param";
-    readonly parameterIndex: number;
-    readonly targetType: IrType;
-} | {
-    readonly kind: "this";
-    readonly targetType: IrType;
-};
-/**
- * Site — Blame location for diagnostics.
- *
- * Used to report errors at the correct source location.
- */
-export type Site = {
-    /** Source file path */
-    readonly file?: string;
-    /** 0-based line number */
-    readonly line?: number;
-    /** 0-based column number */
-    readonly column?: number;
-    /** Original AST node (for detailed location) */
-    readonly node?: unknown;
-};
-/**
- * Type substitution map — maps type parameter names to concrete types.
- */
-export type TypeSubstitutionMap = ReadonlyMap<string, IrType>;
-/**
- * Raw signature information extracted from Binding.
- *
- * This is the pre-substitution form stored in the signature cache.
- */
-export type RawSignatureInfo = {
-    /** Parameter types (undefined = missing annotation → TSN5201) */
-    readonly parameterTypes: readonly (IrType | undefined)[];
-    /** TypeScript `this:` parameter type (if present). Excluded from `parameterTypes`. */
-    readonly thisParameterType?: IrType;
-    /** Return type (voidType if not specified) */
-    readonly returnType: IrType;
-    /** Parameter modes */
-    readonly parameterModes: readonly ParameterMode[];
-    /** Type parameters for generic methods */
-    readonly typeParameters: readonly TypeParameterInfo[];
-    /** Parameter names (for diagnostics) */
-    readonly parameterNames: readonly string[];
-    /**
-     * Type predicate (x is T) - extracted at Binding registration time.
-     * Contains target type as IrType.
-     */
-    readonly typePredicate?: TypePredicateResult;
-    /**
-     * Declaring identity — CRITICAL for inheritance substitution.
-     *
-     * Without this, resolveCall cannot compute receiver substitution.
-     * Uses simple TS name, resolved via UnifiedTypeCatalog.resolveTsName().
-     */
-    readonly declaringTypeTsName?: string;
-    readonly declaringMemberName?: string;
 };
 /**
  * Configuration for creating a TypeSystem instance.
@@ -412,229 +283,17 @@ export type TypeSystemConfig = {
     readonly resolveCallSignature: (node: unknown) => SignatureId | undefined;
     readonly resolveConstructorSignature: (node: unknown) => SignatureId | undefined;
 };
-/**
- * HandleRegistry — maps opaque handles to their underlying data.
- *
- * Created and managed by the Binding layer. TypeSystem uses this
- * to look up declaration and signature information.
- */
-export interface HandleRegistry {
-    /** Get declaration info for a DeclId */
-    getDecl(id: DeclId): DeclInfo | undefined;
-    /** Get signature info for a SignatureId */
-    getSignature(id: SignatureId): SignatureInfo | undefined;
-    /** Get member info for a MemberId */
-    getMember(id: MemberId): MemberInfo | undefined;
-    /**
-     * Get captured type syntax for a TypeSyntaxId.
-     *
-     * Returns the TypeNode that was captured via Binding.captureTypeSyntax().
-     * TypeSystem uses this internally to convert captured syntax to IrType.
-     */
-    getTypeSyntax(id: TypeSyntaxId): TypeSyntaxInfo | undefined;
-}
-/**
- * Type syntax info stored in the handle registry.
- */
-export type TypeSyntaxInfo = {
-    /** The captured TypeNode (ts.TypeNode, cast to unknown) */
-    readonly typeNode: unknown;
-};
-/**
- * Captured class member names for override detection.
- * Pure data — no TS nodes.
- */
-export type ClassMemberNames = {
-    readonly methods: ReadonlySet<string>;
-    readonly properties: ReadonlySet<string>;
-};
-/**
- * Declaration info in the handle registry.
- */
-export type DeclInfo = {
-    /** Explicit type annotation (ts.TypeNode, cast to unknown) */
-    readonly typeNode?: unknown;
-    /** Declaration kind */
-    readonly kind: DeclKind;
-    /** Fully-qualified name */
-    readonly fqName?: string;
-    /** Declaration AST node (ts.Declaration, cast to unknown) */
-    readonly declNode?: unknown;
-    /** Captured class member names (for class declarations only) */
-    readonly classMemberNames?: ClassMemberNames;
-};
-export type DeclKind = "variable" | "function" | "class" | "interface" | "typeAlias" | "enum" | "parameter" | "property" | "method";
-/**
- * Signature info in the handle registry.
- *
- * IMPORTANT: Must include declaring identity for resolveCall().
- */
-export type SignatureInfo = {
-    /** Parameter nodes */
-    readonly parameters: readonly ParameterNode[];
-    /** Type node of a TypeScript `this:` parameter (if present). Excluded from `parameters`. */
-    readonly thisTypeNode?: unknown;
-    /** Return type node (ts.TypeNode, cast to unknown) */
-    readonly returnTypeNode?: unknown;
-    /** Type parameters */
-    readonly typeParameters?: readonly TypeParameterNode[];
-    /**
-     * Declaring type simple TS name (e.g., "Box" not "Test.Box").
-     *
-     * CRITICAL: Required for inheritance substitution in resolveCall().
-     * Resolved via UnifiedTypeCatalog.resolveTsName() to get CLR FQ name.
-     */
-    readonly declaringTypeTsName?: string;
-    /**
-     * Declaring member name.
-     *
-     * CRITICAL: Required for inheritance substitution in resolveCall().
-     */
-    readonly declaringMemberName?: string;
-    /**
-     * Type predicate information for `x is T` return types.
-     *
-     * Extracted at registration time via pure syntax inspection.
-     * Contains targetTypeNode which TypeSystem converts to IrType.
-     */
-    readonly typePredicate?: SignatureTypePredicateRaw;
-};
-/**
- * Raw type predicate info as stored in SignatureInfo.
- * Contains TypeNode, not IrType.
- */
-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;
-};
-/**
- * Member info in the handle registry.
- */
-export type MemberInfo = {
-    readonly name: string;
-    readonly declNode?: unknown;
-    readonly typeNode?: unknown;
-    readonly isOptional: boolean;
-    readonly isReadonly: boolean;
-};
-/**
- * TypeRegistry API — minimal interface needed by TypeSystem.
- *
- * After Step 3, TypeRegistry stores pure IR.
- */
-export interface TypeRegistryAPI {
-    /** Resolve a type by fully-qualified name */
-    resolveNominal(fqName: string): TypeRegistryEntry | undefined;
-    /** Resolve a type by simple name (returns first match) */
-    resolveBySimpleName(simpleName: string): TypeRegistryEntry | undefined;
-    /** Get fully-qualified name from simple name */
-    getFQName(simpleName: string): string | undefined;
-    /** Get member type from a nominal type (pure IR after Step 3) */
-    getMemberType(fqNominal: string, memberName: string): IrType | undefined;
-    /** Check if a type is registered */
-    hasType(fqName: string): boolean;
-}
-/**
- * Type parameter info in TypeRegistry.
- *
- * Pure IR representation of type parameters.
- */
-export type TypeParameterEntry = {
-    readonly name: string;
-    readonly constraint?: IrType;
-    readonly defaultType?: IrType;
-};
-/**
- * TypeRegistry entry.
- *
- * After Step 3, members/heritage store IrType, not TypeNodes.
- */
-export type TypeRegistryEntry = {
-    readonly kind: "class" | "interface" | "typeAlias";
-    readonly name: string;
-    readonly fullyQualifiedName: string;
-    readonly typeParameters: readonly TypeParameterEntry[];
-    readonly members: ReadonlyMap<string, TypeRegistryMemberInfo>;
-};
-/**
- * Member info in TypeRegistry.
- *
- * Pure IR representation - stores IrType, not TypeNode.
- */
-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[];
-};
-/**
- * NominalEnv API — Phase 6: TypeId-based interface.
- */
-export interface NominalEnvAPI {
-    /** Get inheritance chain for a type (returns TypeIds) */
-    getInheritanceChain(typeId: TypeId): readonly TypeId[];
-    /** Get substitution for a parent type given child instantiation */
-    getInstantiation(receiverTypeId: TypeId, receiverTypeArgs: readonly IrType[], targetTypeId: TypeId): ReadonlyMap<string, IrType> | undefined;
-    /** Find the declaring type of a member in the inheritance chain */
-    findMemberDeclaringType(receiverTypeId: TypeId, receiverTypeArgs: readonly IrType[], memberName: string): MemberLookupResult | undefined;
-}
-/**
- * Result of looking up a member in the inheritance chain.
- */
-export type MemberLookupResult = {
-    /** TypeId of the type that declares the member */
-    readonly declaringTypeId: TypeId;
-    /** Substitution to apply to the member's declared type */
-    readonly substitution: ReadonlyMap<string, IrType>;
-};
-/**
- * Mapping from primitive type names to their nominal type names.
- *
- * Used by typeOfMember to look up members on primitives.
- * e.g., `"hello".length` → String.length
- */
-export declare const BUILTIN_NOMINALS: Readonly<Record<string, string>>;
-/** Poison type for undeterminable types */
-export declare const unknownType: IrType;
-/** Poison type for impossible types */
-export declare const neverType: IrType;
-/** Void type for functions with no return */
-export declare const voidType: IrType;
-/**
- * Create a poisoned ResolvedCall with correct arity.
- *
- * CRITICAL (Alice's spec): Empty arrays are ILLEGAL.
- * Poisoned results must have correct arity so callers cannot
- * detect failure via `length === 0` and fall back to legacy.
- *
- * @param arity Number of parameters/arguments (from CallQuery.argumentCount)
- * @param diagnostics Diagnostics explaining why resolution failed
- */
-export declare const poisonedCall: (arity: number, diagnostics: readonly Diagnostic[]) => ResolvedCall;
 /**
  * Create a TypeSystem instance with internal caches.
  *
  * This is the single factory for TypeSystem. All type queries go through
  * the returned TypeSystem instance.
+ *
+ * Constructs the shared TypeSystemState and delegates to split modules:
+ * - type-system-relations.ts: substitute, instantiate, isAssignableTo, typesEqual, containsTypeParameter
+ * - type-system-call-resolution.ts: resolveCall, delegateToFunctionType, convertTypeNode
+ * - type-system-inference.ts: typeOfDecl, typeOfMember, getIndexerInfo, and declaration queries
+ * - type-system-utilities.ts: expandUtility
  */
 export declare const createTypeSystem: (config: TypeSystemConfig) => TypeAuthority;
 //# sourceMappingURL=type-system.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"type-system.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,cAAc,EAMd,iBAAiB,EAElB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,UAAU,EAAkB,MAAM,2BAA2B,CAAC;AAC5E,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,aAAa,EACd,MAAM,YAAY,CAAC;AAWpB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,KAAK,EAEV,MAAM,EACN,kBAAkB,EACnB,MAAM,8BAA8B,CAAC;AAMtC;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAK5B;;;;;;;;;;;OAWG;IACH,cAAc,CAAC,YAAY,EAAE,YAAY,GAAG,MAAM,CAAC;IAMnD;;;;OAIG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IAMnC;;;;;;;;;OASG;IACH,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC;IAEvE;;;;;;OAMG;IACH,cAAc,CACZ,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE,IAAI,GACV;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IAM3E;;;;;;;;;;OAUG;IACH,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,YAAY,CAAC;IAE5C;;;;;OAKG;IACH,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAAC;IAMjE;;;;;;;;;;;;;OAaG;IACH,aAAa,CACX,IAAI,EAAE,eAAe,EACrB,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,IAAI,CAAC,EAAE,IAAI,GACV,MAAM,CAAC;IAMV;;;;OAIG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAAC;IAE7D;;;;OAIG;IACH,WAAW,CACT,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,IAAI,CAAC,EAAE,IAAI,GACV,MAAM,CAAC;IAMV;;;;OAIG;IACH,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAExD;;OAEG;IACH,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAE1C;;OAEG;IACH,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAE7C;;;;;OAKG;IACH,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAE3C;;;;;;;OAOG;IACH,cAAc,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC;IAE3C;;;;;OAKG;IACH,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAEpD;;;;OAIG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAEpC;;;;OAIG;IACH,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAEzC;;;;OAIG;IACH,0BAA0B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAEpD;;;;;;OAMG;IACH,6BAA6B,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC;IAE3D;;;;;;;OAOG;IACH,8BAA8B,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC;IAE5D;;;;;;;OAOG;IACH,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAE/C;;;;;;;;;;;;OAYG;IACH,0BAA0B,CACxB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,QAAQ,GAAG,UAAU,GAChC;QAAE,UAAU,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;IAM9C;;;;OAIG;IACH,cAAc,IAAI,SAAS,UAAU,EAAE,CAAC;IAExC;;OAEG;IACH,gBAAgB,IAAI,IAAI,CAAC;CAC1B;AAMD;;;;;GAKG;AACH,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;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,qEAAqE;IACrE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAE5B;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAE/B,qEAAqE;IACrE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAE/B,yEAAyE;IACzE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAE9C,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAEpD;;;;;;OAMG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAErC,qCAAqC;IACrC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;CACtB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,0EAA0E;IAC1E,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAEzD,oDAAoD;IACpD,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IAElD,qCAAqC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;;OAGG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAC;IAE7C,4CAA4C;IAC5C,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAEF;;;;GAIG;AACH,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;AAIN;;;;GAIG;AACH,MAAM,MAAM,IAAI,GAAG;IACjB,uBAAuB;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEvB,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEvB,4BAA4B;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAEzB,gDAAgD;IAChD,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAM9D;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,iEAAiE;IACjE,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAEzD,sFAAsF;IACtF,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAEpC,8CAA8C;IAC9C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B,sBAAsB;IACtB,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IAElD,0CAA0C;IAC1C,QAAQ,CAAC,cAAc,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAEtD,wCAAwC;IACxC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAE3C;;;OAGG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAC;IAE7C;;;;;OAKG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CACvC,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IAExC;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC;IAEvC;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IAEnC;;;;;;;;;OASG;IACH,QAAQ,CAAC,eAAe,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,CAAC;IAEpD;;;;;;;;OAQG;IACH,QAAQ,CAAC,cAAc,EAAE,kBAAkB,CAAC;IAE5C;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAEhC;;;;;;;OAOG;IACH,QAAQ,CAAC,iBAAiB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,GAAG,SAAS,CAAC;IAClE,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;CAC9B,CAAC;AAMF;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,wCAAwC;IACxC,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;IAE1C,2CAA2C;IAC3C,YAAY,CAAC,EAAE,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS,CAAC;IAEzD,qCAAqC;IACrC,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;IAEhD;;;;;OAKG;IACH,aAAa,CAAC,EAAE,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,CAAC;CAC7D;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,2DAA2D;IAC3D,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC1C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAE5B,uBAAuB;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAExB,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAEzB,6DAA6D;IAC7D,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAE5B,gEAAgE;IAChE,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;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,sBAAsB;IACtB,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAE9C,4FAA4F;IAC5F,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAEhC,sDAAsD;IACtD,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAElC,sBAAsB;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAEvD;;;;;OAKG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAEtC;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAEtC;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,yBAAyB,CAAC;CACpD,CAAC;AAEF;;;GAGG;AACH,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;;GAEG;AACH,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;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,6CAA6C;IAC7C,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAE9D,0DAA0D;IAC1D,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAEvE,gDAAgD;IAChD,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAElD,iEAAiE;IACjE,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAEzE,oCAAoC;IACpC,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;CAClC;AAED;;;;GAIG;AACH,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;;;;GAIG;AACH,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,cAAc,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAEvD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;CAC/D,CAAC;AAEF;;;;GAIG;AACH,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;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,yDAAyD;IACzD,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IAEvD,mEAAmE;IACnE,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;IAE3C,mEAAmE;IACnE,uBAAuB,CACrB,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,UAAU,EAAE,MAAM,GACjB,kBAAkB,GAAG,SAAS,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,kDAAkD;IAClD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IAEjC,0DAA0D;IAC1D,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpD,CAAC;AAMF;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAM7D,CAAC;AAMF,2CAA2C;AAC3C,eAAO,MAAM,WAAW,EAAE,MAAgC,CAAC;AAE3D,uCAAuC;AACvC,eAAO,MAAM,SAAS,EAAE,MAA8B,CAAC;AAEvD,6CAA6C;AAC7C,eAAO,MAAM,QAAQ,EAAE,MAA6B,CAAC;AAErD;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,GACvB,OAAO,MAAM,EACb,aAAa,SAAS,UAAU,EAAE,KACjC,YAKD,CAAC;AAeH;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,gBAAgB,KAAG,aAksH3D,CAAC"}
+{"version":3,"file":"type-system.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,eAAe,EAChB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAEvE,YAAY,EACV,SAAS,EACT,SAAS,EACT,YAAY,EACZ,IAAI,GACL,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAGxE,OAAO,KAAK,EAEV,cAAc,EACd,eAAe,EACf,aAAa,EACb,SAAS,EACT,YAAY,EACZ,SAAS,EACT,IAAI,EACJ,mBAAmB,EAEpB,MAAM,wBAAwB,CAAC;AAuChC;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG;IAK1B;;;;;;;;;;OAUG;IACH,cAAc,CAAC,YAAY,EAAE,YAAY,GAAG,MAAM,CAAC;IAMnD;;;;OAIG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IAMnC;;;;;;;;;OASG;IACH,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC;IAEvE;;;;;;OAMG;IACH,cAAc,CACZ,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE,IAAI,GACV;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IAM3E;;;;;;;;;;OAUG;IACH,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,YAAY,CAAC;IAE5C;;;;;OAKG;IACH,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAAC;IAMjE;;;;;;;;;;;;;OAaG;IACH,aAAa,CACX,IAAI,EAAE,eAAe,EACrB,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,IAAI,CAAC,EAAE,IAAI,GACV,MAAM,CAAC;IAMV;;;;OAIG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAAC;IAE7D;;;;OAIG;IACH,WAAW,CACT,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,IAAI,CAAC,EAAE,IAAI,GACV,MAAM,CAAC;IAMV;;;;OAIG;IACH,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAExD;;OAEG;IACH,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAE1C;;OAEG;IACH,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAE7C;;;;;OAKG;IACH,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAE3C;;;;;;;OAOG;IACH,cAAc,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC;IAE3C;;;;;OAKG;IACH,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAEpD;;;;OAIG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAEpC;;;;OAIG;IACH,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAEzC;;;;OAIG;IACH,0BAA0B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAEpD;;;;;;OAMG;IACH,6BAA6B,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC;IAE3D;;;;;;;OAOG;IACH,8BAA8B,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC;IAE5D;;;;;;;OAOG;IACH,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAE/C;;;;;;;;;;;;OAYG;IACH,0BAA0B,CACxB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,QAAQ,GAAG,UAAU,GAChC;QAAE,UAAU,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;IAM9C;;;;OAIG;IACH,cAAc,IAAI,SAAS,UAAU,EAAE,CAAC;IAExC;;OAEG;IACH,gBAAgB,IAAI,IAAI,CAAC;CAC1B,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IAExC;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC;IAEvC;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IAEnC;;;;;;;;;OASG;IACH,QAAQ,CAAC,eAAe,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,CAAC;IAEpD;;;;;;;;OAQG;IACH,QAAQ,CAAC,cAAc,EAAE,kBAAkB,CAAC;IAE5C;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAEhC;;;;;;;OAOG;IACH,QAAQ,CAAC,iBAAiB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,GAAG,SAAS,CAAC;IAClE,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;CAC9B,CAAC;AAMF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,gBAAgB,KAAG,aAoI3D,CAAC"}