cobolx-2 1.2.3

package/compiler/src/backend/custom.js

@@ -0,0 +1,12 @@
+import { generateJavaScript } from "../codegen/javascript.js";
+function instructionCount(program) {
+    return program.body.length + program.functions.reduce((total, fn) => total + fn.instructions.length, 0);
+}
+export function emitCustomBackend(program, mir, outputFilePath, stdlibDir) {
+    return {
+        target: "js-custom-backend",
+        code: generateJavaScript(program, outputFilePath, stdlibDir),
+        instructionCount: instructionCount(mir)
+    };
+}
+//# sourceMappingURL=custom.js.map

package/compiler/src/backend/custom.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"custom.js","sourceRoot":"","sources":["custom.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAS9D,SAAS,gBAAgB,CAAC,OAAmB;IAC3C,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAC1G,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAoB,EAAE,GAAe,EAAE,cAAsB,EAAE,SAAiB;IAChH,OAAO;QACL,MAAM,EAAE,mBAAmB;QAC3B,IAAI,EAAE,kBAAkB,CAAC,OAAO,EAAE,cAAc,EAAE,SAAS,CAAC;QAC5D,gBAAgB,EAAE,gBAAgB,CAAC,GAAG,CAAC;KACxC,CAAC;AACJ,CAAC"}

package/compiler/src/backend/custom.ts

@@ -0,0 +1,21 @@
+import type { MIRInstruction, MIRProgram } from "../mir/types.js";
+import { generateJavaScript } from "../codegen/javascript.js";
+import type { ProgramNode } from "../ast/types.js";
+
+export interface BackendOutput {
+  target: "js-custom-backend";
+  code: string;
+  instructionCount: number;
+}
+
+function instructionCount(program: MIRProgram): number {
+  return program.body.length + program.functions.reduce((total, fn) => total + fn.instructions.length, 0);
+}
+
+export function emitCustomBackend(program: ProgramNode, mir: MIRProgram, outputFilePath: string, stdlibDir: string): BackendOutput {
+  return {
+    target: "js-custom-backend",
+    code: generateJavaScript(program, outputFilePath, stdlibDir),
+    instructionCount: instructionCount(mir)
+  };
+}

package/compiler/src/borrow_checker/checker.d.ts

@@ -0,0 +1,3 @@
+import type { Diagnostic } from "../diagnostics.js";
+import type { HIRProgram } from "../hir/types.js";
+export declare function runBorrowChecker(hir: HIRProgram): Diagnostic[];

package/compiler/src/borrow_checker/checker.js

@@ -0,0 +1,82 @@
+function collectCalls(expression, calls) {
+    switch (expression.kind) {
+        case "CallExpression":
+            calls.push(expression);
+            for (const arg of expression.args) {
+                collectCalls(arg, calls);
+            }
+            break;
+        case "BinaryExpression":
+            collectCalls(expression.left, calls);
+            collectCalls(expression.right, calls);
+            break;
+        case "UnaryExpression":
+            collectCalls(expression.operand, calls);
+            break;
+        default:
+            break;
+    }
+}
+function collectStatementCalls(statement, calls) {
+    switch (statement.kind) {
+        case "SetStatement":
+        case "DisplayStatement":
+        case "ReturnStatement":
+        case "ExpressionStatement":
+            collectCalls(statement.expression, calls);
+            break;
+        case "InputStatement":
+            if (statement.prompt) {
+                collectCalls(statement.prompt, calls);
+            }
+            break;
+        case "IfStatement":
+            collectCalls(statement.condition, calls);
+            for (const child of statement.thenBranch) {
+                collectStatementCalls(child, calls);
+            }
+            for (const child of statement.elseBranch) {
+                collectStatementCalls(child, calls);
+            }
+            break;
+    }
+}
+export function runBorrowChecker(hir) {
+    const diagnostics = [];
+    const mutationMap = new Map(hir.functions.map((fn) => [fn.name, fn.mutatedParams]));
+    const calls = [];
+    for (const statement of hir.program.body) {
+        collectStatementCalls(statement, calls);
+    }
+    for (const fn of hir.program.functions) {
+        for (const statement of fn.body) {
+            collectStatementCalls(statement, calls);
+        }
+    }
+    for (const call of calls) {
+        const mutatedParams = mutationMap.get(call.callee) ?? [];
+        if (mutatedParams.length < 2) {
+            continue;
+        }
+        const identifiers = call.args.map((arg) => (arg.kind === "Identifier" ? arg.name : undefined));
+        const seen = new Map();
+        for (let index = 0; index < call.args.length; index += 1) {
+            const identifier = identifiers[index];
+            if (!identifier) {
+                continue;
+            }
+            if (seen.has(identifier)) {
+                diagnostics.push({
+                    message: `Borrow checker: '${identifier}' is passed multiple times to mutating function '${call.callee}'`,
+                    severity: "error",
+                    range: call.range
+                });
+            }
+            else {
+                seen.set(identifier, index);
+            }
+        }
+    }
+    return diagnostics;
+}
+//# sourceMappingURL=checker.js.map

