@ascent-lang/dev 0.1.0

package/dist/parser/printer.js

@@ -0,0 +1,130 @@
+import chalk from 'chalk';
+const formatTypeExpr = (te) => {
+    switch (te.kind) {
+        case 'TypeName': return te.name;
+        case 'ListType': return `List<${formatTypeExpr(te.elem)}>`;
+    }
+};
+// Returns the node as a list of lines so callers can prefix them with
+// branch characters (├─, └─) when embedding inside a parent node.
+const exprLines = (expr) => {
+    switch (expr.kind) {
+        case 'literal':
+            switch (expr.valueType) {
+                case 'Int':
+                    return [`${chalk.cyan('Lit')} ${chalk.yellow(String(expr.value))}`];
+                case 'Float':
+                    return [`${chalk.cyan('Lit')} ${chalk.yellow(String(expr.value))}`];
+                case 'Bool':
+                    return [`${chalk.cyan('Lit')} ${chalk.yellow(expr.value ? 'True' : 'False')}`];
+                case 'String':
+                    return [`${chalk.cyan('Lit')} ${chalk.green(JSON.stringify(expr.value))}`];
+                case 'None':
+                    return [`${chalk.cyan('Lit')} ${chalk.yellow('None')}`];
+                case 'Done':
+                    return [`${chalk.cyan('Lit')} ${chalk.yellow('Done')}`];
+            }
+        case 'slot':
+            return [`${chalk.cyan('Slot')} ${chalk.green(expr.name)}`];
+        case 'call': {
+            const argLines = expr.args.flatMap((arg, i) => branch(exprLines(arg), i === expr.args.length - 1));
+            return [`${chalk.cyan('Call')} ${chalk.green(expr.callee)}`, ...argLines];
+        }
+        case 'methodCall': {
+            const children = [expr.receiver, ...expr.args];
+            const childLines = children.flatMap((child, i) => branch(exprLines(child), i === children.length - 1));
+            return [`${chalk.cyan('MethodCall')} ${chalk.green('.' + expr.method)}`, ...childLines];
+        }
+        case 'list': {
+            if (expr.elements.length === 0) {
+                return [`${chalk.cyan('List')} ${chalk.dim('[]')}`];
+            }
+            const elementLines = expr.elements.flatMap((el, i) => branch(exprLines(el), i === expr.elements.length - 1));
+            return [`${chalk.cyan('List')}`, ...elementLines];
+        }
+        case 'index': {
+            const listLines = branch(exprLines(expr.list), false);
+            const indexLines = branch(exprLines(expr.index), true);
+            return [`${chalk.cyan('Index')}`, ...listLines, ...indexLines];
+        }
+        case 'unary': {
+            const operand = branch(exprLines(expr.operand), true);
+            return [`${chalk.cyan('Unary')} ${chalk.magenta(expr.op)}`, ...operand];
+        }
+        case 'binary': {
+            const left = branch(exprLines(expr.left), false);
+            const right = branch(exprLines(expr.right), true);
+            return [`${chalk.cyan('Binary')} ${chalk.magenta(expr.op)}`, ...left, ...right];
+        }
+        case 'block': {
+            if (expr.stmts.length === 0) {
+                return [`${chalk.cyan('Block')} ${chalk.dim('(empty)')}`];
+            }
+            const lines = expr.stmts.flatMap((stmt, i) => branch(stmtLines(stmt), i === expr.stmts.length - 1));
+            return [`${chalk.cyan('Block')}`, ...lines];
+        }
+        case 'if': {
+            const condLines = branch(exprLines(expr.cond), false);
+            const thenLines = branch(exprLines(expr.then), expr.else === null);
+            const elseLines = expr.else !== null ? branch(exprLines(expr.else), true) : [];
+            return [`${chalk.cyan('If')}`, ...condLines, ...thenLines, ...elseLines];
+        }
+    }
+};
+// Prefixes a child's lines with tree-drawing characters.
+// Used by parent nodes (Binary, Unary, …) when they are added.
+export const branch = (lines, isLast) => {
+    const head = chalk.dim(isLast ? '└─ ' : '├─ ');
+    const body = chalk.dim(isLast ? '   ' : '│  ');
+    return lines.map((line, i) => (i === 0 ? head : body) + line);
+};
+export const formatExpr = (expr) => {
+    return exprLines(expr).join('\n');
+};
+// Same line-list shape as exprLines, for the same reason: a block needs
+// to embed a statement's lines and prefix them with tree-drawing chars.
+const stmtLines = (stmt) => {
+    switch (stmt.kind) {
+        case 'fix':
+        case 'mut': {
+            const init = branch(exprLines(stmt.init), true);
+            const label = stmt.kind === 'fix' ? 'Fix' : 'Mut';
+            const ann = stmt.typeAnnotation !== null ? chalk.dim(`: ${formatTypeExpr(stmt.typeAnnotation)}`) : '';
+            return [`${chalk.cyan(label)} ${chalk.green(stmt.name)}${ann}`, ...init];
+        }
+        case 'assign': {
+            const value = branch(exprLines(stmt.value), true);
+            return [`${chalk.cyan('Assign')} ${chalk.green(stmt.name)}`, ...value];
+        }
+        case 'expr':
+            return exprLines(stmt.expr);
+        case 'while': {
+            const cond = branch(exprLines(stmt.cond), false);
+            const body = branch(exprLines(stmt.body), true);
+            return [`${chalk.cyan('While')}`, ...cond, ...body];
+        }
+    }
+};
+export const formatStmt = (stmt) => stmtLines(stmt).join('\n');
+export const formatValue = (value) => {
+    switch (value.type) {
+        case 'Int':
+            return chalk.yellow(String(value.value));
+        case 'Float':
+            const floatStr = String(value.value);
+            return floatStr.includes('.') ? chalk.yellow(floatStr) : chalk.yellow(floatStr + '.0');
+        case 'Bool':
+            return chalk.yellow(value.value ? 'True' : 'False');
+        case 'String':
+            return chalk.green(JSON.stringify(value.value));
+        case 'List': {
+            const items = value.elements.map(formatValue).join(', ');
+            return chalk.yellow(`[${items}]`);
+        }
+        case 'None':
+            return chalk.yellow('None');
+        case 'Done':
+            return chalk.yellow('Done');
+    }
+};
+//# sourceMappingURL=printer.js.map

