@ascent-lang/dev 0.1.0

package/dist/parser/typed-printer.js

@@ -0,0 +1,91 @@
+import chalk from 'chalk';
+import { typeToString } from '../types/types.js';
+import { branch } from './printer.js';
+// Appends the inferred type as a dim annotation on a node label.
+const ty = (t) => chalk.dim(`: ${t}`);
+const typedExprLines = (expr) => {
+    const t = ty(typeToString(expr.type));
+    switch (expr.kind) {
+        case 'literal':
+            switch (expr.valueType) {
+                case 'Int': return [`${chalk.cyan('Lit')} ${chalk.yellow(String(expr.value))}${t}`];
+                case 'Float': return [`${chalk.cyan('Lit')} ${chalk.yellow(String(expr.value))}${t}`];
+                case 'Bool': return [`${chalk.cyan('Lit')} ${chalk.yellow(expr.value ? 'True' : 'False')}${t}`];
+                case 'String': return [`${chalk.cyan('Lit')} ${chalk.green(JSON.stringify(expr.value))}${t}`];
+                case 'None': return [`${chalk.cyan('Lit')} ${chalk.yellow('None')}${t}`];
+                case 'Done': return [`${chalk.cyan('Lit')} ${chalk.yellow('Done')}${t}`];
+            }
+        case 'slot':
+            return [`${chalk.cyan('Slot')} ${chalk.green(expr.name)}${t}`];
+        case 'call': {
+            const argLines = expr.args.flatMap((arg, i) => branch(typedExprLines(arg), i === expr.args.length - 1));
+            return [`${chalk.cyan('Call')} ${chalk.green(expr.callee)}${t}`, ...argLines];
+        }
+        case 'methodCall': {
+            const children = [expr.receiver, ...expr.args];
+            const childLines = children.flatMap((child, i) => branch(typedExprLines(child), i === children.length - 1));
+            return [`${chalk.cyan('MethodCall')} ${chalk.green('.' + expr.method)}${t}`, ...childLines];
+        }
+        case 'list': {
+            if (expr.elements.length === 0) {
+                return [`${chalk.cyan('List')} ${chalk.dim('[]')}${t}`];
+            }
+            const elementLines = expr.elements.flatMap((el, i) => branch(typedExprLines(el), i === expr.elements.length - 1));
+            return [`${chalk.cyan('List')}${t}`, ...elementLines];
+        }
+        case 'index': {
+            const listLines = branch(typedExprLines(expr.list), false);
+            const indexLines = branch(typedExprLines(expr.index), true);
+            return [`${chalk.cyan('Index')}${t}`, ...listLines, ...indexLines];
+        }
+        case 'unary': {
+            const operandLines = branch(typedExprLines(expr.operand), true);
+            return [`${chalk.cyan('Unary')} ${chalk.magenta(expr.op)}${t}`, ...operandLines];
+        }
+        case 'binary': {
+            const leftLines = branch(typedExprLines(expr.left), false);
+            const rightLines = branch(typedExprLines(expr.right), true);
+            return [`${chalk.cyan('Binary')} ${chalk.magenta(expr.op)}${t}`, ...leftLines, ...rightLines];
+        }
+        case 'block': {
+            if (expr.stmts.length === 0) {
+                return [`${chalk.cyan('Block')} ${chalk.dim('(empty)')}${t}`];
+            }
+            const stmtLines = expr.stmts.flatMap((stmt, i) => branch(typedStmtLines(stmt), i === expr.stmts.length - 1));
+            return [`${chalk.cyan('Block')}${t}`, ...stmtLines];
+        }
+        case 'if': {
+            const condLines = branch(typedExprLines(expr.cond), false);
+            const thenLines = branch(typedExprLines(expr.then), expr.else === null);
+            const elseLines = expr.else !== null
+                ? branch(typedExprLines(expr.else), true)
+                : [];
+            return [`${chalk.cyan('If')}${t}`, ...condLines, ...thenLines, ...elseLines];
+        }
+    }
+};
+const typedStmtLines = (stmt) => {
+    switch (stmt.kind) {
+        case 'fix':
+        case 'mut': {
+            const label = stmt.kind === 'fix' ? 'Fix' : 'Mut';
+            const slotTy = ty(typeToString(stmt.slotType));
+            const initLines = branch(typedExprLines(stmt.init), true);
+            return [`${chalk.cyan(label)} ${chalk.green(stmt.name)}${slotTy}`, ...initLines];
+        }
+        case 'assign': {
+            const slotTy = ty(typeToString(stmt.slotType));
+            const valueLines = branch(typedExprLines(stmt.value), true);
+            return [`${chalk.cyan('Assign')} ${chalk.green(stmt.name)}${slotTy}`, ...valueLines];
+        }
+        case 'expr':
+            return typedExprLines(stmt.expr);
+        case 'while': {
+            const condLines = branch(typedExprLines(stmt.cond), false);
+            const bodyLines = branch(typedExprLines(stmt.body), true);
+            return [`${chalk.cyan('While')}`, ...condLines, ...bodyLines];
+        }
+    }
+};
+export const formatTypedStmt = (stmt) => typedStmtLines(stmt).join('\n');
+//# sourceMappingURL=typed-printer.js.map