package/compiler/src/borrow_checker/checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checker.js","sourceRoot":"","sources":["checker.ts"],"names":[],"mappings":"AAIA,SAAS,YAAY,CAAC,UAA0B,EAAE,KAA2B;IAC3E,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,gBAAgB;YACnB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvB,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;gBAClC,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC3B,CAAC;YACD,MAAM;QACR,KAAK,kBAAkB;YACrB,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACrC,YAAY,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACtC,MAAM;QACR,KAAK,iBAAiB;YACpB,YAAY,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACxC,MAAM;QACR;YACE,MAAM;IACV,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,SAAwB,EAAE,KAA2B;IAClF,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,cAAc,CAAC;QACpB,KAAK,kBAAkB,CAAC;QACxB,KAAK,iBAAiB,CAAC;QACvB,KAAK,qBAAqB;YACxB,YAAY,CAAC,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YAC1C,MAAM;QACR,KAAK,gBAAgB;YACnB,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;gBACrB,YAAY,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACxC,CAAC;YACD,MAAM;QACR,KAAK,aAAa;YAChB,YAAY,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YACzC,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;gBACzC,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACtC,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;gBACzC,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACtC,CAAC;YACD,MAAM;IACV,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,GAAe;IAC9C,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACpF,MAAM,KAAK,GAAyB,EAAE,CAAC;IAEvC,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACzC,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAC1C,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvC,KAAK,MAAM,SAAS,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;YAChC,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACzD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAC/F,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;QACvC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YACzD,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;YACtC,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzB,WAAW,CAAC,IAAI,CAAC;oBACf,OAAO,EAAE,oBAAoB,UAAU,oDAAoD,IAAI,CAAC,MAAM,GAAG;oBACzG,QAAQ,EAAE,OAAO;oBACjB,KAAK,EAAE,IAAI,CAAC,KAAK;iBAClB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/compiler/src/borrow_checker/checker.ts