package/dist/parser/printer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"printer.js","sourceRoot":"","sources":["../../src/parser/printer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,OAAO,CAAC;AAI1B,MAAM,cAAc,GAAG,CAAC,EAAY,EAAU,EAAE;IAC9C,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,UAAU,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC;QAChC,KAAK,UAAU,CAAC,CAAC,OAAO,QAAQ,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;IAC7D,CAAC;AACH,CAAC,CAAC;AAEF,sEAAsE;AACtE,kEAAkE;AAClE,MAAM,SAAS,GAAG,CAAC,IAAU,EAAY,EAAE;IACzC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;gBACvB,KAAK,KAAK;oBACR,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBACtE,KAAK,OAAO;oBACV,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBACtE,KAAK,MAAM;oBACT,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBACjF,KAAK,QAAQ;oBACX,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC7E,KAAK,MAAM;oBACT,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAC1D,KAAK,MAAM;oBACT,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC5D,CAAC;QACH,KAAK,MAAM;YACT,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7D,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC5C,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CACnD,CAAC;YACF,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,QAAQ,CAAC,CAAC;QAC5E,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/C,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAC/C,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CACpD,CAAC;YACF,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,UAAU,CAAC,CAAC;QAC1F,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/B,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtD,CAAC;YACD,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CACnD,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CACtD,CAAC;YACF,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,YAAY,CAAC,CAAC;QACpD,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;YACtD,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;YACvD,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,UAAU,CAAC,CAAC;QACjE,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;YACtD,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,CAAC;QAC1E,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;YACjD,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;YAClD,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC;QAClF,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC5D,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAC3C,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CACrD,CAAC;YACF,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC;QAC9C,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YACnE,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,SAAS,EAAE,GAAG,SAAS,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,yDAAyD;AACzD,+DAA+D;AAC/D,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAe,EAAE,MAAe,EAAY,EAAE;IACnE,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAU,EAAU,EAAE;IAC/C,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF,wEAAwE;AACxE,wEAAwE;AACxE,MAAM,SAAS,GAAG,CAAC,IAAe,EAAY,EAAE;IAC9C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAChD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;YAClD,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,cAAc,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtG,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC;QAC3E,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;YAClD,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC;QACzE,CAAC;QACD,KAAK,MAAM;YACT,OAAO,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;YACjD,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAChD,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAe,EAAU,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAElF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAmB,EAAU,EAAE;IACzD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3C,KAAK,OAAO;YACV,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACrC,OAAO,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC,CAAC;QACzF,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACtD,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAClD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzD,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QACpC,CAAC;QACD,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC9B,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;AACH,CAAC,CAAC"}

