@tsonic/frontend 0.0.64 → 0.0.66

package/dist/surface/js-surface-shims.test.js

@@ -1,53 +0,0 @@
-import { describe, it } from "mocha";
-import { expect } from "chai";
-import { JS_SURFACE_GLOBALS_SHIMS, JS_SURFACE_NODE_MODULE_SHIMS, } from "./js-surface-shims.js";
-describe("JS Surface Shims", () => {
-    it("declares required JS runtime globals", () => {
-        const requiredGlobals = [
-            "interface String",
-            "interface Array<T>",
-            "interface ReadonlyArray<T>",
-            "const console: Console;",
-            "const Date: DateConstructor;",
-            "const JSON: JSON;",
-            "const Math: Math;",
-            "const RegExp: RegExpConstructor;",
-            "const Map: MapConstructor;",
-            "const Set: SetConstructor;",
-            "function parseInt(",
-            "function parseFloat(",
-            "function isFinite(",
-            "function isNaN(",
-            "function setTimeout(",
-            "function setInterval(",
-        ];
-        for (const token of requiredGlobals) {
-            expect(JS_SURFACE_GLOBALS_SHIMS).to.include(token);
-        }
-    });
-    it("keeps unsupported mutating Array APIs out of compiler-owned shims", () => {
-        expect(JS_SURFACE_GLOBALS_SHIMS).to.not.include("push(");
-        expect(JS_SURFACE_GLOBALS_SHIMS).to.not.include("pop(");
-        expect(JS_SURFACE_GLOBALS_SHIMS).to.not.include("splice(");
-        expect(JS_SURFACE_GLOBALS_SHIMS).to.not.include("shift(");
-        expect(JS_SURFACE_GLOBALS_SHIMS).to.not.include("unshift(");
-    });
-    it("declares node alias modules for both node:* and bare specifiers", () => {
-        const requiredNodeAliases = [
-            'declare module "node:fs" { export { fs } from "@tsonic/nodejs/index.js"; }',
-            'declare module "fs" { export { fs } from "@tsonic/nodejs/index.js"; }',
-            'declare module "node:path" { export { path } from "@tsonic/nodejs/index.js"; }',
-            'declare module "path" { export { path } from "@tsonic/nodejs/index.js"; }',
-            'declare module "node:crypto" { export { crypto } from "@tsonic/nodejs/index.js"; }',
-            'declare module "crypto" { export { crypto } from "@tsonic/nodejs/index.js"; }',
-            'declare module "node:process" { export { process } from "@tsonic/nodejs/index.js"; }',
-            'declare module "process" { export { process } from "@tsonic/nodejs/index.js"; }',
-            'declare module "node:os" { export { os } from "@tsonic/nodejs/index.js"; }',
-            'declare module "os" { export { os } from "@tsonic/nodejs/index.js"; }',
-        ];
-        for (const alias of requiredNodeAliases) {
-            expect(JS_SURFACE_NODE_MODULE_SHIMS).to.include(alias);
-        }
-    });
-});
-//# sourceMappingURL=js-surface-shims.test.js.map

