xbintsc 0.5.22 → 0.5.31

package/AGENTS.md

@@ -1,5 +1,10 @@
 # AGENTS.md — working in the xbintsc repository
 
+> **Using the installed npm package in another project?** This file is for
+> working *in* this repository. Read the project guide instead:
+> [doc/npm-package.md](./doc/npm-package.md) — the installed copy is at
+> `node_modules/xbintsc/doc/npm-package.md`.
+
 **xbintsc is a compiler: it turns a subset of TypeScript into standalone native
 binaries.** It lexes and parses TypeScript itself, binds names, lowers the
 program to **LLVM IR text**, and hands that text to **clang**, which produces an
@@ -49,8 +54,11 @@ in [doc/ai/language-support.md](./doc/ai/language-support.md).
 
 - **It is a subset.** Syntax outside the subset fails with `UnsupportedFeature`
   or a parse error. Never assume "TypeScript" means "what Node accepts".
-- **Types are erased, never checked.** Annotations, interfaces, generics and
-  `as` do nothing at runtime — a type error in the source is not caught for you.
+- **Types are erased, but structurally checked first.** The default checker
+  resolves annotations, interfaces, classes and simple generics, and rejects
+  definite mismatches (`const x: number = "hello"`), missing properties on known
+  shapes and obviously wrong calls. Anything it cannot model is `any`; there is
+  no full inference or strict-null mode. `--no-check` disables it.
 - **Node built-ins need `--ext node`; npm packages are bundled at build time.**
   A bare import is resolved from `node_modules` and its sources (ESM or
   CommonJS) are merged into the binary. There is no runtime package lookup, and
@@ -77,9 +85,10 @@ in [doc/ai/language-support.md](./doc/ai/language-support.md).
 ```
 src/lexer, src/parser, src/ast     source text -> tokens -> AST
 src/binder                         scopes, symbols, closures
+src/checker                        opt-out names, redeclarations, arity, structural types
 src/codegen                        AST -> LLVM IR text (values.ts defines the value model)
 src/driver                         build orchestration, clang invocation, incremental cache
-src/extensions                     optional compile modules (node/, gui/, native C++/Rust)
+src/extensions                     optional compile modules (node/, gui/, media/, native C++/Rust)
 src/diagnostics                    diagnostic codes and rendering
 src/cli/main.ts                    the CLI (`build` / `run` / `emit` / `doctor`)
 runtime/                           the C runtime: values, containers, stdlib, GC, event loop

package/README.md

@@ -159,6 +159,24 @@ console.log("Hello from xbintsc!");
 
 Tip: add `xbintsc-win32-x64\bin` to `PATH` to call `xbintsc` instead of the full path.
 
+### From npm
+
+The compiler is also published as the `xbintsc` npm package. This is the
+shortest path for a Node project: install it as a dev dependency, then run it
+through `npx` or an npm script.
+
+```bash
+npm install --save-dev --save-exact xbintsc
+npx xbintsc doctor
+npx xbintsc build src/main.ts --out build
+```
+
+It needs Node.js 22+ and a clang 16+ toolchain. The npm package compiles the C
+runtime from source on the first build (later builds reuse `.xbintsc/`), and it
+does not include the GUI/media archives. See
+[Using xbintsc from npm](./doc/npm-package.md) for a complete guide, CI setup
+and caveats.
+
 ### As a developer (from source)
 
 In a source checkout, run the TypeScript sources directly through `tsx` (or use
@@ -204,6 +222,8 @@ CLI options:
     --verbose         Print progress information
     --time            Print per-phase build timings
     --debug           Emit debug info (DWARF/CodeView) and keep frame pointers
+    --check           Run the semantic checker (default)
+    --no-check        Skip the semantic checker; only erase type syntax
 ```
 
 ### Project config & application icon
@@ -269,6 +289,11 @@ npx tsx src/cli/main.ts run examples/gui/hello.ts --ext gui
 
 # A prebuilt Linux/macOS release archive already ships the engine:
 xbintsc run app.ts --ext gui
+
+# <video>/<audio> playback is a separate opt-in archive, so GUI-only binaries
+# stay FFmpeg-free:
+npm run media
+xbintsc run examples/gui/media.ts --ext gui,media
 ```
 
 A document's `<script>` bodies are **AOT-compiled** by xbintsc into the binary —
@@ -289,9 +314,12 @@ Platforms and full details: [doc/gui.md](./doc/gui.md) is the engine overview
 (architecture and roadmap); the per-function documents live under
 [doc/gui/](./doc/gui) — API, DOM/CSS, layout, rendering, media, input, animation,
 runtime, build and known issues. Linux and macOS are built and exercised in CI
-and their release archives ship the engine (`gui.a`); the Windows archive
+and their release archives ship the engine (`gui.a`) plus the optional media
+archive (`media.a`); the Windows archive
 (`gui.lib`, rendered through SDL_GPU's Vulkan backend) is produced by the same
-script but is still provisional and is not shipped in the release yet.
+script but is still provisional and is not shipped in the release yet. Media
+playback is POSIX-only for now: without `media.a`, or on Windows, `<video>` and
+`<audio>` fire `error`.
 
 ## Incremental compilation
 
@@ -302,10 +330,12 @@ sources are compiled once and cached on the same principle.
 
 ## Extensions
 
-An extension is a plain object (`src/extensions/registry.ts`). Two are bundled:
+An extension is a plain object (`src/extensions/registry.ts`). Three are bundled:
 [`gui`](#gui-applications-htmlcss), a GPU HTML/CSS renderer
-(see [doc/gui.md](./doc/gui.md)), and `node`, itself split into one folder per
-Node module, each pairing its exports with the C sources that implement them:
+(see [doc/gui.md](./doc/gui.md)); `media`, the optional FFmpeg-backed
+`<video>`/`<audio>` decoder that requires `gui`; and `node`, itself split into
+one folder per Node module, each pairing its exports with the C sources that
+implement them:
 
 ```
 src/extensions/node/       runtime/ext_node/
@@ -409,7 +439,8 @@ skips with a warning when they are missing.
 
 See [Requirements](./doc/requirements.md) for the full, per-platform list.
 
-- Node.js 22+ — only to run/build from source; released binaries are standalone
+- Node.js 22+ — to run the compiler from npm or from source; released binaries
+  are standalone
 - macOS: the Xcode Command Line Tools (`xcode-select --install`)
 - Windows: LLVM + the Visual Studio C++ build tools (MSVC ABI)
 - Linux: `clang` and `lld` from your distribution
@@ -422,15 +453,19 @@ Check your environment with `xbintsc doctor`.
 
 - [Implemented features](./doc/implemented.md)
 - [Unimplemented features](./doc/unimplemented.md)
+- [Support matrix](./doc/support-matrix.md) — generated from the executable
+  test262 corpus (unmodified test262 cases, compiled and run)
 - [Application icons & project config](./doc/icon.md)
 
 ## Using xbintsc with an AI agent
 
-The compiler is strict about its language subset — types are erased rather than
-checked, Node built-ins need `--ext node`, packages from `node_modules` are
-bundled at build time, strings follow UTF-16 length/indexing over UTF-8 storage,
-and `await` only
-suspends on a pending promise. An agent that assumes "TypeScript" means "what
+The compiler is strict about its language subset — types are structurally
+checked by a default checker and then erased (definite mismatches, missing
+properties and non-callable calls are rejected, but there is no full inference
+or strict-null mode), Node built-ins need `--ext node`, packages from
+`node_modules` are bundled at build time, strings follow UTF-16
+length/indexing over UTF-8 storage, and `await` only suspends on a pending
+promise. An agent that assumes "TypeScript" means "what
 Node accepts" will write code that does not compile, so the documentation is
 layered for exactly that reader:
 

