mirror of
https://github.com/vercel-labs/scriptc.git
synced 2026-10-16 05:00:59 +08:00
Chris Tate
39db8c0a99
- Run production scope and closure capture logic with native TypeScript 7 symbols. - Give lowering caches explicit pass ownership and stable symbol identities. - Support reference collection arrays and optional Set seeds on both native backends.
41 lines
1.4 KiB
TypeScript
41 lines
1.4 KiB
TypeScript
// Set support boundaries: what stays rejected at LOWERING, with specific
|
|
// messages. Elements share Map's key domain; unsupported forms remain fenced.
|
|
|
|
// Array and same-element Set seeds lower, preserving insertion order
|
|
// and copying membership into independent storage. Keep this accepted
|
|
// form beside the unsupported element domains below.
|
|
const seeded = new Set(new Set(["a", "b"]));
|
|
|
|
// Boolean elements remain unsupported — the new-site diagnostic names the
|
|
// element type.
|
|
const byFlag = new Set<boolean>();
|
|
|
|
// Record elements now use pointer identity and cycle tracing.
|
|
const recs = new Set<{ id: number }>();
|
|
|
|
// Set-typed slots elsewhere report the ordinary unsupported-type diagnostic.
|
|
function useBad(s: Set<boolean>): number {
|
|
return s.size;
|
|
}
|
|
|
|
// Nullable Set arms compile and remain as working context.
|
|
function maybeSet(cond: boolean): Set<string> | undefined {
|
|
return undefined;
|
|
}
|
|
|
|
// Sets as array elements now preserve references without a diagnostic.
|
|
const rows: Set<string>[] = [];
|
|
|
|
// Sets are not JSON (Node stringifies them as the useless "{}" husk;
|
|
// scriptc rejects instead of shipping that).
|
|
const s = new Set<string>();
|
|
console.log(JSON.stringify(s));
|
|
|
|
// Set methods have no bound-value form — call them directly.
|
|
const adder = s.add;
|
|
|
|
// Reached: collection defers its diagnostics until a reference makes
|
|
// them relevant; these references are what makes them count.
|
|
useBad(new Set<boolean>());
|
|
maybeSet(true);
|