@tekki-forge/expression 0.0.0-stage → 0.1.0

package/dist/parser.js

@@ -0,0 +1,323 @@
+import { ExpressionError, MAX_DEPTH, MAX_SOURCE_LENGTH } from "./ast.js";
+const TWO_CHAR_OPS = new Set(["==", "!=", "<=", ">=", "&&", "||"]);
+const ONE_CHAR_OPS = new Set(["(", ")", ",", ".", "+", "-", "*", "/", "%", "<", ">", "!"]);
+const KEYWORDS = new Set(["and", "or", "not", "true", "false", "null"]);
+const AGGREGATE_ONLY = new Set(["sum", "avg", "count"]);
+function isDigit(c) {
+    return c >= "0" && c <= "9";
+}
+function isIdentStart(c) {
+    return (c >= "a" && c <= "z") || (c >= "A" && c <= "Z") || c === "_";
+}
+function isIdentPart(c) {
+    return isIdentStart(c) || isDigit(c);
+}
+function tokenize(src) {
+    const tokens = [];
+    let i = 0;
+    const n = src.length;
+    while (i < n) {
+        const c = src[i];
+        if (c === " " || c === "\t" || c === "\n" || c === "\r") {
+            i++;
+            continue;
+        }
+        const start = i;
+        if (isDigit(c)) {
+            while (i < n && isDigit(src[i]))
+                i++;
+            if (src[i] === ".") {
+                i++;
+                if (i >= n || !isDigit(src[i])) {
+                    throw new ExpressionError(`Invalid number literal at ${start} — expected digits after "."`, start);
+                }
+                while (i < n && isDigit(src[i]))
+                    i++;
+            }
+            if (i < n && isIdentPart(src[i])) {
+                throw new ExpressionError(`Invalid number literal at ${start}`, start);
+            }
+            const text = src.slice(start, i);
+            const v = Number(text);
+            if (!Number.isFinite(v))
+                throw new ExpressionError(`Number literal out of range at ${start}`, start);
+            tokens.push({ t: "num", v, pos: start });
+            continue;
+        }
+        if (isIdentStart(c)) {
+            while (i < n && isIdentPart(src[i]))
+                i++;
+            tokens.push({ t: "ident", v: src.slice(start, i), pos: start });
+            continue;
+        }
+        if (c === '"' || c === "'") {
+            i++;
+            let out = "";
+            let closed = false;
+            while (i < n) {
+                const ch = src[i];
+                if (ch === c) {
+                    closed = true;
+                    i++;
+                    break;
+                }
+                if (ch === "\\") {
+                    const nx = src[i + 1];
+                    if (nx === undefined)
+                        break;
+                    switch (nx) {
+                        case "\\":
+                        case "'":
+                        case '"':
+                            out += nx;
+                            break;
+                        case "n":
+                            out += "\n";
+                            break;
+                        case "t":
+                            out += "\t";
+                            break;
+                        case "r":
+                            out += "\r";
+                            break;
+                        default:
+                            throw new ExpressionError(`Invalid escape sequence "\\${nx}" at ${i}`, i);
+                    }
+                    i += 2;
+                    continue;
+                }
+                out += ch;
+                i++;
+            }
+            if (!closed)
+                throw new ExpressionError(`Unterminated string literal starting at ${start}`, start);
+            tokens.push({ t: "str", v: out, pos: start });
+            continue;
+        }
+        const two = src.slice(i, i + 2);
+        if (TWO_CHAR_OPS.has(two)) {
+            tokens.push({ t: "op", v: two, pos: i });
+            i += 2;
+            continue;
+        }
+        if (ONE_CHAR_OPS.has(c)) {
+            tokens.push({ t: "op", v: c, pos: i });
+            i++;
+            continue;
+        }
+        if (c === "=")
+            throw new ExpressionError(`Unexpected "=" at ${i} — use "==" for equality`, i);
+        if (c === "&")
+            throw new ExpressionError(`Unexpected "&" at ${i} — use "&&" or "and"`, i);
+        if (c === "|")
+            throw new ExpressionError(`Unexpected "|" at ${i} — use "||" or "or"`, i);
+        throw new ExpressionError(`Unexpected character "${c}" at ${i}`, i);
+    }
+    tokens.push({ t: "eof", pos: n });
+    return tokens;
+}
+function describe(tok) {
+    switch (tok.t) {
+        case "eof":
+            return "end of expression";
+        case "str":
+            return "string literal";
+        case "num":
+            return `"${tok.v}"`;
+        default:
+            return `"${tok.v}"`;
+    }
+}
+class Parser {
+    tokens;
+    i = 0;
+    depth = 0;
+    constructor(tokens) {
+        this.tokens = tokens;
+    }
+    peek(offset = 0) {
+        return this.tokens[Math.min(this.i + offset, this.tokens.length - 1)];
+    }
+    next() {
+        const t = this.peek();
+        if (t.t !== "eof")
+            this.i++;
+        return t;
+    }
+    isOp(v, offset = 0) {
+        const t = this.peek(offset);
+        return t.t === "op" && t.v === v;
+    }
+    isKw(kw) {
+        const t = this.peek();
+        return t.t === "ident" && t.v.toLowerCase() === kw;
+    }
+    expectOp(v) {
+        const t = this.peek();
+        if (t.t === "op" && t.v === v)
+            return this.next();
+        throw new ExpressionError(`Expected "${v}" at ${t.pos}`, t.pos);
+    }
+    enter(pos) {
+        if (++this.depth > MAX_DEPTH) {
+            throw new ExpressionError(`Expression is nested too deeply (max depth ${MAX_DEPTH}) at ${pos}`, pos);
+        }
+    }
+    leave() {
+        this.depth--;
+    }
+    parseTop() {
+        const e = this.parseOr();
+        const t = this.peek();
+        if (t.t !== "eof")
+            throw new ExpressionError(`Unexpected ${describe(t)} at ${t.pos}`, t.pos);
+        return e;
+    }
+    parseOr() {
+        this.enter(this.peek().pos);
+        let left = this.parseAnd();
+        while (this.isOp("||") || this.isKw("or")) {
+            const pos = this.next().pos;
+            const right = this.parseAnd();
+            left = { kind: "binary", op: "or", left, right, pos };
+        }
+        this.leave();
+        return left;
+    }
+    parseAnd() {
+        let left = this.parseEquality();
+        while (this.isOp("&&") || this.isKw("and")) {
+            const pos = this.next().pos;
+            const right = this.parseEquality();
+            left = { kind: "binary", op: "and", left, right, pos };
+        }
+        return left;
+    }
+    parseBinaryLevel(ops, nextLevel) {
+        let left = nextLevel();
+        for (;;) {
+            const t = this.peek();
+            if (t.t !== "op" || !ops.includes(t.v))
+                return left;
+            this.next();
+            const right = nextLevel();
+            left = { kind: "binary", op: t.v, left, right, pos: t.pos };
+        }
+    }
+    parseEquality() {
+        return this.parseBinaryLevel(["==", "!="], () => this.parseComparison());
+    }
+    parseComparison() {
+        return this.parseBinaryLevel(["<", "<=", ">", ">="], () => this.parseAdditive());
+    }
+    parseAdditive() {
+        return this.parseBinaryLevel(["+", "-"], () => this.parseMultiplicative());
+    }
+    parseMultiplicative() {
+        return this.parseBinaryLevel(["*", "/", "%"], () => this.parseUnary());
+    }
+    parseUnary() {
+        const t = this.peek();
+        const isNeg = t.t === "op" && t.v === "-";
+        const isNot = (t.t === "op" && t.v === "!") || this.isKw("not");
+        if (!isNeg && !isNot)
+            return this.parsePrimary();
+        this.next();
+        this.enter(t.pos);
+        const operand = this.parseUnary();
+        this.leave();
+        return { kind: "unary", op: isNeg ? "-" : "not", operand, pos: t.pos };
+    }
+    parsePrimary() {
+        const t = this.peek();
+        switch (t.t) {
+            case "num":
+                this.next();
+                return { kind: "literal", value: t.v, pos: t.pos };
+            case "str":
+                this.next();
+                return { kind: "literal", value: t.v, pos: t.pos };
+            case "ident": {
+                const lower = t.v.toLowerCase();
+                if (lower === "true" || lower === "false") {
+                    this.next();
+                    return { kind: "literal", value: lower === "true", pos: t.pos };
+                }
+                if (lower === "null") {
+                    this.next();
+                    return { kind: "literal", value: null, pos: t.pos };
+                }
+                if (KEYWORDS.has(lower))
+                    throw new ExpressionError(`Unexpected "${t.v}" at ${t.pos}`, t.pos);
+                if (this.isOp("(", 1))
+                    return this.parseCall();
+                if (this.isOp(".", 1)) {
+                    const prop = this.peek(2);
+                    const shown = prop.t === "ident" ? `${t.v}.${prop.v}` : `${t.v}.`;
+                    throw new ExpressionError(`Member access "${shown}" is only allowed inside aggregate functions such as sum(lines.amount) at ${t.pos}`, t.pos);
+                }
+                this.next();
+                return { kind: "field", name: t.v, pos: t.pos };
+            }
+            case "op":
+                if (t.v === "(") {
+                    this.next();
+                    const e = this.parseOr();
+                    this.expectOp(")");
+                    return e;
+                }
+                throw new ExpressionError(`Unexpected "${t.v}" at ${t.pos}`, t.pos);
+            case "eof":
+                throw new ExpressionError(`Unexpected end of expression at ${t.pos}`, t.pos);
+        }
+    }
+    parseCall() {
+        const nameTok = this.next();
+        const name = nameTok.v.toLowerCase();
+        const pos = nameTok.pos;
+        this.expectOp("(");
+        if (AGGREGATE_ONLY.has(name) || name === "min" || name === "max") {
+            const a = this.peek();
+            // relation.field )
+            if (a.t === "ident" && this.isOp(".", 1) && this.peek(2).t === "ident" && this.isOp(")", 3)) {
+                const f = this.peek(2);
+                this.i += 4;
+                return { kind: "aggregate", fn: name, relation: a.v, field: f.v, pos };
+            }
+            if (name === "count" && a.t === "ident" && this.isOp(")", 1) && !KEYWORDS.has(a.v.toLowerCase())) {
+                this.i += 2;
+                return { kind: "aggregate", fn: "count", relation: a.v, field: null, pos };
+            }
+            if (AGGREGATE_ONLY.has(name)) {
+                const example = name === "count" ? `count(lines) or count(lines.id)` : `${name}(lines.amount)`;
+                throw new ExpressionError(`Aggregate ${name} expects a relation field argument, e.g. ${example}, at ${a.pos}`, a.pos);
+            }
+            // scalar min/max: fall through to a normal call
+        }
+        const args = [];
+        if (!this.isOp(")")) {
+            for (;;) {
+                args.push(this.parseOr());
+                if (this.isOp(",")) {
+                    this.next();
+                    continue;
+                }
+                break;
+            }
+        }
+        this.expectOp(")");
+        return { kind: "call", name, args, pos };
+    }
+}
+/** Parse source text into a JSON-serializable AST. Throws ExpressionError with position. */
+export function parseExpression(source) {
+    if (typeof source !== "string")
+        throw new ExpressionError("Expression source must be a string");
+    if (source.length > MAX_SOURCE_LENGTH) {
+        throw new ExpressionError(`Expression is too long (${source.length} characters, max ${MAX_SOURCE_LENGTH})`, MAX_SOURCE_LENGTH);
+    }
+    if (source.trim() === "")
+        throw new ExpressionError("Expression is empty at 0", 0);
+    return new Parser(tokenize(source)).parseTop();
+}
+//# sourceMappingURL=parser.js.map