package/dist/surface/js-surface-shims.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"js-surface-shims.test.js","sourceRoot":"","sources":["../../src/surface/js-surface-shims.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,wBAAwB,EACxB,4BAA4B,GAC7B,MAAM,uBAAuB,CAAC;AAE/B,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,eAAe,GAAG;YACtB,kBAAkB;YAClB,oBAAoB;YACpB,4BAA4B;YAC5B,yBAAyB;YACzB,8BAA8B;YAC9B,mBAAmB;YACnB,mBAAmB;YACnB,kCAAkC;YAClC,4BAA4B;YAC5B,4BAA4B;YAC5B,oBAAoB;YACpB,sBAAsB;YACtB,oBAAoB;YACpB,iBAAiB;YACjB,sBAAsB;YACtB,uBAAuB;SACf,CAAC;QAEX,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;YACpC,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACzD,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACxD,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC3D,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC1D,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,mBAAmB,GAAG;YAC1B,4EAA4E;YAC5E,uEAAuE;YACvE,gFAAgF;YAChF,2EAA2E;YAC3E,oFAAoF;YACpF,+EAA+E;YAC/E,sFAAsF;YACtF,iFAAiF;YACjF,4EAA4E;YAC5E,uEAAuE;SAC/D,CAAC;QAEX,KAAK,MAAM,KAAK,IAAI,mBAAmB,EAAE,CAAC;YACxC,MAAM,CAAC,4BAA4B,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/validation/unsupported-utility-types.d.ts

@@ -1,40 +0,0 @@
-/**
- * Centralized list of unsupported TypeScript utility types
- *
- * These utility types internally use mapped or conditional types which are not
- * supported in Tsonic. They are detected by name in TypeReferenceNode validation.
- *
- * Note: This only applies to the built-in utility types from TypeScript's lib.
- * User-defined types with these names (without type arguments) are allowed.
- */
-/**
- * Mapped-type utility types (TSN7406)
- *
- * SUPPORTED (expanded at compile time for concrete types):
- * - Partial<T>   → { [P in keyof T]?: T[P] }
- * - Required<T>  → { [P in keyof T]-?: T[P] }
- * - Readonly<T>  → { readonly [P in keyof T]: T[P] }
- * - Pick<T, K>   → { [P in K]: T[P] }
- * - Omit<T, K>   → { [P in Exclude<keyof T, K>]: T[P] }
- *
- * Note: Record<K, V> is handled separately (allowed when K is string, TSN7413 otherwise)
- * Note: ReadonlyArray<T> is NOT a mapped type - it maps to IReadOnlyList<T> and is supported
- */
-export declare const UNSUPPORTED_MAPPED_UTILITY_TYPES: Set<string>;
-/**
- * Conditional-type utility types (TSN7407)
- *
- * SUPPORTED (expanded at compile time for concrete types):
- * - Extract<T, U>    → T extends U ? T : never
- * - Exclude<T, U>    → T extends U ? never : T
- * - NonNullable<T>   → T & {}  (filters null/undefined from unions)
- * - ReturnType<T>    → T extends (...args: any) => infer R ? R : any
- * - Parameters<T>    → T extends (...args: infer P) => any ? P : never
- * - Awaited<T>       → T extends PromiseLike<infer U> ? Awaited<U> : T
- *
- * SUPPORTED (expanded at compile time for concrete constructor shapes):
- * - ConstructorParameters<T>
- * - InstanceType<T>
- */
-export declare const UNSUPPORTED_CONDITIONAL_UTILITY_TYPES: Set<string>;
-//# sourceMappingURL=unsupported-utility-types.d.ts.map

package/dist/validation/unsupported-utility-types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"unsupported-utility-types.d.ts","sourceRoot":"","sources":["../../src/validation/unsupported-utility-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,gCAAgC,aAG3C,CAAC;AAEH;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,qCAAqC,aAAsB,CAAC"}

package/dist/validation/unsupported-utility-types.js

@@ -1,43 +0,0 @@
-/**
- * Centralized list of unsupported TypeScript utility types
- *
- * These utility types internally use mapped or conditional types which are not
- * supported in Tsonic. They are detected by name in TypeReferenceNode validation.
- *
- * Note: This only applies to the built-in utility types from TypeScript's lib.
- * User-defined types with these names (without type arguments) are allowed.
- */
-/**
- * Mapped-type utility types (TSN7406)
- *
- * SUPPORTED (expanded at compile time for concrete types):
- * - Partial<T>   → { [P in keyof T]?: T[P] }
- * - Required<T>  → { [P in keyof T]-?: T[P] }
- * - Readonly<T>  → { readonly [P in keyof T]: T[P] }
- * - Pick<T, K>   → { [P in K]: T[P] }
- * - Omit<T, K>   → { [P in Exclude<keyof T, K>]: T[P] }
- *
- * Note: Record<K, V> is handled separately (allowed when K is string, TSN7413 otherwise)
- * Note: ReadonlyArray<T> is NOT a mapped type - it maps to IReadOnlyList<T> and is supported
- */
-export const UNSUPPORTED_MAPPED_UTILITY_TYPES = new Set([
-// Partial, Required, Readonly, Pick, Omit are now supported
-// They are expanded to IrObjectType in type-converter/utility-types.ts
-]);
-/**
- * Conditional-type utility types (TSN7407)
- *
- * SUPPORTED (expanded at compile time for concrete types):
- * - Extract<T, U>    → T extends U ? T : never
- * - Exclude<T, U>    → T extends U ? never : T
- * - NonNullable<T>   → T & {}  (filters null/undefined from unions)
- * - ReturnType<T>    → T extends (...args: any) => infer R ? R : any
- * - Parameters<T>    → T extends (...args: infer P) => any ? P : never
- * - Awaited<T>       → T extends PromiseLike<infer U> ? Awaited<U> : T
- *
- * SUPPORTED (expanded at compile time for concrete constructor shapes):
- * - ConstructorParameters<T>
- * - InstanceType<T>
- */
-export const UNSUPPORTED_CONDITIONAL_UTILITY_TYPES = new Set([]);
-//# sourceMappingURL=unsupported-utility-types.js.map

package/dist/validation/unsupported-utility-types.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"unsupported-utility-types.js","sourceRoot":"","sources":["../../src/validation/unsupported-utility-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,GAAG,CAAS;AAC9D,4DAA4D;AAC5D,uEAAuE;CACxE,CAAC,CAAC;AAEH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,GAAG,CAAS,EAAE,CAAC,CAAC"}