xbintsc 0.1.0

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

@@ -0,0 +1,137 @@
+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(text) {
+    const { file, diagnostics } = parse(text);
+    expect(diagnostics.filter((d) => d.category === "error")).toHaveLength(0);
+    return file.statements[0];
+}
+function errors(text) {
+    return parse(text).diagnostics.filter((d) => d.category === "error");
+}
+function kindsOf(text) {
+    return parse(text).file.statements.map((statement) => statement.kind);
+}
+describe("parser", () => {
+    it("parses variable declarations with all modifier kinds", () => {
+        const statement = first("const answer = 42;");
+        expect(statement.kind).toBe(SyntaxKind.VariableStatement);
+        expect(statement.declarationList.declarations[0].name.text).toBe("answer");
+        expect(statement.declarationList.declarations[0].initializer.kind).toBe(SyntaxKind.NumericLiteral);
+    });
+    it("parses function declarations with types and defaults", () => {
+        const fn = first("function add(a: number, b: number = 2): number { return a + b; }");
+        expect(fn.kind).toBe(SyntaxKind.FunctionDeclaration);
+        expect(fn.name.text).toBe("add");
+        expect(fn.parameters).toHaveLength(2);
+        expect(fn.parameters[0].name.text).toBe("a");
+        expect(fn.parameters[1].initializer.kind).toBe(SyntaxKind.NumericLiteral);
+        expect(fn.returnType.kind).toBe(SyntaxKind.NumberKeywordType);
+        expect(fn.body.kind).toBe(SyntaxKind.Block);
+        expect(fn.body.statements[0].kind).toBe(SyntaxKind.ReturnStatement);
+    });
+    it("parses arrow functions with expression and block bodies", () => {
+        const withExpr = first("const f = (x) => x + 1;");
+        const arrow = withExpr.declarationList.declarations[0].initializer;
+        expect(arrow.kind).toBe(SyntaxKind.ArrowFunction);
+        expect(arrow.body.kind).toBe(SyntaxKind.BinaryExpression);
+        const withBlock = first("const g = () => { return 1; };");
+        expect(withBlock.declarationList.declarations[0].initializer.body.kind).toBe(SyntaxKind.Block);
+    });
+    it("respects operator precedence and associativity", () => {
+        const statement = first("const v = 1 + 2 * 3;");
+        const binary = statement.declarationList.declarations[0].initializer;
+        expect(binary.kind).toBe(SyntaxKind.BinaryExpression);
+        expect(binary.operator).toBe("+");
+        expect(binary.right.kind).toBe(SyntaxKind.BinaryExpression);
+        expect(binary.right.operator).toBe("*");
+    });
+    it("parses control flow statements", () => {
+        expect(kindsOf("if (a) b(); else c();")).toEqual([SyntaxKind.IfStatement]);
+        expect(kindsOf("while (a) b();")).toEqual([SyntaxKind.WhileStatement]);
+        expect(kindsOf("do b(); while (a);")).toEqual([SyntaxKind.DoStatement]);
+        expect(kindsOf("for (;;) break;")).toEqual([SyntaxKind.ForStatement]);
+        expect(kindsOf("for (const x of xs) x;")).toEqual([SyntaxKind.ForOfStatement]);
+        expect(kindsOf("for (const k in obj) k;")).toEqual([SyntaxKind.ForInStatement]);
+        expect(kindsOf("switch (a) { case 1: break; default: break; }")).toEqual([SyntaxKind.SwitchStatement]);
+    });
+    it("parses for loops whose condition contains `<` without confusion", () => {
+        const statement = first("for (let i = 0; i < 5; i++) { }");
+        expect(statement.kind).toBe(SyntaxKind.ForStatement);
+        expect(statement.condition.kind).toBe(SyntaxKind.BinaryExpression);
+        expect(statement.condition.operator).toBe("<");
+    });
+    it("parses object and array literals", () => {
+        const object = first("const o = { a: 1, b: 2, c };").declarationList.declarations[0].initializer;
+        expect(object.kind).toBe(SyntaxKind.ObjectLiteralExpression);
+        expect(object.properties.map((p) => p.kind)).toEqual([
+            SyntaxKind.PropertyAssignment,
+            SyntaxKind.PropertyAssignment,
+            SyntaxKind.ShorthandPropertyAssignment,
+        ]);
+        const array = first("const a = [1, 2, ...rest];").declarationList.declarations[0].initializer;
+        expect(array.kind).toBe(SyntaxKind.ArrayLiteralExpression);
+        expect(array.elements.map((e) => e.kind)).toEqual([
+            SyntaxKind.NumericLiteral,
+            SyntaxKind.NumericLiteral,
+            SyntaxKind.SpreadElement,
+        ]);
+    });
+    it("parses member access, calls and new expressions", () => {
+        const call = first("console.log(a.b[0]);").expression;
+        expect(call.kind).toBe(SyntaxKind.CallExpression);
+        expect(call.expression.kind).toBe(SyntaxKind.PropertyAccessExpression);
+        expect(call.arguments[0].kind).toBe(SyntaxKind.ElementAccessExpression);
+        const constructed = first("new Foo(1);").expression;
+        expect(constructed.kind).toBe(SyntaxKind.NewExpression);
+        expect(constructed.arguments).toHaveLength(1);
+    });
+    it("parses template literals with substitutions", () => {
+        const statement = first("const s = `a${x}b${y}c`;");
+        const template = statement.declarationList.declarations[0].initializer;
+        expect(template.kind).toBe(SyntaxKind.TemplateLiteral);
+        expect(template.spans).toHaveLength(2);
+        expect(template.spans[0].expression.kind).toBe(SyntaxKind.Identifier);
+    });
+    it("parses type-only declarations", () => {
+        expect(kindsOf("interface Point { x: number; y: number; }")).toEqual([SyntaxKind.InterfaceDeclaration]);
+        expect(kindsOf("type Id = string | number;")).toEqual([SyntaxKind.TypeAliasDeclaration]);
+        expect(kindsOf("enum Color { Red, Green }")).toEqual([SyntaxKind.EnumDeclaration]);
+        expect(kindsOf("class Box { value = 1; get() { return this.value; } }")).toEqual([
+            SyntaxKind.ClassDeclaration,
+        ]);
+    });
+    it("parses imports and exports", () => {
+        expect(kindsOf("import { a, b } from './m';")).toEqual([SyntaxKind.ImportDeclaration]);
+        expect(kindsOf("export function f() {}")).toEqual([SyntaxKind.FunctionDeclaration]);
+        expect(kindsOf("export default 1;")).toEqual([SyntaxKind.ExportAssignment]);
+    });
+    it("parses generic calls without consuming comparison operators", () => {
+        const statement = first("const r = identity<number>(1);");
+        const call = statement.declarationList.declarations[0].initializer;
+        expect(call.kind).toBe(SyntaxKind.CallExpression);
+        expect(call.typeArguments).toHaveLength(1);
+    });
+    it("parses nested generic types", () => {
+        const fn = first("function f(m: Map<string, Array<number>>): void {}");
+        expect(fn.parameters[0].type.kind).toBe(SyntaxKind.TypeReference);
+    });
+    it("parses conditional, mapped and function types", () => {
+        expect(kindsOf("type A = T extends string ? 1 : 2;")).toEqual([SyntaxKind.TypeAliasDeclaration]);
+        expect(kindsOf("type B = { [K in keyof T]: T[K] };")).toEqual([SyntaxKind.TypeAliasDeclaration]);
+        expect(kindsOf("type C = (a: number) => string;")).toEqual([SyntaxKind.TypeAliasDeclaration]);
+    });
+    it("applies automatic semicolon insertion", () => {
+        const statements = kindsOf("const a = 1\nconst b = 2\n");
+        expect(statements).toEqual([SyntaxKind.VariableStatement, SyntaxKind.VariableStatement]);
+    });
+    it("recovers from a stray token with a diagnostic", () => {
+        expect(errors("const = ;").length).toBeGreaterThan(0);
+    });
+    it("does not emit phantom diagnostics for valid arrow with as-expression", () => {
+        const { diagnostics } = parse("const f = (x: unknown) => (x as number) + 1;");
+        expect(diagnostics.filter((d) => d.category === "error")).toHaveLength(0);
+    });
+});
+//# sourceMappingURL=parser.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parser.test.js","sourceRoot":"","sources":["../../../tests/parser/parser.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,EAAa,MAAM,wBAAwB,CAAC;AAE/D,uDAAuD;AACvD,SAAS,KAAK,CAAC,IAAY;IACzB,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,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,MAAM,CAAC,IAAY;IAC1B,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAe,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAC9E,CAAC;AAED,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,SAAS,GAAG,KAAK,CAAC,oBAAoB,CAAC,CAAC;QAC9C,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAC1D,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3E,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;IACrG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,EAAE,GAAG,KAAK,CAAC,kEAAkE,CAAC,CAAC;QACrF,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC;QACrD,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7C,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;QAC1E,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAC9D,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,QAAQ,GAAG,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QACnE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;QAE1D,MAAM,SAAS,GAAG,KAAK,CAAC,gCAAgC,CAAC,CAAC;QAC1D,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,SAAS,GAAG,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QACrE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;QACxE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;QACtE,MAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;QAC/E,MAAM,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;IACzG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,SAAS,GAAG,KAAK,CAAC,iCAAiC,CAAC,CAAC;QAC3D,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QACrD,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;QACnE,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,8BAA8B,CAAC,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QACjG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,uBAAuB,CAAC,CAAC;QAC7D,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACxD,UAAU,CAAC,kBAAkB;YAC7B,UAAU,CAAC,kBAAkB;YAC7B,UAAU,CAAC,2BAA2B;SACvC,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,KAAK,CAAC,4BAA4B,CAAC,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QAC9F,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACrD,UAAU,CAAC,cAAc;YACzB,UAAU,CAAC,cAAc;YACzB,UAAU,CAAC,aAAa;SACzB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,IAAI,GAAG,KAAK,CAAC,sBAAsB,CAAC,CAAC,UAAU,CAAC;QACtD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;QAClD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,wBAAwB,CAAC,CAAC;QACvE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,uBAAuB,CAAC,CAAC;QAExE,MAAM,WAAW,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,UAAU,CAAC;QACpD,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACxD,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,SAAS,GAAG,KAAK,CAAC,0BAA0B,CAAC,CAAC;QACpD,MAAM,QAAQ,GAAG,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QACvE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QACvD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,OAAO,CAAC,2CAA2C,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC,CAAC;QACxG,MAAM,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC,CAAC;QACzF,MAAM,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;QACnF,MAAM,CAAC,OAAO,CAAC,uDAAuD,CAAC,CAAC,CAAC,OAAO,CAAC;YAC/E,UAAU,CAAC,gBAAgB;SAC5B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACvF,MAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC,CAAC;QACpF,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,SAAS,GAAG,KAAK,CAAC,gCAAgC,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QACnE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;QAClD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,EAAE,GAAG,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACvE,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC,CAAC;QACjG,MAAM,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC,CAAC;QACjG,MAAM,CAAC,OAAO,CAAC,iCAAiC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,UAAU,GAAG,OAAO,CAAC,4BAA4B,CAAC,CAAC;QACzD,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,iBAAiB,EAAE,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAC9E,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -0,0 +1,49 @@
+{
+  "name": "xbintsc",
+  "version": "0.1.0",
+  "description": "xbintsc - a TypeScript binary compiler (TypeScript -> LLVM IR -> native binary)",
+  "type": "module",
+  "license": "MIT",
+  "bin": {
+    "xbintsc": "./bin/xbintsc.js"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/src/index.d.ts",
+      "import": "./dist/src/index.js"
+    },
+    "./driver": {
+      "types": "./dist/src/driver/index.d.ts",
+      "import": "./dist/src/driver/index.js"
+    }
+  },
+  "files": [
+    "src",
+    "dist",
+    "runtime",
+    "scripts",
+    "bin",
+    "README.md"
+  ],
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "prepublishOnly": "npm run build",
+    "runtime": "node scripts/build-runtime.mjs",
+    "runtime:clean": "node -e \"require('fs').rmSync('build/runtime',{recursive:true,force:true})\"",
+    "xbintsc": "tsx src/cli/main.ts",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "test:e2e": "vitest run tests/e2e",
+    "coverage": "vitest run --coverage"
+  },
+  "devDependencies": {
+    "@types/node": "^22.10.2",
+    "tsx": "^4.19.2",
+    "typescript": "^5.7.2",
+    "vitest": "^2.1.8"
+  },
+  "engines": {
+    "node": ">=20"
+  }
+}