package/dist/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAUzE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AACnE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC3F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AACxE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;AAExD,SAAS,OAAO,CAAC,CAAS;IACxB,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC;AAC9B,CAAC;AACD,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC;AACvE,CAAC;AACD,SAAS,WAAW,CAAC,CAAS;IAC5B,OAAO,YAAY,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,QAAQ,CAAC,GAAW;IAC3B,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;IACrB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACb,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;QAClB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACxD,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,CAAC;QAChB,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;gBAAE,CAAC,EAAE,CAAC;YACtC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACnB,CAAC,EAAE,CAAC;gBACJ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;oBAChC,MAAM,IAAI,eAAe,CAAC,6BAA6B,KAAK,8BAA8B,EAAE,KAAK,CAAC,CAAC;gBACrG,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;oBAAE,CAAC,EAAE,CAAC;YACxC,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;gBAClC,MAAM,IAAI,eAAe,CAAC,6BAA6B,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;YACzE,CAAC;YACD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,MAAM,IAAI,eAAe,CAAC,kCAAkC,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;YACrG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACzC,SAAS;QACX,CAAC;QACD,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;gBAAE,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YAChE,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAC3B,CAAC,EAAE,CAAC;YACJ,IAAI,GAAG,GAAG,EAAE,CAAC;YACb,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBACb,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;gBACnB,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;oBACb,MAAM,GAAG,IAAI,CAAC;oBACd,CAAC,EAAE,CAAC;oBACJ,MAAM;gBACR,CAAC;gBACD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBAChB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBACtB,IAAI,EAAE,KAAK,SAAS;wBAAE,MAAM;oBAC5B,QAAQ,EAAE,EAAE,CAAC;wBACX,KAAK,IAAI,CAAC;wBACV,KAAK,GAAG,CAAC;wBACT,KAAK,GAAG;4BACN,GAAG,IAAI,EAAE,CAAC;4BACV,MAAM;wBACR,KAAK,GAAG;4BACN,GAAG,IAAI,IAAI,CAAC;4BACZ,MAAM;wBACR,KAAK,GAAG;4BACN,GAAG,IAAI,IAAI,CAAC;4BACZ,MAAM;wBACR,KAAK,GAAG;4BACN,GAAG,IAAI,IAAI,CAAC;4BACZ,MAAM;wBACR;4BACE,MAAM,IAAI,eAAe,CAAC,8BAA8B,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;oBAC9E,CAAC;oBACD,CAAC,IAAI,CAAC,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,GAAG,IAAI,EAAE,CAAC;gBACV,CAAC,EAAE,CAAC;YACN,CAAC;YACD,IAAI,CAAC,MAAM;gBAAE,MAAM,IAAI,eAAe,CAAC,2CAA2C,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;YAClG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YAC9C,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YACzC,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YACvC,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG;YAAE,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,0BAA0B,EAAE,CAAC,CAAC,CAAC;QAC9F,IAAI,CAAC,KAAK,GAAG;YAAE,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC;QAC1F,IAAI,CAAC,KAAK,GAAG;YAAE,MAAM,IAAI,eAAe,CAAC,qBAAqB,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC;QACzF,MAAM,IAAI,eAAe,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,QAAQ,CAAC,GAAU;IAC1B,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC;QACd,KAAK,KAAK;YACR,OAAO,mBAAmB,CAAC;QAC7B,KAAK,KAAK;YACR,OAAO,gBAAgB,CAAC;QAC1B,KAAK,KAAK;YACR,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC;QACtB;YACE,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC;IACxB,CAAC;AACH,CAAC;AAED,MAAM,MAAM;IAGmB;IAFrB,CAAC,GAAG,CAAC,CAAC;IACN,KAAK,GAAG,CAAC,CAAC;IAClB,YAA6B,MAAe;QAAf,WAAM,GAAN,MAAM,CAAS;IAAG,CAAC;IAExC,IAAI,CAAC,MAAM,GAAG,CAAC;QACrB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAE,CAAC;IACzE,CAAC;IACO,IAAI;QACV,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK;YAAE,IAAI,CAAC,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,CAAC;IACX,CAAC;IACO,IAAI,CAAC,CAAS,EAAE,MAAM,GAAG,CAAC;QAChC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5B,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IACO,IAAI,CAAC,EAAU;QACrB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC;IACrD,CAAC;IACO,QAAQ,CAAC,CAAS;QACxB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;QAClD,MAAM,IAAI,eAAe,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAClE,CAAC;IACO,KAAK,CAAC,GAAW;QACvB,IAAI,EAAE,IAAI,CAAC,KAAK,GAAG,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,eAAe,CAAC,8CAA8C,SAAS,QAAQ,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC;QACvG,CAAC;IACH,CAAC;IACO,KAAK;QACX,IAAI,CAAC,KAAK,EAAE,CAAC;IACf,CAAC;IAED,QAAQ;QACN,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK;YAAE,MAAM,IAAI,eAAe,CAAC,cAAc,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAC7F,OAAO,CAAC,CAAC;IACX,CAAC;IAEO,OAAO;QACb,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACxD,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,QAAQ;QACd,IAAI,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;YACnC,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACzD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,gBAAgB,CAAC,GAAa,EAAE,SAAqB;QAC3D,IAAI,IAAI,GAAG,SAAS,EAAE,CAAC;QACvB,SAAS,CAAC;YACR,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpD,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;YAC1B,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAa,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QAC1E,CAAC;IACH,CAAC;IAEO,aAAa;QACnB,OAAO,IAAI,CAAC,gBAAgB,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;IAC3E,CAAC;IACO,eAAe;QACrB,OAAO,IAAI,CAAC,gBAAgB,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IACnF,CAAC;IACO,aAAa;QACnB,OAAO,IAAI,CAAC,gBAAgB,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC;IAC7E,CAAC;IACO,mBAAmB;QACzB,OAAO,IAAI,CAAC,gBAAgB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IACzE,CAAC;IAEO,UAAU;QAChB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;QAC1C,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC;QACjD,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAClC,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;IACzE,CAAC;IAEO,YAAY;QAClB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACZ,KAAK,KAAK;gBACR,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;YACrD,KAAK,KAAK;gBACR,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;YACrD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;gBAChC,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;oBAC1C,IAAI,CAAC,IAAI,EAAE,CAAC;oBACZ,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,KAAK,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;gBAClE,CAAC;gBACD,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;oBACrB,IAAI,CAAC,IAAI,EAAE,CAAC;oBACZ,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;gBACtD,CAAC;gBACD,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;oBAAE,MAAM,IAAI,eAAe,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC7F,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC,SAAS,EAAE,CAAC;gBAC/C,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;oBACtB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;oBAClE,MAAM,IAAI,eAAe,CACvB,kBAAkB,KAAK,6EAA6E,CAAC,CAAC,GAAG,EAAE,EAC3G,CAAC,CAAC,GAAG,CACN,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;YAClD,CAAC;YACD,KAAK,IAAI;gBACP,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBAChB,IAAI,CAAC,IAAI,EAAE,CAAC;oBACZ,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;oBACzB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;oBACnB,OAAO,CAAC,CAAC;gBACX,CAAC;gBACD,MAAM,IAAI,eAAe,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YACtE,KAAK,KAAK;gBACR,MAAM,IAAI,eAAe,CAAC,mCAAmC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IAEO,SAAS;QACf,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAA4C,CAAC;QACtE,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;QACxB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAEnB,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACjE,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACtB,mBAAmB;YACnB,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;gBAC5F,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAkB,CAAC;gBACxC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;gBACZ,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAmB,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;YACxF,CAAC;YACD,IAAI,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;gBACjG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;gBACZ,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAC7E,CAAC;YACD,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7B,MAAM,OAAO,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,GAAG,IAAI,gBAAgB,CAAC;gBAC/F,MAAM,IAAI,eAAe,CACvB,aAAa,IAAI,4CAA4C,OAAO,QAAQ,CAAC,CAAC,GAAG,EAAE,EACnF,CAAC,CAAC,GAAG,CACN,CAAC;YACJ,CAAC;YACD,gDAAgD;QAClD,CAAC;QAED,MAAM,IAAI,GAAW,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACpB,SAAS,CAAC;gBACR,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC1B,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnB,IAAI,CAAC,IAAI,EAAE,CAAC;oBACZ,SAAS;gBACX,CAAC;gBACD,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACnB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC3C,CAAC;CACF;AAED,4FAA4F;AAC5F,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,MAAM,IAAI,eAAe,CAAC,oCAAoC,CAAC,CAAC;IAChG,IAAI,MAAM,CAAC,MAAM,GAAG,iBAAiB,EAAE,CAAC;QACtC,MAAM,IAAI,eAAe,CACvB,2BAA2B,MAAM,CAAC,MAAM,oBAAoB,iBAAiB,GAAG,EAChF,iBAAiB,CAClB,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,MAAM,IAAI,eAAe,CAAC,0BAA0B,EAAE,CAAC,CAAC,CAAC;IACnF,OAAO,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACjD,CAAC"}

