@virune/compiler 1.1.0-rc.0

package/dist/src/mir/lower.js

@@ -0,0 +1,131 @@
+class MirBuilder {
+    #blocks = [];
+    #loops = [];
+    lower(declaration) {
+        if (declaration.expressionBody)
+            return undefined;
+        const entry = this.createBlock();
+        const exit = this.lowerBlock(declaration.body, entry);
+        if (this.block(exit).terminator === undefined)
+            this.block(exit).terminator = { kind: 'end' };
+        return {
+            declarationNodeId: declaration.id,
+            name: declaration.name,
+            entry,
+            blocks: this.#blocks.map(block => ({ id: block.id, instructions: block.instructions, terminator: block.terminator ?? { kind: 'end' } })),
+        };
+    }
+    createBlock() {
+        const id = this.#blocks.length;
+        this.#blocks.push({ id, instructions: [] });
+        return id;
+    }
+    block(id) { return this.#blocks[id]; }
+    lowerBlock(block, start) {
+        let current = start;
+        for (const statement of block.statements) {
+            if (this.block(current).terminator !== undefined) {
+                const unreachable = this.createBlock();
+                this.block(unreachable).terminator = { kind: 'unreachable' };
+                continue;
+            }
+            current = this.lowerStatement(statement, current);
+        }
+        return current;
+    }
+    lowerStatement(statement, current) {
+        switch (statement.kind) {
+            case 'LetStatement':
+                this.push(current, statement, 'let', statement.value.inferredTypeId);
+                return current;
+            case 'AssignmentStatement':
+                if (statement.invalidTarget !== undefined)
+                    throw new Error('Invalid assignment target reached MIR lowering');
+                this.push(current, statement, 'assign', statement.value.inferredTypeId);
+                return current;
+            case 'MemberAssignmentStatement':
+            case 'IndexAssignmentStatement':
+                if (statement.foreignWrite !== true)
+                    throw new Error('Unproven writable facet reached MIR lowering');
+                this.push(current, statement, 'assign', statement.value.inferredTypeId);
+                return current;
+            case 'ExpressionStatement':
+            case 'DiscardStatement':
+                this.push(current, statement, 'evaluate', statement.expression.inferredTypeId);
+                return current;
+            case 'DeferStatement':
+                this.push(current, statement, 'defer', statement.expression.inferredTypeId);
+                return current;
+            case 'ReturnStatement':
+                this.block(current).terminator = { kind: 'return', ...(statement.value === undefined ? {} : { valueNodeId: statement.value.id }) };
+                return current;
+            case 'BreakStatement': {
+                const loop = this.#loops.at(-1);
+                this.block(current).terminator = loop === undefined ? { kind: 'unreachable' } : { kind: 'goto', target: loop.breakTarget };
+                return current;
+            }
+            case 'ContinueStatement': {
+                const loop = this.#loops.at(-1);
+                this.block(current).terminator = loop === undefined ? { kind: 'unreachable' } : { kind: 'goto', target: loop.continueTarget };
+                return current;
+            }
+            case 'IfStatement': return this.lowerIf(statement, current);
+            case 'WhileStatement': return this.lowerWhile(statement, current);
+            case 'ForStatement': return this.lowerFor(statement, current);
+        }
+    }
+    lowerIf(statement, current) {
+        const thenBlock = this.createBlock();
+        const elseBlock = this.createBlock();
+        const merge = this.createBlock();
+        this.block(current).terminator = { kind: 'branch', conditionNodeId: statement.condition.id, thenTarget: thenBlock, elseTarget: elseBlock };
+        const thenExit = this.lowerBlock(statement.thenBlock, thenBlock);
+        if (this.block(thenExit).terminator === undefined)
+            this.block(thenExit).terminator = { kind: 'goto', target: merge };
+        let elseExit = elseBlock;
+        if (statement.elseBranch !== undefined) {
+            elseExit = statement.elseBranch.kind === 'BlockStatement'
+                ? this.lowerBlock(statement.elseBranch, elseBlock)
+                : this.lowerStatement(statement.elseBranch, elseBlock);
+        }
+        if (this.block(elseExit).terminator === undefined)
+            this.block(elseExit).terminator = { kind: 'goto', target: merge };
+        return merge;
+    }
+    lowerWhile(statement, current) {
+        const condition = this.createBlock();
+        const body = this.createBlock();
+        const exit = this.createBlock();
+        this.block(current).terminator = { kind: 'goto', target: condition };
+        this.block(condition).terminator = { kind: 'branch', conditionNodeId: statement.condition.id, thenTarget: body, elseTarget: exit };
+        this.#loops.push({ continueTarget: condition, breakTarget: exit });
+        const bodyExit = this.lowerBlock(statement.body, body);
+        this.#loops.pop();
+        if (this.block(bodyExit).terminator === undefined)
+            this.block(bodyExit).terminator = { kind: 'goto', target: condition };
+        return exit;
+    }
+    lowerFor(statement, current) {
+        // The iterator protocol is lowered by code generation. MIR records the loop's
+        // control-flow shape and the iterable expression as an evaluated instruction.
+        this.push(current, statement, 'evaluate', statement.iterable.inferredTypeId);
+        const condition = this.createBlock();
+        const body = this.createBlock();
+        const exit = this.createBlock();
+        this.block(current).terminator = { kind: 'goto', target: condition };
+        this.block(condition).terminator = { kind: 'branch', conditionNodeId: statement.iterable.id, thenTarget: body, elseTarget: exit };
+        this.#loops.push({ continueTarget: condition, breakTarget: exit });
+        const bodyExit = this.lowerBlock(statement.body, body);
+        this.#loops.pop();
+        if (this.block(bodyExit).terminator === undefined)
+            this.block(bodyExit).terminator = { kind: 'goto', target: condition };
+        return exit;
+    }
+    push(blockId, node, kind, typeId) {
+        this.block(blockId).instructions.push({ nodeId: node.id, kind, span: node.span, ...(typeId === undefined ? {} : { typeId }) });
+    }
+}
+export function lowerFunctionToMir(declaration) {
+    return new MirBuilder().lower(declaration);
+}
+//# sourceMappingURL=lower.js.map

package/dist/src/mir/lower.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.js","sourceRoot":"","sources":["../../../src/mir/lower.ts"],"names":[],"mappings":"AASA,MAAM,UAAU;IACN,OAAO,GAAmB,EAAE,CAAC;IAC7B,MAAM,GAAqF,EAAE,CAAC;IAEhG,KAAK,CAAC,WAAkC;QAC9C,IAAI,WAAW,CAAC,cAAc;YAAE,OAAO,SAAS,CAAC;QACjD,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,IAAwB,EAAE,KAAK,CAAC,CAAC;QAC1E,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC7F,OAAO;YACN,iBAAiB,EAAE,WAAW,CAAC,EAAE;YACjC,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,KAAK;YACL,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;SACxI,CAAC;IACH,CAAC;IAEO,WAAW;QAClB,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAC/B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;QAC5C,OAAO,EAAE,CAAC;IACX,CAAC;IAEO,KAAK,CAAC,EAAc,IAAkB,OAAO,IAAI,CAAC,OAAO,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC;IAEjE,UAAU,CAAC,KAAuB,EAAE,KAAiB;QAC5D,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YAC1C,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;gBAClD,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;gBACvC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;gBAC7D,SAAS;YACV,CAAC;YACD,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACnD,CAAC;QACD,OAAO,OAAO,CAAC;IAChB,CAAC;IAEO,cAAc,CAAC,SAAsB,EAAE,OAAmB;QACjE,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACxB,KAAK,cAAc;gBAClB,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;gBACrE,OAAO,OAAO,CAAC;YAChB,KAAK,qBAAqB;gBACzB,IAAI,SAAS,CAAC,aAAa,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;gBAC7G,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;gBACxE,OAAO,OAAO,CAAC;YAChB,KAAK,2BAA2B,CAAC;YACjC,KAAK,0BAA0B;gBAC9B,IAAI,SAAS,CAAC,YAAY,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;gBACrG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;gBACxE,OAAO,OAAO,CAAC;YAChB,KAAK,qBAAqB,CAAC;YAC3B,KAAK,kBAAkB;gBACtB,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;gBAC/E,OAAO,OAAO,CAAC;YAChB,KAAK,gBAAgB;gBACpB,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;gBAC5E,OAAO,OAAO,CAAC;YAChB,KAAK,iBAAiB;gBACrB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;gBACnI,OAAO,OAAO,CAAC;YAChB,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBAAC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,UAAU,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;gBAAC,OAAO,OAAO,CAAC;YAAC,CAAC;YACvM,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBAAC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,UAAU,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,cAAc,EAAE,CAAC;gBAAC,OAAO,OAAO,CAAC;YAAC,CAAC;YAC7M,KAAK,aAAa,CAAC,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC5D,KAAK,gBAAgB,CAAC,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAClE,KAAK,cAAc,CAAC,CAAC,OAAO,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC/D,CAAC;IACF,CAAC;IAEO,OAAO,CAAC,SAAwB,EAAE,OAAmB;QAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,SAAS,CAAC,SAAS,CAAC,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;QAC3I,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QACjE,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,UAAU,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACrH,IAAI,QAAQ,GAAG,SAAS,CAAC;QACzB,IAAI,SAAS,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACxC,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,gBAAgB;gBACxD,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC;gBAClD,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,UAAU,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACrH,OAAO,KAAK,CAAC;IACd,CAAC;IAEO,UAAU,CAAC,SAA2B,EAAE,OAAmB;QAClE,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QACrE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,SAAS,CAAC,SAAS,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QACnI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,cAAc,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvD,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QAClB,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,UAAU,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QACzH,OAAO,IAAI,CAAC;IACb,CAAC;IAEO,QAAQ,CAAC,SAAyB,EAAE,OAAmB;QAC9D,8EAA8E;QAC9E,8EAA8E;QAC9E,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QAC7E,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QACrE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QAClI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,cAAc,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvD,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QAClB,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,UAAU,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QACzH,OAAO,IAAI,CAAC;IACb,CAAC;IAEO,IAAI,CAAC,OAAmB,EAAE,IAAe,EAAE,IAA4B,EAAE,MAAe;QAC/F,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IAChI,CAAC;CACD;AAED,MAAM,UAAU,kBAAkB,CAAC,WAAkC;IACpE,OAAO,IAAI,UAAU,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;AAC5C,CAAC"}

package/dist/src/mir/nodes.d.ts

@@ -0,0 +1,36 @@
+import type { NodeId, SourceSpan, TypeId } from '../source.js';
+export type MirBlockId = number;
+export interface MirInstruction {
+    readonly nodeId: NodeId;
+    readonly kind: 'let' | 'assign' | 'evaluate' | 'defer';
+    readonly span: SourceSpan;
+    readonly typeId?: TypeId;
+}
+export type MirTerminator = {
+    readonly kind: 'goto';
+    readonly target: MirBlockId;
+} | {
+    readonly kind: 'branch';
+    readonly conditionNodeId: NodeId;
+    readonly thenTarget: MirBlockId;
+    readonly elseTarget: MirBlockId;
+} | {
+    readonly kind: 'return';
+    readonly valueNodeId?: NodeId;
+} | {
+    readonly kind: 'end';
+} | {
+    readonly kind: 'unreachable';
+};
+export interface MirBasicBlock {
+    readonly id: MirBlockId;
+    readonly instructions: readonly MirInstruction[];
+    readonly terminator: MirTerminator;
+}
+export interface MirFunction {
+    readonly declarationNodeId: NodeId;
+    readonly name: string;
+    readonly entry: MirBlockId;
+    readonly blocks: readonly MirBasicBlock[];
+}
+//# sourceMappingURL=nodes.d.ts.map

package/dist/src/mir/nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../../src/mir/nodes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAE/D,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC;AAEhC,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,QAAQ,GAAG,UAAU,GAAG,OAAO,CAAC;IACvD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,MAAM,aAAa,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAAE,GAC/H;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC;AAEpC,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,SAAS,cAAc,EAAE,CAAC;IACjD,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;CACnC;AAED,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;CAC1C"}

package/dist/src/mir/nodes.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=nodes.js.map

package/dist/src/mir/nodes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodes.js","sourceRoot":"","sources":["../../../src/mir/nodes.ts"],"names":[],"mappings":""}

package/dist/src/project/incremental.d.ts

@@ -0,0 +1,9 @@
+import { type BuildProjectOptions, type ProjectBuildResult } from './project.js';
+/** Stateful project compiler used by editors and watch-mode integrations. */
+export declare class IncrementalProjectBuilder {
+    #private;
+    build(rootDirectory: string, options?: Omit<BuildProjectOptions, 'incrementalCache'>): Promise<ProjectBuildResult>;
+    invalidate(path?: string): void;
+    clear(): void;
+}
+//# sourceMappingURL=incremental.d.ts.map

package/dist/src/project/incremental.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"incremental.d.ts","sourceRoot":"","sources":["../../../src/project/incremental.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmC,KAAK,mBAAmB,EAAE,KAAK,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAElH,6EAA6E;AAC7E,qBAAa,yBAAyB;;IAGxB,KAAK,CAAC,aAAa,EAAE,MAAM,EAAE,OAAO,GAAE,IAAI,CAAC,mBAAmB,EAAE,kBAAkB,CAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAI5H,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI;IAI/B,KAAK,IAAI,IAAI;CAGpB"}

package/dist/src/project/incremental.js

@@ -0,0 +1,15 @@
+import { buildProject, ProjectBuildCache } from './project.js';
+/** Stateful project compiler used by editors and watch-mode integrations. */
+export class IncrementalProjectBuilder {
+    #cache = new ProjectBuildCache();
+    async build(rootDirectory, options = {}) {
+        return buildProject(rootDirectory, { ...options, incrementalCache: this.#cache });
+    }
+    invalidate(path) {
+        this.#cache.invalidate(path);
+    }
+    clear() {
+        this.#cache.clear();
+    }
+}
+//# sourceMappingURL=incremental.js.map

package/dist/src/project/incremental.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"incremental.js","sourceRoot":"","sources":["../../../src/project/incremental.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAqD,MAAM,cAAc,CAAC;AAElH,6EAA6E;AAC7E,MAAM,OAAO,yBAAyB;IAC5B,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;IAEnC,KAAK,CAAC,KAAK,CAAC,aAAqB,EAAE,UAAyD,EAAE;QACpG,OAAO,YAAY,CAAC,aAAa,EAAE,EAAE,GAAG,OAAO,EAAE,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACnF,CAAC;IAEM,UAAU,CAAC,IAAa;QAC9B,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAEM,KAAK;QACX,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IACrB,CAAC;CACD"}

package/dist/src/project/project.d.ts

@@ -0,0 +1,98 @@
+import type * as A from '../ast/nodes.js';
+import { type SemanticModel } from '../checker/checker.js';
+import { type EmitResult } from '../codegen/emitter.js';
+import { type Diagnostic } from '../diagnostics/diagnostic.js';
+import type { JsInteropProvider } from '../interop/types.js';
+import type { SourceFile } from '../source.js';
+export interface ViruneConfig {
+    readonly languageVersion: '1.0';
+    readonly platform: 'node' | 'browser' | 'neutral';
+    readonly sourceDir: string;
+    readonly outDir: string;
+    readonly entry: string;
+    readonly target: 'es2022';
+    readonly sourceMap: boolean;
+    readonly sourcesContent: boolean;
+    readonly test?: {
+        readonly include?: readonly string[];
+    };
+}
+export interface ParsedModule {
+    readonly source: SourceFile;
+    readonly ast?: A.ModuleNode;
+    readonly diagnostics: readonly Diagnostic[];
+}
+export interface BuiltModule extends ParsedModule {
+    readonly semantic?: SemanticModel;
+    readonly output?: EmitResult;
+    readonly outputPath?: string;
+}
+export interface ProjectBuildStats {
+    readonly parsedModules: number;
+    readonly reusedParsedModules: number;
+    readonly checkedModules: number;
+    readonly reusedCheckedModules: number;
+    readonly emittedModules: number;
+    readonly reusedEmittedModules: number;
+    readonly invalidatedModules: number;
+}
+export interface ProjectBuildResult {
+    readonly root: string;
+    readonly config: ViruneConfig;
+    readonly modules: readonly BuiltModule[];
+    readonly diagnostics: readonly Diagnostic[];
+    readonly stats: ProjectBuildStats;
+}
+interface CachedProjectModule {
+    readonly sourceHash: string;
+    readonly parsed: ParsedModule;
+    readonly interfaceHash: string;
+    readonly buildFingerprint: string;
+    readonly built: BuiltModule;
+}
+/**
+ * Return the exact modules that can be loaded from the supplied roots by emitted
+ * Virune-to-Virune runtime imports in this ProjectBuildResult. The dependency
+ * sidecar is attached to the same BuiltModule objects that own emitted output,
+ * so execution checks do not need to rebuild or re-read project state.
+ */
+export declare function projectRuntimeModuleClosure(result: ProjectBuildResult, rootPaths: readonly string[]): readonly BuiltModule[];
+/**
+ * Reusable state for incremental project builds. The cache is intentionally
+ * explicit so one-shot CLI builds remain deterministic and side-effect free.
+ */
+export declare class ProjectBuildCache {
+    #private;
+    clear(): void;
+    invalidate(path?: string): void;
+    fileId(path: string): number;
+    get(path: string): CachedProjectModule | undefined;
+    set(path: string, value: CachedProjectModule): void;
+    prune(paths: ReadonlySet<string>): number;
+}
+export interface ProjectHost {
+    readFile(path: string): Promise<string>;
+}
+export interface BuildProjectOptions {
+    readonly write?: boolean;
+    readonly additionalEntries?: readonly string[];
+    readonly host?: ProjectHost;
+    readonly includeConfigEntry?: boolean;
+    readonly incrementalCache?: ProjectBuildCache;
+    readonly jsInteropProvider?: JsInteropProvider;
+}
+export interface EntryPointValidationResult {
+    readonly main?: A.FunctionDeclaration;
+    readonly diagnostics: readonly Diagnostic[];
+}
+export declare function loadConfig(root: string, host?: ProjectHost): Promise<ViruneConfig>;
+export declare function parseSource(source: SourceFile): ParsedModule;
+export declare function buildProject(rootDirectory: string, options?: BuildProjectOptions): Promise<ProjectBuildResult>;
+export declare function buildProject(rootDirectory: string, write?: boolean, additionalEntries?: readonly string[]): Promise<ProjectBuildResult>;
+/**
+ * Validate the executable entry point without making library builds depend on
+ * the presence of `main`. The CLI invokes this only for `virune run`.
+ */
+export declare function validateEntryPoint(module: BuiltModule): EntryPointValidationResult;
+export {};
+//# sourceMappingURL=project.d.ts.map

package/dist/src/project/project.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project.d.ts","sourceRoot":"","sources":["../../../src/project/project.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,KAAK,CAAC,MAAM,iBAAiB,CAAC;AAC1C,OAAO,EAAe,KAAK,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACxE,OAAO,EAAkB,KAAK,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACxE,OAAO,EAAiB,KAAK,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAU9E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,KAAK,EAAU,UAAU,EAAc,MAAM,cAAc,CAAC;AAEnE,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,eAAe,EAAE,KAAK,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;CACzD;AAED,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,WAAY,SAAQ,YAAY;IAChD,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACpC;AAED,MAAM,WAAW,kBAAkB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC;CAClC;AAED,UAAU,mBAAmB;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC5B;AAID;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,kBAAkB,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,WAAW,EAAE,CAe5H;AAED;;;GAGG;AACH,qBAAa,iBAAiB;;IAKtB,KAAK,IAAI,IAAI;IAIb,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI;IAK/B,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAS5B,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,mBAAmB,GAAG,SAAS;IAClD,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,mBAAmB,GAAG,IAAI;IAEnD,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,MAAM;CAShD;AAED,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;CACxC;AAED,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,iBAAiB,CAAC;IAC9C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CAC/C;AAED,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,mBAAmB,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC5C;AAUD,wBAAsB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,GAAE,WAA6B,GAAG,OAAO,CAAC,YAAY,CAAC,CAgBzG;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,UAAU,GAAG,YAAY,CAmB5D;AAED,wBAAsB,YAAY,CAAC,aAAa,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;AACtH,wBAAsB,YAAY,CAAC,aAAa,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;AAkQ/I;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,WAAW,GAAG,0BAA0B,CAmClF"}