package/README.zh-CN.md

@@ -142,6 +142,21 @@ console.log("Hello from xbintsc!");
 
 提示：把 `xbintsc-win32-x64\bin` 加入 `PATH`，即可直接用 `xbintsc` 命令。
 
+### 通过 npm 使用
+
+编译器也发布为 npm 包 `xbintsc`。对 Node 项目来说这是最短的路径：装成开发依赖，
+然后通过 `npx` 或 npm 脚本调用。
+
+```bash
+npm install --save-dev --save-exact xbintsc
+npx xbintsc doctor
+npx xbintsc build src/main.ts --out build
+```
+
+它需要 Node.js 22+ 与 clang 16+ 工具链。npm 包在首次构建时会从源码编译 C 运行时
+（后续构建复用 `.xbintsc/`），并且不包含 GUI/media 归档。完整指南、CI 配置与注意
+事项见[通过 npm 包使用 xbintsc](./doc/zh-CN/npm-package.md)。
+
 ### 作为开发者（从源码）
 
 在源码检出中，通过 `tsx` 直接运行 TypeScript 源码（或使用 `npm run xbintsc`）。
@@ -180,6 +195,8 @@ CLI 选项：
     --verbose         打印进度信息
     --time            打印各构建阶段耗时
     --debug           生成调试信息（DWARF/CodeView）并保留帧指针
+    --check           运行语义检查（默认）
+    --no-check        跳过语义检查，只擦除类型语法
 ```
 
 ### 编程接口
@@ -218,6 +235,10 @@ npx tsx src/cli/main.ts run examples/gui/hello.ts --ext gui
 
 # 预编译的 Linux/macOS 发布包已经内含该引擎：
 xbintsc run app.ts --ext gui
+
+# <video>/<audio> 播放是单独的可选归档，因此只做界面的二进制不会链接 FFmpeg：
+npm run media
+xbintsc run examples/gui/media.ts --ext gui,media
 ```
 
 文档里的 `<script>` 脚本会被 xbintsc **提前编译（AOT）**进二进制——内联脚本
@@ -235,8 +256,10 @@ xbintsc run app.ts --ext gui
 平台与完整说明：[doc/zh-CN/gui.md](./doc/zh-CN/gui.md) 是引擎总览（架构与
 路线图）；按功能拆分的文档位于 [doc/zh-CN/gui/](./doc/zh-CN/gui) —— API、
 DOM/CSS、布局、绘制、媒体、输入、动画、运行时、构建与已知问题。Linux 与 macOS 已在 CI 中构建
-并实际运行，其发布包内含引擎（`gui.a`）；Windows 的 `gui.lib`（通过 SDL_GPU 的
-Vulkan 后端渲染）由同一脚本产出，但仍是暂定状态，尚未随发布包提供。
+并实际运行，其发布包内含引擎（`gui.a`）与可选的媒体归档（`media.a`）；Windows 的
+`gui.lib`（通过 SDL_GPU 的 Vulkan 后端渲染）由同一脚本产出，但仍是暂定状态，尚未
+随发布包提供。媒体播放目前仅支持 POSIX：没有 `media.a` 或在 Windows 上，
+`<video>` 与 `<audio>` 会触发 `error`。
 
 ## 增量编译
 
@@ -246,9 +269,10 @@ Vulkan 后端渲染）由同一脚本产出，但仍是暂定状态，尚未随
 
 ## 扩展
 
-扩展是一个普通对象（`src/extensions/registry.ts`）。内置扩展有两个：`gui`，
+扩展是一个普通对象（`src/extensions/registry.ts`）。内置扩展有三个：`gui`，
 它贡献的是一个 GPU HTML/CSS 渲染器（见下文「GUI 应用（HTML/CSS）」一节与