package/dist/parser/typed-printer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-printer.js","sourceRoot":"","sources":["../../src/parser/typed-printer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,OAAO,CAAC;AAE1B,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,iEAAiE;AACjE,MAAM,EAAE,GAAG,CAAC,CAAkC,EAAU,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAE/E,MAAM,cAAc,GAAG,CAAC,IAAe,EAAY,EAAE;IACnD,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAEtC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;gBACvB,KAAK,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACpF,KAAK,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACtF,KAAK,MAAM,CAAC,CAAC,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,GAAG,CAAC,EAAE,CAAC,CAAC;gBAChG,KAAK,QAAQ,CAAC,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC9F,KAAK,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACzE,KAAK,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC3E,CAAC;QACH,KAAK,MAAM;YACT,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjE,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC5C,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CACxD,CAAC;YACF,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,QAAQ,CAAC,CAAC;QAChF,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,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CACzD,CAAC;YACF,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,UAAU,CAAC,CAAC;QAC9F,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,GAAG,CAAC,EAAE,CAAC,CAAC;YAC1D,CAAC;YACD,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CACnD,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAC3D,CAAC;YACF,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,YAAY,CAAC,CAAC;QACxD,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;YAC3D,MAAM,UAAU,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;YAC5D,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,UAAU,CAAC,CAAC;QACrE,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,YAAY,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;YAChE,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,YAAY,CAAC,CAAC;QACnF,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;YAC3D,MAAM,UAAU,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;YAC5D,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,UAAU,CAAC,CAAC;QAChG,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,GAAG,CAAC,EAAE,CAAC,CAAC;YAChE,CAAC;YACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAC/C,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAC1D,CAAC;YACF,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;YAC3D,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YACxE,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI;gBAClC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;gBACzC,CAAC,CAAC,EAAE,CAAC;YACP,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,SAAS,EAAE,GAAG,SAAS,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,IAAoB,EAAY,EAAE;IACxD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;YAClD,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/C,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1D,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,EAAE,EAAE,GAAG,SAAS,CAAC,CAAC;QACnF,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/C,MAAM,UAAU,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;YAC5D,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,EAAE,EAAE,GAAG,UAAU,CAAC,CAAC;QACvF,CAAC;QACD,KAAK,MAAM;YACT,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;YAC3D,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1D,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,SAAS,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAoB,EAAU,EAAE,CAC9D,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC"}

package/dist/types/types.d.ts

@@ -0,0 +1,28 @@
+export type AscentType = {
+    kind: 'Int';
+} | {
+    kind: 'Float';
+} | {
+    kind: 'Bool';
+} | {
+    kind: 'String';
+} | {
+    kind: 'None';
+} | {
+    kind: 'Done';
+} | {
+    kind: 'List';
+    elem: AscentType;
+};
+export declare const INT_TYPE: AscentType;
+export declare const FLOAT_TYPE: AscentType;
+export declare const BOOL_TYPE: AscentType;
+export declare const STRING_TYPE: AscentType;
+export declare const NONE_TYPE: AscentType;
+export declare const DONE_TYPE: AscentType;
+export declare const listOfType: (elem: AscentType) => AscentType;
+export declare const typeToString: (t: AscentType) => string;
+export declare const typesEqual: (a: AscentType, b: AscentType) => boolean;
+export declare const leastCommonType: (a: AscentType, b: AscentType) => AscentType | null;
+export declare const isAssignableTo: (from: AscentType, to: AscentType) => boolean;
+//# sourceMappingURL=types.d.ts.map

