@tsonic/frontend 0.0.63 → 0.0.65

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tsonic/frontend",
-  "version": "0.0.63",
+  "version": "0.0.65",
   "description": "TypeScript parser and IR builder for Tsonic compiler",
   "type": "module",
   "main": "./dist/index.js",
@@ -21,7 +21,7 @@
   "scripts": {
     "build": "tsc -b",
     "clean": "rm -rf dist *.tsbuildinfo",
-    "pretest": "npm run build",
+    "pretest": "npm run clean && npm run build",
     "test": "mocha --require ../../test/mocha/checkpoint.cjs --parallel --timeout 10000 'dist/**/*.test.js'",
     "test:watch": "mocha --require ../../test/mocha/checkpoint.cjs 'dist/**/*.test.js' --watch"
   },

package/dist/ir/converters/context.d.ts

@@ -1,40 +0,0 @@
-/**
- * ConverterContext — Re-exports ProgramContext for backward compatibility
- *
- * Phase 5 Step 4: ConverterContext is now an alias for ProgramContext.
- * All converters use ProgramContext, but we keep ConverterContext as an alias
- * to avoid breaking existing code during migration.
- */
-import type { ProgramContext } from "../program-context.js";
-import type { Binding } from "../binding/index.js";
-import type { TypeAuthority } from "../type-system/type-system.js";
-import type { DotnetMetadataRegistry } from "../../dotnet-metadata.js";
-import type { BindingRegistry } from "../../program/bindings.js";
-import type { ClrBindingsResolver } from "../../resolver/clr-bindings-resolver.js";
-/**
- * ConverterContext is an alias for ProgramContext.
- *
- * Use ProgramContext directly in new code.
- */
-export type ConverterContext = ProgramContext;
-/**
- * Re-export ProgramContext for direct use.
- */
-export type { ProgramContext } from "../program-context.js";
-/**
- * Re-export createProgramContext for direct use.
- */
-export { createProgramContext } from "../program-context.js";
-/**
- * Create a ConverterContext from individual components.
- *
- * @deprecated Use createProgramContext instead.
- */
-export declare const createConverterContext: (params: {
-    binding: Binding;
-    typeSystem: TypeAuthority;
-    metadata: DotnetMetadataRegistry;
-    bindings: BindingRegistry;
-    clrResolver: ClrBindingsResolver;
-}) => ConverterContext;
-//# sourceMappingURL=context.d.ts.map

package/dist/ir/converters/context.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/ir/converters/context.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AAEnF;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,cAAc,CAAC;AAE9C;;GAEG;AACH,YAAY,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D;;GAEG;AACH,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GAAI,QAAQ;IAC7C,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,aAAa,CAAC;IAC1B,QAAQ,EAAE,sBAAsB,CAAC;IACjC,QAAQ,EAAE,eAAe,CAAC;IAC1B,WAAW,EAAE,mBAAmB,CAAC;CAClC,KAAG,gBAOF,CAAC"}

package/dist/ir/converters/context.js

@@ -1,25 +0,0 @@
-/**
- * ConverterContext — Re-exports ProgramContext for backward compatibility
- *
- * Phase 5 Step 4: ConverterContext is now an alias for ProgramContext.
- * All converters use ProgramContext, but we keep ConverterContext as an alias
- * to avoid breaking existing code during migration.
- */
-/**
- * Re-export createProgramContext for direct use.
- */
-export { createProgramContext } from "../program-context.js";
-/**
- * Create a ConverterContext from individual components.
- *
- * @deprecated Use createProgramContext instead.
- */
-export const createConverterContext = (params) => ({
-    binding: params.binding,
-    typeSystem: params.typeSystem,
-    metadata: params.metadata,
-    bindings: params.bindings,
-    clrResolver: params.clrResolver,
-    diagnostics: [],
-});
-//# sourceMappingURL=context.js.map

package/dist/ir/converters/context.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/ir/converters/context.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAqBH;;GAEG;AACH,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,MAMtC,EAAoB,EAAE,CAAC,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC,OAAO;IACvB,UAAU,EAAE,MAAM,CAAC,UAAU;IAC7B,QAAQ,EAAE,MAAM,CAAC,QAAQ;IACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;IACzB,WAAW,EAAE,MAAM,CAAC,WAAW;IAC/B,WAAW,EAAE,EAAE;CAChB,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"}