-[doc/zh-CN/gui.md](./doc/zh-CN/gui.md)）；以及 `node`，它本身按每个 Node
+[doc/zh-CN/gui.md](./doc/zh-CN/gui.md)）；`media`，基于 FFmpeg 的可选
+`<video>`/`<audio>` 解码器，依赖 `gui`；以及 `node`，它本身按每个 Node
 模块拆分目录，每个模块把它对外导出的绑定与实现它们的 C 源配对：
 
 ```
@@ -349,7 +373,7 @@ V8 只能看到编译器自身的源码，因此 `npm run coverage:runtime` 改
 独立二进制，见
 [使用前置要求](./doc/zh-CN/requirements.md)。
 
-- Node.js 22+ —— 仅从源码运行/构建时需要；发布版二进制是独立的
+- Node.js 22+ —— 从 npm 或源码运行编译器时需要；发布版二进制是独立的
 - macOS：Xcode Command Line Tools（`xcode-select --install`）
 - Windows：LLVM + Visual Studio C++ 生成工具（MSVC ABI）
 - Linux：发行版提供的 `clang` 与 `lld`
@@ -361,10 +385,12 @@ V8 只能看到编译器自身的源码，因此 `npm run coverage:runtime` 改
 
 - [已实现特性](./doc/zh-CN/implemented.md)
 - [未实现特性](./doc/zh-CN/unimplemented.md)
+- [支持矩阵](./doc/zh-CN/support-matrix.md)（由可执行语料生成）
 
 ## 让 AI 使用 xbintsc
 
-这个编译器对语言子集很严格——类型只被擦除而从不检查、Node 内置模块需要
+这个编译器对语言子集很严格——类型会先被默认检查器做结构化检查，然后擦除
+（确定不匹配、缺失属性和不可调用会被拒绝，但没有完整推断与 strict-null）、Node 内置模块需要
 `--ext node`、`node_modules` 里的 npm 包在构建期打包进二进制、字符串在 UTF-8 存储上按 UTF-16 语义计数、`await`
 只在 Promise 未 settle 时才真正挂起。如果 AI 把"TypeScript"当成"Node 能跑的 TypeScript"，写出来的
 代码就编译不过，因此文档正是按这类读者分层组织的：

package/dist/scripts/support-matrix.d.ts

@@ -0,0 +1,18 @@
+#!/usr/bin/env node
+/**
+ * Render `doc/support-matrix.md` and its Chinese mirror from the vendored
+ * test262 catalogue.
+ *
+ * The catalogue is executable evidence: `tests/conformance/test262.test.ts`
+ * compiles and runs every supported case (unmodified test262 files) and
+ * requires every unsupported case to fail with the listed diagnostic code.
+ * This script turns the same catalogue into the human-readable table, so the
+ * document cannot claim a feature the compiler does not exercise.
+ *
+ * Usage: npm run docs:matrix
+ */
+type Language = "en" | "zh";
+export declare const MATRIX_FILES: Readonly<Record<Language, string>>;
+export declare const TEST262_COMMIT = "d53ebc8b1931d9f1541e43d59650776e4b766248";
+export declare function renderSupportMatrix(language: Language): string;
+export {};

package/dist/scripts/support-matrix.js

@@ -0,0 +1,141 @@
+#!/usr/bin/env node
+/**
+ * Render `doc/support-matrix.md` and its Chinese mirror from the vendored
+ * test262 catalogue.
+ *
+ * The catalogue is executable evidence: `tests/conformance/test262.test.ts`
+ * compiles and runs every supported case (unmodified test262 files) and
+ * requires every unsupported case to fail with the listed diagnostic code.
+ * This script turns the same catalogue into the human-readable table, so the
+ * document cannot claim a feature the compiler does not exercise.
+ *
+ * Usage: npm run docs:matrix
+ */
+import { writeFileSync } from "node:fs";
+import { dirname, resolve } from "node:path";
+import { fileURLToPath, pathToFileURL } from "node:url";
+import { SUPPORT_AREAS, SUPPORTED_CASES, UNSUPPORTED_CASES, } from "../tests/conformance/test262/manifest.js";
+const root = resolve(dirname(fileURLToPath(import.meta.url)), "..");
+export const MATRIX_FILES = {
+    en: "doc/support-matrix.md",
+    zh: "doc/zh-CN/support-matrix.md",
+};
+export const TEST262_COMMIT = "d53ebc8b1931d9f1541e43d59650776e4b766248";
+function docLink(area, language) {
+    const relative = area.doc.startsWith("doc/") ? area.doc.slice("doc/".length) : area.doc;
+    return language === "en" ? relative : `../${relative}`;
+}
+function areaTitle(area, language) {
+    return language === "en" ? area.title : area.titleZh;
+}
+function count(area, cases) {
+    return cases.filter((testCase) => testCase.area === area.id).length;
+}
+function rowsFor(language) {
+    return SUPPORT_AREAS.map((area) => {
+        const supported = count(area, SUPPORTED_CASES);
+        const unsupported = count(area, UNSUPPORTED_CASES);
+        return `| ${areaTitle(area, language)} | ${supported} | ${unsupported} | [${language === "en" ? "reference" : "参考"}](${docLink(area, language)}) |`;
+    }).join("\n");
+}
+function supportedTable(language) {
+    const header = language === "en"
+        ? "| test262 case | Area | What it pins down |\n| --- | --- | --- |"
+        : "| test262 用例 | 领域 | 固化的行为 |\n| --- | --- | --- |";
+    const rows = SUPPORTED_CASES.map((testCase) => {
+        const area = SUPPORT_AREAS.find((candidate) => candidate.id === testCase.area);
+        const claim = language === "en" ? testCase.claim : testCase.claimZh;
+        return `| \`${testCase.path}\` | ${areaTitle(area, language)} | ${claim} |`;
+    });
+    return [header, ...rows].join("\n");
+}
+function unsupportedTable(language) {
+    const header = language === "en"
+        ? "| test262 case | Area | Diagnostic | Why |\n| --- | --- | ---: | --- |"
+        : "| test262 用例 | 领域 | 诊断码 | 原因 |\n| --- | --- | ---: | --- |";
+    const rows = UNSUPPORTED_CASES.map((testCase) => {
+        const area = SUPPORT_AREAS.find((candidate) => candidate.id === testCase.area);
+        const claim = language === "en" ? testCase.claim : testCase.claimZh;
+        return `| \`${testCase.path}\` | ${areaTitle(area, language)} | TS${testCase.code} | ${claim} |`;
+    });
+    return [header, ...rows].join("\n");
+}
+export function renderSupportMatrix(language) {
+    const corpusLink = language === "en" ? "../tests/conformance/test262/manifest.ts" : "../../tests/conformance/test262/manifest.ts";
+    const testLink = language === "en" ? "../tests/conformance/test262.test.ts" : "../../tests/conformance/test262.test.ts";
+    const sourceLink = language === "en" ? "../tests/conformance/test262/SOURCE.md" : "../../tests/conformance/test262/SOURCE.md";
+    if (language === "en") {
+        return `# Support matrix
+
+> Language: **English** | [简体中文](./zh-CN/support-matrix.md)
+
+> **Generated** by \`npm run docs:matrix\` from the executable catalogue in
+> [\`tests/conformance/test262/manifest.ts\`](${corpusLink}). Do not edit this
+> file by hand: change a case and regenerate.
+
+Every supported case is an unmodified [test262](https://github.com/tc39/test262)
+file (pinned at \`${TEST262_COMMIT}\`) that xbintsc compiles **and runs**; the
+[test262 suite](${testLink}) fails if one stops passing. The corpus is a
+representative subset, not a full test262 run. Every unsupported case
+is valid JavaScript that xbintsc currently rejects, pinned with the diagnostic
+code it produces. See [\`SOURCE.md\`](${sourceLink}) for the harness adaptation.
+Because the suite runs on every CI platform, this table cannot claim more than
+the compiler does.
+
+## Coverage by area
+
+| Area | Supported | Unsupported | Reference |
+| --- | ---: | ---: | --- |
+${rowsFor(language)}
+
+## Supported cases (test262, compiled and executed)
+
+${supportedTable(language)}
+
+## Unsupported cases (valid JavaScript, expected diagnostics)
+
+${unsupportedTable(language)}
+`;
+    }
+    return `# 支持矩阵
+
+> 语言：[English](../support-matrix.md) | **简体中文**
+
+> 本文件由 \`npm run docs:matrix\` 根据可执行语料
+> [\`tests/conformance/test262/manifest.ts\`](${corpusLink}) 生成，请勿手工编辑：
+> 修改用例后重新生成。
+
+每个“支持”用例都是 [test262](https://github.com/tc39/test262) 的原始文件
+（固定版本 \`${TEST262_COMMIT}\`），由 xbintsc 编译**并执行**；
+[test262 测试套件](${testLink}) 会在用例回归时失败。该语料是代表性
+子集，不是完整的 test262 全量运行。每个“不支持”用例都是
+xbintsc 目前会拒绝的合法 JavaScript，并以实际产生的诊断码固定下来。
+harness 的适配说明见 [\`SOURCE.md\`](${sourceLink})。该套件在 CI 的每个平台
+运行，因此本表不会声称编译器做不到的能力。
+
+## 各领域覆盖
+
+| 领域 | 支持 | 不支持 | 参考 |
+| --- | ---: | ---: | --- |
+${rowsFor(language)}
+
+## 支持的用例（test262，编译并执行）
+
+${supportedTable(language)}
+
+## 不支持的用例（合法 JavaScript，预期诊断）
+
+${unsupportedTable(language)}
+`;
+}
+function main() {
+    for (const language of ["en", "zh"]) {
+        const path = resolve(root, MATRIX_FILES[language]);
+        writeFileSync(path, renderSupportMatrix(language));
+        process.stdout.write(`xbintsc: wrote ${MATRIX_FILES[language]}\n`);
+    }
+}
+if (process.argv[1] !== undefined && pathToFileURL(resolve(process.argv[1])).href === import.meta.url) {
+    main();
+}
+//# sourceMappingURL=support-matrix.js.map

