bonescript-compiler 0.2.0

package/dist/parse_decls2.js

@@ -0,0 +1,295 @@
+"use strict";
+/**
+ * BoneScript Declaration Parsers — Channel, Store, Event, Constraint, Policy, Flow, Import
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.parseExtensionPointDecl = exports.parseImportDecl = exports.parseFlowDecl = exports.parsePolicyDecl = exports.parseConstraintDecl = exports.parseEventDecl = exports.parseStoreDecl = exports.parseChannelDecl = void 0;
+const lexer_1 = require("./lexer");
+const parser_base_1 = require("./parser_base");
+const parse_expr_1 = require("./parse_expr");
+const parse_types_1 = require("./parse_types");
+const parse_decls_1 = require("./parse_decls");
+// ─── Channel ─────────────────────────────────────────────────────────────────
+function parseChannelDecl(s) {
+    const loc = s.peek().loc;
+    s.expect(lexer_1.TokenKind.KwChannel, "channel");
+    const name = s.expect(lexer_1.TokenKind.Identifier, "name").value;
+    s.expect(lexer_1.TokenKind.LBrace, "{");
+    const node = {
+        kind: "ChannelDecl", loc, name,
+        transport: null, ordering: null, participants: null,
+        persistence: null, filter: null, maxSize: null,
+    };
+    while (!s.check(lexer_1.TokenKind.RBrace) && !s.check(lexer_1.TokenKind.EOF)) {
+        const tok = s.peek();
+        switch (tok.kind) {
+            case lexer_1.TokenKind.KwTransport:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                node.transport = s.advance().value;
+                break;
+            case lexer_1.TokenKind.KwOrdering:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                node.ordering = s.advance().value;
+                break;
+            case lexer_1.TokenKind.KwParticipants:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                node.participants = (0, parse_types_1.parseTypeExpr)(s);
+                break;
+            case lexer_1.TokenKind.KwPersistence:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                node.persistence = s.advance().value;
+                break;
+            case lexer_1.TokenKind.KwFilter:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                node.filter = (0, parse_expr_1.parseExpr)(s);
+                break;
+            case lexer_1.TokenKind.KwMaxSize:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                node.maxSize = parseInt(s.expect(lexer_1.TokenKind.IntLiteral, "n").value, 10);
+                break;
+            default: throw new parser_base_1.ParseError(`Unexpected in channel: ${tok.kind}`, tok.loc);
+        }
+    }
+    s.expect(lexer_1.TokenKind.RBrace, "}");
+    return node;
+}
+exports.parseChannelDecl = parseChannelDecl;
+// ─── Store ───────────────────────────────────────────────────────────────────
+function parseStoreDecl(s) {
+    const loc = s.peek().loc;
+    s.expect(lexer_1.TokenKind.KwStore, "store");
+    const name = s.expect(lexer_1.TokenKind.Identifier, "name").value;
+    s.expect(lexer_1.TokenKind.LBrace, "{");
+    const node = {
+        kind: "StoreDecl", loc, name,
+        engine: null, schema: [], retention: null, partition: null, replicas: null,
+    };
+    while (!s.check(lexer_1.TokenKind.RBrace) && !s.check(lexer_1.TokenKind.EOF)) {
+        const tok = s.peek();
+        switch (tok.kind) {
+            case lexer_1.TokenKind.KwEngine:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                node.engine = s.advance().value;
+                break;
+            case lexer_1.TokenKind.KwSchema:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                s.expect(lexer_1.TokenKind.LBrace, "{");
+                node.schema = (0, parse_decls_1.parseFieldList)(s);
+                s.expect(lexer_1.TokenKind.RBrace, "}");
+                break;
+            case lexer_1.TokenKind.KwRetention:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                node.retention = (0, parse_decls_1.parseDuration)(s);
+                break;
+            case lexer_1.TokenKind.KwPartition:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                node.partition = s.expect(lexer_1.TokenKind.Identifier, "field").value;
+                break;
+            case lexer_1.TokenKind.KwReplicas:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                node.replicas = parseInt(s.expect(lexer_1.TokenKind.IntLiteral, "n").value, 10);
+                break;
+            default: throw new parser_base_1.ParseError(`Unexpected in store: ${tok.kind}`, tok.loc);
+        }
+    }
+    s.expect(lexer_1.TokenKind.RBrace, "}");
+    return node;
+}
+exports.parseStoreDecl = parseStoreDecl;
+// ─── Event ───────────────────────────────────────────────────────────────────
+function parseEventDecl(s) {
+    const loc = s.peek().loc;
+    s.expect(lexer_1.TokenKind.KwEvent, "event");
+    const name = s.expect(lexer_1.TokenKind.Identifier, "name").value;
+    s.expect(lexer_1.TokenKind.LBrace, "{");
+    const node = {
+        kind: "EventDecl", loc, name, payload: [], delivery: null, ttl: null,
+    };
+    while (!s.check(lexer_1.TokenKind.RBrace) && !s.check(lexer_1.TokenKind.EOF)) {
+        const tok = s.peek();
+        switch (tok.kind) {
+            case lexer_1.TokenKind.KwPayload:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                s.expect(lexer_1.TokenKind.LBrace, "{");
+                node.payload = (0, parse_decls_1.parseFieldList)(s);
+                s.expect(lexer_1.TokenKind.RBrace, "}");
+                break;
+            case lexer_1.TokenKind.KwDelivery:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                node.delivery = s.advance().value;
+                break;
+            case lexer_1.TokenKind.KwTtl:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                node.ttl = (0, parse_decls_1.parseDuration)(s);
+                break;
+            default: throw new parser_base_1.ParseError(`Unexpected in event: ${tok.kind}`, tok.loc);
+        }
+    }
+    s.expect(lexer_1.TokenKind.RBrace, "}");
+    return node;
+}
+exports.parseEventDecl = parseEventDecl;
+// ─── Constraint ──────────────────────────────────────────────────────────────
+function parseConstraintDecl(s) {
+    const loc = s.peek().loc;
+    s.expect(lexer_1.TokenKind.KwConstraint, "constraint");
+    const name = s.expect(lexer_1.TokenKind.Identifier, "name").value;
+    s.expect(lexer_1.TokenKind.Colon, ":");
+    const expr = (0, parse_expr_1.parseExpr)(s);
+    return { kind: "ConstraintDecl", loc, name, expr };
+}
+exports.parseConstraintDecl = parseConstraintDecl;
+// ─── Policy ──────────────────────────────────────────────────────────────────
+function parsePolicyDecl(s) {
+    const loc = s.peek().loc;
+    s.expect(lexer_1.TokenKind.KwPolicy, "policy");
+    const name = s.expect(lexer_1.TokenKind.Identifier, "name").value;
+    s.expect(lexer_1.TokenKind.LBrace, "{");
+    const node = {
+        kind: "PolicyDecl", loc, name, rateLimit: null, access: [], audit: null, encryption: null,
+    };
+    while (!s.check(lexer_1.TokenKind.RBrace) && !s.check(lexer_1.TokenKind.EOF)) {
+        const tok = s.peek();
+        switch (tok.kind) {
+            case lexer_1.TokenKind.KwRateLimit:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                const count = parseInt(s.expect(lexer_1.TokenKind.IntLiteral, "count").value, 10);
+                s.expect(lexer_1.TokenKind.KwPer, "per");
+                const per = (0, parse_decls_1.parseDuration)(s);
+                node.rateLimit = { count, per };
+                break;
+            case lexer_1.TokenKind.KwAccess:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                s.expect(lexer_1.TokenKind.LBracket, "[");
+                node.access = (0, parse_decls_1.parseIdentList)(s);
+                s.expect(lexer_1.TokenKind.RBracket, "]");
+                break;
+            case lexer_1.TokenKind.KwAudit:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                node.audit = s.advance().kind === lexer_1.TokenKind.KwTrue;
+                break;
+            case lexer_1.TokenKind.KwEncryption:
+                s.advance();
+                s.expect(lexer_1.TokenKind.Colon, ":");
+                node.encryption = s.advance().value;
+                break;
+            default: throw new parser_base_1.ParseError(`Unexpected in policy: ${tok.kind}`, tok.loc);
+        }
+    }
+    s.expect(lexer_1.TokenKind.RBrace, "}");
+    return node;
+}
+exports.parsePolicyDecl = parsePolicyDecl;
+// ─── Flow ────────────────────────────────────────────────────────────────────
+function parseFlowDecl(s) {
+    const loc = s.peek().loc;
+    s.expect(lexer_1.TokenKind.KwFlow, "flow");
+    const name = s.expect(lexer_1.TokenKind.Identifier, "name").value;
+    s.expect(lexer_1.TokenKind.LBrace, "{");
+    const steps = [];
+    while (!s.check(lexer_1.TokenKind.RBrace) && !s.check(lexer_1.TokenKind.EOF)) {
+        const sloc = s.peek().loc;
+        s.expect(lexer_1.TokenKind.KwStep, "step");
+        const stepName = s.expect(lexer_1.TokenKind.Identifier, "step name").value;
+        s.expect(lexer_1.TokenKind.Colon, ":");
+        const action = parseCallExpr(s);
+        let compensate = null;
+        if (s.check(lexer_1.TokenKind.KwCompensate)) {
+            s.advance();
+            s.expect(lexer_1.TokenKind.Colon, ":");
+            compensate = parseCallExpr(s);
+        }
+        steps.push({ kind: "FlowStep", loc: sloc, name: stepName, action, compensate });
+    }
+    s.expect(lexer_1.TokenKind.RBrace, "}");
+    return { kind: "FlowDecl", loc, name, steps };
+}
+exports.parseFlowDecl = parseFlowDecl;
+function parseCallExpr(s) {
+    const loc = s.peek().loc;
+    const name = s.expect(lexer_1.TokenKind.Identifier, "call name").value;
+    s.expect(lexer_1.TokenKind.LParen, "(");
+    const args = [];
+    if (!s.check(lexer_1.TokenKind.RParen)) {
+        do {
+            args.push((0, parse_expr_1.parseExpr)(s));
+        } while (s.match(lexer_1.TokenKind.Comma));
+    }
+    s.expect(lexer_1.TokenKind.RParen, ")");
+    return { kind: "CallExpr", loc, name, args };
+}
+// ─── Import ──────────────────────────────────────────────────────────────────
+function parseImportDecl(s) {
+    const loc = s.peek().loc;
+    s.expect(lexer_1.TokenKind.KwImport, "import");
+    const name = s.expect(lexer_1.TokenKind.Identifier, "name").value;
+    s.expect(lexer_1.TokenKind.KwFrom, "from");
+    const from = s.expect(lexer_1.TokenKind.StringLiteral, "path").value;
+    return { kind: "ImportDecl", loc, name, from };
+}
+exports.parseImportDecl = parseImportDecl;
+// ─── Extension Point ─────────────────────────────────────────────────────────
+function parseExtensionPointDecl(s) {
+    const loc = s.peek().loc;
+    s.expect(lexer_1.TokenKind.KwExtensionPoint, "extension_point");
+    const name = s.expect(lexer_1.TokenKind.Identifier, "extension point name").value;
+    s.expect(lexer_1.TokenKind.LParen, "(");
+    const params = [];
+    if (!s.check(lexer_1.TokenKind.RParen)) {
+        do {
+            const ploc = s.peek().loc;
+            // Allow keywords as param names
+            const pname = s.peek().kind === lexer_1.TokenKind.Identifier ? s.advance().value : s.advance().value;
+            s.expect(lexer_1.TokenKind.Colon, ":");
+            const ptype = (0, parse_types_1.parseTypeExpr)(s);
+            params.push({ kind: "Param", loc: ploc, name: pname, type: ptype });
+        } while (s.match(lexer_1.TokenKind.Comma));
+    }
+    s.expect(lexer_1.TokenKind.RParen, ")");
+    let returns = null;
+    let stable = false;
+    s.expect(lexer_1.TokenKind.LBrace, "{");
+    while (!s.check(lexer_1.TokenKind.RBrace) && !s.check(lexer_1.TokenKind.EOF)) {
+        const tok = s.peek();
+        if (tok.kind === lexer_1.TokenKind.KwReturns) {
+            s.advance();
+            s.expect(lexer_1.TokenKind.Colon, ":");
+            returns = (0, parse_types_1.parseTypeExpr)(s);
+        }
+        else if (tok.kind === lexer_1.TokenKind.KwStable) {
+            s.advance();
+            s.expect(lexer_1.TokenKind.Colon, ":");
+            stable = s.advance().kind === lexer_1.TokenKind.KwTrue;
+        }
+        else if (tok.kind === lexer_1.TokenKind.KwLanguage) {
+            // language: typescript — consume and ignore (only TS supported)
+            s.advance();
+            s.expect(lexer_1.TokenKind.Colon, ":");
+            s.advance();
+        }
+        else {
+            throw new parser_base_1.ParseError(`Unexpected in extension_point: ${tok.kind}`, tok.loc);
+        }
+    }
+    s.expect(lexer_1.TokenKind.RBrace, "}");
+    return { kind: "ExtensionPointDecl", loc, name, params, returns, stable };
+}
+exports.parseExtensionPointDecl = parseExtensionPointDecl;
+//# sourceMappingURL=parse_decls2.js.map

package/dist/parse_decls2.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse_decls2.js","sourceRoot":"","sources":["../src/parse_decls2.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,mCAAoC;AACpC,+CAAwD;AAExD,6CAAyC;AACzC,+CAA8C;AAC9C,+CAA8E;AAE9E,wNAAwN;AAExN,SAAgB,gBAAgB,CAAC,CAAc;IAC7C,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;IACzB,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC;IAC1D,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAEhC,MAAM,IAAI,GAAwB;QAChC,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,IAAI;QAC9B,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI;QACnD,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI;KAC/C,CAAC;IAEF,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACrB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,iBAAS,CAAC,WAAW;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;gBAAC,MAAM;YACnH,KAAK,iBAAS,CAAC,UAAU;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;gBAAC,MAAM;YACjH,KAAK,iBAAS,CAAC,cAAc;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC,YAAY,GAAG,IAAA,2BAAa,EAAC,CAAC,CAAC,CAAC;gBAAC,MAAM;YACxH,KAAK,iBAAS,CAAC,aAAa;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;gBAAC,MAAM;YACvH,KAAK,iBAAS,CAAC,QAAQ;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC,MAAM,GAAG,IAAA,sBAAS,EAAC,CAAC,CAAC,CAAC;gBAAC,MAAM;YACxG,KAAK,iBAAS,CAAC,SAAS;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACrJ,OAAO,CAAC,CAAC,MAAM,IAAI,wBAAU,CAAC,0BAA0B,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAChC,OAAO,IAAI,CAAC;AACd,CAAC;AA1BD,4CA0BC;AAED,4NAA4N;AAE5N,SAAgB,cAAc,CAAC,CAAc;IAC3C,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;IACzB,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC;IAC1D,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAEhC,MAAM,IAAI,GAAsB;QAC9B,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI;QAC5B,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI;KAC3E,CAAC;IAEF,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACrB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,iBAAS,CAAC,QAAQ;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;gBAAC,MAAM;YAC7G,KAAK,iBAAS,CAAC,QAAQ;gBACrB,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC5C,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAChC,IAAI,CAAC,MAAM,GAAG,IAAA,4BAAc,EAAC,CAAC,CAAC,CAAC;gBAChC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAChC,MAAM;YACR,KAAK,iBAAS,CAAC,WAAW;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC,SAAS,GAAG,IAAA,2BAAa,EAAC,CAAC,CAAC,CAAC;gBAAC,MAAM;YAClH,KAAK,iBAAS,CAAC,WAAW;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC;gBAAC,MAAM;YAC/I,KAAK,iBAAS,CAAC,UAAU;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAAC,MAAM;YACvJ,OAAO,CAAC,CAAC,MAAM,IAAI,wBAAU,CAAC,wBAAwB,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAChC,OAAO,IAAI,CAAC;AACd,CAAC;AA7BD,wCA6BC;AAED,4NAA4N;AAE5N,SAAgB,cAAc,CAAC,CAAc;IAC3C,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;IACzB,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC;IAC1D,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAEhC,MAAM,IAAI,GAAsB;QAC9B,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI;KACrE,CAAC;IAEF,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACrB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,iBAAS,CAAC,SAAS;gBACtB,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC5C,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAChC,IAAI,CAAC,OAAO,GAAG,IAAA,4BAAc,EAAC,CAAC,CAAC,CAAC;gBACjC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAChC,MAAM;YACR,KAAK,iBAAS,CAAC,UAAU;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;gBAAC,MAAM;YACjH,KAAK,iBAAS,CAAC,KAAK;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC,GAAG,GAAG,IAAA,2BAAa,EAAC,CAAC,CAAC,CAAC;gBAAC,MAAM;YACtG,OAAO,CAAC,CAAC,MAAM,IAAI,wBAAU,CAAC,wBAAwB,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAChC,OAAO,IAAI,CAAC;AACd,CAAC;AA1BD,wCA0BC;AAED,kNAAkN;AAElN,SAAgB,mBAAmB,CAAC,CAAc;IAChD,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;IACzB,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC;IAC1D,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAA,sBAAS,EAAC,CAAC,CAAC,CAAC;IAC1B,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACrD,CAAC;AAPD,kDAOC;AAED,0NAA0N;AAE1N,SAAgB,eAAe,CAAC,CAAc;IAC5C,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;IACzB,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC;IAC1D,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAEhC,MAAM,IAAI,GAAuB;QAC/B,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI;KAC1F,CAAC;IAEF,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACrB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,iBAAS,CAAC,WAAW;gBACxB,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC5C,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAC1E,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACjC,MAAM,GAAG,GAAG,IAAA,2BAAa,EAAC,CAAC,CAAC,CAAC;gBAC7B,IAAI,CAAC,SAAS,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;gBAChC,MAAM;YACR,KAAK,iBAAS,CAAC,QAAQ;gBACrB,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC5C,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;gBAClC,IAAI,CAAC,MAAM,GAAG,IAAA,4BAAc,EAAC,CAAC,CAAC,CAAC;gBAChC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;gBAClC,MAAM;YACR,KAAK,iBAAS,CAAC,OAAO;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,KAAK,iBAAS,CAAC,MAAM,CAAC;gBAAC,MAAM;YAC/H,KAAK,iBAAS,CAAC,YAAY;gBAAE,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;gBAAC,MAAM;YACrH,OAAO,CAAC,CAAC,MAAM,IAAI,wBAAU,CAAC,yBAAyB,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAChC,OAAO,IAAI,CAAC;AACd,CAAC;AAjCD,0CAiCC;AAED,8NAA8N;AAE9N,SAAgB,aAAa,CAAC,CAAc;IAC1C,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;IACzB,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC;IAC1D,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAEhC,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;QAC1B,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,KAAK,CAAC;QACnE,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,UAAU,GAA4B,IAAI,CAAC;QAC/C,IAAI,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,YAAY,CAAC,EAAE,CAAC;YACpC,CAAC,CAAC,OAAO,EAAE,CAAC;YAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC5C,UAAU,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAChC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAChD,CAAC;AAtBD,sCAsBC;AAED,SAAS,aAAa,CAAC,CAAc;IACnC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;IACzB,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,KAAK,CAAC;IAC/D,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAChC,MAAM,IAAI,GAAmB,EAAE,CAAC;IAChC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,GAAG,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,IAAA,sBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE;IACnE,CAAC;IACD,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAChC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAC/C,CAAC;AAED,0NAA0N;AAE1N,SAAgB,eAAe,CAAC,CAAc;IAC5C,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;IACzB,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC;IAC1D,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC;IAC7D,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACjD,CAAC;AAPD,0CAOC;AAED,gFAAgF;AAEhF,SAAgB,uBAAuB,CAAC,CAAc;IACpD,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;IACzB,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,UAAU,EAAE,sBAAsB,CAAC,CAAC,KAAK,CAAC;IAC1E,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAChC,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,GAAG,CAAC;YACF,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;YAC1B,gCAAgC;YAChC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,iBAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;YAC7F,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAA,2BAAa,EAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACtE,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE;IACrC,CAAC;IACD,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAEhC,IAAI,OAAO,GAA4B,IAAI,CAAC;IAC5C,IAAI,MAAM,GAAG,KAAK,CAAC;IAEnB,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAChC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACrB,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,SAAS,EAAE,CAAC;YACrC,CAAC,CAAC,OAAO,EAAE,CAAC;YAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC5C,OAAO,GAAG,IAAA,2BAAa,EAAC,CAAC,CAAC,CAAC;QAC7B,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,QAAQ,EAAE,CAAC;YAC3C,CAAC,CAAC,OAAO,EAAE,CAAC;YAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC5C,MAAM,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,KAAK,iBAAS,CAAC,MAAM,CAAC;QACjD,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,UAAU,EAAE,CAAC;YAC7C,gEAAgE;YAChE,CAAC,CAAC,OAAO,EAAE,CAAC;YAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC3D,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,wBAAU,CAAC,kCAAkC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAEhC,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC5E,CAAC;AAxCD,0DAwCC"}

package/dist/parse_expr.d.ts

@@ -0,0 +1,7 @@
+/**
+ * BoneScript Expression Parser — Pratt-style precedence climbing.
+ */
+import { TokenStream } from "./parser_base";
+import * as AST from "./ast";
+export declare function parseExpr(s: TokenStream): AST.ExprNode;
+export declare function parseExprList(s: TokenStream): AST.ExprNode[];

