@ascent-lang/dev 0.1.0

package/dist/lexer/keywords.js

@@ -0,0 +1,39 @@
+export const KEYWORDS = {
+    div: 'KW_DIV',
+    mod: 'KW_MOD',
+    fix: 'KW_FIX',
+    mut: 'KW_MUT',
+    if: 'KW_IF',
+    else: 'KW_ELSE',
+    while: 'KW_WHILE',
+    args: 'KW_ARGS',
+};
+// Built-in constructors: uppercase names that are part of the language
+// core but are not keywords — they are non-shadowable constructor names
+// (True, False, None) that happen to be built in rather than user-defined.
+export const CONSTRUCTORS = {
+    True: 'BOOL_LIT',
+    False: 'BOOL_LIT',
+    None: 'NONE_LIT',
+    Done: 'DONE_LIT',
+};
+// Built-in type names: recognised as TYPE_NAME tokens so the parser can
+// use them in type annotations (e.g. args declarations). Other uppercase
+// names that are neither constructors nor type names are still L0001.
+const BUILTIN_TYPES = {
+    Int: 'TYPE_NAME',
+    Float: 'TYPE_NAME',
+    Bool: 'TYPE_NAME',
+    String: 'TYPE_NAME',
+    List: 'TYPE_NAME',
+};
+// Returns the token kind for a scanned word, or null for an unrecognised
+// uppercase name (the caller must emit L0001). Lowercase words that are not
+// keywords resolve to SLOT rather than null.
+export function resolveWord(value, firstCh) {
+    if (firstCh >= 'A' && firstCh <= 'Z') {
+        return CONSTRUCTORS[value] ?? BUILTIN_TYPES[value] ?? null;
+    }
+    return KEYWORDS[value] ?? 'SLOT';
+}
+//# sourceMappingURL=keywords.js.map

package/dist/lexer/keywords.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"keywords.js","sourceRoot":"","sources":["../../src/lexer/keywords.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,QAAQ,GAA8B;IACjD,GAAG,EAAE,QAAQ;IACb,GAAG,EAAE,QAAQ;IACb,GAAG,EAAE,QAAQ;IACb,GAAG,EAAE,QAAQ;IACb,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,UAAU;IACjB,IAAI,EAAE,SAAS;CAChB,CAAC;AAEF,uEAAuE;AACvE,wEAAwE;AACxE,2EAA2E;AAC3E,MAAM,CAAC,MAAM,YAAY,GAA8B;IACrD,IAAI,EAAE,UAAU;IAChB,KAAK,EAAE,UAAU;IACjB,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,UAAU;CACjB,CAAC;AAEF,wEAAwE;AACxE,yEAAyE;AACzE,sEAAsE;AACtE,MAAM,aAAa,GAA8B;IAC/C,GAAG,EAAE,WAAW;IAChB,KAAK,EAAE,WAAW;IAClB,IAAI,EAAE,WAAW;IACjB,MAAM,EAAE,WAAW;IACnB,IAAI,EAAE,WAAW;CAClB,CAAC;AAEF,yEAAyE;AACzE,4EAA4E;AAC5E,6CAA6C;AAC7C,MAAM,UAAU,WAAW,CAAC,KAAa,EAAE,OAAe;IACxD,IAAI,OAAO,IAAI,GAAG,IAAI,OAAO,IAAI,GAAG,EAAE,CAAC;QACrC,OAAO,YAAY,CAAC,KAAK,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;IAC7D,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC;AACnC,CAAC"}

package/dist/lexer/token.d.ts

@@ -0,0 +1,20 @@
+export type TokenKind = 'INT_LIT' | 'FLOAT_LIT' | 'STR_LIT' | 'BOOL_LIT' | 'NONE_LIT' | 'DONE_LIT' | 'SLOT' | 'PLUS' | 'MINUS' | 'STAR' | 'SLASH' | 'KW_DIV' | 'KW_MOD' | 'KW_FIX' | 'KW_MUT' | 'KW_IF' | 'KW_ELSE' | 'KW_WHILE' | 'KW_ARGS' | 'TYPE_NAME' | 'COLON' | 'EQUALS' | 'EQ_EQ' | 'BANG_EQ' | 'LT' | 'LT_EQ' | 'GT' | 'GT_EQ' | 'DOT' | 'COMMA' | 'SEMICOLON' | 'LPAREN' | 'RPAREN' | 'LBRACE' | 'RBRACE' | 'LBRACKET' | 'RBRACKET' | 'ERROR' | 'EOF';
+export interface Position {
+    offset: number;
+    line: number;
+    column: number;
+}
+export interface Span {
+    start: Position;
+    end: Position;
+}
+export interface Marker {
+    code: string;
+    span: Span;
+}
+export interface Token {
+    kind: TokenKind;
+    value: string;
+    span: Span;
+}
+//# sourceMappingURL=token.d.ts.map