@@ -0,0 +1,100 @@
+import type { CallExpressionNode, ExpressionNode, StatementNode } from "../ast/types.js";
+import type { Diagnostic } from "../diagnostics.js";
+import type { HIRProgram } from "../hir/types.js";
+
+function collectCalls(expression: ExpressionNode, calls: CallExpressionNode[]): void {
+  switch (expression.kind) {
+    case "CallExpression":
+      calls.push(expression);
+      collectCalls(expression.callee, calls);
+      for (const arg of expression.args) collectCalls(arg, calls);
+      break;
+    case "BinaryExpression":
+      collectCalls(expression.left, calls);
+      collectCalls(expression.right, calls);
+      break;
+    case "UnaryExpression":
+      collectCalls(expression.operand, calls);
+      break;
+    case "TryExpression":
+      collectCalls(expression.expression, calls);
+      break;
+    case "MemberExpression":
+      collectCalls(expression.object, calls);
+      break;
+    case "MacroInvocation":
+      for (const arg of expression.args) collectCalls(arg, calls);
+      break;
+    case "EnumConstructorExpression":
+      for (const field of expression.fields) collectCalls(field, calls);
+      break;
+    case "ArrayLiteral":
+      for (const item of expression.items) collectCalls(item, calls);
+      break;
+    default:
+      break;
+  }
+}
+
+function collectStatementCalls(statement: StatementNode, calls: CallExpressionNode[]): void {
+  switch (statement.kind) {
+    case "LetStatement":
+      collectCalls(statement.expression, calls);
+      break;
+    case "SetStatement":
+    case "DisplayStatement":
+    case "ReturnStatement":
+    case "ExpressionStatement":
+    case "AssertStatement":
+    case "SpawnStatement":
+      collectCalls(statement.expression, calls);
+      break;
+    case "InputStatement":
+      if (statement.prompt) collectCalls(statement.prompt, calls);
+      break;
+    case "IfStatement":
+      collectCalls(statement.condition, calls);
+      for (const child of statement.thenBranch) collectStatementCalls(child, calls);
+      for (const child of statement.elseBranch) collectStatementCalls(child, calls);
+      break;
+    case "MatchStatement":
+      collectCalls(statement.expression, calls);
+      for (const arm of statement.arms) for (const child of arm.body) collectStatementCalls(child, calls);
+      break;
+    case "UnsafeBlock":
+    case "BlockStatement":
+      for (const child of statement.body) collectStatementCalls(child, calls);
+      break;
+  }
+}
+
+export function runBorrowChecker(hir: HIRProgram): Diagnostic[] {
+  const diagnostics: Diagnostic[] = [];
+  const mutationMap = new Map(hir.functions.map((fn) => [fn.name, fn.mutatedParams]));
+  const calls: CallExpressionNode[] = [];
+
+  for (const statement of hir.program.body) collectStatementCalls(statement, calls);
+  for (const fn of hir.program.functions) for (const statement of fn.body) collectStatementCalls(statement, calls);
+
+  for (const call of calls) {
+    if (call.callee.kind !== "Identifier") continue;
+    const calleeName = call.callee.name;
+    const mutatedParams = mutationMap.get(calleeName) ?? [];
+    if (mutatedParams.length < 2) continue;
+    const identifiers = call.args.map((arg) => (arg.kind === "Identifier" ? arg.name : undefined));
+    const seen = new Set<string>();
+    for (const identifier of identifiers) {
+      if (!identifier) continue;
+      if (seen.has(identifier)) {
+        diagnostics.push({
+          message: `Borrow checker: '${identifier}' is passed multiple times to mutating function '${calleeName}'`,
+          severity: "error",
+          range: call.range
+        });
+      }
+      seen.add(identifier);
+    }
+  }
+
+  return diagnostics;
+}

package/compiler/src/codegen/javascript.d.ts

@@ -0,0 +1,2 @@
+import type { ProgramNode } from "../ast/types.js";
+export declare function generateJavaScript(program: ProgramNode, outputFilePath: string, stdlibDir: string): string;

package/compiler/src/codegen/javascript.js