package/dist/parser/stmt.d.ts

@@ -0,0 +1,7 @@
+import type { Token } from '../lexer/token.js';
+import type { Statement, Block, If } from './ast.js';
+import type { TokenStream } from './token-stream.js';
+export declare function parseBlock(ts: TokenStream, openTok?: Token): Block | null;
+export declare function parseIf(ts: TokenStream): If | null;
+export declare function parseStmt(ts: TokenStream): Statement | null;
+//# sourceMappingURL=stmt.d.ts.map

package/dist/parser/stmt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stmt.d.ts","sourceRoot":"","sources":["../../src/parser/stmt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,KAAK,EAAQ,SAAS,EAAE,KAAK,EAAE,EAAE,EAAY,MAAM,UAAU,CAAC;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAYrD,wBAAgB,UAAU,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,KAAK,GAAG,KAAK,GAAG,IAAI,CAMzE;AA8BD,wBAAgB,OAAO,CAAC,EAAE,EAAE,WAAW,GAAG,EAAE,GAAG,IAAI,CA6BlD;AA6ED,wBAAgB,SAAS,CAAC,EAAE,EAAE,WAAW,GAAG,SAAS,GAAG,IAAI,CAmB3D"}

package/dist/parser/stmt.js

@@ -0,0 +1,153 @@
+import { parseExpr } from './expr.js';
+import { parseTypeExpr } from './type-expr.js';
+// A block is '{' stmt* '}', each statement separated by ';' — the
+// same "item (sep item)* close" shape as a call's args or a list
+// literal, just with SEMICOLON as the separator and RBRACE as the
+// close (§ design.md: "semicolons terminate every statement"; the
+// trailing one is optional exactly like a list's trailing comma).
+// `openTok` lets parseRequiredBlock pass in a '{' it already consumed
+// via `expect`; parseAtom, which hasn't consumed one, omits it and
+// this consumes its own.
+export function parseBlock(ts, openTok) {
+    openTok ??= ts.advance(); // consume '{' unless already consumed
+    const parsed = ts.parseSeparated(() => parseStmt(ts), 'SEMICOLON', 'RBRACE', 'S0005', true);
+    if (parsed === null)
+        return null;
+    return { kind: 'block', stmts: parsed.items, span: { start: openTok.span.start, end: parsed.close.span.end } };
+}
+// The parenthesized test shared by 'if' and 'while' — '(' expr ')'.
+// The body braces already delimit the construct, but the test stays
+// parenthesized to match the C-family/TS surface (§5).
+function parseCond(ts) {
+    if (ts.expect('LPAREN', 'S0006') === null)
+        return null;
+    const cond = parseExpr(ts);
+    if (cond === null) {
+        return null;
+    }
+    if (ts.expect('RPAREN', 'S0001') === null)
+        return null;
+    return cond;
+}
+// A mandatory body block — every 'if'/'while' branch needs one, even
+// single-statement (§2: no dangling-else, no goto-fail class of bug).
+function parseRequiredBlock(ts) {
+    const openTok = ts.expect('LBRACE', 'S0007');
+    if (openTok === null)
+        return null;
+    return parseBlock(ts, openTok);
+}
+// 'if (cond) { } else if (cond) { } else { }' — 'else if' is not its
+// own grammar rule, it's an If recursively parsed as the else branch.
+// It's an expression (see parseAtom), but it clusters with the other
+// braced control constructs, so it lives here beside 'while'.
+export function parseIf(ts) {
+    const ifTok = ts.advance(); // consume 'if'
+    const cond = parseCond(ts);
+    if (cond === null) {
+        return null;
+    }
+    const thenBlock = parseRequiredBlock(ts);
+    if (thenBlock === null) {
+        return null;
+    }
+    let elseBranch = null;
+    if (ts.peek().kind === 'KW_ELSE') {
+        ts.advance(); // consume 'else'
+        elseBranch = ts.peek().kind === 'KW_IF' ? parseIf(ts) : parseRequiredBlock(ts);
+        if (elseBranch === null) {
+            return null;
+        }
+    }
+    return {
+        kind: 'if',
+        cond,
+        then: thenBlock,
+        else: elseBranch,
+        span: { start: ifTok.span.start, end: (elseBranch ?? thenBlock).span.end },
+    };
+}
+// 'while (cond) { }' — a statement, not an expression (§5): a loop has
+// no single meaningful result, so it isn't usable where a value is
+// expected the way 'if' is.
+function parseWhile(ts) {
+    const whileTok = ts.advance(); // consume 'while'
+    const cond = parseCond(ts);
+    if (cond === null) {
+        return null;
+    }
+    const body = parseRequiredBlock(ts);
+    if (body === null) {
+        return null;
+    }
+    return { kind: 'while', cond, body, span: { start: whileTok.span.start, end: body.span.end } };
+}
+// 'fix' and 'mut' share every rule but the keyword itself and the
+// mutability it grants — one parse method, told which by 'kind'.
+function parseDecl(ts, kind) {
+    const kwTok = ts.advance(); // consume 'fix' or 'mut'
+    const nameTok = ts.peek();
+    if (nameTok.kind !== 'SLOT') {
+        ts.report('S0003', nameTok.span);
+        return null;
+    }
+    ts.advance(); // consume slot name
+    let typeAnnotation = null;
+    if (ts.peek().kind === 'COLON') {
+        ts.advance(); // consume ':'
+        typeAnnotation = parseTypeExpr(ts);
+        if (typeAnnotation === null)
+            return null;
+    }
+    if (ts.expect('EQUALS', 'S0004') === null)
+        return null;
+    const init = parseExpr(ts);
+    if (init === null) {
+        return null;
+    }
+    return {
+        kind,
+        name: nameTok.value,
+        typeAnnotation,
+        init,
+        span: { start: kwTok.span.start, end: init.span.end },
+    };
+}
+// 'name = expr;' — reassigns a slot already declared with 'fix' or
+// 'mut'. Whether that's actually allowed (the slot must be 'mut') is
+// a name-binding rule, not a grammar rule, so it's checked at
+// evaluation time (interpreter.ts), not here.
+function parseAssign(ts) {
+    const nameTok = ts.advance(); // consume slot name
+    ts.advance(); // consume '='
+    const value = parseExpr(ts);
+    if (value === null) {
+        return null;
+    }
+    return {
+        kind: 'assign',
+        name: nameTok.value,
+        value,
+        span: { start: nameTok.span.start, end: value.span.end },
+    };
+}
+export function parseStmt(ts) {
+    if (ts.peek().kind === 'KW_FIX') {
+        return parseDecl(ts, 'fix');
+    }
+    if (ts.peek().kind === 'KW_MUT') {
+        return parseDecl(ts, 'mut');
+    }
+    if (ts.peek().kind === 'KW_WHILE') {
+        return parseWhile(ts);
+    }
+    if (ts.peek().kind === 'SLOT' && ts.peekNext().kind === 'EQUALS') {
+        return parseAssign(ts);
+    }
+    const expr = parseExpr(ts);
+    if (expr === null) {
+        return null;
+    }
+    return { kind: 'expr', expr, span: expr.span };
+}
+//# sourceMappingURL=stmt.js.map