package/dist/scripts/support-matrix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"support-matrix.js","sourceRoot":"","sources":["../../scripts/support-matrix.ts"],"names":[],"mappings":";AACA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACxD,OAAO,EACL,aAAa,EACb,eAAe,EACf,iBAAiB,GAElB,MAAM,0CAA0C,CAAC;AAElD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAIpE,MAAM,CAAC,MAAM,YAAY,GAAuC;IAC9D,EAAE,EAAE,uBAAuB;IAC3B,EAAE,EAAE,6BAA6B;CAClC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,0CAA0C,CAAC;AAEzE,SAAS,OAAO,CAAC,IAAiB,EAAE,QAAkB;IACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;IACxF,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,SAAS,CAAC,IAAiB,EAAE,QAAkB;IACtD,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;AACvD,CAAC;AAED,SAAS,KAAK,CAAC,IAAiB,EAAE,KAA2C;IAC3E,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;AACtE,CAAC;AAED,SAAS,OAAO,CAAC,QAAkB;IACjC,OAAO,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAChC,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;QAC/C,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QACnD,OAAO,KAAK,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,SAAS,MAAM,WAAW,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC;IACtJ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,QAAkB;IACxC,MAAM,MAAM,GACV,QAAQ,KAAK,IAAI;QACf,CAAC,CAAC,kEAAkE;QACpE,CAAC,CAAC,kDAAkD,CAAC;IACzD,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC5C,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,QAAQ,CAAC,IAAI,CAAE,CAAC;QAChF,MAAM,KAAK,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;QACpE,OAAO,OAAO,QAAQ,CAAC,IAAI,QAAQ,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC;IAC9E,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAkB;IAC1C,MAAM,MAAM,GACV,QAAQ,KAAK,IAAI;QACf,CAAC,CAAC,wEAAwE;QAC1E,CAAC,CAAC,4DAA4D,CAAC;IACnE,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC9C,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,QAAQ,CAAC,IAAI,CAAE,CAAC;QAChF,MAAM,KAAK,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;QACpE,OAAO,OAAO,QAAQ,CAAC,IAAI,QAAQ,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,QAAQ,CAAC,IAAI,MAAM,KAAK,IAAI,CAAC;IACnG,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,QAAkB;IACpD,MAAM,UAAU,GACd,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,0CAA0C,CAAC,CAAC,CAAC,6CAA6C,CAAC;IACjH,MAAM,QAAQ,GACZ,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,sCAAsC,CAAC,CAAC,CAAC,yCAAyC,CAAC;IACzG,MAAM,UAAU,GACd,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,wCAAwC,CAAC,CAAC,CAAC,2CAA2C,CAAC;IAE7G,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO;;;;;gDAKqC,UAAU;;;;oBAItC,cAAc;kBAChB,QAAQ;;;wCAGc,UAAU;;;;;;;;EAQhD,OAAO,CAAC,QAAQ,CAAC;;;;EAIjB,cAAc,CAAC,QAAQ,CAAC;;;;EAIxB,gBAAgB,CAAC,QAAQ,CAAC;CAC3B,CAAC;IACA,CAAC;IAED,OAAO;;;;;gDAKuC,UAAU;;;;UAIhD,cAAc;iBACP,QAAQ;;;iCAGQ,UAAU;;;;;;;EAOzC,OAAO,CAAC,QAAQ,CAAC;;;;EAIjB,cAAc,CAAC,QAAQ,CAAC;;;;EAIxB,gBAAgB,CAAC,QAAQ,CAAC;CAC3B,CAAC;AACF,CAAC;AAED,SAAS,IAAI;IACX,KAAK,MAAM,QAAQ,IAAI,CAAC,IAAI,EAAE,IAAI,CAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;QACnD,aAAa,CAAC,IAAI,EAAE,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC;QACnD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;IACtG,IAAI,EAAE,CAAC;AACT,CAAC"}

package/dist/src/ast/common.d.ts

@@ -4,7 +4,7 @@
  * `TypeNode` discriminated unions.
  */
 import { SyntaxKind, type ModifierKind } from "./kinds.js";
-import type { ArrayLiteralExpression, ArrowFunction, AsExpression, AwaitExpression, BigIntLiteral, BinaryExpression, BooleanLiteral, CallExpression, ClassExpression, ConditionalExpression, DeleteExpression, ElementAccessExpression, FunctionExpression, Identifier, NewExpression, NoSubstitutionTemplateLiteral, NonNullExpression, NullLiteral, NumericLiteral, ObjectLiteralExpression, ParenthesizedExpression, PostfixUnaryExpression, PrefixUnaryExpression, PrivateIdentifier, PropertyAccessExpression, RegularExpressionLiteral, SatisfiesExpression, SpreadElement, StringLiteral, TaggedTemplateExpression, TemplateLiteral, ThisExpression, TypeOfExpression, UndefinedLiteral, VoidExpression, YieldExpression } from "./expressions.js";
+import type { ArrayLiteralExpression, ArrowFunction, AsExpression, AwaitExpression, BigIntLiteral, BinaryExpression, BooleanLiteral, CallExpression, ClassExpression, ConditionalExpression, DeleteExpression, ElementAccessExpression, FunctionExpression, Identifier, NewExpression, NoSubstitutionTemplateLiteral, NonNullExpression, NullLiteral, NumericLiteral, ObjectLiteralExpression, ParenthesizedExpression, PostfixUnaryExpression, PrefixUnaryExpression, PrivateIdentifier, PropertyAccessExpression, RegularExpressionLiteral, SatisfiesExpression, SequenceExpression, SpreadElement, StringLiteral, TaggedTemplateExpression, TemplateLiteral, ThisExpression, TypeOfExpression, UndefinedLiteral, VoidExpression, YieldExpression } from "./expressions.js";
 import type { Block, BreakStatement, ContinueStatement, DebuggerStatement, DoStatement, EmptyStatement, ExpressionStatement, ForInStatement, ForOfStatement, ForStatement, IfStatement, LabeledStatement, ReturnStatement, SwitchStatement, ThrowStatement, TryStatement, VariableStatement, WhileStatement } from "./statements.js";
 import type { ClassDeclaration, EnumDeclaration, FunctionDeclaration, InterfaceDeclaration, ModuleDeclaration, TypeAliasDeclaration } from "./declarations.js";
 import type { ExportAssignment, ExportDeclaration, ImportDeclaration } from "./modules.js";
@@ -22,7 +22,7 @@ export interface Modifier extends Node {
     readonly kind: SyntaxKind.Unknown;
     readonly modifierKind: ModifierKind;
 }