package/dist/references.d.ts

@@ -0,0 +1,11 @@
+import type { Expr } from "./ast.js";
+export interface References {
+    fields: string[];
+    aggregates: {
+        fn: string;
+        relation: string;
+        field: string | null;
+    }[];
+}
+/** Collect the (deduplicated) scalar fields and aggregates an expression depends on. */
+export declare function references(expr: Expr): References;

package/dist/references.js

@@ -0,0 +1,42 @@
+/** Collect the (deduplicated) scalar fields and aggregates an expression depends on. */
+export function references(expr) {
+    const fields = new Set();
+    const aggKeys = new Set();
+    const aggregates = [];
+    const stack = [expr];
+    const order = [];
+    // Iterative pre-order traversal (left to right) to avoid deep recursion.
+    while (stack.length) {
+        const e = stack.pop();
+        if (typeof e !== "object" || e === null)
+            continue;
+        order.push(e);
+        switch (e.kind) {
+            case "unary":
+                stack.push(e.operand);
+                break;
+            case "binary":
+                stack.push(e.right, e.left);
+                break;
+            case "call":
+                if (Array.isArray(e.args))
+                    for (let i = e.args.length - 1; i >= 0; i--)
+                        stack.push(e.args[i]);
+                break;
+        }
+    }
+    for (const e of order) {
+        if (e.kind === "field")
+            fields.add(e.name);
+        else if (e.kind === "aggregate") {
+            const field = e.field ?? null;
+            const key = JSON.stringify([e.fn, e.relation, field]);
+            if (!aggKeys.has(key)) {
+                aggKeys.add(key);
+                aggregates.push({ fn: e.fn, relation: e.relation, field });
+            }
+        }
+    }
+    return { fields: [...fields], aggregates };
+}
+//# sourceMappingURL=references.js.map