package/dist/lexer/token.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"token.d.ts","sourceRoot":"","sources":["../../src/lexer/token.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,SAAS,GACjB,SAAS,GACT,WAAW,GACX,SAAS,GACT,UAAU,GACV,UAAU,GACV,UAAU,GACV,MAAM,GACN,MAAM,GACN,OAAO,GACP,MAAM,GACN,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,OAAO,GACP,SAAS,GACT,UAAU,GACV,SAAS,GACT,WAAW,GACX,OAAO,GACP,QAAQ,GACR,OAAO,GACP,SAAS,GACT,IAAI,GACJ,OAAO,GACP,IAAI,GACJ,OAAO,GACP,KAAK,GACL,OAAO,GACP,WAAW,GACX,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,UAAU,GACV,UAAU,GACV,OAAO,GACP,KAAK,CAAC;AAEV,MAAM,WAAW,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,IAAI;IACnB,KAAK,EAAE,QAAQ,CAAC;IAChB,GAAG,EAAE,QAAQ,CAAC;CACf;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,IAAI,CAAC;CACZ"}

package/dist/lexer/token.js

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

package/dist/lexer/token.js.map

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

package/dist/lib.d.ts

@@ -0,0 +1,14 @@
+export { Lexer } from './lexer/index.js';
+export type { LexResult } from './lexer/index.js';
+export { Parser } from './parser/index.js';
+export type { ParseResult } from './parser/index.js';
+export { typecheck } from './parser/typechecker.js';
+export type { TypeCheckResult } from './parser/typechecker.js';
+export { Environment, evaluateExpr, executeStmt, executeProgram, } from './interpreter.js';
+export type { RuntimeValue, AssignResult } from './interpreter.js';
+export { formatExpr, formatStmt, formatValue } from './parser/printer.js';
+export { formatTypedStmt } from './parser/typed-printer.js';
+export * from './types/types.js';
+export { ERRORS, byCode } from './errors/index.js';
+export type { ErrorEntry, Category } from './errors/types.js';
+//# sourceMappingURL=lib.d.ts.map

package/dist/lib.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lib.d.ts","sourceRoot":"","sources":["../src/lib.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,YAAY,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAErD,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,YAAY,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,EACL,WAAW,EACX,YAAY,EACZ,WAAW,EACX,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEnE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D,cAAc,kBAAkB,CAAC;AAEjC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACnD,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/lib.js

@@ -0,0 +1,17 @@
+// Public programmatic API for the Ascent language toolchain.
+// The `ascent` CLI (see index.ts) is the primary entry point, but the
+// individual stages are re-exported here so tools can embed the pipeline:
+//
+//   const { tokens, errorMarkers } = new Lexer(src).tokenize();
+//   const { program } = new Parser(tokens).parse();
+//   const { typedProgram } = typecheck(program!);
+//   const result = executeProgram(typedProgram!, new Environment());
+export { Lexer } from './lexer/index.js';
+export { Parser } from './parser/index.js';
+export { typecheck } from './parser/typechecker.js';
+export { Environment, evaluateExpr, executeStmt, executeProgram, } from './interpreter.js';
+export { formatExpr, formatStmt, formatValue } from './parser/printer.js';
+export { formatTypedStmt } from './parser/typed-printer.js';
+export * from './types/types.js';
+export { ERRORS, byCode } from './errors/index.js';
+//# sourceMappingURL=lib.js.map

package/dist/lib.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lib.js","sourceRoot":"","sources":["../src/lib.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAC7D,sEAAsE;AACtE,0EAA0E;AAC1E,EAAE;AACF,gEAAgE;AAChE,oDAAoD;AACpD,kDAAkD;AAClD,qEAAqE;AAErE,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAGzC,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAG3C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAGpD,OAAO,EACL,WAAW,EACX,YAAY,EACZ,WAAW,EACX,cAAc,GACf,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D,cAAc,kBAAkB,CAAC;AAEjC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/parser/ast.d.ts

