@scriptc/compiler 0.4.5 → 0.4.6

package/dist/frontend/ts7/test-servers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-servers.js","sourceRoot":"","sources":["../../../src/frontend/ts7/test-servers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAW9C,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;AAE/C;;6DAE6D;AAC7D,MAAM,UAAU,cAAc;IAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC,CAAC;IACrE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAEtE,CAAC;IACF,OAAO;QACL,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;QAC9D,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE;KAC1D,CAAC;AACJ,CAAC"}

package/dist/frontend/tsc-codes.js

@@ -157,8 +157,11 @@ export const JS_ANY_OPERATOR_CODES = new Set([2362, 2363, 2365]);
  * whose types come entirely from inference (checkJs + JSDoc) and whose JS
  * relaxation stance applies. */
 export function isJsSourceFileName(fileName) {
-    // Only the final few code units can match. Keep the same expression so
-    // unusual filenames retain its classification.
-    return /\.(js|mjs|cjs|jsx)$/.test(fileName.slice(-6));
+    // The same classification as /\.(js|mjs|cjs|jsx)$/, without a regular
+    // expression: this runs for most type queries.
+    return (fileName.endsWith(".js") ||
+        fileName.endsWith(".mjs") ||
+        fileName.endsWith(".cjs") ||
+        fileName.endsWith(".jsx"));
 }
 //# sourceMappingURL=tsc-codes.js.map

package/dist/frontend/tsc-codes.js.map

