@tsonic/frontend 0.0.13 → 0.0.15

package/dist/ir/type-system/internal/universe/alias-table.js

@@ -0,0 +1,222 @@
+/**
+ * Alias Table — Maps Surface Names to Canonical TypeIds
+ *
+ * This module provides the alias table that maps TypeScript surface names
+ * to their canonical CLR TypeIds. This replaces the scattered type mappings
+ * in clr-type-mappings.ts with a unified, TypeId-based approach.
+ *
+ * INVARIANT: All surface names (primitives, globals, $instance interfaces)
+ * resolve to the same TypeId as their CLR counterparts.
+ *
+ * Example:
+ * - "string" → TypeId(System.String)
+ * - "String" → TypeId(System.String)
+ * - "System.String" → TypeId(System.String)
+ * - "String$instance" → TypeId(System.String)
+ *
+ * This unification is critical for Alice's TypeSystem spec:
+ * > "string and System.String unify to the same TypeId (stableId)"
+ */
+// ═══════════════════════════════════════════════════════════════════════════
+// PRIMITIVE MAPPINGS
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Maps TypeScript/IR primitive type names to their CLR System.* names.
+ *
+ * These are the core primitive type mappings.
+ */
+const PRIMITIVE_ALIASES = new Map([
+    // Core primitives (TypeScript built-ins)
+    ["string", "System.String"],
+    ["number", "System.Double"],
+    ["boolean", "System.Boolean"],
+    // @tsonic/core signed integers
+    ["sbyte", "System.SByte"],
+    ["short", "System.Int16"],
+    ["int", "System.Int32"],
+    ["long", "System.Int64"],
+    ["nint", "System.IntPtr"],
+    ["int128", "System.Int128"],
+    // @tsonic/core unsigned integers
+    ["byte", "System.Byte"],
+    ["ushort", "System.UInt16"],
+    ["uint", "System.UInt32"],
+    ["ulong", "System.UInt64"],
+    ["nuint", "System.UIntPtr"],
+    ["uint128", "System.UInt128"],
+    // @tsonic/core floating-point
+    ["half", "System.Half"],
+    ["float", "System.Single"],
+    ["double", "System.Double"],
+    ["decimal", "System.Decimal"],
+    // @tsonic/core other primitives
+    ["bool", "System.Boolean"],
+    ["char", "System.Char"],
+]);
+/**
+ * Maps @tsonic/globals type names to their CLR System.* names.
+ *
+ * These are the TypeScript-facing names that wrap CLR types.
+ */
+const GLOBALS_ALIASES = new Map([
+    // Globals from @tsonic/globals
+    ["String", "System.String"],
+    ["Number", "System.Double"],
+    ["Boolean", "System.Boolean"],
+    ["Object", "System.Object"],
+    ["Array", "System.Array"],
+    // Instance interfaces (from @tsonic/dotnet)
+    ["String$instance", "System.String"],
+    ["Double$instance", "System.Double"],
+    ["Boolean$instance", "System.Boolean"],
+    ["Object$instance", "System.Object"],
+    ["Array$instance", "System.Array"],
+]);
+// ═══════════════════════════════════════════════════════════════════════════
+// RECORD-BASED EXPORTS (for backward compatibility during migration)
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Record-based primitive type → CLR System.* mappings.
+ * Used for direct property access in type normalization.
+ *
+ * @deprecated Use normalizeToClrName() instead
+ */
+export const PRIMITIVE_TO_CLR_FQ = Object.fromEntries(PRIMITIVE_ALIASES);
+/**
+ * Record-based globals → CLR System.* mappings.
+ * Used for direct property access in type normalization.
+ *
+ * @deprecated Use normalizeToClrName() instead
+ */
+export const GLOBALS_TO_CLR_FQ = Object.fromEntries(GLOBALS_ALIASES);
+// ═══════════════════════════════════════════════════════════════════════════
+// ALIAS TABLE BUILDER
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Build the alias table from a CLR catalog.
+ *
+ * For each alias, we look up the corresponding CLR type in the catalog
+ * and map the alias to that TypeId.
+ *
+ * @param clrCatalog - The CLR catalog containing loaded type metadata
+ * @returns AliasTable mapping surface names to TypeIds
+ */
+export const buildAliasTable = (clrCatalog) => {
+    const aliases = new Map();
+    // Add primitive aliases
+    for (const [alias, clrName] of PRIMITIVE_ALIASES) {
+        const typeId = clrCatalog.clrNameToTypeId.get(clrName);
+        if (typeId) {
+            aliases.set(alias, typeId);
+        }
+    }
+    // Add globals aliases
+    for (const [alias, clrName] of GLOBALS_ALIASES) {
+        const typeId = clrCatalog.clrNameToTypeId.get(clrName);
+        if (typeId) {
+            aliases.set(alias, typeId);
+        }
+    }
+    // Also add direct CLR name mappings (System.String → TypeId)
+    // These come directly from the catalog
+    for (const [clrName, typeId] of clrCatalog.clrNameToTypeId) {
+        if (!aliases.has(clrName)) {
+            aliases.set(clrName, typeId);
+        }
+    }
+    // tsbindgen emits `$instance` interface names in some signature return/parameter
+    // types (e.g., `List_1$instance<T>`), even though the canonical nominal is
+    // `List_1`. These must unify to the same TypeId for inheritance-based
+    // generic inference (List<T> → IEnumerable<T>) and member lookup.
+    for (const [tsName, typeId] of clrCatalog.tsNameToTypeId) {
+        // Avoid generating nonsense aliases for already-suffixed or internal helper names.
+        if (tsName.endsWith("$instance"))
+            continue;
+        if (tsName.startsWith("__") && tsName.includes("$views"))
+            continue;
+        const instanceAlias = `${tsName}$instance`;
+        if (!aliases.has(instanceAlias)) {
+            aliases.set(instanceAlias, typeId);
+        }
+    }
+    return aliases;
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// ALIAS RESOLUTION
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Resolve a type name to its canonical TypeId using the alias table.
+ *
+ * @param name - The type name to resolve (primitive, global, or CLR name)
+ * @param aliasTable - The alias table
+ * @returns The TypeId if found, undefined otherwise
+ */
+export const resolveAlias = (name, aliasTable) => {
+    return aliasTable.get(name);
+};
+/**
+ * Check if a name is a known alias.
+ */
+export const isKnownAlias = (name, aliasTable) => {
+    return aliasTable.has(name);
+};
+/**
+ * Check if a type name is a known stdlib type (primitive, global, or System.*).
+ *
+ * This is used for fatal diagnostic stratification:
+ * - Missing stdlib type → fatal
+ * - Missing third-party type → error + unknownType
+ */
+export const isStdlibTypeName = (name) => {
+    return (PRIMITIVE_ALIASES.has(name) ||
+        GLOBALS_ALIASES.has(name) ||
+        name.startsWith("System."));
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// HELPER FUNCTIONS
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Get all primitive type names.
+ */
+export const getPrimitiveNames = () => {
+    return Array.from(PRIMITIVE_ALIASES.keys());
+};
+/**
+ * Get all global type names.
+ */
+export const getGlobalNames = () => {
+    return Array.from(GLOBALS_ALIASES.keys());
+};
+/**
+ * Normalize a type name to its CLR fully-qualified name.
+ *
+ * @param typeName - Simple or already-qualified type name
+ * @returns CLR FQ name (e.g., "System.String") or original if no mapping exists
+ */
+export const normalizeToClrName = (typeName) => {
+    // Check primitives first
+    const primitiveClr = PRIMITIVE_ALIASES.get(typeName);
+    if (primitiveClr)
+        return primitiveClr;
+    // Check globals
+    const globalsClr = GLOBALS_ALIASES.get(typeName);
+    if (globalsClr)
+        return globalsClr;
+    // Already qualified or unknown - return as-is
+    return typeName;
+};
+/**
+ * Get the $instance interface name for a CLR type.
+ *
+ * E.g., "System.String" → "String$instance", "String" → "String$instance"
+ */
+export const getInstanceInterfaceName = (typeName) => {
+    // If it's a System.* name, extract the simple part
+    if (typeName.startsWith("System.")) {
+        const simpleName = typeName.substring(7); // Remove "System."
+        return `${simpleName}$instance`;
+    }
+    // Already a simple name
+    return `${typeName}$instance`;
+};
+//# sourceMappingURL=alias-table.js.map

package/dist/ir/type-system/internal/universe/alias-table.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"alias-table.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/alias-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAeH,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,iBAAiB,GAAgC,IAAI,GAAG,CAAC;IAC7D,yCAAyC;IACzC,CAAC,QAAQ,EAAE,eAAe,CAAC;IAC3B,CAAC,QAAQ,EAAE,eAAe,CAAC;IAC3B,CAAC,SAAS,EAAE,gBAAgB,CAAC;IAE7B,+BAA+B;IAC/B,CAAC,OAAO,EAAE,cAAc,CAAC;IACzB,CAAC,OAAO,EAAE,cAAc,CAAC;IACzB,CAAC,KAAK,EAAE,cAAc,CAAC;IACvB,CAAC,MAAM,EAAE,cAAc,CAAC;IACxB,CAAC,MAAM,EAAE,eAAe,CAAC;IACzB,CAAC,QAAQ,EAAE,eAAe,CAAC;IAE3B,iCAAiC;IACjC,CAAC,MAAM,EAAE,aAAa,CAAC;IACvB,CAAC,QAAQ,EAAE,eAAe,CAAC;IAC3B,CAAC,MAAM,EAAE,eAAe,CAAC;IACzB,CAAC,OAAO,EAAE,eAAe,CAAC;IAC1B,CAAC,OAAO,EAAE,gBAAgB,CAAC;IAC3B,CAAC,SAAS,EAAE,gBAAgB,CAAC;IAE7B,8BAA8B;IAC9B,CAAC,MAAM,EAAE,aAAa,CAAC;IACvB,CAAC,OAAO,EAAE,eAAe,CAAC;IAC1B,CAAC,QAAQ,EAAE,eAAe,CAAC;IAC3B,CAAC,SAAS,EAAE,gBAAgB,CAAC;IAE7B,gCAAgC;IAChC,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAC1B,CAAC,MAAM,EAAE,aAAa,CAAC;CACxB,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,eAAe,GAAgC,IAAI,GAAG,CAAC;IAC3D,+BAA+B;IAC/B,CAAC,QAAQ,EAAE,eAAe,CAAC;IAC3B,CAAC,QAAQ,EAAE,eAAe,CAAC;IAC3B,CAAC,SAAS,EAAE,gBAAgB,CAAC;IAC7B,CAAC,QAAQ,EAAE,eAAe,CAAC;IAC3B,CAAC,OAAO,EAAE,cAAc,CAAC;IAEzB,4CAA4C;IAC5C,CAAC,iBAAiB,EAAE,eAAe,CAAC;IACpC,CAAC,iBAAiB,EAAE,eAAe,CAAC;IACpC,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;IACtC,CAAC,iBAAiB,EAAE,eAAe,CAAC;IACpC,CAAC,gBAAgB,EAAE,cAAc,CAAC;CACnC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,qEAAqE;AACrE,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAC9B,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC;AAExC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAC5B,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;AAEtC,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,UAA+B,EACnB,EAAE;IACd,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE1C,wBAAwB;IACxB,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,iBAAiB,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvD,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,sBAAsB;IACtB,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,eAAe,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvD,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,6DAA6D;IAC7D,uCAAuC;IACvC,KAAK,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,eAAe,EAAE,CAAC;QAC3D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,iFAAiF;IACjF,2EAA2E;IAC3E,sEAAsE;IACtE,kEAAkE;IAClE,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,UAAU,CAAC,cAAc,EAAE,CAAC;QACzD,mFAAmF;QACnF,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,SAAS;QAC3C,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,SAAS;QAEnE,MAAM,aAAa,GAAG,GAAG,MAAM,WAAW,CAAC;QAC3C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,IAAY,EACZ,UAAsB,EACF,EAAE;IACtB,OAAO,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,UAAsB,EAAW,EAAE;IAC5E,OAAO,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAW,EAAE;IACxD,OAAO,CACL,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC;QAC3B,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAC3B,CAAC;AACJ,CAAC,CAAC;AAEF,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAsB,EAAE;IACvD,OAAO,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,GAAsB,EAAE;IACpD,OAAO,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5C,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,QAAgB,EAAU,EAAE;IAC7D,yBAAyB;IACzB,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,YAAY;QAAE,OAAO,YAAY,CAAC;IAEtC,gBAAgB;IAChB,MAAM,UAAU,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC;IAElC,8CAA8C;IAC9C,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,QAAgB,EAAU,EAAE;IACnE,mDAAmD;IACnD,IAAI,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB;QAC7D,OAAO,GAAG,UAAU,WAAW,CAAC;IAClC,CAAC;IAED,wBAAwB;IACxB,OAAO,GAAG,QAAQ,WAAW,CAAC;AAChC,CAAC,CAAC"}

package/dist/ir/type-system/internal/universe/clr-catalog.d.ts

@@ -0,0 +1,44 @@
+/**
+ * CLR Type Catalog Loader
+ *
+ * Loads CLR type metadata from bindings.json and metadata.json files
+ * into a queryable catalog structure.
+ *
+ * INVARIANT INV-CLR: All assembly types loaded here become part of the
+ * unified type catalog. No parallel lookup paths allowed.
+ *
+ * The loader:
+ * 1. Scans node_modules/@tsonic/* packages for metadata files
+ * 2. Parses metadata.json for type definitions, members, signatures
+ * 3. Parses bindings.json for TS ↔ CLR name mappings
+ * 4. Converts to NominalEntry structures with proper IrType members
+ */
+import type { AssemblyTypeCatalog, NominalEntry, MemberEntry } from "./types.js";
+/**
+ * Load all assembly types from node_modules/@tsonic packages.
+ *
+ * @param nodeModulesPath - Path to node_modules directory
+ * @returns AssemblyTypeCatalog with all loaded types
+ */
+export declare const loadClrCatalog: (nodeModulesPath: string, extraPackageRoots?: readonly string[]) => AssemblyTypeCatalog;
+/**
+ * Load CLR catalog from a specific package (for testing).
+ */
+export declare const loadSinglePackageMetadata: (metadataPath: string) => AssemblyTypeCatalog;
+/**
+ * Get a type entry by stableId.
+ */
+export declare const getTypeByStableId: (catalog: AssemblyTypeCatalog, stableId: string) => NominalEntry | undefined;
+/**
+ * Get a type entry by TS name.
+ */
+export declare const getTypeByTsName: (catalog: AssemblyTypeCatalog, tsName: string) => NominalEntry | undefined;
+/**
+ * Get a type entry by CLR name.
+ */
+export declare const getTypeByClrName: (catalog: AssemblyTypeCatalog, clrName: string) => NominalEntry | undefined;
+/**
+ * Get a member from a type by TS name.
+ */
+export declare const getMemberByTsName: (catalog: AssemblyTypeCatalog, typeStableId: string, memberTsName: string) => MemberEntry | undefined;
+//# sourceMappingURL=clr-catalog.d.ts.map

package/dist/ir/type-system/internal/universe/clr-catalog.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"clr-catalog.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/clr-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAMH,OAAO,KAAK,EACV,mBAAmB,EAEnB,YAAY,EAEZ,WAAW,EAUZ,MAAM,YAAY,CAAC;AAsvCpB;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GACzB,iBAAiB,MAAM,EACvB,oBAAmB,SAAS,MAAM,EAAO,KACxC,mBAgEF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,yBAAyB,GACpC,cAAc,MAAM,KACnB,mBAgCF,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,SAAS,mBAAmB,EAC5B,UAAU,MAAM,KACf,YAAY,GAAG,SAEjB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,SAAS,mBAAmB,EAC5B,QAAQ,MAAM,KACb,YAAY,GAAG,SAGjB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,SAAS,mBAAmB,EAC5B,SAAS,MAAM,KACd,YAAY,GAAG,SAGjB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,SAAS,mBAAmB,EAC5B,cAAc,MAAM,EACpB,cAAc,MAAM,KACnB,WAAW,GAAG,SAGhB,CAAC"}