@@ -0,0 +1,128 @@
+import type { Span } from '../lexer/token.js';
+export type TypeExpr = {
+    kind: 'TypeName';
+    name: 'Int' | 'Float' | 'Bool' | 'String';
+    span: Span;
+} | {
+    kind: 'ListType';
+    elem: TypeExpr;
+    span: Span;
+};
+export type Literal = ({
+    kind: 'literal';
+    valueType: 'Int';
+    value: bigint;
+    span: Span;
+} | {
+    kind: 'literal';
+    valueType: 'Float';
+    value: number;
+    span: Span;
+} | {
+    kind: 'literal';
+    valueType: 'Bool';
+    value: boolean;
+    span: Span;
+} | {
+    kind: 'literal';
+    valueType: 'String';
+    value: string;
+    span: Span;
+} | {
+    kind: 'literal';
+    valueType: 'None';
+    span: Span;
+} | {
+    kind: 'literal';
+    valueType: 'Done';
+    span: Span;
+});
+export type UnaryOp = '-';
+export type ArithmeticOp = '+' | '-' | '*' | '/' | 'div' | 'mod';
+export type ComparisonOp = '==' | '!=' | '<' | '<=' | '>' | '>=';
+export type BinaryOp = ArithmeticOp | ComparisonOp;
+export type Block = {
+    kind: 'block';
+    stmts: Statement[];
+    span: Span;
+};
+export type If = {
+    kind: 'if';
+    cond: Expr;
+    then: Block;
+    else: Block | If | null;
+    span: Span;
+};
+export type Expr = (Literal | {
+    kind: 'slot';
+    name: string;
+    span: Span;
+} | {
+    kind: 'call';
+    callee: string;
+    args: Expr[];
+    span: Span;
+} | {
+    kind: 'methodCall';
+    receiver: Expr;
+    method: string;
+    args: Expr[];
+    span: Span;
+} | {
+    kind: 'list';
+    elements: Expr[];
+    span: Span;
+} | {
+    kind: 'index';
+    list: Expr;
+    index: Expr;
+    span: Span;
+} | {
+    kind: 'unary';
+    op: UnaryOp;
+    operand: Expr;
+    span: Span;
+} | {
+    kind: 'binary';
+    op: BinaryOp;
+    left: Expr;
+    right: Expr;
+    span: Span;
+} | Block | If);
+export type Statement = ({
+    kind: 'fix';
+    name: string;
+    typeAnnotation: TypeExpr | null;
+    init: Expr;
+    span: Span;
+} | {
+    kind: 'mut';
+    name: string;
+    typeAnnotation: TypeExpr | null;
+    init: Expr;
+    span: Span;
+} | {
+    kind: 'assign';
+    name: string;
+    value: Expr;
+    span: Span;
+} | {
+    kind: 'expr';
+    expr: Expr;
+    span: Span;
+} | {
+    kind: 'while';
+    cond: Expr;
+    body: Block;
+    span: Span;
+});
+export type ArgType = 'Int' | 'Float' | 'Bool' | 'String';
+export type ArgDef = {
+    name: string;
+    type: ArgType;
+};
+export type Program = {
+    args: ArgDef[];
+    stmts: Statement[];
+};
+//# sourceMappingURL=ast.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/parser/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAI9C,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,QAAQ,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC3E;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAErD,MAAM,MAAM,OAAO,GAAG,CAClB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAChE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAClE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAClE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACnE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAClD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CACrD,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,GAAG,CAAC;AAC1B,MAAM,MAAM,YAAY,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,KAAK,GAAG,KAAK,CAAC;AACjE,MAAM,MAAM,YAAY,GAAG,IAAI,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;AACjE,MAAM,MAAM,QAAQ,GAAG,YAAY,GAAG,YAAY,CAAC;AAInD,MAAM,MAAM,KAAK,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,SAAS,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAItE,MAAM,MAAM,EAAE,GAAG;IACf,IAAI,EAAE,IAAI,CAAC;IACX,IAAI,EAAE,IAAI,CAAC;IACX,IAAI,EAAE,KAAK,CAAC;IACZ,IAAI,EAAE,KAAK,GAAG,EAAE,GAAG,IAAI,CAAC;IACxB,IAAI,EAAE,IAAI,CAAC;CACZ,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG,CACf,OAAO,GACP;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAChF;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC9C;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACtD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACrE,KAAK,GACL,EAAE,CACL,CAAC;AAKF,MAAM,MAAM,SAAS,GAAG,CACpB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,QAAQ,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACtF;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,QAAQ,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACtF;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CACzD,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,QAAQ,CAAC;AAC1D,MAAM,MAAM,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAErD,MAAM,MAAM,OAAO,GAAG;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,KAAK,EAAE,SAAS,EAAE,CAAA;CAAE,CAAC"}

