xbintsc 0.3.3 → 0.3.5

package/dist/tests/parser/statements.test.js

@@ -0,0 +1,85 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+import { describe, expect, it } from "vitest";
+import { parse } from "../helpers.js";
+import { SyntaxKind } from "../../src/ast/nodes.js";
+function statements(source) {
+    const { file, diagnostics } = parse(source);
+    return { stmts: file.statements, diagnostics };
+}
+describe("statement parsing", () => {
+    it("parses empty and debugger statements", () => {
+        const { stmts, diagnostics } = statements(";\ndebugger;");
+        expect(diagnostics).toHaveLength(0);
+        expect(stmts[0].kind).toBe(SyntaxKind.EmptyStatement);
+        expect(stmts[1].kind).toBe(SyntaxKind.DebuggerStatement);
+    });
+    it("parses const enums", () => {
+        const { stmts, diagnostics } = statements("const enum E { A, B }");
+        expect(diagnostics).toHaveLength(0);
+        expect(stmts[0].kind).toBe(SyntaxKind.EnumDeclaration);
+    });
+    it("parses labeled statements", () => {
+        const { stmts, diagnostics } = statements("outer: for (;;) { break outer; }");
+        expect(diagnostics).toHaveLength(0);
+        expect(stmts[0].kind).toBe(SyntaxKind.LabeledStatement);
+    });
+    it("parses interface, type alias, enum and namespace declarations", () => {
+        const cases = [
+            "interface I { x: number; }",
+            "type T = number | string;",
+            "enum E { A, B }",
+            "namespace N { export const x = 1; }",
+            'module "m" { export const y = 2; }',
+        ];
+        for (const source of cases) {
+            const { diagnostics } = statements(source);
+            expect(diagnostics, source).toHaveLength(0);
+        }
+    });
+    it("parses declare modifiers on every declaration kind", () => {
+        const cases = [
+            "declare const x: number;",
+            "declare let y: number;",
+            "declare const enum E { A }",
+            "declare function f(): void;",
+            "declare class C {}",
+            "declare interface I {}",
+            "declare type T = number;",
+            "declare enum E { A }",
+            "declare namespace N {}",
+            'declare module "m" {}',
+        ];
+        for (const source of cases) {
+            const { diagnostics } = statements(source);
+            expect(diagnostics, source).toHaveLength(0);
+        }
+    });
+    it("parses export default function and class declarations", () => {
+        expect(statements("export default function f() {}").diagnostics).toHaveLength(0);
+        expect(statements("export default class C {}").diagnostics).toHaveLength(0);
+    });
+});
+describe("class member parsing", () => {
+    it("skips stray semicolons", () => {
+        const { stmts, diagnostics } = statements("class C { ; x = 1; }");
+        expect(diagnostics).toHaveLength(0);
+        expect(stmts[0].members).toHaveLength(1);
+    });
+    it("parses member modifiers", () => {
+        const source = "class C { public x = 1; private y = 2; protected z = 3; readonly w = 4; static s = 5; abstract m(): void; }";
+        const { diagnostics } = statements(source);
+        expect(diagnostics).toHaveLength(0);
+    });
+    it("parses optional and definite-assignment properties", () => {
+        const { stmts, diagnostics } = statements("class C { a?: number; b!: number; }");
+        expect(diagnostics).toHaveLength(0);
+        expect(stmts[0].members[0].questionToken).toBe(true);
+        expect(stmts[0].members[1].exclamationToken).toBe(true);
+    });
+    it("parses bodyless accessor, method and constructor signatures", () => {
+        const source = "class C { get x(): number; set x(v: number); constructor(); m(): void; }";
+        const { diagnostics } = statements(source);
+        expect(diagnostics).toHaveLength(0);
+    });
+});
+//# sourceMappingURL=statements.test.js.map

package/dist/tests/parser/statements.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.test.js","sourceRoot":"","sources":["../../../tests/parser/statements.test.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEpD,SAAS,UAAU,CAAC,MAAc;IAChC,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5C,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,UAAmB,EAAE,WAAW,EAAE,CAAC;AAC1D,CAAC;AAED,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,UAAU,CAAC,cAAc,CAAC,CAAC;QAC1D,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,UAAU,CAAC,uBAAuB,CAAC,CAAC;QACnE,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,UAAU,CAAC,kCAAkC,CAAC,CAAC;QAC9E,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,KAAK,GAAG;YACZ,4BAA4B;YAC5B,2BAA2B;YAC3B,iBAAiB;YACjB,qCAAqC;YACrC,oCAAoC;SACrC,CAAC;QACF,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,MAAM,EAAE,WAAW,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,KAAK,GAAG;YACZ,0BAA0B;YAC1B,wBAAwB;YACxB,4BAA4B;YAC5B,6BAA6B;YAC7B,oBAAoB;YACpB,wBAAwB;YACxB,0BAA0B;YAC1B,sBAAsB;YACtB,wBAAwB;YACxB,uBAAuB;SACxB,CAAC;QACF,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,MAAM,EAAE,WAAW,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,UAAU,CAAC,gCAAgC,CAAC,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,UAAU,CAAC,2BAA2B,CAAC,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,UAAU,CAAC,sBAAsB,CAAC,CAAC;QAClE,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,MAAM,GACV,6GAA6G,CAAC;QAChH,MAAM,EAAE,WAAW,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,UAAU,CAAC,qCAAqC,CAAC,CAAC;QACjF,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAG,0EAA0E,CAAC;QAC1F,MAAM,EAAE,WAAW,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/parser/type-members.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/tests/parser/type-members.test.js