package/dist/parser/stmt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stmt.js","sourceRoot":"","sources":["../../src/parser/stmt.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C,kEAAkE;AAClE,iEAAiE;AACjE,kEAAkE;AAClE,kEAAkE;AAClE,kEAAkE;AAClE,sEAAsE;AACtE,mEAAmE;AACnE,yBAAyB;AACzB,MAAM,UAAU,UAAU,CAAC,EAAe,EAAE,OAAe;IACzD,OAAO,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,sCAAsC;IAChE,MAAM,MAAM,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAC5F,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEjC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;AACjH,CAAC;AAED,oEAAoE;AACpE,oEAAoE;AACpE,uDAAuD;AACvD,SAAS,SAAS,CAAC,EAAe;IAChC,IAAI,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvD,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC3B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,qEAAqE;AACrE,sEAAsE;AACtE,SAAS,kBAAkB,CAAC,EAAe;IACzC,MAAM,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7C,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,OAAO,UAAU,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;AACjC,CAAC;AAED,qEAAqE;AACrE,sEAAsE;AACtE,qEAAqE;AACrE,8DAA8D;AAC9D,MAAM,UAAU,OAAO,CAAC,EAAe;IACrC,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,eAAe;IAE3C,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC3B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,kBAAkB,CAAC,EAAE,CAAC,CAAC;IACzC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,UAAU,GAAsB,IAAI,CAAC;IACzC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACjC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,iBAAiB;QAC/B,UAAU,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;QAC/E,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACxB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,IAAI;QACV,IAAI;QACJ,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,UAAU,IAAI,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE;KAC3E,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,mEAAmE;AACnE,4BAA4B;AAC5B,SAAS,UAAU,CAAC,EAAe;IACjC,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,kBAAkB;IAEjD,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC3B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,IAAI,GAAG,kBAAkB,CAAC,EAAE,CAAC,CAAC;IACpC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;AACjG,CAAC;AAED,kEAAkE;AAClE,iEAAiE;AACjE,SAAS,SAAS,CAAC,EAAe,EAAE,IAAmB;IACrD,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,yBAAyB;IAErD,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,oBAAoB;IAElC,IAAI,cAAc,GAAoB,IAAI,CAAC;IAC3C,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,cAAc;QAC5B,cAAc,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,cAAc,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;IAC3C,CAAC;IAED,IAAI,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvD,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC3B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,OAAO,CAAC,KAAK;QACnB,cAAc;QACd,IAAI;QACJ,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE;KACtD,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,qEAAqE;AACrE,8DAA8D;AAC9D,8CAA8C;AAC9C,SAAS,WAAW,CAAC,EAAe;IAClC,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,oBAAoB;IAClD,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,cAAc;IAE5B,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC5B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,OAAO,CAAC,KAAK;QACnB,KAAK;QACL,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE;KACzD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,EAAe;IACvC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClC,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjE,OAAO,WAAW,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC;IAED,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC3B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;AACjD,CAAC"}