package/dist/parser/ast.js

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

package/dist/parser/ast.js.map

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

package/dist/parser/expr.d.ts

@@ -0,0 +1,4 @@
+import type { Expr } from './ast.js';
+import type { TokenStream } from './token-stream.js';
+export declare function parseExpr(ts: TokenStream, minBp?: number): Expr | null;
+//# sourceMappingURL=expr.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expr.d.ts","sourceRoot":"","sources":["../../src/parser/expr.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAqB,MAAM,UAAU,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AA0ErD,wBAAgB,SAAS,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,SAAI,GAAG,IAAI,GAAG,IAAI,CA+DjE"}

package/dist/parser/expr.js

@@ -0,0 +1,277 @@
+import { parseBlock, parseIf } from './stmt.js';
+// ---- Pratt parsing ----------------------------------------------------
+//
+// A Pratt parser recognises an expression as an atom (a "nud" — null
+// denotation, a value that doesn't look left at anything) optionally
+// followed by a chain of infix or postfix operators (each a "led" —
+// left denotation, because it combines the value already parsed with
+// whatever comes after it).
+//
+// Every operator — prefix, infix, or postfix — has a binding power: a
+// number saying how tightly it grabs its operands. Higher binds
+// tighter — that's what encodes precedence: '*' outbinds '+', so
+// `1 + 2 * 3` parses as `1 + (2 * 3)`, not `(1 + 2) * 3`. The parsing
+// loop only accepts an operator when its binding power is at least
+// `minBp` — the "how tight does the *caller* need things bound"
+// threshold passed down on each recursive call.
+//
+// This ladder is the single source of truth for what binds tighter
+// than what: postfix (`.method()`, `[index]`) binds tightest, then
+// unary '-', then '*'/'/'/'div'/'mod', then '+'/'-', then the
+// comparisons, loosest. Every table below is keyed off these numbers
+// instead of inlining its own.
+const BP = {
+    COMPARISON: 1,
+    ADDITIVE: 2,
+    MULTIPLICATIVE: 3,
+    UNARY: 4,
+    POSTFIX: 4,
+};
+// Every binary operator this parser knows about has one row in this
+// table. Adding the next one means adding a row, never touching the
+// loop below. '*', '/', 'div' and 'mod' all share a binding power —
+// they're the same precedence tier — so all four outbind '+', which
+// in turn outbinds the comparisons — `1 + 2 < 3 * 4` groups as
+// `(1 + 2) < (3 * 4)`. Comparisons are also marked `assoc: 'none'`:
+// unlike '+' or '*', two of them can never sit side by side
+// (`a < b < c` is rejected, not silently grouped one way or the other).
+const INFIX_OPS = {
+    EQ_EQ: { op: '==', bp: BP.COMPARISON, assoc: 'none' },
+    BANG_EQ: { op: '!=', bp: BP.COMPARISON, assoc: 'none' },
+    LT: { op: '<', bp: BP.COMPARISON, assoc: 'none' },
+    LT_EQ: { op: '<=', bp: BP.COMPARISON, assoc: 'none' },
+    GT: { op: '>', bp: BP.COMPARISON, assoc: 'none' },
+    GT_EQ: { op: '>=', bp: BP.COMPARISON, assoc: 'none' },
+    PLUS: { op: '+', bp: BP.ADDITIVE, assoc: 'left' },
+    MINUS: { op: '-', bp: BP.ADDITIVE, assoc: 'left' },
+    STAR: { op: '*', bp: BP.MULTIPLICATIVE, assoc: 'left' },
+    SLASH: { op: '/', bp: BP.MULTIPLICATIVE, assoc: 'left' },
+    KW_DIV: { op: 'div', bp: BP.MULTIPLICATIVE, assoc: 'left' },
+    KW_MOD: { op: 'mod', bp: BP.MULTIPLICATIVE, assoc: 'left' },
+};
+// Postfix table — dot-calls and indexing are "led" operators exactly
+// like the binary ones above (they look left at the value already
+// parsed), so they're declared here and dispatched on in the loop
+// below instead of being special-cased ahead of the INFIX_OPS lookup.
+// Both bind at POSTFIX — tighter than unary or any binary operator —
+// which is why `-a.b()[0]` parses as `-(a.b()[0])`.
+const POSTFIX_OPS = {
+    DOT: { bp: BP.POSTFIX },
+    LBRACKET: { bp: BP.POSTFIX },
+};
+// Prefix table — unary '-' is the Pratt parser's other operator kind
+// (a "nud" that still takes an operand, parsed in parseAtom below).
+// Only one entry today, but its binding power is declared here rather
+// than inlined at the call site.
+const PREFIX_OPS = {
+    MINUS: { op: '-', bp: BP.UNARY },
+};
+export function parseExpr(ts, minBp = 0) {
+    let left = parseAtom(ts);
+    if (left === null) {
+        return null;
+    }
+    // Tracks whether a non-associative (comparison-tier) operator has
+    // already been consumed at this call's level — a second one directly
+    // beside it (`a < b < c`) is a chain, not a grouping choice, so it's
+    // rejected here rather than silently parsed left- or right-first.
+    let chained = false;
+    while (true) {
+        const kind = ts.peek().kind;
+        // Postfix: expr.method(args) or expr[index] — dispatched by table
+        // rather than special-cased ahead of the INFIX_OPS lookup below.
+        const postfix = POSTFIX_OPS[kind];
+        if (postfix !== undefined) {
+            if (postfix.bp < minBp)
+                break;
+            left = kind === 'DOT' ? parseMethodCall(ts, left) : parseIndex(ts, left);
+            if (left === null)
+                return null;
+            continue;
+        }
+        const infix = INFIX_OPS[kind];
+        if (infix === undefined || infix.bp < minBp) {
+            break;
+        }
+        if (infix.assoc === 'none') {
+            if (chained) {
+                ts.report('S0008', ts.peek().span);
+                return null;
+            }
+            chained = true;
+        }
+        ts.advance(); // consume the operator
+        // Left-associativity — `1 + 2 + 3` must parse as `(1 + 2) + 3`,
+        // not `1 + (2 + 3)`. Parsing the right-hand side with `bp + 1`
+        // (instead of `bp`) is what enforces that: it stops a second '+'
+        // from being absorbed into the *right* operand, forcing it to
+        // instead be picked up by the loop one level up. Non-associative
+        // operators reuse the same `bp + 1` call — it still keeps looser
+        // operators out of the right operand, and the `chained` check
+        // above is what stops them from reappearing at this level.
+        const right = parseExpr(ts, infix.bp + 1);
+        if (right === null) {
+            return null;
+        }
+        left = {
+            kind: 'binary',
+            op: infix.op,
+            left,
+            right,
+            span: { start: left.span.start, end: right.span.end }
+        };
+    }
+    return left;
+}
+// 'receiver.method(args)' — DOT already confirmed on lookahead by the
+// Pratt loop; this consumes it through the closing ')'.
+function parseMethodCall(ts, receiver) {
+    ts.advance(); // consume '.'
+    const methodTok = ts.peek();
+    if (methodTok.kind !== 'SLOT') {
+        ts.report('S0012', methodTok.span);
+        return null;
+    }
+    ts.advance(); // consume method name
+    if (ts.peek().kind !== 'LPAREN') {
+        ts.report('S0001', ts.peek().span);
+        return null;
+    }
+    ts.advance(); // consume '('
+    const parsed = ts.parseSeparated(() => parseExpr(ts), 'COMMA', 'RPAREN', 'S0001');
+    if (parsed === null)
+        return null;
+    return {
+        kind: 'methodCall',
+        receiver,
+        method: methodTok.value,
+        args: parsed.items,
+        span: { start: receiver.span.start, end: parsed.close.span.end },
+    };
+}
+// 'list[index]' — LBRACKET already confirmed on lookahead by the Pratt loop.
+function parseIndex(ts, list) {
+    ts.advance(); // consume '['
+    const index = parseExpr(ts);
+    if (index === null)
+        return null;
+    const rbracket = ts.expect('RBRACKET', 'S0013');
+    if (rbracket === null)
+        return null;
+    return {
+        kind: 'index',
+        list,
+        index,
+        span: { start: list.span.start, end: rbracket.span.end },
+    };
+}
+// parseAtom parses the smallest possible expression: a single literal
+// that doesn't depend on any operator. This is the Pratt parser's nud —
+// every future one (parenthesized groups, unary '-', identifiers) is
+// just another case added here, never a change to the loop above.
+function parseAtom(ts) {
+    const tok = ts.peek();
+    if (tok.kind === 'INT_LIT') {
+        ts.advance();
+        return {
+            kind: 'literal',
+            valueType: 'Int',
+            value: BigInt(tok.value),
+            span: tok.span
+        };
+    }
+    if (tok.kind === 'FLOAT_LIT') {
+        ts.advance();
+        return {
+            kind: 'literal',
+            valueType: 'Float',
+            value: parseFloat(tok.value),
+            span: tok.span
+        };
+    }
+    if (tok.kind === 'STR_LIT') {
+        ts.advance();
+        return { kind: 'literal', valueType: 'String', value: tok.value, span: tok.span };
+    }
+    if (tok.kind === 'BOOL_LIT') {
+        ts.advance();
+        return {
+            kind: 'literal',
+            valueType: 'Bool',
+            value: tok.value === 'True',
+            span: tok.span
+        };
+    }
+    if (tok.kind === 'NONE_LIT') {
+        ts.advance();
+        return { kind: 'literal', valueType: 'None', span: tok.span };
+    }
+    if (tok.kind === 'DONE_LIT') {
+        ts.advance();
+        return { kind: 'literal', valueType: 'Done', span: tok.span };
+    }
+    if (tok.kind === 'SLOT') {
+        ts.advance();
+        if (ts.peek().kind === 'LPAREN') {
+            return parseCall(ts, tok);
+        }
+        return { kind: 'slot', name: tok.value, span: tok.span };
+    }
+    if (tok.kind === 'LPAREN') {
+        ts.advance();
+        const inner = parseExpr(ts);
+        if (inner === null) {
+            return null;
+        }
+        const closing = ts.peek();
+        if (closing.kind !== 'RPAREN') {
+            ts.report('S0001', closing.span);
+            return null;
+        }
+        ts.advance(); // consume ')'
+        return inner;
+    }
+    const prefix = PREFIX_OPS[tok.kind];
+    if (prefix !== undefined) {
+        const start = tok.span.start;
+        ts.advance();
+        const operand = parseExpr(ts, prefix.bp);
+        if (operand === null) {
+            return null;
+        }
+        return { kind: 'unary', op: prefix.op, operand, span: { start, end: operand.span.end } };
+    }
+    if (tok.kind === 'LBRACKET') {
+        return parseList(ts);
+    }
+    if (tok.kind === 'LBRACE') {
+        return parseBlock(ts);
+    }
+    if (tok.kind === 'KW_IF') {
+        return parseIf(ts);
+    }
+    ts.report('S0002', tok.span);
+    return null;
+}
+// 'name(arg, arg, …)' — callee token already consumed by parseAtom.
+function parseCall(ts, callee) {
+    ts.advance(); // consume '('
+    const parsed = ts.parseSeparated(() => parseExpr(ts), 'COMMA', 'RPAREN', 'S0001');
+    if (parsed === null)
+        return null;
+    return {
+        kind: 'call',
+        callee: callee.value,
+        args: parsed.items,
+        span: { start: callee.span.start, end: parsed.close.span.end },
+    };
+}
+// '[' expr, expr, … ']' — list literal. Already peeked '[' in parseAtom.
+function parseList(ts) {
+    const openTok = ts.advance(); // consume '['
+    const parsed = ts.parseSeparated(() => parseExpr(ts), 'COMMA', 'RBRACKET', 'S0013');
+    if (parsed === null)
+        return null;
+    return { kind: 'list', elements: parsed.items, span: { start: openTok.span.start, end: parsed.close.span.end } };
+}
+//# sourceMappingURL=expr.js.map