@@ -0,0 +1,86 @@
+import { describe, expect, it } from "vitest";
+import { parse } from "../helpers.js";
+import { SyntaxKind } from "../../src/ast/nodes.js";
+/* eslint-disable @typescript-eslint/no-explicit-any */
+function first(source) {
+    const { file, diagnostics } = parse(source);
+    expect(diagnostics.filter((d) => d.category === "error")).toHaveLength(0);
+    return file.statements[0];
+}
+function members(source) {
+    return first(source).members;
+}
+describe("parser type members", () => {
+    it("parses call signatures", () => {
+        const [member] = members("interface I { (x: number): string; }");
+        expect(member.kind).toBe(SyntaxKind.MethodSignature);
+        expect(member.name.text).toBe("__call");
+        expect(member.parameters).toHaveLength(1);
+        expect(member.returnType.kind).toBe(SyntaxKind.StringKeywordType);
+    });
+    it("parses generic call signatures with type parameters", () => {
+        const [member] = members("interface I { <T>(x: T): T; }");
+        expect(member.kind).toBe(SyntaxKind.MethodSignature);
+        expect(member.typeParameters).toHaveLength(1);
+        expect(member.returnType.kind).toBe(SyntaxKind.TypeReference);
+    });
+    it("parses index signatures", () => {
+        const [member] = members("interface I { [key: string]: number; }");
+        expect(member.kind).toBe(SyntaxKind.IndexSignature);
+        expect(member.parameters[0].name.text).toBe("key");
+        expect(member.parameters[0].type.kind).toBe(SyntaxKind.StringKeywordType);
+        expect(member.type.kind).toBe(SyntaxKind.NumberKeywordType);
+    });
+    it("falls back to a property signature for an invalid index signature", () => {
+        const [member] = members("interface I { [key]: number; }");
+        expect(member.kind).toBe(SyntaxKind.PropertySignature);
+    });
+    it("parses method signatures", () => {
+        const [member] = members("interface I { greet(name: string): void; }");
+        expect(member.kind).toBe(SyntaxKind.MethodSignature);
+        expect(member.name.text).toBe("greet");
+        expect(member.questionToken).toBe(false);
+        expect(member.returnType.kind).toBe(SyntaxKind.VoidKeywordType);
+    });
+    it("parses generic method signatures", () => {
+        const [member] = members("interface I { map<T>(fn: (x: T) => T): T; }");
+        expect(member.kind).toBe(SyntaxKind.MethodSignature);
+        expect(member.typeParameters).toHaveLength(1);
+    });
+    it("parses optional, readonly and untyped property signatures", () => {
+        const [readonly, plain, untyped] = members("interface I { readonly a?: number; b: string; c; }");
+        expect(readonly.kind).toBe(SyntaxKind.PropertySignature);
+        expect(readonly.readonlyToken).toBe(true);
+        expect(readonly.questionToken).toBe(true);
+        expect(readonly.type.kind).toBe(SyntaxKind.NumberKeywordType);
+        expect(plain.readonlyToken).toBe(false);
+        expect(plain.questionToken).toBe(false);
+        expect(untyped.kind).toBe(SyntaxKind.PropertySignature);
+        expect(untyped.type).toBeUndefined();
+    });
+    it("parses multiple members separated by commas", () => {
+        const parsed = members("interface I { a: number, b: string, }");
+        expect(parsed).toHaveLength(2);
+    });
+    it("parses module declarations with a block body", () => {
+        const declaration = first("module Foo { const x = 1; }");
+        expect(declaration.kind).toBe(SyntaxKind.ModuleDeclaration);
+        expect(declaration.name.kind).toBe(SyntaxKind.Identifier);
+        expect(declaration.name.text).toBe("Foo");
+        expect(declaration.body.kind).toBe(SyntaxKind.Block);
+    });
+    it("parses dotted namespace declarations without a body", () => {
+        const declaration = first("namespace A.B.C;");
+        expect(declaration.kind).toBe(SyntaxKind.ModuleDeclaration);
+        expect(declaration.name.text).toBe("A");
+        expect(declaration.body).toBeUndefined();
+    });
+    it("parses string-named ambient modules", () => {
+        const declaration = first('declare module "foo" { }');
+        expect(declaration.kind).toBe(SyntaxKind.ModuleDeclaration);
+        expect(declaration.name.kind).toBe(SyntaxKind.StringLiteral);
+        expect(declaration.name.value).toBe("foo");
+        expect(declaration.body.kind).toBe(SyntaxKind.Block);
+    });
+});
+//# sourceMappingURL=type-members.test.js.map

