mirror of
https://github.com/vercel-labs/scriptc.git
synced 2026-10-24 06:14:01 +08:00
Chris Tate
f2a629ae06
- Extract preflight's benign-cycle admission (the cheap per-edge rule plus the declaration-only init window analysis, with Tarjan SCC and cluster-verdict memos) into makeCycleAdmission; preflight's static walk and appendDynamicImportModules now judge back edges identically, so benign cycles behind dynamic import() compile as Node cache hits instead of blanket SC1016. - appendDynamicImportModules runs once in lowerToIr before any pass constructs: the old per-constructor run minted cycle refusals into the discovery pass, whose diagnostics are discarded by design, so inadmissible import() cycles silently compiled; refusals now land on the emit pass with the same narrowed reason (binding and line, or the offending top-level statement) the static walk mints. - SC1016 gains a registry hint naming the admitted shape and the fix; diagnostics snapshots, order-parity baselines, and the surface manifest repin with it. - Corpus 2604 (mutual class cycle across two modules), 2605 (three-module function ring with two back edges and a function-body-only value use), 2606 (import() into an admitted mutual-recursion cycle) — all byte-identical to Node through both backends; diagnostics fixture dyn-import-cycle-tdz pins the dynamic-path TDZ refusal.
13 lines
361 B
TypeScript
13 lines
361 B
TypeScript
import { start } from "./a.ts";
|
|
import { bTag } from "./b.ts";
|
|
|
|
export function skip(n: number): string {
|
|
return n <= 0 ? "!" : "c" + start(n - 1);
|
|
}
|
|
|
|
// A value binding through the cycle, used only inside a function body:
|
|
// by the time any caller can reach this, every ring member initialized.
|
|
export function sideTag(): string {
|
|
return "seen " + bTag;
|
|
}
|