package/dist/parser/expr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr.js","sourceRoot":"","sources":["../../src/parser/expr.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEhD,0EAA0E;AAC1E,EAAE;AACF,qEAAqE;AACrE,qEAAqE;AACrE,oEAAoE;AACpE,qEAAqE;AACrE,4BAA4B;AAC5B,EAAE;AACF,sEAAsE;AACtE,gEAAgE;AAChE,iEAAiE;AACjE,sEAAsE;AACtE,mEAAmE;AACnE,gEAAgE;AAChE,gDAAgD;AAChD,EAAE;AACF,mEAAmE;AACnE,mEAAmE;AACnE,8DAA8D;AAC9D,qEAAqE;AACrE,+BAA+B;AAC/B,MAAM,EAAE,GAAG;IACT,UAAU,EAAE,CAAC;IACb,QAAQ,EAAE,CAAC;IACX,cAAc,EAAE,CAAC;IACjB,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,CAAC;CACF,CAAC;AAEX,oEAAoE;AACpE,oEAAoE;AACpE,oEAAoE;AACpE,oEAAoE;AACpE,+DAA+D;AAC/D,oEAAoE;AACpE,4DAA4D;AAC5D,wEAAwE;AACxE,MAAM,SAAS,GAAqF;IAClG,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE;IACrD,OAAO,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE;IACvD,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE;IACjD,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE;IACrD,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE;IACjD,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE;IACrD,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE;IACjD,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE;IAClD,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE;IACvD,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE;IACxD,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE;IAC3D,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE;CAC5D,CAAC;AAEF,qEAAqE;AACrE,kEAAkE;AAClE,kEAAkE;AAClE,sEAAsE;AACtE,qEAAqE;AACrE,oDAAoD;AACpD,MAAM,WAAW,GAA+C;IAC9D,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE;IACvB,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE;CAC7B,CAAC;AAEF,qEAAqE;AACrE,oEAAoE;AACpE,sEAAsE;AACtE,iCAAiC;AACjC,MAAM,UAAU,GAA4D;IAC1E,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE;CACjC,CAAC;AAEF,MAAM,UAAU,SAAS,CAAC,EAAe,EAAE,KAAK,GAAG,CAAC;IAClD,IAAI,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IACzB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,kEAAkE;IAClE,qEAAqE;IACrE,qEAAqE;IACrE,kEAAkE;IAClE,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC;QAE5B,kEAAkE;QAClE,iEAAiE;QACjE,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,OAAO,CAAC,EAAE,GAAG,KAAK;gBAAE,MAAM;YAC9B,IAAI,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACzE,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC/B,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC;YAC5C,MAAM;QACR,CAAC;QAED,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;YAC3B,IAAI,OAAO,EAAE,CAAC;gBACZ,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC;gBACnC,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;QAED,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,uBAAuB;QAErC,gEAAgE;QAChE,+DAA+D;QAC/D,iEAAiE;QACjE,8DAA8D;QAC9D,iEAAiE;QACjE,iEAAiE;QACjE,8DAA8D;QAC9D,2DAA2D;QAC3D,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,GAAG;YACL,IAAI,EAAE,QAAQ;YACd,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,IAAI;YACJ,KAAK;YACL,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE;SACtD,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,sEAAsE;AACtE,wDAAwD;AACxD,SAAS,eAAe,CAAC,EAAe,EAAE,QAAc;IACtD,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,cAAc;IAE5B,MAAM,SAAS,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,sBAAsB;IAEpC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,cAAc;IAE5B,MAAM,MAAM,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEjC,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,QAAQ;QACR,MAAM,EAAE,SAAS,CAAC,KAAK;QACvB,IAAI,EAAE,MAAM,CAAC,KAAK;QAClB,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE;KACjE,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,SAAS,UAAU,CAAC,EAAe,EAAE,IAAU;IAC7C,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,cAAc;IAE5B,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC5B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEhC,MAAM,QAAQ,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEnC,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,KAAK;QACL,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE;KACzD,CAAC;AACJ,CAAC;AAED,sEAAsE;AACtE,wEAAwE;AACxE,qEAAqE;AACrE,kEAAkE;AAClE,SAAS,SAAS,CAAC,EAAe;IAChC,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IAEtB,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC3B,EAAE,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,KAAK;YAChB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;YACxB,IAAI,EAAE,GAAG,CAAC,IAAI;SACf,CAAC;IACJ,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC7B,EAAE,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,OAAO;YAClB,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;YAC5B,IAAI,EAAE,GAAG,CAAC,IAAI;SACf,CAAC;IACJ,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC3B,EAAE,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IACpF,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC5B,EAAE,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,MAAM;YACjB,KAAK,EAAE,GAAG,CAAC,KAAK,KAAK,MAAM;YAC3B,IAAI,EAAE,GAAG,CAAC,IAAI;SACf,CAAC;IACJ,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC5B,EAAE,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IAChE,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC5B,EAAE,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IAChE,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACxB,EAAE,CAAC,OAAO,EAAE,CAAC;QACb,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,OAAO,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3D,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1B,EAAE,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9B,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YACjC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,cAAc;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;QAC7B,EAAE,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,OAAO,GAAG,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QACzC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;IAC3F,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC,EAAE,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC,EAAE,CAAC,CAAC;IACrB,CAAC;IAED,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oEAAoE;AACpE,SAAS,SAAS,CAAC,EAAe,EAAE,MAAa;IAC/C,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,cAAc;IAC5B,MAAM,MAAM,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEjC,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,MAAM,CAAC,KAAK;QACpB,IAAI,EAAE,MAAM,CAAC,KAAK;QAClB,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE;KAC/D,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,SAAS,CAAC,EAAe;IAChC,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,cAAc;IAC5C,MAAM,MAAM,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IACpF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEjC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,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;AACnH,CAAC"}