package/runtime/ext_node.c

@@ -0,0 +1,42 @@
+/*
+ * Node.js compatibility extension for xbintsc.
+ *
+ * Compiled and linked only when the `node` extension is registered. Each
+ * builtin follows the runtime calling convention: (int32_t argc, xt_value *argv).
+ */
+
+#include "rt.h"
+
+#include <stdio.h>
+#include <stdlib.h>
+
+xt_value xt_node_read_text_file(int32_t argc, xt_value *argv) {
+  if (argc < 1) return xt_undefined();
+  xt_value pathValue = xt_to_string(argv[0]);
+  const char *path = xt_string_data(pathValue);
+  if (!path) return xt_undefined();
+
+  FILE *file = fopen(path, "rb");
+  if (!file) {
+    fprintf(stderr, "xbintsc: cannot open '%s'\n", path);
+    return xt_undefined();
+  }
+  fseek(file, 0, SEEK_END);
+  long size = ftell(file);
+  fseek(file, 0, SEEK_SET);
+  if (size < 0) {
+    fclose(file);
+    return xt_undefined();
+  }
+  char *buffer = (char *)malloc((size_t)size + 1);
+  if (!buffer) {
+    fclose(file);
+    return xt_undefined();
+  }
+  size_t read = fread(buffer, 1, (size_t)size, file);
+  fclose(file);
+  buffer[read] = '\0';
+  xt_value result = xt_string_new(buffer, read);
+  free(buffer);
+  return result;
+}