package/dist/parser/token-stream.d.ts

@@ -0,0 +1,19 @@
+import type { Token, TokenKind, Marker, Span } from '../lexer/token.js';
+export declare class TokenStream {
+    private readonly tokens;
+    private pos;
+    readonly errors: Marker[];
+    constructor(tokens: Token[]);
+    peek(): Token;
+    advance(): Token;
+    peekNext(): Token;
+    report(code: string, span: Span): void;
+    expect(kind: TokenKind, code: string): Token | null;
+    private static readonly STMT_START_KINDS;
+    private synchronize;
+    parseSeparated<T>(parseItem: () => T | null, sep: TokenKind, close: TokenKind, closeCode: string, recover?: boolean): {
+        items: T[];
+        close: Token;
+    } | null;
+}
+//# sourceMappingURL=token-stream.d.ts.map

package/dist/parser/token-stream.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"token-stream.d.ts","sourceRoot":"","sources":["../../src/parser/token-stream.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AASxE,qBAAa,WAAW;IACtB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAU;IACjC,OAAO,CAAC,GAAG,CAAa;IAIxB,SAAgB,MAAM,EAAE,MAAM,EAAE,CAAM;gBAEnB,MAAM,EAAE,KAAK,EAAE;IAM3B,IAAI,IAAI,KAAK;IAIb,OAAO,IAAI,KAAK;IAOhB,QAAQ,IAAI,KAAK;IAOjB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAOtC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,GAAG,IAAI;IAa1D,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAqE;IAQ7G,OAAO,CAAC,WAAW;IAoBZ,cAAc,CAAC,CAAC,EACrB,SAAS,EAAE,MAAM,CAAC,GAAG,IAAI,EACzB,GAAG,EAAE,SAAS,EACd,KAAK,EAAE,SAAS,EAChB,SAAS,EAAE,MAAM,EACjB,OAAO,UAAQ,GACd;QAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAAC,KAAK,EAAE,KAAK,CAAA;KAAE,GAAG,IAAI;CAyBvC"}

package/dist/parser/token-stream.js