@@ -0,0 +1,89 @@
+import path from "node:path";
+class EmitScope {
+    parent;
+    declarations = new Set();
+    constructor(parent) {
+        this.parent = parent;
+    }
+    has(name) {
+        if (this.declarations.has(name)) {
+            return true;
+        }
+        return this.parent?.has(name) ?? false;
+    }
+    declare(name) {
+        this.declarations.add(name);
+    }
+}
+function emitExpression(expression) {
+    switch (expression.kind) {
+        case "NumberLiteral":
+            return String(expression.value);
+        case "StringLiteral":
+            return JSON.stringify(expression.value);
+        case "BooleanLiteral":
+            return expression.value ? "true" : "false";
+        case "Identifier":
+            return expression.name;
+        case "UnaryExpression":
+            return `${expression.operator}${emitExpression(expression.operand)}`;
+        case "BinaryExpression":
+            return `(${emitExpression(expression.left)} ${expression.operator} ${emitExpression(expression.right)})`;
+        case "CallExpression":
+            return `${expression.callee}(${expression.args.map(emitExpression).join(", ")})`;
+    }
+}
+function emitStatement(statement, indent, scope) {
+    switch (statement.kind) {
+        case "SetStatement":
+            if (scope.has(statement.name)) {
+                return `${indent}${statement.name} = ${emitExpression(statement.expression)};`;
+            }
+            scope.declare(statement.name);
+            return `${indent}let ${statement.name} = ${emitExpression(statement.expression)};`;
+        case "DisplayStatement":
+            return `${indent}display(${emitExpression(statement.expression)});`;
+        case "InputStatement":
+            if (scope.has(statement.name)) {
+                return `${indent}${statement.name} = input(${statement.prompt ? emitExpression(statement.prompt) : "\"\""});`;
+            }
+            scope.declare(statement.name);
+            return `${indent}let ${statement.name} = input(${statement.prompt ? emitExpression(statement.prompt) : "\"\""});`;
+        case "IfStatement": {
+            const thenScope = new EmitScope(scope);
+            const elseScope = new EmitScope(scope);
+            const thenBranch = statement.thenBranch.map((child) => emitStatement(child, `${indent}  `, thenScope)).join("\n");
+            const elseBranch = statement.elseBranch.map((child) => emitStatement(child, `${indent}  `, elseScope)).join("\n");
+            const elseSection = elseBranch ? `\n${indent}else {\n${elseBranch}\n${indent}}` : "";
+            return `${indent}if (${emitExpression(statement.condition)}) {\n${thenBranch}\n${indent}}${elseSection}`;
+        }
+        case "ReturnStatement":
+            return `${indent}return ${emitExpression(statement.expression)};`;
+        case "ExpressionStatement":
+            return `${indent}${emitExpression(statement.expression)};`;
+    }
+}
+function emitFunction(fn) {
+    const scope = new EmitScope();
+    for (const param of fn.params) {
+        scope.declare(param);
+    }
+    const body = fn.body.map((statement) => emitStatement(statement, "  ", scope)).join("\n");
+    return `function ${fn.name}(${fn.params.join(", ")}) {\n${body}\n}`;
+}
+export function generateJavaScript(program, outputFilePath, stdlibDir) {
+    const runtimeImport = path.relative(path.dirname(outputFilePath), path.join(stdlibDir, "runtime.js")).replace(/\\/g, "/");
+    const runtimePath = runtimeImport.startsWith(".") ? runtimeImport : `./${runtimeImport}`;
+    const functionOutput = program.functions.map(emitFunction).join("\n\n");
+    const bodyScope = new EmitScope();
+    const bodyOutput = program.body.map((statement) => emitStatement(statement, "  ", bodyScope)).join("\n");
+    return `import { display, input, math, strings } from "${runtimePath}";
+
+${functionOutput ? `${functionOutput}\n\n` : ""}function main() {
+${bodyOutput}
+}
+
+main();
+`;
+}
+//# sourceMappingURL=javascript.js.map

package/compiler/src/codegen/javascript.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"javascript.js","sourceRoot":"","sources":["javascript.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAQ7B,MAAM,SAAS;IAGgB;IAFZ,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IAElD,YAA6B,MAAkB;QAAlB,WAAM,GAAN,MAAM,CAAY;IAAG,CAAC;IAEnD,GAAG,CAAC,IAAY;QACd,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;IACzC,CAAC;IAED,OAAO,CAAC,IAAY;QAClB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;CACF;AAED,SAAS,cAAc,CAAC,UAA0B;IAChD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,eAAe;YAClB,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAClC,KAAK,eAAe;YAClB,OAAO,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC1C,KAAK,gBAAgB;YACnB,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QAC7C,KAAK,YAAY;YACf,OAAO,UAAU,CAAC,IAAI,CAAC;QACzB,KAAK,iBAAiB;YACpB,OAAO,GAAG,UAAU,CAAC,QAAQ,GAAG,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACvE,KAAK,kBAAkB;YACrB,OAAO,IAAI,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,QAAQ,IAAI,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC;QAC3G,KAAK,gBAAgB;YACnB,OAAO,GAAG,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACrF,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,SAAwB,EAAE,MAAc,EAAE,KAAgB;IAC/E,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,cAAc;YACjB,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,OAAO,GAAG,MAAM,GAAG,SAAS,CAAC,IAAI,MAAM,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;YACjF,CAAC;YACD,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC9B,OAAO,GAAG,MAAM,OAAO,SAAS,CAAC,IAAI,MAAM,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QACrF,KAAK,kBAAkB;YACrB,OAAO,GAAG,MAAM,WAAW,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC;QACtE,KAAK,gBAAgB;YACnB,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,OAAO,GAAG,MAAM,GAAG,SAAS,CAAC,IAAI,YAAY,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC;YAChH,CAAC;YACD,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC9B,OAAO,GAAG,MAAM,OAAO,SAAS,CAAC,IAAI,YAAY,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC;QACpH,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,SAAS,GAAG,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC;YACvC,MAAM,SAAS,GAAG,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC;YACvC,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,GAAG,MAAM,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClH,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,GAAG,MAAM,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClH,MAAM,WAAW,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,MAAM,WAAW,UAAU,KAAK,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACrF,OAAO,GAAG,MAAM,OAAO,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,UAAU,KAAK,MAAM,IAAI,WAAW,EAAE,CAAC;QAC3G,CAAC;QACD,KAAK,iBAAiB;YACpB,OAAO,GAAG,MAAM,UAAU,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QACpE,KAAK,qBAAqB;YACxB,OAAO,GAAG,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;IAC/D,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,EAA2B;IAC/C,MAAM,KAAK,GAAG,IAAI,SAAS,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC9B,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1F,OAAO,YAAY,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAoB,EAAE,cAAsB,EAAE,SAAiB;IAChG,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC1H,MAAM,WAAW,GAAG,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,aAAa,EAAE,CAAC;IACzF,MAAM,cAAc,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,IAAI,SAAS,EAAE,CAAC;IAClC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEzG,OAAO,kDAAkD,WAAW;;EAEpE,cAAc,CAAC,CAAC,CAAC,GAAG,cAAc,MAAM,CAAC,CAAC,CAAC,EAAE;EAC7C,UAAU;;;;CAIX,CAAC;AACF,CAAC"}