package/dist/tests/parser/type-members.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-members.test.js","sourceRoot":"","sources":["../../../tests/parser/type-members.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEpD,uDAAuD;AACvD,SAAS,KAAK,CAAC,MAAc;IAC3B,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC1E,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,OAAO,CAAC,MAAc;IAC7B,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;AAC/B,CAAC;AAED,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,sCAAsC,CAAC,CAAC;QACjE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QACrD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,+BAA+B,CAAC,CAAC;QAC1D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QACrD,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,wCAAwC,CAAC,CAAC;QACnE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAC1E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,gCAAgC,CAAC,CAAC;QAC3D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,4CAA4C,CAAC,CAAC;QACvE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QACrD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,6CAA6C,CAAC,CAAC;QACxE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QACrD,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,oDAAoD,CAAC,CAAC;QACjG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QACzD,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAE9D,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAExC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QACxD,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAG,OAAO,CAAC,uCAAuC,CAAC,CAAC;QAChE,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,WAAW,GAAG,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACzD,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAC5D,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,WAAW,GAAG,KAAK,CAAC,kBAAkB,CAAC,CAAC;QAC9C,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAC5D,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,WAAW,GAAG,KAAK,CAAC,0BAA0B,CAAC,CAAC;QACtD,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAC5D,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QAC7D,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/parser/types.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/tests/parser/types.test.js