@@ -0,0 +1,111 @@
+// The token stream is everything the grammar productions in expr.ts,
+// stmt.ts and type-expr.ts share but that isn't grammar itself: the
+// cursor (peek/advance/peekNext), the error log, and the two
+// stream-level combinators (expect, parseSeparated) built on top of
+// them. Each production is a free function taking one of these, instead
+// of a method on a monolithic Parser — so "how do I read the next
+// token" lives in one place and the grammar files only describe grammar.
+export class TokenStream {
+    tokens;
+    pos = 0;
+    // The accumulated diagnostics. Productions append via report()/expect();
+    // the top-level parse() hands this straight out as errorMarkers.
+    errors = [];
+    constructor(tokens) {
+        this.tokens = tokens;
+    }
+    // The lexer guarantees the last token is always EOF, so the fallback
+    // is only reached if pos somehow exceeds the array — it never will.
+    peek() {
+        return this.tokens[this.pos] ?? this.tokens[this.tokens.length - 1];
+    }
+    advance() {
+        return this.tokens[this.pos++] ?? this.tokens[this.tokens.length - 1];
+    }
+    // Looks past the current token without consuming anything — needed to
+    // tell an assignment ('x = …') apart from an expression starting with
+    // a slot reference, which otherwise look identical for one token.
+    peekNext() {
+        return this.tokens[this.pos + 1] ?? this.tokens[this.tokens.length - 1];
+    }
+    // Record a diagnostic at a given span. The one place productions push
+    // to the error log when they need to report something expect() can't
+    // express (e.g. "this token was fine but the *next* thing is wrong").
+    report(code, span) {
+        this.errors.push({ code, span });
+    }
+    // Consume-or-diagnose: the shape every "expect this exact token here"
+    // check in the grammar shares. Returns the consumed token, or records
+    // `code` at the offending token's span and returns null.
+    expect(kind, code) {
+        const tok = this.peek();
+        if (tok.kind !== kind) {
+            this.report(code, tok.span);
+            return null;
+        }
+        return this.advance();
+    }
+    // Keywords that start a statement outright (mirrors parseStmt's own
+    // dispatch in stmt.ts). synchronize() treats one of these as a safe
+    // place to resume, since it's a far more reliable restart point than
+    // an arbitrary token that merely happens to also start an expression.
+    static STMT_START_KINDS = new Set(['KW_FIX', 'KW_MUT', 'KW_WHILE']);
+    // Panic-mode recovery: skip tokens until the next statement boundary —
+    // the separator, the enclosing close token, EOF, or a statement-start
+    // keyword — without consuming whichever of those it lands on. Only
+    // parseSeparated's `recover` path calls this; it never reports a
+    // diagnostic itself, since the caller already recorded one for
+    // whatever failed before giving up and calling this.
+    synchronize(sep, close) {
+        while (this.peek().kind !== sep && this.peek().kind !== close && this.peek().kind !== 'EOF') {
+            if (TokenStream.STMT_START_KINDS.has(this.peek().kind))
+                return;
+            this.advance();
+        }
+    }
+    // Parses `item (sep item)* close`, allowing an empty list and a
+    // trailing separator right before `close`. `close` is returned
+    // alongside the items since callers need its span to close off the
+    // enclosing node.
+    //
+    // Without `recover`, a failing item or a missing close token aborts
+    // the whole list — the right call for a call's args or a list
+    // literal, where a bad element can't be recovered from without
+    // guessing. With `recover` (set only by parseBlock and parseProgram),
+    // a failing item instead calls synchronize() and keeps going, so one
+    // malformed statement doesn't take the rest of the file's diagnostics
+    // down with it. The list can still come back null if synchronize()
+    // runs all the way to EOF without ever finding `close`.
+    parseSeparated(parseItem, sep, close, closeCode, recover = false) {
+        const items = [];
+        if (this.peek().kind !== close) {
+            for (;;) {
+                const item = parseItem();
+                if (item === null) {
+                    if (!recover)
+                        return null;
+                    this.synchronize(sep, close);
+                    if (this.peek().kind === close || this.peek().kind === 'EOF')
+                        break;
+                    if (this.peek().kind === sep) {
+                        this.advance(); // consume the separator synchronize stopped on
+                        if (this.peek().kind === close)
+                            break; // trailing separator after a recovered statement
+                    }
+                    continue;
+                }
+                items.push(item);
+                if (this.peek().kind !== sep)
+                    break;
+                this.advance(); // consume separator
+                if (this.peek().kind === close)
+                    break; // trailing separator
+            }
+        }
+        const closeTok = this.expect(close, closeCode);
+        if (closeTok === null)
+            return null;
+        return { items, close: closeTok };
+    }
+}
+//# sourceMappingURL=token-stream.js.map