package/compiler/src/codegen/javascript.ts

@@ -0,0 +1,175 @@
+import path from "node:path";
+import type {
+  ConstDeclarationNode,
+  ExpressionNode,
+  FunctionDeclarationNode,
+  MatchArmNode,
+  PatternNode,
+  ProgramNode,
+  StatementNode
+} from "../ast/types.js";
+
+class EmitScope {
+  private readonly declarations = new Set<string>();
+  constructor(private readonly parent?: EmitScope) {}
+  has(name: string): boolean {
+    if (this.declarations.has(name)) return true;
+    return this.parent?.has(name) ?? false;
+  }
+  declare(name: string): void {
+    this.declarations.add(name);
+  }
+}
+
+function emitPattern(pattern: PatternNode, valueRef: string): { condition: string; bindings: string[] } {
+  switch (pattern.kind) {
+    case "WildcardPattern":
+      return { condition: "true", bindings: [] };
+    case "IdentifierPattern":
+      return { condition: "true", bindings: [`const ${pattern.name} = ${valueRef};`] };
+    case "LiteralPattern":
+      return { condition: `${valueRef} === ${emitExpression(pattern.expression)}`, bindings: [] };
+    case "VariantPattern":
+      return {
+        condition: `${valueRef}?.tag === ${JSON.stringify(pattern.variantName)}`,
+        bindings: pattern.bindings.map((binding, index) => `const ${binding} = ${valueRef}.values[${index}];`)
+      };
+  }
+}
+
+function emitExpression(expression: ExpressionNode): string {
+  switch (expression.kind) {
+    case "NumberLiteral":
+      return String(expression.value);
+    case "StringLiteral":
+      return JSON.stringify(expression.value);
+    case "BooleanLiteral":
+      return expression.value ? "true" : "false";
+    case "Identifier":
+      return expression.name;
+    case "ArrayLiteral":
+      return `[${expression.items.map(emitExpression).join(", ")}]`;
+    case "UnaryExpression":
+      return `${expression.operator}${emitExpression(expression.operand)}`;
+    case "BinaryExpression":
+      return `(${emitExpression(expression.left)} ${expression.operator} ${emitExpression(expression.right)})`;
+    case "CallExpression":
+      return `${emitExpression(expression.callee)}(${expression.args.map(emitExpression).join(", ")})`;
+    case "MacroInvocation":
+      return `${expression.name}(${expression.args.map(emitExpression).join(", ")})`;
+    case "TryExpression":
+      return `__propagate(${emitExpression(expression.expression)})`;
+    case "MemberExpression":
+      return `${emitExpression(expression.object)}.${expression.property}`;
+    case "EnumConstructorExpression":
+      return `__variant(${JSON.stringify(expression.variantName)}, [${expression.fields.map(emitExpression).join(", ")}])`;
+  }
+}
+
+function emitStatement(statement: StatementNode, indent: string, scope: EmitScope): string {
+  switch (statement.kind) {
+    case "LetStatement": {
+      const name = statement.binding.name;
+      if (!scope.has(name)) scope.declare(name);
+      return `${indent}${statement.isMutable ? "let" : "const"} ${name} = ${emitExpression(statement.expression)};\n${indent}__debug.set(${JSON.stringify(name)}, ${name});`;
+    }
+    case "SetStatement":
+      if (scope.has(statement.name)) {
+        return `${indent}${statement.name} = ${emitExpression(statement.expression)};\n${indent}__debug.set(${JSON.stringify(statement.name)}, ${statement.name});`;
+      }
+      scope.declare(statement.name);
+      return `${indent}let ${statement.name} = ${emitExpression(statement.expression)};\n${indent}__debug.set(${JSON.stringify(statement.name)}, ${statement.name});`;
+    case "DisplayStatement":
+      return `${indent}__debug.record(${JSON.stringify("display")});\n${indent}display(${emitExpression(statement.expression)});`;
+    case "InputStatement":
+      if (scope.has(statement.name)) {
+        return `${indent}${statement.name} = input(${statement.prompt ? emitExpression(statement.prompt) : "\"\""});\n${indent}__debug.set(${JSON.stringify(statement.name)}, ${statement.name});`;
+      }
+      scope.declare(statement.name);
+      return `${indent}let ${statement.name} = input(${statement.prompt ? emitExpression(statement.prompt) : "\"\""});\n${indent}__debug.set(${JSON.stringify(statement.name)}, ${statement.name});`;
+    case "IfStatement": {
+      const thenScope = new EmitScope(scope);
+      const elseScope = new EmitScope(scope);
+      const thenBranch = statement.thenBranch.map((child) => emitStatement(child, `${indent}  `, thenScope)).join("\n");
+      const elseBranch = statement.elseBranch.map((child) => emitStatement(child, `${indent}  `, elseScope)).join("\n");
+      const elseSection = elseBranch ? `\n${indent}else {\n${elseBranch}\n${indent}}` : "";
+      return `${indent}if (${emitExpression(statement.condition)}) {\n${thenBranch}\n${indent}}${elseSection}`;
+    }
+    case "MatchStatement":
+      return emitMatchStatement(statement.arms, emitExpression(statement.expression), indent, scope);
+    case "UnsafeBlock":
+      return `${indent}{\n${indent}  __debug.record(${JSON.stringify("unsafe:enter")});\n${indent}  // unsafe block\n${statement.body.map((child) => emitStatement(child, `${indent}  `, new EmitScope(scope))).join("\n")}\n${indent}  __debug.record(${JSON.stringify("unsafe:exit")});\n${indent}}`;
+    case "AssertStatement":
+      return `${indent}if (!(${emitExpression(statement.expression)})) throw new Error("Assertion failed");\n${indent}__debug.record(${JSON.stringify("assert")});`;
+    case "SpawnStatement":
+      return `${indent}__debug.record(${JSON.stringify("spawn")});\n${indent}spawn(() => ${emitExpression(statement.expression)});`;
+    case "BlockStatement":
+      return `${indent}{\n${statement.body.map((child) => emitStatement(child, `${indent}  `, new EmitScope(scope))).join("\n")}\n${indent}}`;
+    case "ReturnStatement":
+      return `${indent}__debug.record(${JSON.stringify("return")});\n${indent}return ${emitExpression(statement.expression)};`;
+    case "ExpressionStatement":
+      return `${indent}${emitExpression(statement.expression)};\n${indent}__debug.record(${JSON.stringify("expression")});`;
+  }
+}
+
+function emitMatchStatement(arms: MatchArmNode[], valueExpression: string, indent: string, scope: EmitScope): string {
+  const ref = "__matchValue";
+  const lines = [`${indent}{`, `${indent}  const ${ref} = ${valueExpression};`];
+  arms.forEach((arm, index) => {
+    const pattern = emitPattern(arm.pattern, ref);
+    lines.push(`${indent}  ${index === 0 ? "if" : "else if"} (${pattern.condition}) {`);
+    for (const binding of pattern.bindings) lines.push(`${indent}    ${binding}`);
+    const armScope = new EmitScope(scope);
+    lines.push(...arm.body.map((child) => emitStatement(child, `${indent}    `, armScope)));
+    lines.push(`${indent}  }`);
+  });
+  lines.push(`${indent}}`);
+  return lines.join("\n");
+}
+
+function emitFunction(fn: FunctionDeclarationNode): string {
+  const scope = new EmitScope();
+  for (const param of fn.signature.params) scope.declare(param.name);
+  const asyncKeyword = fn.signature.isAsync ? "async " : "";
+  const body = fn.body.map((statement) => emitStatement(statement, "  ", scope)).join("\n");
+  return `${asyncKeyword}function ${fn.signature.name}(${fn.signature.params.map((param) => param.name).join(", ")}) {\n${body}\n}`;
+}
+
+function emitConst(constant: ConstDeclarationNode): string {
+  return `const ${constant.name} = ${emitExpression(constant.expression)};`;
+}
+
+export function generateJavaScript(program: ProgramNode, outputFilePath: string, stdlibDir: string): string {
+  const runtimeImport = path.relative(path.dirname(outputFilePath), path.join(stdlibDir, "runtime.js")).replace(/\\/g, "/");
+  const runtimePath = runtimeImport.startsWith(".") ? runtimeImport : `./${runtimeImport}`;
+  const exports = program.exports.map((item) => item.name);
+  const bodyScope = new EmitScope();
+  const macroFunctions = program.macros.map((macro) =>
+    `function ${macro.name}(${macro.params.join(", ")}) {\n${macro.body.map((statement) => emitStatement(statement, "  ", new EmitScope())).join("\n")}\n}`
+  );
+  const enumHelpers = program.enums.flatMap((enumDecl) =>
+    enumDecl.variants.map((variant) => `const ${variant.name} = (...values) => __variant(${JSON.stringify(variant.name)}, values);`)
+  );
+
+  return `import { display, input, math, strings, Result, Option, iter, spawn, channel, createDebuggerContext } from "${runtimePath}";
+${program.imports.map((item) => `import * as ${item.alias ?? item.importedName} from ${JSON.stringify(item.modulePath.replace(/\\.cbx$/i, ".mjs"))};`).join("\n")}
+
+function __variant(tag, values) { return { tag, values }; }
+function __propagate(value) { if (value && value.tag === "ERR") throw new Error(String(value.values?.[0] ?? "propagated error")); return value?.tag === "OK" ? value.values[0] : value; }
+const __debug = createDebuggerContext();
+
+${program.consts.map(emitConst).join("\n")}
+${enumHelpers.join("\n")}
+${macroFunctions.join("\n\n")}
+${program.functions.map(emitFunction).join("\n\n")}
+
+function main() {
+  __debug.record("main:start");
+${program.body.map((statement) => emitStatement(statement, "  ", bodyScope)).join("\n")}
+  __debug.record("main:end");
+}
+
+main();
+${exports.length > 0 ? `\nexport { ${exports.join(", ")} };` : ""}
+`;
+}