package/dist/types/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/types/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,GACf;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AAEvC,eAAO,MAAM,QAAQ,EAAE,UAA4B,CAAC;AACpD,eAAO,MAAM,UAAU,EAAE,UAA8B,CAAC;AACxD,eAAO,MAAM,SAAS,EAAE,UAA6B,CAAC;AACtD,eAAO,MAAM,WAAW,EAAE,UAA+B,CAAC;AAC1D,eAAO,MAAM,SAAS,EAAE,UAA6B,CAAC;AACtD,eAAO,MAAM,SAAS,EAAE,UAA6B,CAAC;AACtD,eAAO,MAAM,UAAU,GAAI,MAAM,UAAU,KAAG,UAAsC,CAAC;AAErF,eAAO,MAAM,YAAY,GAAI,GAAG,UAAU,KAAG,MAK5C,CAAC;AAEF,eAAO,MAAM,UAAU,GAAI,GAAG,UAAU,EAAE,GAAG,UAAU,KAAG,OAUzD,CAAC;AAKF,eAAO,MAAM,eAAe,GAAI,GAAG,UAAU,EAAE,GAAG,UAAU,KAAG,UAAU,GAAG,IAkB3E,CAAC;AAIF,eAAO,MAAM,cAAc,GAAI,MAAM,UAAU,EAAE,IAAI,UAAU,KAAG,OAGjE,CAAC"}

package/dist/types/types.js

@@ -0,0 +1,48 @@
+export const INT_TYPE = { kind: 'Int' };
+export const FLOAT_TYPE = { kind: 'Float' };
+export const BOOL_TYPE = { kind: 'Bool' };
+export const STRING_TYPE = { kind: 'String' };
+export const NONE_TYPE = { kind: 'None' };
+export const DONE_TYPE = { kind: 'Done' };
+export const listOfType = (elem) => ({ kind: 'List', elem });
+export const typeToString = (t) => {
+    if (t.kind === 'List') {
+        return `List<${typeToString(t.elem)}>`;
+    }
+    return t.kind;
+};
+export const typesEqual = (a, b) => {
+    if (a.kind !== b.kind) {
+        return false;
+    }
+    if (a.kind === 'List' && b.kind === 'List') {
+        return typesEqual(a.elem, b.elem);
+    }
+    return true;
+};
+// Int widens to Float everywhere — the only implicit numeric promotion.
+// List<Int> widens to List<Float> via the same rule applied recursively.
+// Returns null when the two types have no common supertype.
+export const leastCommonType = (a, b) => {
+    if (typesEqual(a, b)) {
+        return a;
+    }
+    if (a.kind === 'Int' && b.kind === 'Float') {
+        return FLOAT_TYPE;
+    }
+    if (a.kind === 'Float' && b.kind === 'Int') {
+        return FLOAT_TYPE;
+    }
+    if (a.kind === 'List' && b.kind === 'List') {
+        const elem = leastCommonType(a.elem, b.elem);
+        return elem !== null ? listOfType(elem) : null;
+    }
+    return null;
+};
+// `from` is assignable to `to` when their LCT is exactly `to`
+// (i.e., `from` fits inside `to`, possibly by widening).
+export const isAssignableTo = (from, to) => {
+    const lct = leastCommonType(from, to);
+    return lct !== null && typesEqual(lct, to);
+};
+//# sourceMappingURL=types.js.map

package/dist/types/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/types/types.ts"],"names":[],"mappings":"AASA,MAAM,CAAC,MAAM,QAAQ,GAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACpD,MAAM,CAAC,MAAM,UAAU,GAAe,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACxD,MAAM,CAAC,MAAM,SAAS,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACtD,MAAM,CAAC,MAAM,WAAW,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC1D,MAAM,CAAC,MAAM,SAAS,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACtD,MAAM,CAAC,MAAM,SAAS,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACtD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAgB,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAErF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAa,EAAU,EAAE;IACpD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACtB,OAAO,QAAQ,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;IACzC,CAAC;IACD,OAAO,CAAC,CAAC,IAAI,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAa,EAAE,CAAa,EAAW,EAAE;IAClE,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3C,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,wEAAwE;AACxE,yEAAyE;AACzE,4DAA4D;AAC5D,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAa,EAAE,CAAa,EAAqB,EAAE;IACjF,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACrB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3C,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC3C,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7C,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,8DAA8D;AAC9D,yDAAyD;AACzD,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAgB,EAAE,EAAc,EAAW,EAAE;IAC1E,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtC,OAAO,GAAG,KAAK,IAAI,IAAI,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;AAC7C,CAAC,CAAC"}