@@ -0,0 +1,143 @@
+import { describe, expect, it } from "vitest";
+import { parse } from "../helpers.js";
+import { SyntaxKind } from "../../src/ast/nodes.js";
+import { TypeOperator } from "../../src/ast/operators.js";
+/* eslint-disable @typescript-eslint/no-explicit-any */
+function aliasType(source) {
+    const { file, diagnostics } = parse(source);
+    expect(diagnostics.filter((d) => d.category === "error")).toHaveLength(0);
+    return file.statements[0].type;
+}
+describe("parser type syntax", () => {
+    it("parses intersection types", () => {
+        const type = aliasType("type T = A & B & C;");
+        expect(type.kind).toBe(SyntaxKind.IntersectionType);
+        expect(type.types).toHaveLength(3);
+        expect(type.types.map((t) => t.kind)).toEqual([
+            SyntaxKind.TypeReference,
+            SyntaxKind.TypeReference,
+            SyntaxKind.TypeReference,
+        ]);
+    });
+    it("tolerates leading union and intersection bars", () => {
+        const union = aliasType("type T = | A | B;");
+        expect(union.kind).toBe(SyntaxKind.UnionType);
+        expect(union.types).toHaveLength(2);
+        const intersection = aliasType("type T = & A & B;");
+        expect(intersection.kind).toBe(SyntaxKind.IntersectionType);
+        expect(intersection.types).toHaveLength(2);
+    });
+    it("parses keyof, unique and readonly type operators", () => {
+        const keyof = aliasType("type T = keyof Foo;");
+        expect(keyof.kind).toBe(SyntaxKind.TypeOperator);
+        expect(keyof.operator).toBe(TypeOperator.KeyOf);
+        const unique = aliasType("type T = unique symbol;");
+        expect(unique.kind).toBe(SyntaxKind.TypeOperator);
+        expect(unique.operator).toBe(TypeOperator.Unique);
+        const readonly = aliasType("type T = readonly number[];");
+        expect(readonly.kind).toBe(SyntaxKind.TypeOperator);
+        expect(readonly.operator).toBe(TypeOperator.Readonly);
+    });
+    it("parses infer types with and without a constraint", () => {
+        const plain = aliasType("type T = infer R;");
+        expect(plain.kind).toBe(SyntaxKind.InferType);
+        expect(plain.typeParameter.name.text).toBe("R");
+        expect(plain.typeParameter.constraint).toBeUndefined();
+        const constrained = aliasType("type T = infer R extends string;");
+        expect(constrained.kind).toBe(SyntaxKind.InferType);
+        expect(constrained.typeParameter.constraint.kind).toBe(SyntaxKind.StringKeywordType);
+    });
+    it("parses every keyword type", () => {
+        const cases = [
+            ["bigint", SyntaxKind.BigIntKeywordType],
+            ["boolean", SyntaxKind.BooleanKeywordType],
+            ["symbol", SyntaxKind.SymbolKeywordType],
+            ["undefined", SyntaxKind.UndefinedKeywordType],
+            ["null", SyntaxKind.NullKeywordType],
+            ["never", SyntaxKind.NeverKeywordType],
+            ["object", SyntaxKind.ObjectKeywordType],
+            ["this", SyntaxKind.ThisKeywordType],
+        ];
+        for (const [text, kind] of cases) {
+            expect(aliasType(`type T = ${text};`).kind).toBe(kind);
+        }
+    });
+    it("parses typeof queries with and without type arguments", () => {
+        const plain = aliasType("type T = typeof foo.bar;");
+        expect(plain.kind).toBe(SyntaxKind.TypeQuery);
+        expect(plain.exprName.kind).toBe(SyntaxKind.QualifiedName);
+        expect(plain.typeArguments).toEqual([]);
+        const generic = aliasType("type T = typeof foo<number>;");
+        expect(generic.kind).toBe(SyntaxKind.TypeQuery);
+        expect(generic.typeArguments).toHaveLength(1);
+    });
+    it("parses parenthesized and function types", () => {
+        expect(aliasType("type T = (number);").kind).toBe(SyntaxKind.ParenthesizedType);
+        expect(aliasType("type T = (x: number) => string;").kind).toBe(SyntaxKind.FunctionType);
+        expect(aliasType("type T = <U>(x: U) => U;").kind).toBe(SyntaxKind.FunctionType);
+        expect(aliasType("type T = new (x: number) => Foo;").kind).toBe(SyntaxKind.FunctionType);
+    });
+    it("parses literal types including booleans and negatives", () => {
+        const trueType = aliasType("type T = true;");
+        expect(trueType.kind).toBe(SyntaxKind.LiteralType);
+        expect(trueType.literal.kind).toBe(SyntaxKind.TrueKeyword);
+        const falseType = aliasType("type T = false;");
+        expect(falseType.literal.kind).toBe(SyntaxKind.FalseKeyword);
+        const negative = aliasType("type T = -1;");
+        expect(negative.kind).toBe(SyntaxKind.LiteralType);
+        expect(negative.literal.text).toBe("-1");
+        expect(negative.literal.value).toBe(-1);
+        expect(aliasType('type T = "x";').literal.value).toBe("x");
+        expect(aliasType("type T = 3;").literal.value).toBe(3);
+    });
+    it("parses import types, degrading them to a loose node", () => {
+        const type = aliasType('type T = import("./m").Foo;');
+        expect(type.kind).toBe(SyntaxKind.AnyKeywordType);
+    });
+    it("parses indexed access types", () => {
+        const type = aliasType('type T = Foo["bar"];');
+        expect(type.kind).toBe(SyntaxKind.IndexedAccessType);
+        expect(type.objectType.kind).toBe(SyntaxKind.TypeReference);
+        expect(type.indexType.kind).toBe(SyntaxKind.LiteralType);
+    });
+    it("parses tuple types with rest and optional members", () => {
+        const type = aliasType("type T = [number, string?, ...boolean[]];");
+        expect(type.kind).toBe(SyntaxKind.TupleType);
+        expect(type.elements.map((e) => e.kind)).toEqual([
+            SyntaxKind.NumberKeywordType,
+            SyntaxKind.OptionalType,
+            SyntaxKind.RestType,
+        ]);
+    });
+    it("parses mapped types with question modifiers", () => {
+        const optional = aliasType("type T = { [K in keyof U]?: U[K] };");
+        expect(optional.kind).toBe(SyntaxKind.MappedType);
+        expect(optional.questionToken).toBe(true);
+        const added = aliasType("type T = { [K in keyof U]+?: U[K] };");
+        expect(added.kind).toBe(SyntaxKind.MappedType);
+        expect(added.questionToken).toBe("+");
+        const removed = aliasType("type T = { [K in keyof U]-?: U[K] };");
+        expect(removed.kind).toBe(SyntaxKind.MappedType);
+        expect(removed.questionToken).toBe("-");
+    });
+    it("parses conditional types", () => {
+        const type = aliasType("type T = A extends B ? C : D;");
+        expect(type.kind).toBe(SyntaxKind.ConditionalType);
+        expect(type.checkType.kind).toBe(SyntaxKind.TypeReference);
+        expect(type.trueType.kind).toBe(SyntaxKind.TypeReference);
+        expect(type.falseType.kind).toBe(SyntaxKind.TypeReference);
+    });
+    it("parses generic type references and qualified names", () => {
+        const generic = aliasType("type T = Map<string, number>;");
+        expect(generic.kind).toBe(SyntaxKind.TypeReference);
+        expect(generic.typeArguments).toHaveLength(2);
+        const qualified = aliasType("type T = A.B.C;");
+        expect(qualified.kind).toBe(SyntaxKind.TypeReference);
+        expect(qualified.typeName.kind).toBe(SyntaxKind.QualifiedName);
+    });
+    it("reports invalid type syntax", () => {
+        const { diagnostics } = parse("type T = @;");
+        expect(diagnostics.some((d) => d.category === "error")).toBe(true);
+    });
+});
+//# sourceMappingURL=types.test.js.map