-export type Expression = Identifier | PrivateIdentifier | NumericLiteral | BigIntLiteral | StringLiteral | NoSubstitutionTemplateLiteral | TemplateLiteral | RegularExpressionLiteral | BooleanLiteral | NullLiteral | UndefinedLiteral | ThisExpression | ArrayLiteralExpression | ObjectLiteralExpression | FunctionExpression | ArrowFunction | ClassExpression | CallExpression | NewExpression | PropertyAccessExpression | ElementAccessExpression | ParenthesizedExpression | PrefixUnaryExpression | PostfixUnaryExpression | BinaryExpression | ConditionalExpression | AsExpression | SatisfiesExpression | NonNullExpression | TypeOfExpression | VoidExpression | DeleteExpression | AwaitExpression | YieldExpression | TaggedTemplateExpression | SpreadElement;
+export type Expression = Identifier | PrivateIdentifier | NumericLiteral | BigIntLiteral | StringLiteral | NoSubstitutionTemplateLiteral | TemplateLiteral | RegularExpressionLiteral | BooleanLiteral | NullLiteral | UndefinedLiteral | ThisExpression | ArrayLiteralExpression | ObjectLiteralExpression | FunctionExpression | ArrowFunction | ClassExpression | CallExpression | NewExpression | PropertyAccessExpression | ElementAccessExpression | ParenthesizedExpression | PrefixUnaryExpression | PostfixUnaryExpression | BinaryExpression | ConditionalExpression | AsExpression | SatisfiesExpression | SequenceExpression | NonNullExpression | TypeOfExpression | VoidExpression | DeleteExpression | AwaitExpression | YieldExpression | TaggedTemplateExpression | SpreadElement;
 export type Statement = ExpressionStatement | Block | EmptyStatement | DebuggerStatement | VariableStatement | IfStatement | WhileStatement | DoStatement | ForStatement | ForOfStatement | ForInStatement | ReturnStatement | BreakStatement | ContinueStatement | ThrowStatement | TryStatement | SwitchStatement | LabeledStatement | FunctionDeclaration | ClassDeclaration | InterfaceDeclaration | TypeAliasDeclaration | EnumDeclaration | ModuleDeclaration | ImportDeclaration | ExportDeclaration | ExportAssignment;
 export type TypeNode = TypeReference | TypePredicate | KeywordTypeNode | LiteralTypeNode | ArrayTypeNode | TupleTypeNode | UnionTypeNode | IntersectionTypeNode | FunctionTypeNode | TypeLiteralNode | ParenthesizedTypeNode | TypeQueryNode | IndexedAccessTypeNode | TypeOperatorNode | MappedTypeNode | ConditionalTypeNode | InferTypeNode | OptionalTypeNode | RestTypeNode;
 export interface SourceFileNode extends Node {

package/dist/src/ast/declarations.d.ts

@@ -58,7 +58,7 @@ export interface ExpressionWithTypeArguments extends Node {
     readonly expression: Expression;
     readonly typeArguments: TypeNode[];
 }
-export type ClassElement = PropertyDeclaration | MethodDeclaration | ConstructorDeclaration;
+export type ClassElement = PropertyDeclaration | MethodDeclaration | ConstructorDeclaration | ClassStaticBlockDeclaration;
 export interface PropertyDeclaration extends Node {
     readonly kind: SyntaxKind.PropertyDeclaration;
     readonly name: PropertyName;
@@ -87,6 +87,12 @@ export interface ConstructorDeclaration extends Node {
     readonly parameters: Parameter[];
     readonly body?: Block;
 }
+/** `static { ... }`: runs once, while the class is being defined. */
+export interface ClassStaticBlockDeclaration extends Node {
+    readonly kind: SyntaxKind.ClassStaticBlockDeclaration;
+    readonly modifiers: Modifier[];
+    readonly body: Block;
+}
 export interface ClassDeclaration extends Node {
     readonly kind: SyntaxKind.ClassDeclaration;
     readonly name?: Identifier;

package/dist/src/ast/expressions.d.ts

@@ -162,6 +162,11 @@ export interface ParenthesizedExpression extends Node {
     readonly kind: SyntaxKind.ParenthesizedExpression;
     readonly expression: Expression;
 }
+/** `a, b, c`: evaluates every operand left to right, yields the last value. */
+export interface SequenceExpression extends Node {
+    readonly kind: SyntaxKind.SequenceExpression;
+    readonly expressions: Expression[];
+}
 export interface PrefixUnaryExpression extends Node {
     readonly kind: SyntaxKind.PrefixUnaryExpression;
     readonly operator: PrefixUnaryOperator;

package/dist/src/ast/kinds.d.ts

@@ -55,6 +55,7 @@ export declare const enum SyntaxKind {
     ObjectBindingPattern = 47,
     BindingElement = 48,
     ComputedPropertyName = 49,
+    SequenceExpression = 50,
     ExpressionStatement = 60,
     Block = 61,
     EmptyStatement = 62,
@@ -100,6 +101,7 @@ export declare const enum SyntaxKind {
     ExportAssignment = 119,
     NamedExports = 120,
     ExportSpecifier = 121,
+    ClassStaticBlockDeclaration = 122,
     TypeReference = 200,
     TypePredicate = 201,
     AnyKeywordType = 202,

package/dist/src/ast/kinds.js

@@ -60,6 +60,7 @@ export var SyntaxKind;
     SyntaxKind[SyntaxKind["ObjectBindingPattern"] = 47] = "ObjectBindingPattern";
     SyntaxKind[SyntaxKind["BindingElement"] = 48] = "BindingElement";
     SyntaxKind[SyntaxKind["ComputedPropertyName"] = 49] = "ComputedPropertyName";
+    SyntaxKind[SyntaxKind["SequenceExpression"] = 50] = "SequenceExpression";
     // Statements
     SyntaxKind[SyntaxKind["ExpressionStatement"] = 60] = "ExpressionStatement";
     SyntaxKind[SyntaxKind["Block"] = 61] = "Block";
@@ -107,6 +108,7 @@ export var SyntaxKind;
     SyntaxKind[SyntaxKind["ExportAssignment"] = 119] = "ExportAssignment";
     SyntaxKind[SyntaxKind["NamedExports"] = 120] = "NamedExports";
     SyntaxKind[SyntaxKind["ExportSpecifier"] = 121] = "ExportSpecifier";
+    SyntaxKind[SyntaxKind["ClassStaticBlockDeclaration"] = 122] = "ClassStaticBlockDeclaration";
     // Types
     SyntaxKind[SyntaxKind["TypeReference"] = 200] = "TypeReference";
     SyntaxKind[SyntaxKind["TypePredicate"] = 201] = "TypePredicate";

package/dist/src/ast/kinds.js.map

@@ -1 +1 @@
-{"version":3,"file":"kinds.js","sourceRoot":"","sources":["../../../src/ast/kinds.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,CAAN,IAAkB,UA+IjB;AA/ID,WAAkB,UAAU;IAC1B,UAAU;IACV,iDAAW,CAAA;IACX,+DAAkB,CAAA;IAClB,yDAAgB,CAAA;IAChB,+DAAmB,CAAA;IACnB,2FAAiC,CAAA;IACjC,yDAAgB,CAAA;IAEhB,aAAa;IACb,uDAAc,CAAA;IACd,qEAAqB,CAAA;IAErB,WAAW;IACX,+DAAkB,CAAA;IAClB,6DAAiB,CAAA;IACjB,6DAAiB,CAAA;IACjB,6FAAiC,CAAA;IACjC,iEAAmB,CAAA;IACnB,2DAAgB,CAAA;IAChB,oFAA6B,CAAA;IAC7B,0DAAgB,CAAA;IAChB,4DAAiB,CAAA;IACjB,0DAAgB,CAAA;IAChB,oEAAqB,CAAA;IACrB,0DAAgB,CAAA;IAEhB,cAAc;IACd,gFAA2B,CAAA;IAC3B,kFAA4B,CAAA;IAC5B,wEAAuB,CAAA;IACvB,0FAAgC,CAAA;IAChC,8DAAkB,CAAA;IAClB,wEAAuB,CAAA;IACvB,8DAAkB,CAAA;IAClB,kEAAoB,CAAA;IACpB,gEAAmB,CAAA;IACnB,8DAAkB,CAAA;IAClB,oFAA6B,CAAA;IAC7B,kFAA4B,CAAA;IAC5B,kFAA4B,CAAA;IAC5B,8EAA0B,CAAA;IAC1B,gFAA2B,CAAA;IAC3B,oEAAqB,CAAA;IACrB,8EAA0B,CAAA;IAC1B,4DAAiB,CAAA;IACjB,0EAAwB,CAAA;IACxB,sEAAsB,CAAA;IACtB,oEAAqB,CAAA;IACrB,gEAAmB,CAAA;IACnB,oEAAqB,CAAA;IACrB,kEAAoB,CAAA;IACpB,kEAAoB,CAAA;IACpB,oFAA6B,CAAA;IAC7B,0EAAwB,CAAA;IACxB,4EAAyB,CAAA;IACzB,gEAAmB,CAAA;IACnB,4EAAyB,CAAA;IAEzB,aAAa;IACb,0EAAwB,CAAA;IACxB,8CAAU,CAAA;IACV,gEAAmB,CAAA;IACnB,sEAAsB,CAAA;IACtB,sEAAsB,CAAA;IACtB,kFAA4B,CAAA;IAC5B,0EAAwB,CAAA;IACxB,0DAAgB,CAAA;IAChB,gEAAmB,CAAA;IACnB,0DAAgB,CAAA;IAChB,4DAAiB,CAAA;IACjB,gEAAmB,CAAA;IACnB,gEAAmB,CAAA;IACnB,kEAAoB,CAAA;IACpB,gEAAmB,CAAA;IACnB,sEAAsB,CAAA;IACtB,gEAAmB,CAAA;IACnB,4DAAiB,CAAA;IACjB,0DAAgB,CAAA;IAChB,kEAAoB,CAAA;IACpB,wDAAe,CAAA;IACf,8DAAkB,CAAA;IAClB,oEAAqB,CAAA;IAErB,eAAe;IACf,2EAAyB,CAAA;IACzB,qEAAsB,CAAA;IACtB,6EAA0B,CAAA;IAC1B,6EAA0B,CAAA;IAC1B,mEAAqB,CAAA;IACrB,yDAAgB,CAAA;IAChB,uEAAuB,CAAA;IACvB,uDAAe,CAAA;IACf,qFAA8B,CAAA;IAC9B,2EAAyB,CAAA;IACzB,uEAAuB,CAAA;IACvB,iFAA4B,CAAA;IAC5B,iEAAoB,CAAA;IACpB,uEAAuB,CAAA;IACvB,6DAAkB,CAAA;IAClB,6DAAkB,CAAA;IAClB,mEAAqB,CAAA;IACrB,mEAAqB,CAAA;IACrB,uEAAuB,CAAA;IACvB,qEAAsB,CAAA;IACtB,6DAAkB,CAAA;IAClB,mEAAqB,CAAA;IAErB,QAAQ;IACR,+DAAmB,CAAA;IACnB,+DAAmB,CAAA;IACnB,iEAAoB,CAAA;IACpB,yEAAwB,CAAA;IACxB,uEAAuB,CAAA;IACvB,uEAAuB,CAAA;IACvB,uEAAuB,CAAA;IACvB,yEAAwB,CAAA;IACxB,uEAAuB,CAAA;IACvB,mEAAqB,CAAA;IACrB,6EAA0B,CAAA;IAC1B,mEAAqB,CAAA;IACrB,qEAAsB,CAAA;IACtB,uEAAuB,CAAA;IACvB,mEAAqB,CAAA;IACrB,2DAAiB,CAAA;IACjB,uDAAe,CAAA;IACf,uDAAe,CAAA;IACf,uDAAe,CAAA;IACf,qEAAsB,CAAA;IACtB,6DAAkB,CAAA;IAClB,2DAAiB,CAAA;IACjB,uEAAuB,CAAA;IACvB,mEAAqB,CAAA;IACrB,iEAAoB,CAAA;IACpB,uEAAuB,CAAA;IACvB,uDAAe,CAAA;IACf,uEAAuB,CAAA;IACvB,6DAAkB,CAAA;IAClB,yDAAgB,CAAA;IAChB,mEAAqB,CAAA;IACrB,uDAAe,CAAA;IACf,6DAAkB,CAAA;IAClB,qDAAc,CAAA;AAChB,CAAC,EA/IiB,UAAU,KAAV,UAAU,QA+I3B;AAED,MAAM,CAAN,IAAkB,SAcjB;AAdD,WAAkB,SAAS;IACzB,yCAAQ,CAAA;IACR,uCAAY,CAAA;IACZ,2CAAc,CAAA;IACd,uCAAY,CAAA;IACZ,iDAAiB,CAAA;IACjB,gDAAgB,CAAA;IAChB,gDAAgB,CAAA;IAChB,4CAAc,CAAA;IACd,qDAAkB,CAAA;IAClB,iDAAgB,CAAA;IAChB,mDAAiB,CAAA;IACjB,oDAAkB,CAAA;IAClB,oDAAkB,CAAA;AACpB,CAAC,EAdiB,SAAS,KAAT,SAAS,QAc1B;AAED,MAAM,CAAN,IAAkB,YAYjB;AAZD,WAAkB,YAAY;IAC5B,iCAAiB,CAAA;IACjB,mCAAmB,CAAA;IACnB,mCAAmB,CAAA;IACnB,qCAAqB,CAAA;IACrB,iCAAiB,CAAA;IACjB,mCAAmB,CAAA;IACnB,uCAAuB,CAAA;IACvB,iCAAiB,CAAA;IACjB,qCAAqB,CAAA;IACrB,+BAAe,CAAA;IACf,+BAAe,CAAA;AACjB,CAAC,EAZiB,YAAY,KAAZ,YAAY,QAY7B"}
+{"version":3,"file":"kinds.js","sourceRoot":"","sources":["../../../src/ast/kinds.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,CAAN,IAAkB,UAiJjB;AAjJD,WAAkB,UAAU;IAC1B,UAAU;IACV,iDAAW,CAAA;IACX,+DAAkB,CAAA;IAClB,yDAAgB,CAAA;IAChB,+DAAmB,CAAA;IACnB,2FAAiC,CAAA;IACjC,yDAAgB,CAAA;IAEhB,aAAa;IACb,uDAAc,CAAA;IACd,qEAAqB,CAAA;IAErB,WAAW;IACX,+DAAkB,CAAA;IAClB,6DAAiB,CAAA;IACjB,6DAAiB,CAAA;IACjB,6FAAiC,CAAA;IACjC,iEAAmB,CAAA;IACnB,2DAAgB,CAAA;IAChB,oFAA6B,CAAA;IAC7B,0DAAgB,CAAA;IAChB,4DAAiB,CAAA;IACjB,0DAAgB,CAAA;IAChB,oEAAqB,CAAA;IACrB,0DAAgB,CAAA;IAEhB,cAAc;IACd,gFAA2B,CAAA;IAC3B,kFAA4B,CAAA;IAC5B,wEAAuB,CAAA;IACvB,0FAAgC,CAAA;IAChC,8DAAkB,CAAA;IAClB,wEAAuB,CAAA;IACvB,8DAAkB,CAAA;IAClB,kEAAoB,CAAA;IACpB,gEAAmB,CAAA;IACnB,8DAAkB,CAAA;IAClB,oFAA6B,CAAA;IAC7B,kFAA4B,CAAA;IAC5B,kFAA4B,CAAA;IAC5B,8EAA0B,CAAA;IAC1B,gFAA2B,CAAA;IAC3B,oEAAqB,CAAA;IACrB,8EAA0B,CAAA;IAC1B,4DAAiB,CAAA;IACjB,0EAAwB,CAAA;IACxB,sEAAsB,CAAA;IACtB,oEAAqB,CAAA;IACrB,gEAAmB,CAAA;IACnB,oEAAqB,CAAA;IACrB,kEAAoB,CAAA;IACpB,kEAAoB,CAAA;IACpB,oFAA6B,CAAA;IAC7B,0EAAwB,CAAA;IACxB,4EAAyB,CAAA;IACzB,gEAAmB,CAAA;IACnB,4EAAyB,CAAA;IACzB,wEAAuB,CAAA;IAEvB,aAAa;IACb,0EAAwB,CAAA;IACxB,8CAAU,CAAA;IACV,gEAAmB,CAAA;IACnB,sEAAsB,CAAA;IACtB,sEAAsB,CAAA;IACtB,kFAA4B,CAAA;IAC5B,0EAAwB,CAAA;IACxB,0DAAgB,CAAA;IAChB,gEAAmB,CAAA;IACnB,0DAAgB,CAAA;IAChB,4DAAiB,CAAA;IACjB,gEAAmB,CAAA;IACnB,gEAAmB,CAAA;IACnB,kEAAoB,CAAA;IACpB,gEAAmB,CAAA;IACnB,sEAAsB,CAAA;IACtB,gEAAmB,CAAA;IACnB,4DAAiB,CAAA;IACjB,0DAAgB,CAAA;IAChB,kEAAoB,CAAA;IACpB,wDAAe,CAAA;IACf,8DAAkB,CAAA;IAClB,oEAAqB,CAAA;IAErB,eAAe;IACf,2EAAyB,CAAA;IACzB,qEAAsB,CAAA;IACtB,6EAA0B,CAAA;IAC1B,6EAA0B,CAAA;IAC1B,mEAAqB,CAAA;IACrB,yDAAgB,CAAA;IAChB,uEAAuB,CAAA;IACvB,uDAAe,CAAA;IACf,qFAA8B,CAAA;IAC9B,2EAAyB,CAAA;IACzB,uEAAuB,CAAA;IACvB,iFAA4B,CAAA;IAC5B,iEAAoB,CAAA;IACpB,uEAAuB,CAAA;IACvB,6DAAkB,CAAA;IAClB,6DAAkB,CAAA;IAClB,mEAAqB,CAAA;IACrB,mEAAqB,CAAA;IACrB,uEAAuB,CAAA;IACvB,qEAAsB,CAAA;IACtB,6DAAkB,CAAA;IAClB,mEAAqB,CAAA;IACrB,2FAAiC,CAAA;IAEjC,QAAQ;IACR,+DAAmB,CAAA;IACnB,+DAAmB,CAAA;IACnB,iEAAoB,CAAA;IACpB,yEAAwB,CAAA;IACxB,uEAAuB,CAAA;IACvB,uEAAuB,CAAA;IACvB,uEAAuB,CAAA;IACvB,yEAAwB,CAAA;IACxB,uEAAuB,CAAA;IACvB,mEAAqB,CAAA;IACrB,6EAA0B,CAAA;IAC1B,mEAAqB,CAAA;IACrB,qEAAsB,CAAA;IACtB,uEAAuB,CAAA;IACvB,mEAAqB,CAAA;IACrB,2DAAiB,CAAA;IACjB,uDAAe,CAAA;IACf,uDAAe,CAAA;IACf,uDAAe,CAAA;IACf,qEAAsB,CAAA;IACtB,6DAAkB,CAAA;IAClB,2DAAiB,CAAA;IACjB,uEAAuB,CAAA;IACvB,mEAAqB,CAAA;IACrB,iEAAoB,CAAA;IACpB,uEAAuB,CAAA;IACvB,uDAAe,CAAA;IACf,uEAAuB,CAAA;IACvB,6DAAkB,CAAA;IAClB,yDAAgB,CAAA;IAChB,mEAAqB,CAAA;IACrB,uDAAe,CAAA;IACf,6DAAkB,CAAA;IAClB,qDAAc,CAAA;AAChB,CAAC,EAjJiB,UAAU,KAAV,UAAU,QAiJ3B;AAED,MAAM,CAAN,IAAkB,SAcjB;AAdD,WAAkB,SAAS;IACzB,yCAAQ,CAAA;IACR,uCAAY,CAAA;IACZ,2CAAc,CAAA;IACd,uCAAY,CAAA;IACZ,iDAAiB,CAAA;IACjB,gDAAgB,CAAA;IAChB,gDAAgB,CAAA;IAChB,4CAAc,CAAA;IACd,qDAAkB,CAAA;IAClB,iDAAgB,CAAA;IAChB,mDAAiB,CAAA;IACjB,oDAAkB,CAAA;IAClB,oDAAkB,CAAA;AACpB,CAAC,EAdiB,SAAS,KAAT,SAAS,QAc1B;AAED,MAAM,CAAN,IAAkB,YAYjB;AAZD,WAAkB,YAAY;IAC5B,iCAAiB,CAAA;IACjB,mCAAmB,CAAA;IACnB,mCAAmB,CAAA;IACnB,qCAAqB,CAAA;IACrB,iCAAiB,CAAA;IACjB,mCAAmB,CAAA;IACnB,uCAAuB,CAAA;IACvB,iCAAiB,CAAA;IACjB,qCAAqB,CAAA;IACrB,+BAAe,CAAA;IACf,+BAAe,CAAA;AACjB,CAAC,EAZiB,YAAY,KAAZ,YAAY,QAY7B"}

package/dist/src/binder/binder.d.ts

@@ -15,7 +15,7 @@
  *   - `helpers`      — small AST utilities
  */
 import type { Identifier, Node, SourceFileNode } from "../ast/nodes.js";
-import { ScopeKind, type ClassInfo, type FunctionInfo, type MutableFunction, type Scope, type SymbolInfo, type BindResult, type FunctionNode } from "./types.js";
+import { ScopeKind, type ClassInfo, type DeclarationConflict, type FunctionInfo, type MutableFunction, type Scope, type SymbolInfo, type BindResult, type FunctionNode } from "./types.js";
 import { type DeclarationMethods } from "./declarations.js";
 import { type ReferenceMethods } from "./references.js";
 export * from "./types.js";
@@ -29,6 +29,7 @@ export declare class Binder {
     readonly symbolOfIdentifier: Map<Identifier, SymbolInfo>;
     readonly scopes: Map<Node, Scope>;
     readonly unresolved: Identifier[];
+    readonly conflicts: DeclarationConflict[];
     nextSymbolId: number;
     nextFunctionId: number;
     nextClassId: number;

package/dist/src/binder/binder.js

@@ -32,6 +32,7 @@ export class Binder {
     symbolOfIdentifier = new Map();
     scopes = new Map();
     unresolved = [];
+    conflicts = [];
     nextSymbolId = 1;
     nextFunctionId = 1;
     nextClassId = 1;
@@ -68,6 +69,7 @@ export class Binder {
             symbolOfIdentifier: this.symbolOfIdentifier,
             scopes: this.scopes,
             unresolved: this.unresolved,
+            conflicts: this.conflicts,
         };
     }
     // -- construction helpers ------------------------------------------------

package/dist/src/binder/binder.js.map

@@ -1 +1 @@
-{"version":3,"file":"binder.js","sourceRoot":"","sources":["../../../src/binder/binder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,OAAO,EACL,SAAS,GAQV,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,kBAAkB,EAA2B,MAAM,mBAAmB,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAyB,MAAM,iBAAiB,CAAC;AAE1E,cAAc,YAAY,CAAC;AAE3B,MAAM,UAAU,IAAI,CAAC,UAA0B;IAC7C,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC;IACtC,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;AACvB,CAAC;AAED,MAAM,OAAO,MAAM;IAaI;IAZZ,SAAS,GAAmB,EAAE,CAAC;IAC/B,OAAO,GAAgB,EAAE,CAAC;IAC1B,WAAW,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,mBAAmB,GAAG,IAAI,GAAG,EAAoB,CAAC;IAClD,kBAAkB,GAAG,IAAI,GAAG,EAA0B,CAAC;IACvD,MAAM,GAAG,IAAI,GAAG,EAAe,CAAC;IAChC,UAAU,GAAiB,EAAE,CAAC;IACvC,YAAY,GAAG,CAAC,CAAC;IACjB,cAAc,GAAG,CAAC,CAAC;IACnB,WAAW,GAAG,CAAC,CAAC;IAChB,OAAO,CAAmB;IAE1B,YAAqB,UAA0B;QAA1B,eAAU,GAAV,UAAU,CAAgB;IAAG,CAAC;IAEnD,IAAI;QACF,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACxF,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAC5E,IAAI,CAAC,OAA4B,CAAC,KAAK,GAAG,KAAK,CAAC;QACjD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAExC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAC7D,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACrE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAEvD,2EAA2E;QAC3E,8DAA8D;QAC9D,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YAChE,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAqB,CAAC;YACrD,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC9B,EAAE,CAAC,YAAY,GAAG,IAAI,CAAC;gBACvB,MAAM,MAAM,GAAG,EAAE,CAAC,MAAqC,CAAC;gBACxD,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO;oBAAE,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC;YACvD,CAAC;QACH,CAAC;QAED,OAAO;YACL,cAAc,EAAE,IAAI,CAAC,OAAO;YAC5B,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,cAAc,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,CAAC;YAC1E,mBAAmB,EAAE,IAAI,CAAC,mBAAmB;YAC7C,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;YAC3C,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,UAAU,EAAE,IAAI,CAAC,UAAU;SAC5B,CAAC;IACJ,CAAC;IAED,2EAA2E;IAE3E,cAAc,CACZ,IAAY,EACZ,IAAkB,EAClB,MAAmC,EACnC,QAAiB,EACjB,OAAgB;QAEhB,MAAM,EAAE,GAAoB;YAC1B,EAAE,EAAE,IAAI,CAAC,cAAc,EAAE;YACzB,IAAI;YACJ,IAAI;YACJ,MAAM;YACN,KAAK,EAAE,SAA6B;YACpC,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE;YACZ,YAAY,EAAE,IAAI,GAAG,EAAE;YACvB,QAAQ;YACR,OAAO;YACP,OAAO,EAAE,CAAC,CAAE,IAA2B,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YAC5E,WAAW,EAAE,CAAC,CAAE,IAA2B,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC;YACpF,QAAQ,EAAE,KAAK;YACf,YAAY,EAAE,KAAK;SACpB,CAAC;QACF,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,WAAW,CAAC,IAAe,EAAE,IAAsB,EAAE,MAAyB;QAC5E,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IACtE,CAAC;CACF;AAID,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,kBAAkB,EAAE,gBAAgB,CAAC,CAAC"}
+{"version":3,"file":"binder.js","sourceRoot":"","sources":["../../../src/binder/binder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,OAAO,EACL,SAAS,GASV,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,kBAAkB,EAA2B,MAAM,mBAAmB,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAyB,MAAM,iBAAiB,CAAC;AAE1E,cAAc,YAAY,CAAC;AAE3B,MAAM,UAAU,IAAI,CAAC,UAA0B;IAC7C,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC;IACtC,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;AACvB,CAAC;AAED,MAAM,OAAO,MAAM;IAcI;IAbZ,SAAS,GAAmB,EAAE,CAAC;IAC/B,OAAO,GAAgB,EAAE,CAAC;IAC1B,WAAW,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,mBAAmB,GAAG,IAAI,GAAG,EAAoB,CAAC;IAClD,kBAAkB,GAAG,IAAI,GAAG,EAA0B,CAAC;IACvD,MAAM,GAAG,IAAI,GAAG,EAAe,CAAC;IAChC,UAAU,GAAiB,EAAE,CAAC;IAC9B,SAAS,GAA0B,EAAE,CAAC;IAC/C,YAAY,GAAG,CAAC,CAAC;IACjB,cAAc,GAAG,CAAC,CAAC;IACnB,WAAW,GAAG,CAAC,CAAC;IAChB,OAAO,CAAmB;IAE1B,YAAqB,UAA0B;QAA1B,eAAU,GAAV,UAAU,CAAgB;IAAG,CAAC;IAEnD,IAAI;QACF,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACxF,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAC5E,IAAI,CAAC,OAA4B,CAAC,KAAK,GAAG,KAAK,CAAC;QACjD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAExC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAC7D,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACrE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAEvD,2EAA2E;QAC3E,8DAA8D;QAC9D,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YAChE,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAqB,CAAC;YACrD,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC9B,EAAE,CAAC,YAAY,GAAG,IAAI,CAAC;gBACvB,MAAM,MAAM,GAAG,EAAE,CAAC,MAAqC,CAAC;gBACxD,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO;oBAAE,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC;YACvD,CAAC;QACH,CAAC;QAED,OAAO;YACL,cAAc,EAAE,IAAI,CAAC,OAAO;YAC5B,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,cAAc,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,CAAC;YAC1E,mBAAmB,EAAE,IAAI,CAAC,mBAAmB;YAC7C,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;YAC3C,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,SAAS,EAAE,IAAI,CAAC,SAAS;SAC1B,CAAC;IACJ,CAAC;IAED,2EAA2E;IAE3E,cAAc,CACZ,IAAY,EACZ,IAAkB,EAClB,MAAmC,EACnC,QAAiB,EACjB,OAAgB;QAEhB,MAAM,EAAE,GAAoB;YAC1B,EAAE,EAAE,IAAI,CAAC,cAAc,EAAE;YACzB,IAAI;YACJ,IAAI;YACJ,MAAM;YACN,KAAK,EAAE,SAA6B;YACpC,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE;YACZ,YAAY,EAAE,IAAI,GAAG,EAAE;YACvB,QAAQ;YACR,OAAO;YACP,OAAO,EAAE,CAAC,CAAE,IAA2B,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YAC5E,WAAW,EAAE,CAAC,CAAE,IAA2B,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC;YACpF,QAAQ,EAAE,KAAK;YACf,YAAY,EAAE,KAAK;SACpB,CAAC;QACF,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,WAAW,CAAC,IAAe,EAAE,IAAsB,EAAE,MAAyB;QAC5E,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IACtE,CAAC;CACF;AAID,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,kBAAkB,EAAE,gBAAgB,CAAC,CAAC"}

package/dist/src/binder/declarations.d.ts

@@ -5,6 +5,15 @@
 import { type BindingName, type ImportDeclaration, type Node, type Statement, type VariableDeclarationList } from "../ast/nodes.js";
 import { SymbolKind, type MutableFunction, type Scope, type SymbolInfo } from "./types.js";
 import type { Binder } from "./binder.js";
+/**
+ * Whether a declaration of `next` may legally share a scope with `existing`.
+ *
+ * This is JavaScript's redeclaration rules plus TypeScript's declaration
+ * merging, kept deliberately explicit: a wrong `true` would hide a real bug, a
+ * wrong `false` would make valid code fail to compile. Only the cases this
+ * compiler can actually see are covered; anything unknown is treated as legal.
+ */
+export declare function declarationsCanMerge(existing: SymbolKind, next: SymbolKind): boolean;
 export interface DeclarationMethods {
     declareBinding(this: Binder, name: BindingName, kind: SymbolKind, declaration: Node, scope: Scope, mutable: boolean): SymbolInfo | undefined;
     declare(this: Binder, name: string, kind: SymbolKind, node: Node, scope: Scope, mutable: boolean): SymbolInfo;