package/package.json

@@ -0,0 +1,70 @@
+{
+  "name": "@ascent-lang/dev",
+  "version": "0.1.0",
+  "description": "The Ascent teaching language: CLI and interpreter for running and embedding .asc programs.",
+  "type": "module",
+  "main": "dist/lib.js",
+  "types": "dist/lib.d.ts",
+  "bin": {
+    "ascent": "dist/index.js"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/lib.d.ts",
+      "default": "./dist/lib.js"
+    }
+  },
+  "files": [
+    "dist",
+    "src",
+    "README.md"
+  ],
+  "engines": {
+    "node": ">=20"
+  },
+  "directories": {
+    "doc": "docs"
+  },
+  "scripts": {
+    "generate": "tsx scripts/gen-errors.ts",
+    "clean": "rm -rf dist",
+    "prebuild": "npm run generate",
+    "build": "tsc",
+    "dev": "tsx src/index.ts",
+    "prestart": "tsx scripts/gen-errors.ts",
+    "start": "tsx src/index.ts",
+    "prepublishOnly": "npm run clean && npm run build",
+    "test": "echo \"Error: no test specified\" && exit 1"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/podlomar/ascent-lang.git"
+  },
+  "keywords": [
+    "ascent",
+    "language",
+    "interpreter",
+    "teaching",
+    "education",
+    "cli"
+  ],
+  "author": "Martin Podloucký",
+  "license": "ISC",
+  "bugs": {
+    "url": "https://github.com/podlomar/ascent-lang/issues"
+  },
+  "homepage": "https://github.com/podlomar/ascent-lang#readme",
+  "publishConfig": {
+    "access": "public"
+  },
+  "devDependencies": {
+    "@types/node": "^26.0.1",
+    "tsx": "^4.22.4",
+    "typescript": "^6.0.3",
+    "typescript-yaml-plugin": "^1.0.11",
+    "yaml": "^2.9.0"
+  },
+  "dependencies": {
+    "chalk": "^5.6.2"
+  }
+}

package/src/errors/index.ts