package/dist/tests/parser/types.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.test.js","sourceRoot":"","sources":["../../../tests/parser/types.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D,uDAAuD;AACvD,SAAS,SAAS,CAAC,MAAc;IAC/B,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC1E,OAAQ,IAAI,CAAC,UAAU,CAAC,CAAC,CAAS,CAAC,IAAI,CAAC;AAC1C,CAAC;AAED,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACjD,UAAU,CAAC,aAAa;YACxB,UAAU,CAAC,aAAa;YACxB,UAAU,CAAC,aAAa;SACzB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,KAAK,GAAG,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAEpC,MAAM,YAAY,GAAG,SAAS,CAAC,mBAAmB,CAAC,CAAC;QACpD,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;QAC5D,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAC/C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAEhD,MAAM,MAAM,GAAG,SAAS,CAAC,yBAAyB,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAElD,MAAM,QAAQ,GAAG,SAAS,CAAC,6BAA6B,CAAC,CAAC;QAC1D,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QACpD,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,aAAa,EAAE,CAAC;QAEvD,MAAM,WAAW,GAAG,SAAS,CAAC,kCAAkC,CAAC,CAAC;QAClE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACpD,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,KAAK,GAA2B;YACpC,CAAC,QAAQ,EAAE,UAAU,CAAC,iBAAiB,CAAC;YACxC,CAAC,SAAS,EAAE,UAAU,CAAC,kBAAkB,CAAC;YAC1C,CAAC,QAAQ,EAAE,UAAU,CAAC,iBAAiB,CAAC;YACxC,CAAC,WAAW,EAAE,UAAU,CAAC,oBAAoB,CAAC;YAC9C,CAAC,MAAM,EAAE,UAAU,CAAC,eAAe,CAAC;YACpC,CAAC,OAAO,EAAE,UAAU,CAAC,gBAAgB,CAAC;YACtC,CAAC,QAAQ,EAAE,UAAU,CAAC,iBAAiB,CAAC;YACxC,CAAC,MAAM,EAAE,UAAU,CAAC,eAAe,CAAC;SACrC,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;YACjC,MAAM,CAAC,SAAS,CAAC,YAAY,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,KAAK,GAAG,SAAS,CAAC,0BAA0B,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAExC,MAAM,OAAO,GAAG,SAAS,CAAC,8BAA8B,CAAC,CAAC;QAC1D,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAChF,MAAM,CAAC,SAAS,CAAC,iCAAiC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QACxF,MAAM,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QACjF,MAAM,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,QAAQ,GAAG,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC7C,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QACnD,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAE3D,MAAM,SAAS,GAAG,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC/C,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QAE7D,MAAM,QAAQ,GAAG,SAAS,CAAC,cAAc,CAAC,CAAC;QAC3C,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QACnD,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAExC,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3D,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,IAAI,GAAG,SAAS,CAAC,6BAA6B,CAAC,CAAC;QACtD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,IAAI,GAAG,SAAS,CAAC,sBAAsB,CAAC,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QACrD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QAC5D,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,IAAI,GAAG,SAAS,CAAC,2CAA2C,CAAC,CAAC;QACpE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACpD,UAAU,CAAC,iBAAiB;YAC5B,UAAU,CAAC,YAAY;YACvB,UAAU,CAAC,QAAQ;SACpB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,QAAQ,GAAG,SAAS,CAAC,qCAAqC,CAAC,CAAC;QAClE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAClD,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1C,MAAM,KAAK,GAAG,SAAS,CAAC,sCAAsC,CAAC,CAAC;QAChE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAEtC,MAAM,OAAO,GAAG,SAAS,CAAC,sCAAsC,CAAC,CAAC;QAClE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACjD,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,IAAI,GAAG,SAAS,CAAC,+BAA+B,CAAC,CAAC;QACxD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QAC3D,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,OAAO,GAAG,SAAS,CAAC,+BAA+B,CAAC,CAAC;QAC3D,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACpD,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAE9C,MAAM,SAAS,GAAG,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC/C,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACtD,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;QAC7C,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "xbintsc",
-  "version": "0.3.3",
+  "version": "0.3.5",
   "description": "xbintsc - a TypeScript binary compiler (TypeScript -> LLVM IR -> native binary)",
   "type": "module",
   "license": "MIT",
@@ -38,15 +38,20 @@
     "runtime:clean": "node -e \"require('fs').rmSync('build/runtime-obj',{recursive:true,force:true});require('fs').rmSync('runtime/lib',{recursive:true,force:true})\"",
     "xbintsc": "tsx src/cli/main.ts",
     "typecheck": "tsc -p tsconfig.json --noEmit",