@@ -1 +1 @@
-{"version":3,"file":"tsc-codes.js","sourceRoot":"","sources":["../../src/frontend/tsc-codes.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,QAAQ;IACR,eAAe;IACf,kBAAkB;IAClB,qBAAqB;IACrB,qBAAqB;IACrB,8BAA8B;IAC9B,6BAA6B;IAC7B,gBAAgB;IAChB,cAAc;IACd,4BAA4B;IAC5B,0BAA0B;IAC1B,4BAA4B;IAC5B,oBAAoB;IACpB,oCAAoC;IACpC,mBAAmB;IACnB,4BAA4B;IAC5B,gBAAgB;IAChB,oBAAoB;IACpB,mBAAmB;IACnB,sBAAsB;IACtB,cAAc;IACd,iEAAiE;IACjE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,iBAAiB;IACjB,8BAA8B;IAC9B,oEAAoE;IACpE,iEAAiE;IACjE,KAAK;IACL,YAAY;IACZ,oBAAoB;IACpB,iBAAiB;IACjB,gBAAgB;CACR,CAAC;AAEX,MAAM,CAAC,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IAC/D,kEAAkE;IAClE,8DAA8D;IAC9D,iCAAiC;IACjC,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,oEAAoE;IACpE,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,KAAK;IACL,KAAK;IACL,oEAAoE;IACpE,uEAAuE;IACvE,qEAAqE;IACrE,qEAAqE;IACrE,mCAAmC;IACnC,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI,EAAE,4DAA4D;IAClE,IAAI,EAAE,yEAAyE;IAC/E,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,4EAA4E;IAC5E,oEAAoE;IACpE,kBAAkB;IAClB,IAAI;IACJ,IAAI;IACJ,qEAAqE;IACrE,uEAAuE;IACvE,mEAAmE;IACnE,sEAAsE;IACtE,kEAAkE;IAClE,sEAAsE;IACtE,wDAAwD;IACxD,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,4DAA4D;IAC5D,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,qEAAqE;IACrE,yCAAyC;IACzC,IAAI;IACJ,wEAAwE;IACxE,qEAAqE;IACrE,wDAAwD;IACxD,IAAI;IACJ,wEAAwE;IACxE,sEAAsE;IACtE,6DAA6D;IAC7D,IAAI;IACJ,IAAI;IACJ,iEAAiE;IACjE,IAAI;IACJ,mEAAmE;IACnE,sEAAsE;IACtE,IAAI;IACJ,qEAAqE;IACrE,iEAAiE;IACjE,qEAAqE;IACrE,yCAAyC;IACzC,IAAI;IACJ,IAAI;IACJ,oEAAoE;IACpE,2EAA2E;IAC3E,IAAI;IACJ,IAAI;IACJ,yEAAyE;IACzE,mEAAmE;IACnE,kBAAkB;IAClB,IAAI;IACJ,iEAAiE;IACjE,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,2FAA2F;IAC3F,KAAK;IACL,IAAI;CACL,CAAC,CAAC;AAEH;2EAC2E;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAEtF;;gCAEgC;AAChC,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,uEAAuE;IACvE,+CAA+C;IAC/C,OAAO,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC"}
+{"version":3,"file":"tsc-codes.js","sourceRoot":"","sources":["../../src/frontend/tsc-codes.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,QAAQ;IACR,eAAe;IACf,kBAAkB;IAClB,qBAAqB;IACrB,qBAAqB;IACrB,8BAA8B;IAC9B,6BAA6B;IAC7B,gBAAgB;IAChB,cAAc;IACd,4BAA4B;IAC5B,0BAA0B;IAC1B,4BAA4B;IAC5B,oBAAoB;IACpB,oCAAoC;IACpC,mBAAmB;IACnB,4BAA4B;IAC5B,gBAAgB;IAChB,oBAAoB;IACpB,mBAAmB;IACnB,sBAAsB;IACtB,cAAc;IACd,iEAAiE;IACjE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,iBAAiB;IACjB,8BAA8B;IAC9B,oEAAoE;IACpE,iEAAiE;IACjE,KAAK;IACL,YAAY;IACZ,oBAAoB;IACpB,iBAAiB;IACjB,gBAAgB;CACR,CAAC;AAEX,MAAM,CAAC,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IAC/D,kEAAkE;IAClE,8DAA8D;IAC9D,iCAAiC;IACjC,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,oEAAoE;IACpE,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,KAAK;IACL,KAAK;IACL,oEAAoE;IACpE,uEAAuE;IACvE,qEAAqE;IACrE,qEAAqE;IACrE,mCAAmC;IACnC,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI,EAAE,4DAA4D;IAClE,IAAI,EAAE,yEAAyE;IAC/E,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,4EAA4E;IAC5E,oEAAoE;IACpE,kBAAkB;IAClB,IAAI;IACJ,IAAI;IACJ,qEAAqE;IACrE,uEAAuE;IACvE,mEAAmE;IACnE,sEAAsE;IACtE,kEAAkE;IAClE,sEAAsE;IACtE,wDAAwD;IACxD,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,4DAA4D;IAC5D,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,qEAAqE;IACrE,yCAAyC;IACzC,IAAI;IACJ,wEAAwE;IACxE,qEAAqE;IACrE,wDAAwD;IACxD,IAAI;IACJ,wEAAwE;IACxE,sEAAsE;IACtE,6DAA6D;IAC7D,IAAI;IACJ,IAAI;IACJ,iEAAiE;IACjE,IAAI;IACJ,mEAAmE;IACnE,sEAAsE;IACtE,IAAI;IACJ,qEAAqE;IACrE,iEAAiE;IACjE,qEAAqE;IACrE,yCAAyC;IACzC,IAAI;IACJ,IAAI;IACJ,oEAAoE;IACpE,2EAA2E;IAC3E,IAAI;IACJ,IAAI;IACJ,yEAAyE;IACzE,mEAAmE;IACnE,kBAAkB;IAClB,IAAI;IACJ,iEAAiE;IACjE,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,2FAA2F;IAC3F,KAAK;IACL,IAAI;CACL,CAAC,CAAC;AAEH;2EAC2E;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAEtF;;gCAEgC;AAChC,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,sEAAsE;IACtE,+CAA+C;IAC/C,OAAO,CACL,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;QACxB,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;QACzB,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAC1B,CAAC;AACJ,CAAC"}

package/dist/frontend/type-mapper.d.ts

@@ -1,3 +1,4 @@
+import type { JournalTable } from "./lowering/unit-journal.js";
 import * as ts from "./ts7/adapter.js";
 import type { IrRecordShape, IrType, IrUnionDef, IrUnionDiscriminant } from "../ir/ir.js";
 import { typeKey } from "../ir/ir.js";
@@ -49,8 +50,15 @@ export declare class ShapeRegistry {
      * writer after all priority candidates have closed. */
     private readonly derivedDeclaredOrderFinalizers;
     private currentDeclaredOrderPriority;
+    /** The declared-order candidates and the attached names the registry
+     * holds, counted as they are added (journalSizes). */
+    private candidateCount;
+    private extendedCount;
     /** All interned shapes in first-seen order. */
     readonly shapes: IrRecordShape[];
+    /** The sizes of the registry's tables, which only grow while shapes are
+     * interned (unit-journal.ts). */
+    journalSizes(): number[];
     /** ts.Types currently being mapped — a BACK-REFERENCE to one of these is
      * the recursive knot (`interface TreeNode { children: TreeNode[] }`):
      * mapType answers a NAMED RECURSIVE SHAPE (recursiveRef) whose fields
@@ -169,6 +177,14 @@ export declare class UnionRegistry {
     private readonly armTags;
     /** All interned unions in first-seen order. */
     readonly unions: IrUnionDef[];
+    /** The sizes of the tables recursive unions change, which no unit
+     * record carries (unit-journal.ts). */
+    journalSizes(): number[];
+    /** The interned unions as a table unit records carry (unit-journal.ts).
+     * An entry is a union's definition; applying it interns the union under
+     * the key its arms give. A unit that adds a recursive union changes
+     * journalSizes, so the unions past a unit's start are interned ones. */
+    journalTable(): JournalTable;
     /** ts.Types currently being mapped — a back-reference to one is the
      * recursive knot passing through a union (`type Tree = Leaf | Branch`
      * whose Branch arm carries `Tree[]`, the optional field `a?: A` of a
@@ -191,6 +207,9 @@ export declare class UnionRegistry {
     /** True when a back-reference minted a placeholder for `t` that the
      * outer frame has not (yet) finalized. */
     recursivePending(t: ts.Type): boolean;
+    /** True when `unionId` is a recursive placeholder whose arms are not
+     * known yet (its outer frame is still mapping, or failed). */
+    isPendingPlaceholder(unionId: string): boolean;
     /** Completes a recursive placeholder with its canonical arm list and
      * registers the structural key (first writer wins, like shapes). */
     finalizeRecursive(t: ts.Type, arms: IrType[], discriminant?: IrUnionDiscriminant): string;
@@ -285,6 +304,10 @@ export type TypeParamTsResolver = (t: ts.Type) => ts.Type | null;
  * once per Lowerer and threaded through the recursion — adding a hook means
  * one new field here, not a new parameter at every call site. */
 export interface TypeMapperCtx {
+    /** Node islands (scope-B NI-4): whether a type's values are island
+     * handles, which map to the `foreign` type (a dyn value). Absent in
+     * programs without islands. */
+    foreignType?: (type: ts.Type) => boolean;
     /** Set only while a union maps an arm that is the type inferred from an
      * empty object literal, beside another non-nullish arm: that arm holds
      * only the literal's objects, so it maps to the empty record (see the
@@ -309,6 +332,13 @@ export interface TypeMapperCtx {
      * (erasedGenericMemberType): the signature's own type parameters
      * resolve to `unknown` instead of refusing the mapping. */
     erasingSignature?: ts.Signature;
+    /** Set with erasingSignature: the signature's own type parameters, and
+     * whether the erasure consulted an enclosing binding. An erasure that
+     * resolved only its own parameters answers the same in every context. */
+    erasedMember?: {
+        own: ReadonlySet<ts.Type>;
+        outerConsulted: boolean;
+    };
     /** True while an erased generic body lowers (its type parameters are
      * bound to `unknown`). */
     isErasing?: () => boolean;
@@ -320,6 +350,28 @@ export interface TypeMapperCtx {
      * only where literal identity matters — indexed accesses (`T[K]`) inside
      * generic bodies whose K is bound to a literal key. */
     resolveTypeParamTs?: TypeParamTsResolver;
+    /** A generic alias reference inside a generic body (`Catalog<G, P>`)
+     * re-instantiated with the instance's bound type arguments: the concrete
+     * checker type its signature instantiates, or null. Consulted only when
+     * the symbolic form does not map. */
+    resolveBoundAliasTs?: TypeParamTsResolver;
+    /** Localized failure: the lenient mapping of a type whose strict mapping
+     * failed at a committed slot (Lowerer.degradedTypes), or null. Consulted
+     * only after the strict mapping (and its bound-alias retry) returns null,
+     * at every depth, so every occurrence of a degraded type maps alike. */
+    degradedType?: (type: ts.Type) => IrType | null;
+    /** Localized failure's lenient mapping (Lowerer.lenientType): a nested
+     * component whose mapping fails maps to the checked dynamic instead, so a
+     * failing type keeps its outer shape with dynamic pieces. Only ever set
+     * on a throwaway context without memoization. */
+    lenient?: boolean;
+    /** With `lenient`: told each component the lenient mapping turned into
+     * the checked dynamic (Lowerer.lenientPieces). */
+    onLenientPiece?: (type: ts.Type) => void;
+    /** Canonical normalization's shadow mode (canon-map.ts): called after
+     * each successful top-level mapping; installed only under
+     * SCRIPTC_CANON_SHADOW=1. It records, and never changes a result. */
+    canonShadow?: (type: ts.Type, mapped: IrType, ctx: TypeMapperCtx) => void;
     /** GENERIC program classes (monomorphization by flow): the mapping of a
      * concrete instantiation reference (`Box<number>`) — the Lowerer
      * registers/reuses the instantiation (`Box%0`) and answers its object
@@ -353,6 +405,9 @@ export interface TypeMapperCtx {
      * alone proves nothing (a user's own `interface Map` maps as a record). */
     isStdlibFile: (sf: ts.SourceFile) => boolean;
     isNpmFile: (sf: ts.SourceFile) => boolean;
+    /** The declaration file of @scriptc/experimental, wherever it is installed
+     * (a workspace links it outside node_modules). */
+    isExperimentalFile?: (sf: ts.SourceFile) => boolean;
     /** True for a declaration file explicitly mapped by coverage's
      * --external-types option. These declarations are trusted as structural
      * type descriptions for project-owned values, but their imported runtime
@@ -377,7 +432,7 @@ export interface TypeMapperCtx {
      * member graph each time is quadratic work. Generic/mixin contexts opt out
      * through canMemoizeType because the same checker type can map differently
      * under different instantiation bindings. */
-    typeMemo?: Map<string, IrType>;
+    typeMemo?: Map<number, IrType>;
     canMemoizeType?: () => boolean;
     /** True for files the Lowerer actually compiles (its module order). A
      * class type can reach the entry through the TYPE world alone — a jsdoc
@@ -406,6 +461,11 @@ export declare function isLegacyUrlSymbol(symbol: ts.Symbol | null | undefined,
  * (errno, dlopen, priority) and SignalConstants, and the fallback's twins:
  * the runtime's checked-dynamic constants object, whose members vary by
  * platform. */
+/** True for node:path's platform-specific namespaces ("path/posix",
+ * "path/win32"). Their values are the path module object, so they map to
+ * the checked-dynamic module value (see pathModuleValue in
+ * lowering/lower-builtin-values.ts), not to a module declaration. */
+export declare function isPathPlatformNamespaceId(moduleId: string): boolean;
 export declare function isOsConstantsType(type: ts.Type, ctx: Pick<TypeMapperCtx, "checker" | "isStdlibFile">): boolean;
 /** A symbol declared as os.constants or one of its groups (a namespace, or
  * with `types`, the SignalConstants alias; without it, the `signals`