package/dist/parse_expr.js

@@ -0,0 +1,197 @@
+"use strict";
+/**
+ * BoneScript Expression Parser — Pratt-style precedence climbing.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.parseExprList = exports.parseExpr = void 0;
+const lexer_1 = require("./lexer");
+const parser_base_1 = require("./parser_base");
+function parseExpr(s) {
+    return parseLogicalOr(s);
+}
+exports.parseExpr = parseExpr;
+function parseExprList(s) {
+    const exprs = [];
+    if (s.check(lexer_1.TokenKind.RBracket))
+        return exprs;
+    do {
+        exprs.push(parseExpr(s));
+    } while (s.match(lexer_1.TokenKind.Comma));
+    return exprs;
+}
+exports.parseExprList = parseExprList;
+function parseLogicalOr(s) {
+    let left = parseLogicalAnd(s);
+    while (s.check(lexer_1.TokenKind.KwOr)) {
+        const loc = s.peek().loc;
+        s.advance();
+        const right = parseLogicalAnd(s);
+        left = { kind: "BinaryExpr", loc, op: "or", left, right };
+    }
+    return left;
+}
+function parseLogicalAnd(s) {
+    let left = parseComparison(s);
+    while (s.check(lexer_1.TokenKind.KwAnd)) {
+        const loc = s.peek().loc;
+        s.advance();
+        const right = parseComparison(s);
+        left = { kind: "BinaryExpr", loc, op: "and", left, right };
+    }
+    return left;
+}
+function parseComparison(s) {
+    let left = parseAdditive(s);
+    const compOps = [
+        lexer_1.TokenKind.EqEq, lexer_1.TokenKind.NotEq, lexer_1.TokenKind.LAngle, lexer_1.TokenKind.RAngle,
+        lexer_1.TokenKind.LtEq, lexer_1.TokenKind.GtEq, lexer_1.TokenKind.KwIn, lexer_1.TokenKind.KwContains,
+    ];
+    if (compOps.includes(s.peek().kind)) {
+        const loc = s.peek().loc;
+        const op = s.advance().value;
+        const right = parseAdditive(s);
+        // Check for range: expr in expr..expr
+        if (op === "in" && s.check(lexer_1.TokenKind.DotDot)) {
+            const dotLoc = s.peek().loc;
+            s.advance(); // consume ..
+            const upper = parseAdditive(s);
+            // Desugar "x in low..high" into BinaryExpr with op "in_range"
+            const range = { kind: "BinaryExpr", loc: dotLoc, op: "..", left: right, right: upper };
+            left = { kind: "BinaryExpr", loc, op: "in", left, right: range };
+        }
+        else {
+            left = { kind: "BinaryExpr", loc, op, left, right };
+        }
+    }
+    return left;
+}
+function parseAdditive(s) {
+    let left = parseMultiplicative(s);
+    while (s.check(lexer_1.TokenKind.Plus) || s.check(lexer_1.TokenKind.Minus)) {
+        const loc = s.peek().loc;
+        const op = s.advance().value;
+        const right = parseMultiplicative(s);
+        left = { kind: "BinaryExpr", loc, op, left, right };
+    }
+    return left;
+}
+function parseMultiplicative(s) {
+    let left = parseUnary(s);
+    while (s.check(lexer_1.TokenKind.Star) || s.check(lexer_1.TokenKind.Slash) || s.check(lexer_1.TokenKind.Percent)) {
+        const loc = s.peek().loc;
+        const op = s.advance().value;
+        const right = parseUnary(s);
+        left = { kind: "BinaryExpr", loc, op, left, right };
+    }
+    return left;
+}
+function parseUnary(s) {
+    if (s.check(lexer_1.TokenKind.KwNot)) {
+        const loc = s.peek().loc;
+        s.advance();
+        const operand = parseUnary(s);
+        return { kind: "UnaryExpr", loc, op: "not", operand };
+    }
+    if (s.check(lexer_1.TokenKind.Minus)) {
+        const loc = s.peek().loc;
+        s.advance();
+        const operand = parseUnary(s);
+        return { kind: "UnaryExpr", loc, op: "-", operand };
+    }
+    return parsePrimary(s);
+}
+function parsePrimary(s) {
+    const tok = s.peek();
+    const loc = tok.loc;
+    // Parenthesized expression
+    if (tok.kind === lexer_1.TokenKind.LParen) {
+        s.advance();
+        const expr = parseExpr(s);
+        s.expect(lexer_1.TokenKind.RParen, "parenthesized expression");
+        return expr;
+    }
+    // List literal
+    if (tok.kind === lexer_1.TokenKind.LBracket) {
+        s.advance();
+        const elements = [];
+        if (!s.check(lexer_1.TokenKind.RBracket)) {
+            do {
+                elements.push(parseExpr(s));
+            } while (s.match(lexer_1.TokenKind.Comma));
+        }
+        s.expect(lexer_1.TokenKind.RBracket, "list literal close");
+        return { kind: "Literal", loc, type: "list", value: elements };
+    }
+    // String literal
+    if (tok.kind === lexer_1.TokenKind.StringLiteral) {
+        s.advance();
+        return { kind: "Literal", loc, type: "string", value: tok.value };
+    }
+    // Int literal
+    if (tok.kind === lexer_1.TokenKind.IntLiteral) {
+        s.advance();
+        return { kind: "Literal", loc, type: "int", value: parseInt(tok.value, 10) };
+    }
+    // Float literal
+    if (tok.kind === lexer_1.TokenKind.FloatLiteral) {
+        s.advance();
+        return { kind: "Literal", loc, type: "float", value: parseFloat(tok.value) };
+    }
+    // Boolean
+    if (tok.kind === lexer_1.TokenKind.KwTrue) {
+        s.advance();
+        return { kind: "Literal", loc, type: "bool", value: true };
+    }
+    if (tok.kind === lexer_1.TokenKind.KwFalse) {
+        s.advance();
+        return { kind: "Literal", loc, type: "bool", value: false };
+    }
+    // None
+    if (tok.kind === lexer_1.TokenKind.KwNone) {
+        s.advance();
+        return { kind: "Literal", loc, type: "none", value: null };
+    }
+    // now()
+    if (tok.kind === lexer_1.TokenKind.KwNow) {
+        s.advance();
+        if (s.match(lexer_1.TokenKind.LParen)) {
+            s.expect(lexer_1.TokenKind.RParen, "now()");
+        }
+        return { kind: "CallExpr", loc, name: "now", args: [] };
+    }
+    // Identifier — field ref or function call
+    if (tok.kind === lexer_1.TokenKind.Identifier || isKeywordIdentifier(tok)) {
+        const path = [];
+        path.push(s.advance().value);
+        // Function call
+        if (s.check(lexer_1.TokenKind.LParen)) {
+            s.advance();
+            const args = [];
+            if (!s.check(lexer_1.TokenKind.RParen)) {
+                do {
+                    args.push(parseExpr(s));
+                } while (s.match(lexer_1.TokenKind.Comma));
+            }
+            s.expect(lexer_1.TokenKind.RParen, "function call close");
+            return { kind: "CallExpr", loc, name: path[0], args };
+        }
+        // Dotted field reference
+        while (s.match(lexer_1.TokenKind.Dot)) {
+            const next = s.peek();
+            if (next.kind === lexer_1.TokenKind.Identifier || next.kind === lexer_1.TokenKind.KwUnique || isKeywordIdentifier(next)) {
+                path.push(s.advance().value);
+            }
+            else {
+                break;
+            }
+        }
+        return { kind: "FieldRef", loc, path };
+    }
+    throw new parser_base_1.ParseError(`Expected expression, got ${tok.kind} ('${tok.value}')`, tok.loc);
+}
+/** Check if a token is a keyword that can also serve as an identifier */
+function isKeywordIdentifier(tok) {
+    // Keywords that are commonly used as variable/field names
+    return /^[a-zA-Z_][a-zA-Z0-9_]*$/.test(tok.value) && tok.kind !== lexer_1.TokenKind.EOF;
+}
+//# sourceMappingURL=parse_expr.js.map