package/dist/parser/index.d.ts

@@ -0,0 +1,12 @@
+import type { Token, Marker } from '../lexer/token.js';
+import type { Program } from './ast.js';
+export interface ParseResult {
+    program: Program | null;
+    errorMarkers: Marker[];
+}
+export declare class Parser {
+    private readonly tokens;
+    constructor(tokens: Token[]);
+    parse(): ParseResult;
+}
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/parser/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,EAAU,OAAO,EAAE,MAAM,UAAU,CAAC;AAKhD,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IACxB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AA4BD,qBAAa,MAAM;IACjB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAU;gBAEd,MAAM,EAAE,KAAK,EAAE;IAI3B,KAAK,IAAI,WAAW;CAK5B"}

package/dist/parser/index.js

@@ -0,0 +1,40 @@
+import { TokenStream } from './token-stream.js';
+import { parseStmt } from './stmt.js';
+import { parseArgs } from './type-expr.js';
+// The program is an optional 'args (…);' header followed by a
+// semicolon-separated run of statements up to EOF — the same
+// "item (sep item)* close" shape as a block, with EOF standing in for
+// the closing brace. `recover` is on, so a malformed statement is
+// synchronized past rather than aborting the whole parse.
+function parseProgram(ts) {
+    let args = [];
+    if (ts.peek().kind === 'KW_ARGS') {
+        const result = parseArgs(ts);
+        if (result === null)
+            return null;
+        args = result;
+        if (ts.expect('SEMICOLON', 'S0011') === null)
+            return null;
+    }
+    const parsed = ts.parseSeparated(() => parseStmt(ts), 'SEMICOLON', 'EOF', 'S0011', true);
+    if (parsed === null)
+        return null;
+    return { args, stmts: parsed.items };
+}
+// The parser's public entry point. Phase 5 moved the grammar into
+// free functions over a TokenStream (token-stream.ts, expr.ts, stmt.ts,
+// type-expr.ts); this class is the thin wiring that owns the stream for
+// one parse and exposes the same `new Parser(tokens).parse()` API the
+// rest of the toolchain calls.
+export class Parser {
+    tokens;
+    constructor(tokens) {
+        this.tokens = tokens;
+    }
+    parse() {
+        const ts = new TokenStream(this.tokens);
+        const program = parseProgram(ts);
+        return { program, errorMarkers: ts.errors };
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/parser/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/parser/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAO3C,8DAA8D;AAC9D,6DAA6D;AAC7D,sEAAsE;AACtE,kEAAkE;AAClE,0DAA0D;AAC1D,SAAS,YAAY,CAAC,EAAe;IACnC,IAAI,IAAI,GAAa,EAAE,CAAC;IACxB,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACjC,IAAI,GAAG,MAAM,CAAC;QAEd,IAAI,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;IAC5D,CAAC;IAED,MAAM,MAAM,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACzF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEjC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AACvC,CAAC;AAED,kEAAkE;AAClE,wEAAwE;AACxE,wEAAwE;AACxE,sEAAsE;AACtE,+BAA+B;AAC/B,MAAM,OAAO,MAAM;IACA,MAAM,CAAU;IAEjC,YAAmB,MAAe;QAChC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAEM,KAAK;QACV,MAAM,EAAE,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;QACjC,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC;IAC9C,CAAC;CACF"}

package/dist/parser/printer.d.ts

@@ -0,0 +1,7 @@
+import type { Expr, Statement } from './ast.js';
+import type { RuntimeValue } from '../interpreter.js';
+export declare const branch: (lines: string[], isLast: boolean) => string[];
+export declare const formatExpr: (expr: Expr) => string;
+export declare const formatStmt: (stmt: Statement) => string;
+export declare const formatValue: (value: RuntimeValue) => string;
+//# sourceMappingURL=printer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"printer.d.ts","sourceRoot":"","sources":["../../src/parser/printer.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,SAAS,EAAY,MAAM,UAAU,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAsFtD,eAAO,MAAM,MAAM,GAAI,OAAO,MAAM,EAAE,EAAE,QAAQ,OAAO,KAAG,MAAM,EAI/D,CAAC;AAEF,eAAO,MAAM,UAAU,GAAI,MAAM,IAAI,KAAG,MAEvC,CAAC;AA2BF,eAAO,MAAM,UAAU,GAAI,MAAM,SAAS,KAAG,MAAoC,CAAC;AAElF,eAAO,MAAM,WAAW,GAAI,OAAO,YAAY,KAAG,MAoBjD,CAAC"}