package/dist/parser/token-stream.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"token-stream.js","sourceRoot":"","sources":["../../src/parser/token-stream.ts"],"names":[],"mappings":"AAEA,qEAAqE;AACrE,oEAAoE;AACpE,6DAA6D;AAC7D,oEAAoE;AACpE,wEAAwE;AACxE,kEAAkE;AAClE,yEAAyE;AACzE,MAAM,OAAO,WAAW;IACL,MAAM,CAAU;IACzB,GAAG,GAAW,CAAC,CAAC;IAExB,yEAAyE;IACzE,iEAAiE;IACjD,MAAM,GAAa,EAAE,CAAC;IAEtC,YAAmB,MAAe;QAChC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,qEAAqE;IACrE,oEAAoE;IAC7D,IAAI;QACT,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;IACvE,CAAC;IAEM,OAAO;QACZ,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;IACzE,CAAC;IAED,sEAAsE;IACtE,sEAAsE;IACtE,kEAAkE;IAC3D,QAAQ;QACb,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;IAC3E,CAAC;IAED,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IAC/D,MAAM,CAAC,IAAY,EAAE,IAAU;QACpC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACnC,CAAC;IAED,sEAAsE;IACtE,sEAAsE;IACtE,yDAAyD;IAClD,MAAM,CAAC,IAAe,EAAE,IAAY;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACtB,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;IACxB,CAAC;IAED,oEAAoE;IACpE,oEAAoE;IACpE,qEAAqE;IACrE,sEAAsE;IAC9D,MAAM,CAAU,gBAAgB,GAA2B,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IAE7G,uEAAuE;IACvE,sEAAsE;IACtE,mEAAmE;IACnE,iEAAiE;IACjE,+DAA+D;IAC/D,qDAAqD;IAC7C,WAAW,CAAC,GAAc,EAAE,KAAgB;QAClD,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC5F,IAAI,WAAW,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC;gBAAE,OAAO;YAC/D,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,+DAA+D;IAC/D,mEAAmE;IACnE,kBAAkB;IAClB,EAAE;IACF,oEAAoE;IACpE,8DAA8D;IAC9D,+DAA+D;IAC/D,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IACtE,mEAAmE;IACnE,wDAAwD;IACjD,cAAc,CACnB,SAAyB,EACzB,GAAc,EACd,KAAgB,EAChB,SAAiB,EACjB,OAAO,GAAG,KAAK;QAEf,MAAM,KAAK,GAAQ,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC/B,SAAU,CAAC;gBACT,MAAM,IAAI,GAAG,SAAS,EAAE,CAAC;gBACzB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;oBAClB,IAAI,CAAC,OAAO;wBAAE,OAAO,IAAI,CAAC;oBAC1B,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;oBAC7B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK;wBAAE,MAAM;oBACpE,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;wBAC7B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,+CAA+C;wBAC/D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK;4BAAE,MAAM,CAAC,iDAAiD;oBAC1F,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,GAAG;oBAAE,MAAM;gBACpC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,oBAAoB;gBACpC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK;oBAAE,MAAM,CAAC,qBAAqB;YAC9D,CAAC;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC/C,IAAI,QAAQ,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACnC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACpC,CAAC"}

package/dist/parser/type-expr.d.ts

@@ -0,0 +1,5 @@
+import type { TypeExpr, ArgDef } from './ast.js';
+import type { TokenStream } from './token-stream.js';
+export declare function parseTypeExpr(ts: TokenStream): TypeExpr | null;
+export declare function parseArgs(ts: TokenStream): ArgDef[] | null;
+//# sourceMappingURL=type-expr.d.ts.map

package/dist/parser/type-expr.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-expr.d.ts","sourceRoot":"","sources":["../../src/parser/type-expr.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAW,MAAM,UAAU,CAAC;AAC1D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGrD,wBAAgB,aAAa,CAAC,EAAE,EAAE,WAAW,GAAG,QAAQ,GAAG,IAAI,CAsB9D;AA2BD,wBAAgB,SAAS,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,EAAE,GAAG,IAAI,CAS1D"}

package/dist/parser/type-expr.js