package/dist/parse_expr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse_expr.js","sourceRoot":"","sources":["../src/parse_expr.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,mCAAoC;AACpC,+CAAwD;AAGxD,SAAgB,SAAS,CAAC,CAAc;IACtC,OAAO,cAAc,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAFD,8BAEC;AAED,SAAgB,aAAa,CAAC,CAAc;IAC1C,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,IAAI,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,GAAG,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE;IACnC,OAAO,KAAK,CAAC;AACf,CAAC;AAPD,sCAOC;AAED,SAAS,cAAc,CAAC,CAAc;IACpC,IAAI,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAC9B,OAAO,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;QACzB,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC5D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,CAAc;IACrC,IAAI,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAC9B,OAAO,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;QACzB,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC7D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,CAAc;IACrC,IAAI,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAG;QACd,iBAAS,CAAC,IAAI,EAAE,iBAAS,CAAC,KAAK,EAAE,iBAAS,CAAC,MAAM,EAAE,iBAAS,CAAC,MAAM;QACnE,iBAAS,CAAC,IAAI,EAAE,iBAAS,CAAC,IAAI,EAAE,iBAAS,CAAC,IAAI,EAAE,iBAAS,CAAC,UAAU;KACrE,CAAC;IACF,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;QAC7B,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC/B,sCAAsC;QACtC,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;YAC5B,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,aAAa;YAC1B,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAC/B,8DAA8D;YAC9D,MAAM,KAAK,GAAuB,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;YAC3G,IAAI,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACnE,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACtD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CAAC,CAAc;IACnC,IAAI,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAClC,OAAO,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;QAC7B,MAAM,KAAK,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACtD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,CAAc;IACzC,IAAI,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACzB,OAAO,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QACzF,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;QAC7B,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACtD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,CAAc;IAChC,IAAI,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;QACzB,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACxD,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;QACzB,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACtD,CAAC;IACD,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,YAAY,CAAC,CAAc;IAClC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACrB,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC;IAEpB,2BAA2B;IAC3B,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,MAAM,EAAE,CAAC;QAClC,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC1B,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC;QACvD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,eAAe;IACf,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,QAAQ,EAAE,CAAC;QACpC,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,MAAM,QAAQ,GAAmB,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,GAAG,CAAC;gBAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE;QACvE,CAAC;QACD,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,QAAQ,EAAE,oBAAoB,CAAC,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACjE,CAAC;IAED,iBAAiB;IACjB,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,aAAa,EAAE,CAAC;QACzC,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;IACpE,CAAC;IAED,cAAc;IACd,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,UAAU,EAAE,CAAC;QACtC,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC;IAC/E,CAAC;IAED,gBAAgB;IAChB,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,YAAY,EAAE,CAAC;QACxC,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;IAC/E,CAAC;IAED,UAAU;IACV,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,MAAM,EAAE,CAAC;QAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAAC,CAAC;IAC/G,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,OAAO,EAAE,CAAC;QAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAAC,CAAC;IAEjH,OAAO;IACP,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,MAAM,EAAE,CAAC;QAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAAC,CAAC;IAE/G,QAAQ;IACR,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,KAAK,EAAE,CAAC;QACjC,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,IAAI,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YAAC,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAAC,CAAC;QACvE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IAC1D,CAAC;IAED,4CAA4C;IAC5C,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,UAAU,IAAI,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;QAE7B,gBAAgB;QAChB,IAAI,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,CAAC,CAAC,OAAO,EAAE,CAAC;YACZ,MAAM,IAAI,GAAmB,EAAE,CAAC;YAChC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/B,GAAG,CAAC;oBAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE;YACnE,CAAC;YACD,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;YAClD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACxD,CAAC;QAED,yBAAyB;QACzB,OAAO,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YACtB,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAS,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAS,CAAC,QAAQ,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;YAC/B,CAAC;iBAAM,CAAC;gBACN,MAAM;YACR,CAAC;QACH,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACzC,CAAC;IAED,MAAM,IAAI,wBAAU,CAAC,4BAA4B,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,KAAK,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;AACzF,CAAC;AAED,yEAAyE;AACzE,SAAS,mBAAmB,CAAC,GAAuC;IAClE,0DAA0D;IAC1D,OAAO,0BAA0B,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,GAAG,CAAC;AAClF,CAAC"}