@@ -0,0 +1,38 @@
+// AUTO-GENERATED — do not edit. Run `npm run generate` to update.
+
+import type { ErrorEntry } from './types.js';
+
+export const ERRORS: ErrorEntry[] = [
+  { code: 'L0001', name: 'unexpected-character', category: 'lexical', summary: "A character that can't begin any token." },
+  { code: 'L0002', name: 'invalid-number-literal', category: 'lexical', summary: "A letter immediately followed a number — '123abc' is not a valid token." },
+  { code: 'L0003', name: 'unterminated-string', category: 'lexical', summary: "A string literal that doesn't end before the end of the line." },
+  { code: 'N0001', name: 'undefined-slot', category: 'name', summary: "A name was used that has not been declared with 'fix' or 'mut'." },
+  { code: 'N0002', name: 'reassign-fix', category: 'name', summary: "Assignment to a slot declared with 'fix' — 'fix' slots never change; declare it with 'mut' instead if it needs to." },
+  { code: 'S0001', name: 'unclosed-paren', category: 'syntactic', summary: "An opening '(' has no matching ')'." },
+  { code: 'S0002', name: 'expected-expression', category: 'syntactic', summary: "An expression was required here but the input contained none." },
+  { code: 'S0003', name: 'expected-slot-name', category: 'syntactic', summary: "A slot name (lowercase identifier) was expected after 'fix'." },
+  { code: 'S0004', name: 'expected-equals', category: 'syntactic', summary: "An '=' was expected after the slot name in a 'fix' declaration." },
+  { code: 'S0005', name: 'unclosed-brace', category: 'syntactic', summary: "An opening '{' has no matching '}'." },
+  { code: 'S0006', name: 'expected-test-paren', category: 'syntactic', summary: "An '(' was expected here to start the condition." },
+  { code: 'S0007', name: 'expected-block', category: 'syntactic', summary: "A block ('{ … }') was expected here." },
+  { code: 'S0008', name: 'chained-comparison', category: 'syntactic', summary: "Comparisons don't chain — 'a < b < c' isn't valid. Group with parentheses instead." },
+  { code: 'S0009', name: 'expected-colon', category: 'syntactic', summary: "A ':' was expected between the argument name and its type." },
+  { code: 'S0010', name: 'expected-type', category: 'syntactic', summary: "A type name was expected here. Valid types are Int, Float, Bool, String, and List<T>." },
+  { code: 'S0011', name: 'expected-semicolon', category: 'syntactic', summary: "A ';' was expected here." },
+  { code: 'S0012', name: 'expected-method-name', category: 'syntactic', summary: "A method name (lowercase identifier) was expected after '.'." },
+  { code: 'S0013', name: 'unclosed-bracket', category: 'syntactic', summary: "An opening '[' has no matching ']'." },
+  { code: 'T0001', name: 'annotation-mismatch', category: 'type', summary: "The declared type annotation doesn't match the inferred type of the initialiser." },
+  { code: 'T0002', name: 'incompatible-list-elements', category: 'type', summary: "List elements have incompatible types — a list must be homogeneous (all the same type, with Int widening to Float)." },
+  { code: 'T0003', name: 'empty-list-needs-annotation', category: 'type', summary: "An empty list '[]' has no element type. Annotate the variable: 'fix xs: List<Int> = []'." },
+  { code: 'T0004', name: 'condition-not-bool', category: 'type', summary: "The condition in 'if' or 'while' must be of type Bool." },
+  { code: 'T0005', name: 'if-branch-mismatch', category: 'type', summary: "The 'then' and 'else' branches of 'if' have incompatible types." },
+  { code: 'T0006', name: 'no-such-method', category: 'type', summary: "The type has no method with this name." },
+  { code: 'T0007', name: 'wrong-arg-count', category: 'type', summary: "Wrong number of arguments for this method or function call." },
+  { code: 'T0008', name: 'wrong-arg-type', category: 'type', summary: "An argument has the wrong type for this method or function call." },
+  { code: 'T0009', name: 'operator-type-error', category: 'type', summary: "An operator was applied to operands of incompatible types." },
+  { code: 'T0010', name: 'index-requires-list', category: 'type', summary: "The '[ ]' index operator requires a List, but the receiver has a different type." },
+  { code: 'T0011', name: 'index-not-int', category: 'type', summary: "List indices must be of type Int." },
+  { code: 'T0012', name: 'no-methods', category: 'type', summary: "This type has no methods." },
+];
+
+export const byCode = new Map(ERRORS.map(e => [e.code, e]));

package/src/errors/lexical.yml

@@ -0,0 +1,16 @@
+# L — lexical: the characters don't form a valid token
+
+- code: 'L0001'
+  name: 'unexpected-character'
+  category: 'lexical'
+  summary: "A character that can't begin any token."
+
+- code: 'L0002'
+  name: 'invalid-number-literal'
+  category: 'lexical'
+  summary: "A letter immediately followed a number — '123abc' is not a valid token."
+
+- code: 'L0003'
+  name: 'unterminated-string'
+  category: 'lexical'
+  summary: "A string literal that doesn't end before the end of the line."

package/src/errors/name.yml

@@ -0,0 +1,11 @@
+# N — name & binding: a name/slot rule is broken
+
+- code: 'N0001'
+  name: 'undefined-slot'
+  category: 'name'
+  summary: "A name was used that has not been declared with 'fix' or 'mut'."
+
+- code: 'N0002'
+  name: 'reassign-fix'
+  category: 'name'
+  summary: "Assignment to a slot declared with 'fix' — 'fix' slots never change; declare it with 'mut' instead if it needs to."

package/src/errors/syntactic.yml