package/runtime/rt.h

@@ -0,0 +1,177 @@
+/*
+ * xbintsc runtime ABI.
+ *
+ * The runtime is the boundary between generated LLVM IR and the operating
+ * system. Every JavaScript value that flows through generated code is an
+ * `xt_value` (a 64-bit NaN-boxed word). The compiler emits calls into the
+ * functions declared here; linking `libxtrt.a` (or the object file) provides
+ * their implementations.
+ *
+ * Keeping the ABI in a single header lets the compiler, the runtime and any
+ * extension module (node/bun shims, ...) agree on representation without
+ * sharing implementation details.
+ */
+#ifndef xbintsc_RUNTIME_H
+#define xbintsc_RUNTIME_H
+
+#include <stddef.h>
+#include <stdint.h>
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+typedef uint64_t xt_value;
+
+/* Tag layout (top 16 bits). Values whose tag bits are not 0xFFF8.. are
+ * doubles, so ordinary numbers travel unboxed. */
+#define XT_TAG_MASK 0xFFFF000000000000ULL
+#define XT_NUMBER_MASK 0xFFF8000000000000ULL
+
+#define XT_TAG_UNDEFINED 0xFFF8000000000000ULL
+#define XT_TAG_NULL 0xFFF9000000000000ULL
+#define XT_TAG_FALSE 0xFFFA000000000000ULL
+#define XT_TAG_TRUE 0xFFFB000000000000ULL
+#define XT_TAG_STRING 0xFFFC000000000000ULL
+#define XT_TAG_OBJECT 0xFFFD000000000000ULL
+#define XT_TAG_ARRAY 0xFFFE000000000000ULL
+#define XT_TAG_FUNCTION 0xFFFF000000000000ULL
+
+#define XT_PAYLOAD_MASK 0x0000FFFFFFFFFFFFULL
+
+#define XT_IS_NUMBER(v) (((v) & XT_NUMBER_MASK) != XT_NUMBER_MASK)
+#define XT_IS_TAGGED(v, tag) (((v) & XT_TAG_MASK) == (tag))
+#define XT_IS_UNDEFINED(v) ((v) == XT_TAG_UNDEFINED)
+#define XT_IS_NULL(v) ((v) == XT_TAG_NULL)
+#define XT_IS_BOOL(v) (((v) & ~0x1ULL) == XT_TAG_FALSE)
+#define XT_IS_STRING(v) XT_IS_TAGGED(v, XT_TAG_STRING)
+#define XT_IS_OBJECT(v) XT_IS_TAGGED(v, XT_TAG_OBJECT)
+#define XT_IS_ARRAY(v) XT_IS_TAGGED(v, XT_TAG_ARRAY)
+#define XT_IS_FUNCTION(v) XT_IS_TAGGED(v, XT_TAG_FUNCTION)
+#define XT_IS_HEAP(v) (((v) & XT_NUMBER_MASK) == XT_NUMBER_MASK)
+
+#define XT_GET_PTR(v) ((void *)(uintptr_t)((v) & XT_PAYLOAD_MASK))
+#define XT_FROM_PTR(tag, p) ((xt_value)((tag) | ((uintptr_t)(p) & XT_PAYLOAD_MASK)))
+
+#define XT_UNDEFINED XT_TAG_UNDEFINED
+#define XT_NULL XT_TAG_NULL
+#define XT_FALSE XT_TAG_FALSE
+#define XT_TRUE XT_TAG_TRUE
+
+/* Double <-> value helpers. */
+static inline xt_value xt_from_double(double d) {
+  xt_value v;
+  __builtin_memcpy(&v, &d, sizeof(v));
+  /* Canonicalise NaNs so they never collide with the tag space. */
+  if (!XT_IS_NUMBER(v)) {
+    double nan = 0.0 / 0.0;
+    __builtin_memcpy(&v, &nan, sizeof(v));
+  }
+  return v;
+}
+
+static inline double xt_to_double(xt_value v) {
+  double d;
+  __builtin_memcpy(&d, &v, sizeof(d));
+  return d;
+}
+
+/* -- constructors -------------------------------------------------------- */
+xt_value xt_undefined(void);
+xt_value xt_null(void);
+xt_value xt_bool(int b);
+xt_value xt_number(double d);
+xt_value xt_string_new(const char *data, size_t len);
+xt_value xt_string_from_cstr(const char *data);
+/** Raw UTF-8 bytes of a string value (NULL for non-strings); not NUL-safe. */
+const char *xt_string_data(xt_value value);
+int32_t xt_string_length_value(xt_value value);
+
+/* -- function calling convention ----------------------------------------- */
+/* Every compiled function has the signature:
+ *     xt_value fn(xt_value env, int32_t argc, xt_value *argv);
+ * `env` carries captured values for closures (XT_UNDEFINED when there are
+ * none) and `argv` carries the actual arguments. */
+typedef xt_value (*xt_code_fn)(xt_value env, int32_t argc, xt_value *argv);
+
+xt_value xt_arg(int32_t argc, xt_value *argv, int32_t index);
+xt_value xt_closure_new(void *fn, int32_t env_count, xt_value *env);
+xt_value xt_closure_call(xt_value fn, 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);
+
+/* -- conversions ---------------------------------------------------------- */
+int xt_truthy(xt_value v);
+double xt_to_number(xt_value v);
+xt_value xt_to_string(xt_value v);
+xt_value xt_typeof(xt_value v);
+
+/* -- arithmetic ----------------------------------------------------------- */
+xt_value xt_add(xt_value a, xt_value b);
+xt_value xt_sub(xt_value a, xt_value b);
+xt_value xt_mul(xt_value a, xt_value b);
+xt_value xt_div(xt_value a, xt_value b);
+xt_value xt_mod(xt_value a, xt_value b);
+xt_value xt_pow(xt_value a, xt_value b);
+xt_value xt_neg(xt_value a);
+xt_value xt_pos(xt_value a);
+xt_value xt_bit_and(xt_value a, xt_value b);
+xt_value xt_bit_or(xt_value a, xt_value b);
+xt_value xt_bit_xor(xt_value a, xt_value b);
+xt_value xt_bit_not(xt_value a);
+xt_value xt_shl(xt_value a, xt_value b);
+xt_value xt_shr(xt_value a, xt_value b);
+xt_value xt_ushr(xt_value a, xt_value b);
+
+/* -- comparison (returns a boolean value) --------------------------------- */
+xt_value xt_lt(xt_value a, xt_value b);
+xt_value xt_le(xt_value a, xt_value b);
+xt_value xt_gt(xt_value a, xt_value b);
+xt_value xt_ge(xt_value a, xt_value b);
+xt_value xt_eq(xt_value a, xt_value b);
+xt_value xt_ne(xt_value a, xt_value b);
+xt_value xt_seq(xt_value a, xt_value b);
+xt_value xt_sne(xt_value a, xt_value b);
+xt_value xt_not(xt_value a);
+
+/* -- objects -------------------------------------------------------------- */
+xt_value xt_object_new(void);
+xt_value xt_object_get(xt_value obj, xt_value key);
+xt_value xt_object_get_cstr(xt_value obj, const char *key);
+xt_value xt_object_set(xt_value obj, xt_value key, xt_value value);
+xt_value xt_object_has(xt_value obj, xt_value key);
+xt_value xt_object_keys(xt_value obj);
+
+/* -- arrays --------------------------------------------------------------- */
+xt_value xt_array_new(int32_t count, xt_value *items);
+xt_value xt_array_get(xt_value arr, xt_value index);
+xt_value xt_array_set(xt_value arr, xt_value index, xt_value value);
+xt_value xt_array_push(xt_value arr, xt_value value);
+xt_value xt_array_length(xt_value arr);
+xt_value xt_array_spread(xt_value target, xt_value source);
+
+/* -- 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);
+
+/* -- boxes (used for captured variables) ---------------------------------- */
+xt_value xt_box_new(xt_value value);
+xt_value xt_box_get(xt_value box);
+xt_value xt_box_set(xt_value box, xt_value value);
+xt_value xt_is_nullish(xt_value value);
+
+/* -- exceptions / output -------------------------------------------------- */
+void xt_throw(xt_value v);
+void xt_console_log(int32_t argc, xt_value *argv);
+void xt_print(xt_value v);
+void xt_println(xt_value v);
+
+/* -- diagnostics ---------------------------------------------------------- */
+size_t xt_heap_bytes(void);
+size_t xt_heap_allocations(void);
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif /* xbintsc_RUNTIME_H */