package/compiler/src/const_eval/evaluator.ts

@@ -0,0 +1,58 @@
+import type { ConstDeclarationNode, ExpressionNode, ProgramNode } from "../ast/types.js";
+
+function evaluateExpression(expression: ExpressionNode, values: Map<string, number | string | boolean>): number | string | boolean | undefined {
+  switch (expression.kind) {
+    case "NumberLiteral":
+      return expression.value;
+    case "StringLiteral":
+      return expression.value;
+    case "BooleanLiteral":
+      return expression.value;
+    case "Identifier":
+      return values.get(expression.name);
+    case "UnaryExpression": {
+      const value = evaluateExpression(expression.operand, values);
+      if (typeof value === "number" && expression.operator === "-") return -value;
+      if (typeof value === "boolean" && expression.operator === "!") return !value;
+      return undefined;
+    }
+    case "BinaryExpression": {
+      const left = evaluateExpression(expression.left, values);
+      const right = evaluateExpression(expression.right, values);
+      if (typeof left === "number" && typeof right === "number") {
+        switch (expression.operator) {
+          case "+":
+            return left + right;
+          case "-":
+            return left - right;
+          case "*":
+            return left * right;
+          case "/":
+            return left / right;
+          case "%":
+            return left % right;
+        }
+      }
+      if (expression.operator === "==" && left !== undefined && right !== undefined) return left === right;
+      return undefined;
+    }
+    default:
+      return undefined;
+  }
+}
+
+function literalNode(constant: ConstDeclarationNode, value: number | string | boolean): ExpressionNode {
+  if (typeof value === "number") return { kind: "NumberLiteral", value, range: constant.range };
+  if (typeof value === "boolean") return { kind: "BooleanLiteral", value, range: constant.range };
+  return { kind: "StringLiteral", value, range: constant.range };
+}
+
+export function evaluateConstDeclarations(program: ProgramNode): ProgramNode {
+  const values = new Map<string, number | string | boolean>();
+  const consts = program.consts.map((constant) => {
+    const evaluated = evaluateExpression(constant.expression, values);
+    if (evaluated !== undefined) values.set(constant.name, evaluated);
+    return evaluated === undefined ? constant : { ...constant, expression: literalNode(constant, evaluated) };
+  });
+  return { ...program, consts };
+}