package/dist/parse_types.d.ts

@@ -0,0 +1,6 @@
+/**
+ * BoneScript Type Expression Parser
+ */
+import { TokenStream } from "./parser_base";
+import * as AST from "./ast";
+export declare function parseTypeExpr(s: TokenStream): AST.TypeExprNode;

package/dist/parse_types.js

@@ -0,0 +1,51 @@
+"use strict";
+/**
+ * BoneScript Type Expression Parser
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.parseTypeExpr = void 0;
+const lexer_1 = require("./lexer");
+const parser_base_1 = require("./parser_base");
+function parseTypeExpr(s) {
+    const loc = s.peek().loc;
+    const tok = s.peek();
+    // Generic types
+    const generics = [lexer_1.TokenKind.KwSet, lexer_1.TokenKind.KwList, lexer_1.TokenKind.KwOptional, lexer_1.TokenKind.KwResult, lexer_1.TokenKind.KwMap];
+    if (generics.includes(tok.kind)) {
+        const name = s.advance().value;
+        s.expect(lexer_1.TokenKind.LAngle, "generic type arg");
+        const typeArgs = [];
+        typeArgs.push(parseTypeExpr(s));
+        while (s.match(lexer_1.TokenKind.Comma)) {
+            typeArgs.push(parseTypeExpr(s));
+        }
+        s.expect(lexer_1.TokenKind.RAngle, "generic type arg close");
+        return { kind: "GenericType", loc, name, typeArgs };
+    }
+    // Primitive types
+    const primitives = [
+        lexer_1.TokenKind.KwString, lexer_1.TokenKind.KwUint, lexer_1.TokenKind.KwInt, lexer_1.TokenKind.KwFloat,
+        lexer_1.TokenKind.KwBool, lexer_1.TokenKind.KwTimestamp, lexer_1.TokenKind.KwUuid, lexer_1.TokenKind.KwBytes, lexer_1.TokenKind.KwJson,
+    ];
+    if (primitives.includes(tok.kind)) {
+        return { kind: "PrimitiveType", loc, name: s.advance().value };
+    }
+    // Tuple type
+    if (tok.kind === lexer_1.TokenKind.LParen) {
+        s.advance();
+        const elements = [];
+        elements.push(parseTypeExpr(s));
+        while (s.match(lexer_1.TokenKind.Comma)) {
+            elements.push(parseTypeExpr(s));
+        }
+        s.expect(lexer_1.TokenKind.RParen, "tuple type close");
+        return { kind: "TupleType", loc, elements };
+    }
+    // Entity reference
+    if (tok.kind === lexer_1.TokenKind.Identifier) {
+        return { kind: "EntityRefType", loc, name: s.advance().value };
+    }
+    throw new parser_base_1.ParseError(`Expected type expression, got ${tok.kind}`, tok.loc);
+}
+exports.parseTypeExpr = parseTypeExpr;
+//# sourceMappingURL=parse_types.js.map

package/dist/parse_types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse_types.js","sourceRoot":"","sources":["../src/parse_types.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,mCAAoC;AACpC,+CAAwD;AAGxD,SAAgB,aAAa,CAAC,CAAc;IAC1C,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;IACzB,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAErB,gBAAgB;IAChB,MAAM,QAAQ,GAAG,CAAC,iBAAS,CAAC,KAAK,EAAE,iBAAS,CAAC,MAAM,EAAE,iBAAS,CAAC,UAAU,EAAE,iBAAS,CAAC,QAAQ,EAAE,iBAAS,CAAC,KAAK,CAAC,CAAC;IAChH,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;QAC/B,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAuB,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,OAAO,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC;QACrD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACtD,CAAC;IAED,kBAAkB;IAClB,MAAM,UAAU,GAAG;QACjB,iBAAS,CAAC,QAAQ,EAAE,iBAAS,CAAC,MAAM,EAAE,iBAAS,CAAC,KAAK,EAAE,iBAAS,CAAC,OAAO;QACxE,iBAAS,CAAC,MAAM,EAAE,iBAAS,CAAC,WAAW,EAAE,iBAAS,CAAC,MAAM,EAAE,iBAAS,CAAC,OAAO,EAAE,iBAAS,CAAC,MAAM;KAC/F,CAAC;IACF,IAAI,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC;IACjE,CAAC;IAED,aAAa;IACb,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,MAAM,EAAE,CAAC;QAClC,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,MAAM,QAAQ,GAAuB,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,OAAO,CAAC,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,CAAC,CAAC,MAAM,CAAC,iBAAS,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;IAC9C,CAAC;IAED,mBAAmB;IACnB,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAS,CAAC,UAAU,EAAE,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC;IACjE,CAAC;IAED,MAAM,IAAI,wBAAU,CAAC,iCAAiC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;AAC7E,CAAC;AA7CD,sCA6CC"}

package/dist/parser.d.ts

@@ -0,0 +1,10 @@
+import { Token } from "./lexer";
+import * as AST from "./ast";
+export { ParseError } from "./parser_base";
+export declare class Parser {
+    private s;
+    constructor(tokens: Token[]);
+    parse(): AST.ProgramNode;
+    private parseSystemDecl;
+    private parseDeclaration;
+}