+    "lint": "eslint .",
     "test": "vitest run",
     "test:watch": "vitest",
     "test:e2e": "vitest run tests/e2e",
     "coverage": "vitest run --coverage"
   },
   "devDependencies": {
+    "@eslint/js": "^9.39.5",
     "@types/node": "^22.20.4",
+    "@vitest/coverage-v8": "^2.1.9",
+    "eslint": "^9.39.5",
     "tsx": "^4.19.2",
     "typescript": "^5.7.2",
+    "typescript-eslint": "^8.70.1",
     "vitest": "^2.1.8"
   },
   "engines": {

package/runtime/ext_node/fs/fs_ops.c

@@ -131,11 +131,46 @@ xt_value xt_node_exists(int32_t argc, xt_value *argv) {
 /* readdirSync                                                               */
 /* ------------------------------------------------------------------------- */
 
+/* Defined alongside `statSync` further down; the `Dirent` objects built for
+   `readdirSync(path, { withFileTypes: true })` reuse the same closures. */
+static void xt_fs_define_stat_method(xt_value object, const char *name, unsigned int mode);
+
+/* Build the Node `Dirent`-shaped object (`name` plus stat predicates) for a
+   single directory entry. Types come from `lstat`, matching Node's `d_type`
+   based `Dirent` (a symlink reports `isSymbolicLink()` true). */
+static xt_value xt_node_dirent_result(const char *dir, const char *name) {
+  size_t size = strlen(dir) + strlen(name) + 2;
+  char *full = (char *)malloc(size);
+  unsigned int mode = 0;
+  if (full) {
+    snprintf(full, size, "%s/%s", dir, name);
+    xt_fs_stat_t info;
+    if (xt_fs_lstat_fn(full, &info) == 0) mode = (unsigned int)info.st_mode;
+    free(full);
+  }
+
+  xt_value object = xt_object_new();
+  xt_object_set(object, xt_string_from_cstr("name"), xt_string_from_cstr(name));
+  xt_fs_define_stat_method(object, "isFile", mode);
+  xt_fs_define_stat_method(object, "isDirectory", mode);
+  xt_fs_define_stat_method(object, "isSymbolicLink", mode);
+  xt_fs_define_stat_method(object, "isFIFO", mode);
+  xt_fs_define_stat_method(object, "isSocket", mode);
+  xt_fs_define_stat_method(object, "isBlockDevice", mode);
+  xt_fs_define_stat_method(object, "isCharacterDevice", mode);
+  return object;
+}
+
 xt_value xt_node_read_dir(int32_t argc, xt_value *argv) {
   if (argc < 1) return xt_undefined();
   const char *path = xt_string_data(xt_to_string(argv[0]));
   if (!path) return xt_undefined();
 
+  /* `readdirSync(path, { withFileTypes: true })` yields `Dirent` objects;
+     without the option the result is a plain array of entry names. */
+  int withFileTypes =
+      argc > 1 && XT_IS_OBJECT(argv[1]) && xt_truthy(xt_object_get_cstr(argv[1], "withFileTypes"));
+
   xt_fs_dir dir;
   if (!xt_fs_dir_open(&dir, path)) {
     xt_fs_error("open directory", path);
@@ -159,7 +194,7 @@ xt_value xt_node_read_dir(int32_t argc, xt_value *argv) {
       if (!grown) break;
       items = grown;
     }
-    items[count++] = xt_string_from_cstr(name);
+    items[count++] = withFileTypes ? xt_node_dirent_result(path, name) : xt_string_from_cstr(name);
   }
   xt_fs_dir_close(&dir);
 

package/runtime/rt.h

@@ -107,6 +107,7 @@ xt_value xt_closure_call(xt_value fn, int32_t argc, xt_value *argv);
 xt_value xt_call_with_this(xt_value fn, xt_value thisValue, int32_t argc, xt_value *argv);
 xt_value xt_closure_env(xt_value fn, int32_t index);
 int32_t xt_closure_arity(xt_value fn);
+xt_value xt_function_set_metadata(xt_value fn, xt_value name, int32_t arity);
 xt_value xt_this(void);
 xt_value xt_new(xt_value ctor, int32_t argc, xt_value *argv);
 xt_value xt_instance_of(xt_value value, xt_value ctor);
@@ -169,6 +170,14 @@ xt_value xt_object_entries(xt_value obj);
 xt_value xt_object_assign(int32_t argc, xt_value *argv);
 xt_value xt_object_spread(xt_value target, xt_value source);
 
+/* -- symbols -------------------------------------------------------------- */
+/** Implements `Symbol(description)`. */
+xt_value xt_symbol(int32_t argc, xt_value *argv);
+/** Implements `Symbol.<name>(...)` statics (`for`, `keyFor`). */
+xt_value xt_symbol_static(xt_value name, int32_t argc, xt_value *argv);
+/** Reads a well-known symbol (`Symbol.iterator`, ...). */
+xt_value xt_symbol_get(xt_value name);
+
 /* -- standard library dispatch -------------------------------------------- */
 /** Call `target[name](...)`, falling back to built-in Array/String methods. */
 xt_value xt_call_method(xt_value target, xt_value name, int32_t argc, xt_value *argv);
@@ -229,6 +238,10 @@ xt_value xt_parse_int(int32_t argc, xt_value *argv);
 xt_value xt_parse_float(int32_t argc, xt_value *argv);
 xt_value xt_is_nan(int32_t argc, xt_value *argv);
 xt_value xt_is_finite(int32_t argc, xt_value *argv);
+xt_value xt_encode_uri_component(int32_t argc, xt_value *argv);
+xt_value xt_encode_uri(int32_t argc, xt_value *argv);
+xt_value xt_decode_uri_component(int32_t argc, xt_value *argv);
+xt_value xt_decode_uri(int32_t argc, xt_value *argv);
 xt_value xt_number_ctor(int32_t argc, xt_value *argv);
 xt_value xt_string_ctor(int32_t argc, xt_value *argv);
 xt_value xt_boolean_ctor(int32_t argc, xt_value *argv);
@@ -263,6 +276,10 @@ xt_value xt_iter_value(xt_value value, xt_value index);
 /* -- generic member access ------------------------------------------------ */
 xt_value xt_get(xt_value target, xt_value key);
 xt_value xt_set(xt_value target, xt_value key, xt_value value);
+/* Materialise a first-class runtime method value (`arr.map`) as an unbound
+ * closure that expects the receiver through `this`. Returns `XT_UNDEFINED` when
+ * `name` is not a method of `target`, so it can be used as a property fallback. */
+xt_value xt_method_value(xt_value target, xt_value name);
 
 /* -- boxes (used for captured variables) ---------------------------------- */
 xt_value xt_box_new(xt_value value);

package/runtime/rt_internal.h

@@ -32,6 +32,7 @@
 
 #include "rt.h"
 
+#include <setjmp.h>
 #include <stddef.h>
 #include <stdint.h>
 
@@ -47,6 +48,9 @@
 #define XT_OBJECT_KIND_REGEXP 9
 #define XT_OBJECT_KIND_SYMBOL 10
 #define XT_OBJECT_KIND_BIGINT 11
+#define XT_OBJECT_KIND_ERROR 12
+#define XT_OBJECT_KIND_GENERATOR 13
+#define XT_OBJECT_KIND_ITERATOR 14
 
 /* Common header for every heap object. */
 typedef struct xt_header {
@@ -74,7 +78,8 @@ typedef struct {
 } xt_bigint;
 
 typedef struct {
-  xt_string *key;
+  /* String or Symbol value (see `xt_to_property_key`). */
+  xt_value key;
   xt_value value;
   /* Accessor properties (`get x()` / `set x(v)`) store the functions here;
    * when set, `value` is ignored and property access invokes the getter. */
@@ -98,6 +103,9 @@ typedef struct {
   uint32_t length;
   uint32_t capacity;
   xt_value *items;
+  /* Named (non-index) properties such as `raw` on template strings or
+   * `index`/`input` on RegExp match results, stored in an `xt_object`. */
+  xt_value extra;
 } xt_array;
 
 typedef struct {
@@ -109,6 +117,9 @@ typedef struct {
   xt_string *name;
   xt_object *properties;
   xt_value prototype;
+  /* Set on generator function objects: calling the closure does not run the
+   * body, it creates a suspended generator (see xt_generator.c). */
+  uint8_t is_generator;
 } xt_function;
 
 /* Allocation (xt_alloc.c). */
@@ -121,6 +132,12 @@ int32_t xt_string_length(xt_string *s);
 int xt_string_equals(xt_string *a, xt_string *b);
 int32_t xt_to_int32(xt_value v);
 
+/* ECMAScript number formatting (xt_values.c). */
+void xt_number_to_js_string(double d, char *buffer, size_t size);
+void xt_number_to_exponential(double d, int precision, char *buffer, size_t size);
+void xt_number_to_precision(double d, int precision, char *buffer, size_t size);
+void xt_number_to_fixed(double d, int precision, char *buffer, size_t size);
+
 /* BigInt runtime (xt_bigint.c). */
 int xt_is_bigint(xt_value value);
 double xt_bigint_to_double_value(xt_value value);
@@ -150,7 +167,19 @@ void xt_array_reserve(xt_array *array, uint32_t needed);
 
 /* Object helpers used by the standard library. */
 xt_object *xt_as_object(xt_value value);
-xt_property *xt_object_find_property(xt_object *obj, xt_string *key);
+xt_property *xt_object_find_property(xt_object *obj, xt_value key);
+
+/* Property keys are either strings or symbols. */
+xt_value xt_to_property_key(xt_value key);
+int xt_property_key_equals(xt_value a, xt_value b);
+
+/* Symbols (xt_symbol.c). */
+int xt_is_symbol(xt_value value);
+xt_value xt_symbol_new(xt_value description);
+xt_value xt_symbol_description(xt_value value);
+xt_value xt_symbol_to_string(xt_value value);
+xt_value xt_symbol_well_known(const char *name);
+xt_value xt_object_own_property_symbols(xt_value value);
 
 /* Map / Set / Promise / Date / RegExp live in xt_stdlib.c and xt_promise.c. */
 int xt_is_promise(xt_value value);
@@ -160,13 +189,66 @@ int xt_is_date(xt_value value);
 int xt_is_regexp(xt_value value);
 int xt_regexp_find(xt_value regexp, xt_value input, int32_t start, int32_t *matchStart, int32_t *matchEnd);
 xt_value xt_regexp_exec(xt_value regexp, xt_value input);
+xt_value xt_regexp_match(xt_value input, xt_value regexp);
 xt_value xt_regexp_replace(xt_value value, xt_value regexp, xt_value replacement);
+xt_value xt_regexp_split(xt_value value, xt_value regexp, xt_value limit);
 xt_value xt_regexp_get_property(xt_value regexp, xt_value key);
 int32_t xt_map_size(xt_value value);
 int32_t xt_set_size(xt_value value);
 /* `for...of` iteration: dispatch over arrays, strings, Maps and Sets. */
 xt_value xt_iter_length(xt_value value);
 xt_value xt_iter_value(xt_value value, xt_value index);
+/* Per-step iteration check. Generators pull the next value here; the index is
+ * ignored because the value is cached until `xt_iter_value` reads it. */
+xt_value xt_iter_has(xt_value value, xt_value index);
+/* Resolve the iteration protocol once: returns `value` for the built-in index
+ * protocols, or a wrapper around `value[Symbol.iterator]()` otherwise. */
+xt_value xt_iter_open(xt_value value);
+
+/* Stackful generators (xt_generator.c). */
+int xt_is_generator(xt_value value);
+xt_value xt_generator_new(xt_value function, xt_value thisValue, int32_t argc, xt_value *argv);
+xt_value xt_generator_next(xt_value generator, xt_value sent);
+xt_value xt_generator_return(xt_value generator, xt_value value);
+xt_value xt_generator_throw(xt_value generator, xt_value error);
+xt_value xt_yield(xt_value value);
+xt_value xt_yield_star(xt_value delegate);
+int xt_generator_has_next(xt_value generator);
+xt_value xt_generator_iter_value(xt_value generator);
+
+/* Exception-frame plumbing shared with the generator runtime. The struct is
+ * public so a coroutine can `_setjmp` its own boundary directly (a `setjmp`
+ * must run in the frame it returns to, never in a helper). */
+typedef struct xt_try_frame {
+  jmp_buf buf;
+  struct xt_try_frame *prev;
+  xt_value exception;
+} xt_try_frame;
+/* Call `_setjmp` the way the active `<setjmp.h>` declares it. The two Windows
+ * C runtimes differ:
+ *
+ *  - MSVC/UCRT declares `_setjmp(jmp_buf)` with one visible argument and lets
+ *    clang treat it as a built-in that injects the caller's frame address
+ *    (`@llvm.frameaddress(0)`) as a hidden second argument. Writing the frame
+ *    by hand is a compile error ("too many arguments to function call").
+ *  - MinGW-w64 (the vendored llvm-mingw toolchain) declares
+ *    `_setjmp(jmp_buf, void *frame)` itself, so the frame must be passed
+ *    explicitly -- exactly what its own `setjmp` macro does.
+ *
+ * The generated IR always emits the two-argument form, because it is already
+ * IR and clang will not rewrite it. `_setjmp` (rather than the `setjmp` macro)
+ * is used so it pairs with the plain `longjmp` in `xt_throw`. */
+#if defined(_WIN32) && !defined(__MINGW32__)
+#define xt_try_setjmp(framePtr) _setjmp(((xt_try_frame *)(framePtr))->buf)
+#elif defined(_WIN32) && defined(__aarch64__)
+#define xt_try_setjmp(framePtr) _setjmpex(((xt_try_frame *)(framePtr))->buf, __builtin_sponentry())
+#elif defined(_WIN32)
+#define xt_try_setjmp(framePtr) _setjmp(((xt_try_frame *)(framePtr))->buf, __builtin_frame_address(0))
+#else
+#define xt_try_setjmp(framePtr) _setjmp(((xt_try_frame *)(framePtr))->buf)
+#endif
+void *xt_try_mark(void);
+void xt_try_restore(void *mark);
 
 /* -- collection / date / regexp representations --------------------------- */
 typedef struct {
@@ -201,6 +283,10 @@ xt_value xt_ext_array_method(xt_value target, const char *method, int32_t argc,
 xt_value xt_ext_string_method(xt_value target, const char *method, int32_t argc, xt_value *argv, int *handled);
 xt_value xt_ext_number_method(xt_value target, const char *method, int32_t argc, xt_value *argv, int *handled);
 xt_value xt_ext_object_method(xt_value target, const char *method, int32_t argc, xt_value *argv, int *handled);
+
+/* Error family helpers (xt_stdlib2.c). */
+xt_value xt_error_to_string(xt_value error);
+xt_value xt_aggregate_error_ctor(int32_t argc, xt_value *argv);
 xt_value xt_ext_container_method(xt_value target, const char *method, int32_t argc, xt_value *argv, int *handled);
 xt_value xt_promise_method(xt_value target, const char *method, int32_t argc, xt_value *argv, int *handled);