package/compiler/src/diagnostics.d.ts

@@ -0,0 +1,11 @@
+import type { SourceRange } from "./ast/types.js";
+export interface Diagnostic {
+    message: string;
+    range: SourceRange;
+    severity: "error" | "warning";
+}
+export declare class CobolxError extends Error {
+    readonly diagnostic: Diagnostic;
+    constructor(diagnostic: Diagnostic);
+}
+export declare function formatDiagnostic(filePath: string, diagnostic: Diagnostic): string;

package/compiler/src/diagnostics.js

@@ -0,0 +1,14 @@
+export class CobolxError extends Error {
+    diagnostic;
+    constructor(diagnostic) {
+        super(diagnostic.message);
+        this.diagnostic = diagnostic;
+        this.name = "CobolxError";
+    }
+}
+export function formatDiagnostic(filePath, diagnostic) {
+    const { line, column } = diagnostic.range.start;
+    const label = diagnostic.severity === "warning" ? "Warning" : "Error";
+    return `${label}: ${diagnostic.message} at ${filePath}:${line}:${column}`;
+}
+//# sourceMappingURL=diagnostics.js.map

package/compiler/src/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["diagnostics.ts"],"names":[],"mappings":"AAQA,MAAM,OAAO,WAAY,SAAQ,KAAK;IACR;IAA5B,YAA4B,UAAsB;QAChD,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QADA,eAAU,GAAV,UAAU,CAAY;QAEhD,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAED,MAAM,UAAU,gBAAgB,CAAC,QAAgB,EAAE,UAAsB;IACvE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;IAChD,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;IACtE,OAAO,GAAG,KAAK,KAAK,UAAU,CAAC,OAAO,OAAO,QAAQ,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;AAC5E,CAAC"}

package/compiler/src/diagnostics.ts

@@ -0,0 +1,20 @@
+import type { SourceRange } from "./ast/types.js";
+
+export interface Diagnostic {
+  message: string;
+  range: SourceRange;
+  severity: "error" | "warning";
+}
+
+export class CobolxError extends Error {
+  constructor(public readonly diagnostic: Diagnostic) {
+    super(diagnostic.message);
+    this.name = "CobolxError";
+  }
+}
+
+export function formatDiagnostic(filePath: string, diagnostic: Diagnostic): string {
+  const { line, column } = diagnostic.range.start;
+  const label = diagnostic.severity === "warning" ? "Warning" : "Error";
+  return `${label}: ${diagnostic.message} at ${filePath}:${line}:${column}`;
+}

package/compiler/src/hir/lower.d.ts

@@ -0,0 +1,7 @@
+import type { ProgramNode } from "../ast/types.js";
+import type { Diagnostic } from "../diagnostics.js";
+import type { HIRProgram } from "./types.js";
+export declare function lowerToHIR(program: ProgramNode): {
+    hir: HIRProgram;
+    diagnostics: Diagnostic[];
+};