@@ -0,0 +1,54 @@
+// 'Int', 'Float', 'Bool', 'String', or 'List<Type>' — used in type annotations.
+export function parseTypeExpr(ts) {
+    const tok = ts.peek();
+    if (tok.kind !== 'TYPE_NAME') {
+        ts.report('S0010', tok.span);
+        return null;
+    }
+    ts.advance(); // consume type name
+    if (tok.value === 'List') {
+        if (ts.expect('LT', 'S0010') === null)
+            return null;
+        const elem = parseTypeExpr(ts);
+        if (elem === null)
+            return null;
+        const gt = ts.expect('GT', 'S0010');
+        if (gt === null)
+            return null;
+        return { kind: 'ListType', elem, span: { start: tok.span.start, end: gt.span.end } };
+    }
+    const name = tok.value;
+    return { kind: 'TypeName', name, span: tok.span };
+}
+// 'name: Type' — one entry in an args declaration. Unlike a slot's type
+// annotation this only allows a bare type name (no 'List<…>'), so it
+// reads the TYPE_NAME token directly rather than going through
+// parseTypeExpr.
+function parseArgDef(ts) {
+    const nameTok = ts.peek();
+    if (nameTok.kind !== 'SLOT') {
+        ts.report('S0003', nameTok.span);
+        return null;
+    }
+    ts.advance(); // consume name
+    if (ts.expect('COLON', 'S0009') === null)
+        return null;
+    const typeTok = ts.peek();
+    if (typeTok.kind !== 'TYPE_NAME') {
+        ts.report('S0010', typeTok.span);
+        return null;
+    }
+    ts.advance(); // consume type name
+    return { name: nameTok.value, type: typeTok.value };
+}
+// 'args (name: Type, …)' — the program's typed input declaration.
+export function parseArgs(ts) {
+    ts.advance(); // consume 'args'
+    if (ts.expect('LPAREN', 'S0006') === null)
+        return null;
+    const parsed = ts.parseSeparated(() => parseArgDef(ts), 'COMMA', 'RPAREN', 'S0001');
+    if (parsed === null)
+        return null;
+    return parsed.items;
+}
+//# sourceMappingURL=type-expr.js.map

package/dist/parser/type-expr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-expr.js","sourceRoot":"","sources":["../../src/parser/type-expr.ts"],"names":[],"mappings":"AAGA,gFAAgF;AAChF,MAAM,UAAU,aAAa,CAAC,EAAe;IAC3C,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC7B,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,oBAAoB;IAElC,IAAI,GAAG,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QACzB,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAEnD,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAE/B,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACpC,IAAI,EAAE,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAE7B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;IACvF,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,CAAC,KAA4C,CAAC;IAC9D,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;AACpD,CAAC;AAED,wEAAwE;AACxE,qEAAqE;AACrE,+DAA+D;AAC/D,iBAAiB;AACjB,SAAS,WAAW,CAAC,EAAe;IAClC,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,eAAe;IAE7B,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEtD,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACjC,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,oBAAoB;IAElC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,KAAgB,EAAE,CAAC;AACjE,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,SAAS,CAAC,EAAe;IACvC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,iBAAiB;IAE/B,IAAI,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvD,MAAM,MAAM,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACpF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEjC,OAAO,MAAM,CAAC,KAAK,CAAC;AACtB,CAAC"}

package/dist/parser/typechecker.d.ts

@@ -0,0 +1,9 @@
+import type { Program } from './ast.js';
+import type { Marker } from '../lexer/token.js';
+import type { TypedProgram } from './typed-ast.js';
+export interface TypeCheckResult {
+    typedProgram: TypedProgram | null;
+    errorMarkers: Marker[];
+}
+export declare const typecheck: (program: Program) => TypeCheckResult;
+//# sourceMappingURL=typechecker.d.ts.map

package/dist/parser/typechecker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typechecker.d.ts","sourceRoot":"","sources":["../../src/parser/typechecker.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAmB,OAAO,EAAuB,MAAM,UAAU,CAAC;AAC9E,OAAO,KAAK,EAAE,MAAM,EAAQ,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAkD,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAMnG,MAAM,WAAW,eAAe;IAC9B,YAAY,EAAE,YAAY,GAAG,IAAI,CAAC;IAClC,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAmXD,eAAO,MAAM,SAAS,GAAI,SAAS,OAAO,KAAG,eAuB5C,CAAC"}