package/dist/references.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.js","sourceRoot":"","sources":["../src/references.ts"],"names":[],"mappings":"AAOA,wFAAwF;AACxF,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,UAAU,GAA6B,EAAE,CAAC;IAChD,MAAM,KAAK,GAAW,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,yEAAyE;IACzE,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;YAAE,SAAS;QAClD,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,OAAO;gBACV,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACtB,MAAM;YACR,KAAK,QAAQ;gBACX,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC5B,MAAM;YACR,KAAK,MAAM;gBACT,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;wBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;gBAC/F,MAAM;QACV,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aACtC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC;YAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;YACtD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACjB,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC;AAC7C,CAAC"}

package/dist/typecheck.d.ts

@@ -0,0 +1,22 @@
+import type { CallExpr, Expr, ExprType } from "./ast.js";
+export interface TypeEnv {
+    /** Scalar fields of the entity. */
+    fields: Record<string, ExprType>;
+    /** One-to-many relation name -> its fields' types. */
+    relations?: Record<string, Record<string, ExprType>>;
+}
+/** Common type of two types, or null when incompatible. */
+export declare function unify(a: ExprType, b: ExprType): ExprType | null;
+interface FnSpec {
+    min: number;
+    max: number;
+    check(args: ExprType[], node: CallExpr): ExprType;
+}
+export declare const FUNCTIONS: ReadonlyMap<string, FnSpec>;
+/**
+ * Infer (and validate) the static type of an expression.
+ * Side effect: annotates every node with its `type`, which `evaluate()` then uses to pick
+ * decimal vs. number arithmetic and date handling.
+ */
+export declare function inferType(expr: Expr, env: TypeEnv): ExprType;
+export {};