@@ -0,0 +1,66 @@
+# S — syntactic: the tokens don't form a valid expression
+
+- code: 'S0001'
+  name: 'unclosed-paren'
+  category: 'syntactic'
+  summary: "An opening '(' has no matching ')'."
+
+- code: 'S0002'
+  name: 'expected-expression'
+  category: 'syntactic'
+  summary: 'An expression was required here but the input contained none.'
+
+- code: 'S0003'
+  name: 'expected-slot-name'
+  category: 'syntactic'
+  summary: "A slot name (lowercase identifier) was expected after 'fix'."
+
+- code: 'S0004'
+  name: 'expected-equals'
+  category: 'syntactic'
+  summary: "An '=' was expected after the slot name in a 'fix' declaration."
+
+- code: 'S0005'
+  name: 'unclosed-brace'
+  category: 'syntactic'
+  summary: "An opening '{' has no matching '}'."
+
+- code: 'S0006'
+  name: 'expected-test-paren'
+  category: 'syntactic'
+  summary: "An '(' was expected here to start the condition."
+
+- code: 'S0007'
+  name: 'expected-block'
+  category: 'syntactic'
+  summary: "A block ('{ … }') was expected here."
+
+- code: 'S0008'
+  name: 'chained-comparison'
+  category: 'syntactic'
+  summary: "Comparisons don't chain — 'a < b < c' isn't valid. Group with parentheses instead."
+
+- code: 'S0009'
+  name: 'expected-colon'
+  category: 'syntactic'
+  summary: "A ':' was expected between the argument name and its type."
+
+- code: 'S0010'
+  name: 'expected-type'
+  category: 'syntactic'
+  summary: "A type name was expected here. Valid types are Int, Float, Bool, String, and List<T>."
+
+- code: 'S0011'
+  name: 'expected-semicolon'
+  category: 'syntactic'
+  summary: "A ';' was expected here."
+
+- code: 'S0012'
+  name: 'expected-method-name'
+  category: 'syntactic'
+  summary: "A method name (lowercase identifier) was expected after '.'."
+
+- code: 'S0013'
+  name: 'unclosed-bracket'
+  category: 'syntactic'
+  summary: "An opening '[' has no matching ']'."

package/src/errors/typechecker.yml

@@ -0,0 +1,61 @@
+# T — type: a type rule is broken
+
+- code: 'T0001'
+  name: 'annotation-mismatch'
+  category: 'type'
+  summary: "The declared type annotation doesn't match the inferred type of the initialiser."
+
+- code: 'T0002'
+  name: 'incompatible-list-elements'
+  category: 'type'
+  summary: "List elements have incompatible types — a list must be homogeneous (all the same type, with Int widening to Float)."
+
+- code: 'T0003'
+  name: 'empty-list-needs-annotation'
+  category: 'type'
+  summary: "An empty list '[]' has no element type. Annotate the variable: 'fix xs: List<Int> = []'."
+
+- code: 'T0004'
+  name: 'condition-not-bool'
+  category: 'type'
+  summary: "The condition in 'if' or 'while' must be of type Bool."
+
+- code: 'T0005'
+  name: 'if-branch-mismatch'
+  category: 'type'
+  summary: "The 'then' and 'else' branches of 'if' have incompatible types."
+
+- code: 'T0006'
+  name: 'no-such-method'
+  category: 'type'
+  summary: "The type has no method with this name."
+
+- code: 'T0007'
+  name: 'wrong-arg-count'
+  category: 'type'
+  summary: "Wrong number of arguments for this method or function call."
+
+- code: 'T0008'
+  name: 'wrong-arg-type'
+  category: 'type'
+  summary: "An argument has the wrong type for this method or function call."
+
+- code: 'T0009'
+  name: 'operator-type-error'
+  category: 'type'
+  summary: "An operator was applied to operands of incompatible types."
+
+- code: 'T0010'
+  name: 'index-requires-list'
+  category: 'type'
+  summary: "The '[ ]' index operator requires a List, but the receiver has a different type."
+
+- code: 'T0011'
+  name: 'index-not-int'
+  category: 'type'
+  summary: "List indices must be of type Int."
+
+- code: 'T0012'
+  name: 'no-methods'
+  category: 'type'
+  summary: "This type has no methods."

package/src/errors/types.ts

@@ -0,0 +1,13 @@
+// Append-only registry of every diagnostic code emitted by this stage.
+// A code is permanent — never reused, never renumbered, never deleted.
+// To retire one, set retired: true and leave the row in the YAML.
+
+export type Category = 'lexical' | 'syntactic' | 'name' | 'type' | 'runtime';
+
+export interface ErrorEntry {
+  code: string;
+  name: string;
+  category: Category;
+  summary: string;
+  retired?: boolean;
+}