septima-lang 0.0.7 → 0.0.9

package/dist/src/runtime.js

@@ -0,0 +1,351 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Runtime = void 0;
+const ast_node_1 = require("./ast-node");
+const extract_message_1 = require("./extract-message");
+const fail_me_1 = require("./fail-me");
+const should_never_happen_1 = require("./should-never-happen");
+const Stack = __importStar(require("./stack"));
+const switch_on_1 = require("./switch-on");
+const value_1 = require("./value");
+class SymbolFrame {
+    constructor(symbol, placeholder, earlier) {
+        this.symbol = symbol;
+        this.placeholder = placeholder;
+        this.earlier = earlier;
+    }
+    lookup(sym) {
+        if (this.symbol === sym) {
+            const ret = this.placeholder.destination;
+            if (ret === undefined) {
+                throw new Error(`Unresolved definition: ${this.symbol}`);
+            }
+            return ret;
+        }
+        return this.earlier.lookup(sym);
+    }
+    export() {
+        const ret = this.earlier.export();
+        ret[this.symbol] = this.placeholder.destination?.export() ?? (0, fail_me_1.failMe)(`Unbounded symbol: ${this.symbol}`);
+        return ret;
+    }
+    exportValue() {
+        const ret = this.earlier.exportValue();
+        ret[this.symbol] = this.placeholder.destination ?? (0, fail_me_1.failMe)(`Unbounded symbol: ${this.symbol}`);
+        return ret;
+    }
+}
+class EmptySymbolTable {
+    lookup(sym) {
+        throw new Error(`Symbol ${sym} was not found`);
+    }
+    export() {
+        return {};
+    }
+    exportValue() {
+        return {};
+    }
+}
+class Runtime {
+    constructor(root, verbosity = 'quiet', preimports, getAstOf, args) {
+        this.root = root;
+        this.verbosity = verbosity;
+        this.preimports = preimports;
+        this.getAstOf = getAstOf;
+        this.args = args;
+        this.stack = undefined;
+    }
+    buildInitialSymbolTable(generateTheArgsObject) {
+        const empty = new EmptySymbolTable();
+        const keys = value_1.Value.foreign(o => o.keys());
+        const entries = value_1.Value.foreign(o => o.entries());
+        const fromEntries = value_1.Value.foreign(o => o.fromEntries());
+        let lib = new SymbolFrame('Object', { destination: value_1.Value.obj({ keys, entries, fromEntries }) }, empty);
+        if (generateTheArgsObject) {
+            lib = new SymbolFrame('args', { destination: value_1.Value.from(this.args) }, lib);
+        }
+        for (const [importName, importValue] of Object.entries(this.preimports)) {
+            lib = new SymbolFrame(importName, { destination: importValue }, lib);
+        }
+        return lib;
+    }
+    compute() {
+        try {
+            const value = this.evalNode(this.root, this.buildInitialSymbolTable(true));
+            return { value };
+        }
+        catch (e) {
+            const trace = [];
+            for (let curr = this.stack; curr; curr = curr?.next) {
+                trace.push(curr.ast);
+            }
+            return {
+                expressionTrace: trace,
+                errorMessage: (0, extract_message_1.extractMessage)(e),
+                // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+                stack: e.stack,
+            };
+        }
+    }
+    evalNode(ast, table) {
+        this.stack = Stack.push(ast, this.stack);
+        let ret = this.evalNodeImpl(ast, table);
+        if (ret.isSink() && !ret.span()) {
+            ret = ret.bindToSpan((0, ast_node_1.span)(ast));
+        }
+        (0, switch_on_1.switchOn)(this.verbosity, {
+            quiet: () => { },
+            trace: () => {
+                // eslint-disable-next-line no-console
+                console.log(`output of <|${(0, ast_node_1.show)(ast)}|> is ${JSON.stringify(ret)}  // ${ast.tag}`);
+            },
+        });
+        this.stack = Stack.pop(this.stack);
+        return ret;
+    }
+    importDefinitions(pathToImportFrom) {
+        const ast = this.getAstOf(pathToImportFrom);
+        const exp = ast.expression;
+        const imports = ast.imports;
+        if (exp.tag === 'arrayLiteral' ||
+            exp.tag === 'binaryOperator' ||
+            exp.tag === 'dot' ||
+            exp.tag === 'export*' ||
+            exp.tag === 'functionCall' ||
+            exp.tag === 'ident' ||
+            exp.tag === 'if' ||
+            exp.tag === 'ternary' ||
+            exp.tag === 'indexAccess' ||
+            exp.tag === 'lambda' ||
+            exp.tag === 'literal' ||
+            exp.tag === 'objectLiteral' ||
+            exp.tag === 'unaryOperator' ||
+            exp.tag === 'unit') {
+            // TODO(imaman): throw an error on non-exporting unit?
+            return value_1.Value.obj({});
+        }
+        if (exp.tag === 'topLevelExpression') {
+            const unit = {
+                tag: 'unit',
+                imports,
+                expression: { tag: 'topLevelExpression', definitions: exp.definitions, computation: { tag: 'export*' } },
+            };
+            return this.evalNode(unit, this.buildInitialSymbolTable(false));
+        }
+        (0, should_never_happen_1.shouldNeverHappen)(exp);
+    }
+    evalNodeImpl(ast, table) {
+        if (ast.tag === 'unit') {
+            let newTable = table;
+            for (const imp of ast.imports) {
+                const o = this.importDefinitions(imp.pathToImportFrom.text);
+                newTable = new SymbolFrame(imp.ident.t.text, { destination: o }, newTable);
+            }
+            return this.evalNode(ast.expression, newTable);
+        }
+        if (ast.tag === 'topLevelExpression') {
+            let newTable = table;
+            for (const def of ast.definitions) {
+                const name = def.ident.t.text;
+                const placeholder = { destination: undefined };
+                newTable = new SymbolFrame(name, placeholder, newTable);
+                const v = this.evalNode(def.value, newTable);
+                placeholder.destination = v;
+            }
+            if (ast.computation) {
+                return this.evalNode(ast.computation, newTable);
+            }
+            return value_1.Value.str('');
+        }
+        if (ast.tag === 'export*') {
+            return value_1.Value.obj(table.exportValue());
+        }
+        if (ast.tag === 'binaryOperator') {
+            const lhs = this.evalNode(ast.lhs, table);
+            if (ast.operator === '||') {
+                return lhs.or(() => this.evalNode(ast.rhs, table));
+            }
+            if (ast.operator === '&&') {
+                return lhs.and(() => this.evalNode(ast.rhs, table));
+            }
+            if (ast.operator === '??') {
+                return lhs.unsink(() => this.evalNode(ast.rhs, table));
+            }
+            const rhs = this.evalNode(ast.rhs, table);
+            if (ast.operator === '!=') {
+                return lhs.equalsTo(rhs).not();
+            }
+            if (ast.operator === '==') {
+                return lhs.equalsTo(rhs);
+            }
+            if (ast.operator === '<=') {
+                const comp = lhs.order(rhs);
+                return comp.isToZero('<=');
+            }
+            if (ast.operator === '<') {
+                const comp = lhs.order(rhs);
+                return comp.isToZero('<');
+            }
+            if (ast.operator === '>=') {
+                const comp = lhs.order(rhs);
+                return comp.isToZero('>=');
+            }
+            if (ast.operator === '>') {
+                const comp = lhs.order(rhs);
+                return comp.isToZero('>');
+            }
+            if (ast.operator === '%') {
+                return lhs.modulo(rhs);
+            }
+            if (ast.operator === '*') {
+                return lhs.times(rhs);
+            }
+            if (ast.operator === '**') {
+                return lhs.power(rhs);
+            }
+            if (ast.operator === '+') {
+                return lhs.plus(rhs);
+            }
+            if (ast.operator === '-') {
+                return lhs.minus(rhs);
+            }
+            if (ast.operator === '/') {
+                return lhs.over(rhs);
+            }
+            (0, should_never_happen_1.shouldNeverHappen)(ast.operator);
+        }
+        if (ast.tag === 'unaryOperator') {
+            const operand = this.evalNode(ast.operand, table);
+            if (ast.operator === '!') {
+                return operand.not();
+            }
+            if (ast.operator === '+') {
+                // We intentionally do <0 + operand> instead of just <operand>. This is due to type-checking: the latter will
+                // evaluate to the operand as-is, making expression such as `+true` dynamically valid (which is not the desired
+                // behavior)
+                return value_1.Value.num(0).plus(operand);
+            }
+            if (ast.operator === '-') {
+                return operand.negate();
+            }
+            (0, should_never_happen_1.shouldNeverHappen)(ast.operator);
+        }
+        if (ast.tag === 'ident') {
+            return table.lookup(ast.t.text);
+        }
+        if (ast.tag === 'literal') {
+            if (ast.type === 'bool') {
+                // TODO(imaman): stricter checking of 'false'
+                return value_1.Value.bool(ast.t.text === 'true' ? true : false);
+            }
+            if (ast.type === 'num') {
+                return value_1.Value.num(Number(ast.t.text));
+            }
+            if (ast.type === 'sink!!') {
+                return value_1.Value.sink(undefined, this.stack, table);
+            }
+            if (ast.type === 'sink!') {
+                return value_1.Value.sink(undefined, this.stack);
+            }
+            if (ast.type === 'sink') {
+                return value_1.Value.sink();
+            }
+            if (ast.type === 'str') {
+                return value_1.Value.str(ast.t.text);
+            }
+            (0, should_never_happen_1.shouldNeverHappen)(ast.type);
+        }
+        if (ast.tag === 'arrayLiteral') {
+            const arr = [];
+            for (const curr of ast.parts) {
+                if (curr.tag === 'element') {
+                    arr.push(this.evalNode(curr.v, table));
+                }
+                else if (curr.tag === 'spread') {
+                    const v = this.evalNode(curr.v, table);
+                    arr.push(...v.assertArr());
+                }
+                else {
+                    (0, should_never_happen_1.shouldNeverHappen)(curr);
+                }
+            }
+            return value_1.Value.arr(arr);
+        }
+        if (ast.tag === 'objectLiteral') {
+            const entries = ast.parts.flatMap(at => {
+                if (at.tag === 'hardName') {
+                    return [[at.k.t.text, this.evalNode(at.v, table)]];
+                }
+                if (at.tag === 'computedName') {
+                    return [[this.evalNode(at.k, table).assertStr(), this.evalNode(at.v, table)]];
+                }
+                if (at.tag === 'spread') {
+                    const o = this.evalNode(at.o, table);
+                    return Object.entries(o.assertObj());
+                }
+                (0, should_never_happen_1.shouldNeverHappen)(at);
+            });
+            // TODO(imaman): verify type of all keys (strings, maybe also numbers)
+            return value_1.Value.obj(Object.fromEntries(entries));
+        }
+        if (ast.tag === 'lambda') {
+            return value_1.Value.lambda(ast, table);
+        }
+        if (ast.tag === 'functionCall') {
+            const argValues = ast.actualArgs.map(a => this.evalNode(a, table));
+            const callee = this.evalNode(ast.callee, table);
+            return this.call(callee, argValues);
+        }
+        if (ast.tag === 'if' || ast.tag === 'ternary') {
+            const c = this.evalNode(ast.condition, table);
+            return c.ifElse(() => this.evalNode(ast.positive, table), () => this.evalNode(ast.negative, table));
+        }
+        if (ast.tag === 'dot') {
+            const rec = this.evalNode(ast.receiver, table);
+            if (rec === undefined || rec === null) {
+                throw new Error(`Cannot access attribute .${ast.ident.t.text} of ${rec}`);
+            }
+            return rec.access(ast.ident.t.text, (callee, args) => this.call(callee, args));
+        }
+        if (ast.tag === 'indexAccess') {
+            const rec = this.evalNode(ast.receiver, table);
+            const index = this.evalNode(ast.index, table);
+            return rec.access(index, (callee, args) => this.call(callee, args));
+        }
+        (0, should_never_happen_1.shouldNeverHappen)(ast);
+    }
+    call(callee, argValues) {
+        return callee.call(argValues, (names, body, lambdaTable) => {
+            if (names.length > argValues.length) {
+                throw new Error(`Arg list length mismatch: expected ${names.length} but got ${argValues.length}`);
+            }
+            const newTable = names.reduce((t, n, i) => new SymbolFrame(n, { destination: argValues[i] }, t), lambdaTable);
+            return this.evalNode(body, newTable);
+        });
+    }
+}
+exports.Runtime = Runtime;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicnVudGltZS5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ydW50aW1lLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBQUEseUNBQXNEO0FBQ3RELHVEQUFrRDtBQUNsRCx1Q0FBa0M7QUFDbEMsK0RBQXlEO0FBQ3pELCtDQUFnQztBQUNoQywyQ0FBc0M7QUFFdEMsbUNBQStCO0FBTS9CLE1BQU0sV0FBVztJQUNmLFlBQXFCLE1BQWMsRUFBVyxXQUF3QixFQUFtQixPQUFvQjtRQUF4RixXQUFNLEdBQU4sTUFBTSxDQUFRO1FBQVcsZ0JBQVcsR0FBWCxXQUFXLENBQWE7UUFBbUIsWUFBTyxHQUFQLE9BQU8sQ0FBYTtJQUFHLENBQUM7SUFFakgsTUFBTSxDQUFDLEdBQVc7UUFDaEIsSUFBSSxJQUFJLENBQUMsTUFBTSxLQUFLLEdBQUcsRUFBRTtZQUN2QixNQUFNLEdBQUcsR0FBRyxJQUFJLENBQUMsV0FBVyxDQUFDLFdBQVcsQ0FBQTtZQUN4QyxJQUFJLEdBQUcsS0FBSyxTQUFTLEVBQUU7Z0JBQ3JCLE1BQU0sSUFBSSxLQUFLLENBQUMsMEJBQTBCLElBQUksQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFBO2FBQ3pEO1lBQ0QsT0FBTyxHQUFHLENBQUE7U0FDWDtRQUVELE9BQU8sSUFBSSxDQUFDLE9BQU8sQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUE7SUFDakMsQ0FBQztJQUVELE1BQU07UUFDSixNQUFNLEdBQUcsR0FBRyxJQUFJLENBQUMsT0FBTyxDQUFDLE1BQU0sRUFBRSxDQUFBO1FBQ2pDLEdBQUcsQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLEdBQUcsSUFBSSxDQUFDLFdBQVcsQ0FBQyxXQUFXLEVBQUUsTUFBTSxFQUFFLElBQUksSUFBQSxnQkFBTSxFQUFDLHFCQUFxQixJQUFJLENBQUMsTUFBTSxFQUFFLENBQUMsQ0FBQTtRQUN2RyxPQUFPLEdBQUcsQ0FBQTtJQUNaLENBQUM7SUFFRCxXQUFXO1FBQ1QsTUFBTSxHQUFHLEdBQUcsSUFBSSxDQUFDLE9BQU8sQ0FBQyxXQUFXLEVBQUUsQ0FBQTtRQUN0QyxHQUFHLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxHQUFHLElBQUksQ0FBQyxXQUFXLENBQUMsV0FBVyxJQUFJLElBQUEsZ0JBQU0sRUFBQyxxQkFBcUIsSUFBSSxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUE7UUFDN0YsT0FBTyxHQUFHLENBQUE7SUFDWixDQUFDO0NBQ0Y7QUFFRCxNQUFNLGdCQUFnQjtJQUNwQixNQUFNLENBQUMsR0FBVztRQUNoQixNQUFNLElBQUksS0FBSyxDQUFDLFVBQVUsR0FBRyxnQkFBZ0IsQ0FBQyxDQUFBO0lBQ2hELENBQUM7SUFFRCxNQUFNO1FBQ0osT0FBTyxFQUFFLENBQUE7SUFDWCxDQUFDO0lBRUQsV0FBVztRQUNULE9BQU8sRUFBRSxDQUFBO0lBQ1gsQ0FBQztDQUNGO0FBSUQsTUFBYSxPQUFPO0lBRWxCLFlBQ21CLElBQWEsRUFDYixZQUF1QixPQUFPLEVBQzlCLFVBQWlDLEVBQ2pDLFFBQW9DLEVBQ3BDLElBQTZCO1FBSjdCLFNBQUksR0FBSixJQUFJLENBQVM7UUFDYixjQUFTLEdBQVQsU0FBUyxDQUFxQjtRQUM5QixlQUFVLEdBQVYsVUFBVSxDQUF1QjtRQUNqQyxhQUFRLEdBQVIsUUFBUSxDQUE0QjtRQUNwQyxTQUFJLEdBQUosSUFBSSxDQUF5QjtRQU54QyxVQUFLLEdBQVksU0FBUyxDQUFBO0lBTy9CLENBQUM7SUFFSSx1QkFBdUIsQ0FBQyxxQkFBOEI7UUFDNUQsTUFBTSxLQUFLLEdBQUcsSUFBSSxnQkFBZ0IsRUFBRSxDQUFBO1FBRXBDLE1BQU0sSUFBSSxHQUFHLGFBQUssQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsSUFBSSxFQUFFLENBQUMsQ0FBQTtRQUN6QyxNQUFNLE9BQU8sR0FBRyxhQUFLLENBQUMsT0FBTyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBQUE7UUFDL0MsTUFBTSxXQUFXLEdBQUcsYUFBSyxDQUFDLE9BQU8sQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxXQUFXLEVBQUUsQ0FBQyxDQUFBO1FBQ3ZELElBQUksR0FBRyxHQUFHLElBQUksV0FBVyxDQUFDLFFBQVEsRUFBRSxFQUFFLFdBQVcsRUFBRSxhQUFLLENBQUMsR0FBRyxDQUFDLEVBQUUsSUFBSSxFQUFFLE9BQU8sRUFBRSxXQUFXLEVBQUUsQ0FBQyxFQUFFLEVBQUUsS0FBSyxDQUFDLENBQUE7UUFFdEcsSUFBSSxxQkFBcUIsRUFBRTtZQUN6QixHQUFHLEdBQUcsSUFBSSxXQUFXLENBQUMsTUFBTSxFQUFFLEVBQUUsV0FBVyxFQUFFLGFBQUssQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxFQUFFLEVBQUUsR0FBRyxDQUFDLENBQUE7U0FDM0U7UUFFRCxLQUFLLE1BQU0sQ0FBQyxVQUFVLEVBQUUsV0FBVyxDQUFDLElBQUksTUFBTSxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsVUFBVSxDQUFDLEVBQUU7WUFDdkUsR0FBRyxHQUFHLElBQUksV0FBVyxDQUFDLFVBQVUsRUFBRSxFQUFFLFdBQVcsRUFBRSxXQUFXLEVBQUUsRUFBRSxHQUFHLENBQUMsQ0FBQTtTQUNyRTtRQUNELE9BQU8sR0FBRyxDQUFBO0lBQ1osQ0FBQztJQUVELE9BQU87UUFDTCxJQUFJO1lBQ0YsTUFBTSxLQUFLLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsSUFBSSxFQUFFLElBQUksQ0FBQyx1QkFBdUIsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFBO1lBQzFFLE9BQU8sRUFBRSxLQUFLLEVBQUUsQ0FBQTtTQUNqQjtRQUFDLE9BQU8sQ0FBQyxFQUFFO1lBQ1YsTUFBTSxLQUFLLEdBQWMsRUFBRSxDQUFBO1lBQzNCLEtBQUssSUFBSSxJQUFJLEdBQUcsSUFBSSxDQUFDLEtBQUssRUFBRSxJQUFJLEVBQUUsSUFBSSxHQUFHLElBQUksRUFBRSxJQUFJLEVBQUU7Z0JBQ25ELEtBQUssQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFBO2FBQ3JCO1lBQ0QsT0FBTztnQkFDTCxlQUFlLEVBQUUsS0FBSztnQkFDdEIsWUFBWSxFQUFFLElBQUEsZ0NBQWMsRUFBQyxDQUFDLENBQUM7Z0JBQy9CLHlFQUF5RTtnQkFDekUsS0FBSyxFQUFHLENBQTBCLENBQUMsS0FBSzthQUN6QyxDQUFBO1NBQ0Y7SUFDSCxDQUFDO0lBRU8sUUFBUSxDQUFDLEdBQVksRUFBRSxLQUFrQjtRQUMvQyxJQUFJLENBQUMsS0FBSyxHQUFHLEtBQUssQ0FBQyxJQUFJLENBQUMsR0FBRyxFQUFFLElBQUksQ0FBQyxLQUFLLENBQUMsQ0FBQTtRQUN4QyxJQUFJLEdBQUcsR0FBRyxJQUFJLENBQUMsWUFBWSxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUMsQ0FBQTtRQUN2QyxJQUFJLEdBQUcsQ0FBQyxNQUFNLEVBQUUsSUFBSSxDQUFDLEdBQUcsQ0FBQyxJQUFJLEVBQUUsRUFBRTtZQUMvQixHQUFHLEdBQUcsR0FBRyxDQUFDLFVBQVUsQ0FBQyxJQUFBLGVBQUksRUFBQyxHQUFHLENBQUMsQ0FBQyxDQUFBO1NBQ2hDO1FBQ0QsSUFBQSxvQkFBUSxFQUFDLElBQUksQ0FBQyxTQUFTLEVBQUU7WUFDdkIsS0FBSyxFQUFFLEdBQUcsRUFBRSxHQUFFLENBQUM7WUFDZixLQUFLLEVBQUUsR0FBRyxFQUFFO2dCQUNWLHNDQUFzQztnQkFDdEMsT0FBTyxDQUFDLEdBQUcsQ0FBQyxlQUFlLElBQUEsZUFBSSxFQUFDLEdBQUcsQ0FBQyxTQUFTLElBQUksQ0FBQyxTQUFTLENBQUMsR0FBRyxDQUFDLFFBQVEsR0FBRyxDQUFDLEdBQUcsRUFBRSxDQUFDLENBQUE7WUFDcEYsQ0FBQztTQUNGLENBQUMsQ0FBQTtRQUNGLElBQUksQ0FBQyxLQUFLLEdBQUcsS0FBSyxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUE7UUFDbEMsT0FBTyxHQUFHLENBQUE7SUFDWixDQUFDO0lBRU8saUJBQWlCLENBQUMsZ0JBQXdCO1FBQ2hELE1BQU0sR0FBRyxHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsZ0JBQWdCLENBQUMsQ0FBQTtRQUMzQyxNQUFNLEdBQUcsR0FBRyxHQUFHLENBQUMsVUFBVSxDQUFBO1FBQzFCLE1BQU0sT0FBTyxHQUFHLEdBQUcsQ0FBQyxPQUFPLENBQUE7UUFDM0IsSUFDRSxHQUFHLENBQUMsR0FBRyxLQUFLLGNBQWM7WUFDMUIsR0FBRyxDQUFDLEdBQUcsS0FBSyxnQkFBZ0I7WUFDNUIsR0FBRyxDQUFDLEdBQUcsS0FBSyxLQUFLO1lBQ2pCLEdBQUcsQ0FBQyxHQUFHLEtBQUssU0FBUztZQUNyQixHQUFHLENBQUMsR0FBRyxLQUFLLGNBQWM7WUFDMUIsR0FBRyxDQUFDLEdBQUcsS0FBSyxPQUFPO1lBQ25CLEdBQUcsQ0FBQyxHQUFHLEtBQUssSUFBSTtZQUNoQixHQUFHLENBQUMsR0FBRyxLQUFLLFNBQVM7WUFDckIsR0FBRyxDQUFDLEdBQUcsS0FBSyxhQUFhO1lBQ3pCLEdBQUcsQ0FBQyxHQUFHLEtBQUssUUFBUTtZQUNwQixHQUFHLENBQUMsR0FBRyxLQUFLLFNBQVM7WUFDckIsR0FBRyxDQUFDLEdBQUcsS0FBSyxlQUFlO1lBQzNCLEdBQUcsQ0FBQyxHQUFHLEtBQUssZUFBZTtZQUMzQixHQUFHLENBQUMsR0FBRyxLQUFLLE1BQU0sRUFDbEI7WUFDQSxzREFBc0Q7WUFDdEQsT0FBTyxhQUFLLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxDQUFBO1NBQ3JCO1FBRUQsSUFBSSxHQUFHLENBQUMsR0FBRyxLQUFLLG9CQUFvQixFQUFFO1lBQ3BDLE1BQU0sSUFBSSxHQUFZO2dCQUNwQixHQUFHLEVBQUUsTUFBTTtnQkFDWCxPQUFPO2dCQUNQLFVBQVUsRUFBRSxFQUFFLEdBQUcsRUFBRSxvQkFBb0IsRUFBRSxXQUFXLEVBQUUsR0FBRyxDQUFDLFdBQVcsRUFBRSxXQUFXLEVBQUUsRUFBRSxHQUFHLEVBQUUsU0FBUyxFQUFFLEVBQUU7YUFDekcsQ0FBQTtZQUNELE9BQU8sSUFBSSxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsSUFBSSxDQUFDLHVCQUF1QixDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUE7U0FDaEU7UUFFRCxJQUFBLHVDQUFpQixFQUFDLEdBQUcsQ0FBQyxDQUFBO0lBQ3hCLENBQUM7SUFFTyxZQUFZLENBQUMsR0FBWSxFQUFFLEtBQWtCO1FBQ25ELElBQUksR0FBRyxDQUFDLEdBQUcsS0FBSyxNQUFNLEVBQUU7WUFDdEIsSUFBSSxRQUFRLEdBQUcsS0FBSyxDQUFBO1lBQ3BCLEtBQUssTUFBTSxHQUFHLElBQUksR0FBRyxDQUFDLE9BQU8sRUFBRTtnQkFDN0IsTUFBTSxDQUFDLEdBQUcsSUFBSSxDQUFDLGlCQUFpQixDQUFDLEdBQUcsQ0FBQyxnQkFBZ0IsQ0FBQyxJQUFJLENBQUMsQ0FBQTtnQkFDM0QsUUFBUSxHQUFHLElBQUksV0FBVyxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLElBQUksRUFBRSxFQUFFLFdBQVcsRUFBRSxDQUFDLEVBQUUsRUFBRSxRQUFRLENBQUMsQ0FBQTthQUMzRTtZQUNELE9BQU8sSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsVUFBVSxFQUFFLFFBQVEsQ0FBQyxDQUFBO1NBQy9DO1FBQ0QsSUFBSSxHQUFHLENBQUMsR0FBRyxLQUFLLG9CQUFvQixFQUFFO1lBQ3BDLElBQUksUUFBUSxHQUFHLEtBQUssQ0FBQTtZQUNwQixLQUFLLE1BQU0sR0FBRyxJQUFJLEdBQUcsQ0FBQyxXQUFXLEVBQUU7Z0JBQ2pDLE1BQU0sSUFBSSxHQUFHLEdBQUcsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLElBQUksQ0FBQTtnQkFDN0IsTUFBTSxXQUFXLEdBQWdCLEVBQUUsV0FBVyxFQUFFLFNBQVMsRUFBRSxDQUFBO2dCQUMzRCxRQUFRLEdBQUcsSUFBSSxXQUFXLENBQUMsSUFBSSxFQUFFLFdBQVcsRUFBRSxRQUFRLENBQUMsQ0FBQTtnQkFDdkQsTUFBTSxDQUFDLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsS0FBSyxFQUFFLFFBQVEsQ0FBQyxDQUFBO2dCQUM1QyxXQUFXLENBQUMsV0FBVyxHQUFHLENBQUMsQ0FBQTthQUM1QjtZQUVELElBQUksR0FBRyxDQUFDLFdBQVcsRUFBRTtnQkFDbkIsT0FBTyxJQUFJLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxXQUFXLEVBQUUsUUFBUSxDQUFDLENBQUE7YUFDaEQ7WUFFRCxPQUFPLGFBQUssQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLENBQUE7U0FDckI7UUFFRCxJQUFJLEdBQUcsQ0FBQyxHQUFHLEtBQUssU0FBUyxFQUFFO1lBQ3pCLE9BQU8sYUFBSyxDQUFDLEdBQUcsQ0FBQyxLQUFLLENBQUMsV0FBVyxFQUFFLENBQUMsQ0FBQTtTQUN0QztRQUVELElBQUksR0FBRyxDQUFDLEdBQUcsS0FBSyxnQkFBZ0IsRUFBRTtZQUNoQyxNQUFNLEdBQUcsR0FBRyxJQUFJLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxHQUFHLEVBQUUsS0FBSyxDQUFDLENBQUE7WUFDekMsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLElBQUksRUFBRTtnQkFDekIsT0FBTyxHQUFHLENBQUMsRUFBRSxDQUFDLEdBQUcsRUFBRSxDQUFDLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFBO2FBQ25EO1lBQ0QsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLElBQUksRUFBRTtnQkFDekIsT0FBTyxHQUFHLENBQUMsR0FBRyxDQUFDLEdBQUcsRUFBRSxDQUFDLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFBO2FBQ3BEO1lBRUQsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLElBQUksRUFBRTtnQkFDekIsT0FBTyxHQUFHLENBQUMsTUFBTSxDQUFDLEdBQUcsRUFBRSxDQUFDLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFBO2FBQ3ZEO1lBRUQsTUFBTSxHQUFHLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsR0FBRyxFQUFFLEtBQUssQ0FBQyxDQUFBO1lBQ3pDLElBQUksR0FBRyxDQUFDLFFBQVEsS0FBSyxJQUFJLEVBQUU7Z0JBQ3pCLE9BQU8sR0FBRyxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsQ0FBQyxHQUFHLEVBQUUsQ0FBQTthQUMvQjtZQUNELElBQUksR0FBRyxDQUFDLFFBQVEsS0FBSyxJQUFJLEVBQUU7Z0JBQ3pCLE9BQU8sR0FBRyxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsQ0FBQTthQUN6QjtZQUVELElBQUksR0FBRyxDQUFDLFFBQVEsS0FBSyxJQUFJLEVBQUU7Z0JBQ3pCLE1BQU0sSUFBSSxHQUFHLEdBQUcsQ0FBQyxLQUFLLENBQUMsR0FBRyxDQUFDLENBQUE7Z0JBQzNCLE9BQU8sSUFBSSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQTthQUMzQjtZQUNELElBQUksR0FBRyxDQUFDLFFBQVEsS0FBSyxHQUFHLEVBQUU7Z0JBQ3hCLE1BQU0sSUFBSSxHQUFHLEdBQUcsQ0FBQyxLQUFLLENBQUMsR0FBRyxDQUFDLENBQUE7Z0JBQzNCLE9BQU8sSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsQ0FBQTthQUMxQjtZQUNELElBQUksR0FBRyxDQUFDLFFBQVEsS0FBSyxJQUFJLEVBQUU7Z0JBQ3pCLE1BQU0sSUFBSSxHQUFHLEdBQUcsQ0FBQyxLQUFLLENBQUMsR0FBRyxDQUFDLENBQUE7Z0JBQzNCLE9BQU8sSUFBSSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQTthQUMzQjtZQUNELElBQUksR0FBRyxDQUFDLFFBQVEsS0FBSyxHQUFHLEVBQUU7Z0JBQ3hCLE1BQU0sSUFBSSxHQUFHLEdBQUcsQ0FBQyxLQUFLLENBQUMsR0FBRyxDQUFDLENBQUE7Z0JBQzNCLE9BQU8sSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsQ0FBQTthQUMxQjtZQUNELElBQUksR0FBRyxDQUFDLFFBQVEsS0FBSyxHQUFHLEVBQUU7Z0JBQ3hCLE9BQU8sR0FBRyxDQUFDLE1BQU0sQ0FBQyxHQUFHLENBQUMsQ0FBQTthQUN2QjtZQUNELElBQUksR0FBRyxDQUFDLFFBQVEsS0FBSyxHQUFHLEVBQUU7Z0JBQ3hCLE9BQU8sR0FBRyxDQUFDLEtBQUssQ0FBQyxHQUFHLENBQUMsQ0FBQTthQUN0QjtZQUNELElBQUksR0FBRyxDQUFDLFFBQVEsS0FBSyxJQUFJLEVBQUU7Z0JBQ3pCLE9BQU8sR0FBRyxDQUFDLEtBQUssQ0FBQyxHQUFHLENBQUMsQ0FBQTthQUN0QjtZQUNELElBQUksR0FBRyxDQUFDLFFBQVEsS0FBSyxHQUFHLEVBQUU7Z0JBQ3hCLE9BQU8sR0FBRyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQTthQUNyQjtZQUNELElBQUksR0FBRyxDQUFDLFFBQVEsS0FBSyxHQUFHLEVBQUU7Z0JBQ3hCLE9BQU8sR0FBRyxDQUFDLEtBQUssQ0FBQyxHQUFHLENBQUMsQ0FBQTthQUN0QjtZQUNELElBQUksR0FBRyxDQUFDLFFBQVEsS0FBSyxHQUFHLEVBQUU7Z0JBQ3hCLE9BQU8sR0FBRyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQTthQUNyQjtZQUVELElBQUEsdUNBQWlCLEVBQUMsR0FBRyxDQUFDLFFBQVEsQ0FBQyxDQUFBO1NBQ2hDO1FBRUQsSUFBSSxHQUFHLENBQUMsR0FBRyxLQUFLLGVBQWUsRUFBRTtZQUMvQixNQUFNLE9BQU8sR0FBRyxJQUFJLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxPQUFPLEVBQUUsS0FBSyxDQUFDLENBQUE7WUFDakQsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLEdBQUcsRUFBRTtnQkFDeEIsT0FBTyxPQUFPLENBQUMsR0FBRyxFQUFFLENBQUE7YUFDckI7WUFDRCxJQUFJLEdBQUcsQ0FBQyxRQUFRLEtBQUssR0FBRyxFQUFFO2dCQUN4Qiw2R0FBNkc7Z0JBQzdHLCtHQUErRztnQkFDL0csWUFBWTtnQkFDWixPQUFPLGFBQUssQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLE9BQU8sQ0FBQyxDQUFBO2FBQ2xDO1lBQ0QsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLEdBQUcsRUFBRTtnQkFDeEIsT0FBTyxPQUFPLENBQUMsTUFBTSxFQUFFLENBQUE7YUFDeEI7WUFFRCxJQUFBLHVDQUFpQixFQUFDLEdBQUcsQ0FBQyxRQUFRLENBQUMsQ0FBQTtTQUNoQztRQUNELElBQUksR0FBRyxDQUFDLEdBQUcsS0FBSyxPQUFPLEVBQUU7WUFDdkIsT0FBTyxLQUFLLENBQUMsTUFBTSxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLENBQUE7U0FDaEM7UUFDRCxJQUFJLEdBQUcsQ0FBQyxHQUFHLEtBQUssU0FBUyxFQUFFO1lBQ3pCLElBQUksR0FBRyxDQUFDLElBQUksS0FBSyxNQUFNLEVBQUU7Z0JBQ3ZCLDZDQUE2QztnQkFDN0MsT0FBTyxhQUFLLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsSUFBSSxLQUFLLE1BQU0sQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsQ0FBQTthQUN4RDtZQUNELElBQUksR0FBRyxDQUFDLElBQUksS0FBSyxLQUFLLEVBQUU7Z0JBQ3RCLE9BQU8sYUFBSyxDQUFDLEdBQUcsQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFBO2FBQ3JDO1lBQ0QsSUFBSSxHQUFHLENBQUMsSUFBSSxLQUFLLFFBQVEsRUFBRTtnQkFDekIsT0FBTyxhQUFLLENBQUMsSUFBSSxDQUFDLFNBQVMsRUFBRSxJQUFJLENBQUMsS0FBSyxFQUFFLEtBQUssQ0FBQyxDQUFBO2FBQ2hEO1lBQ0QsSUFBSSxHQUFHLENBQUMsSUFBSSxLQUFLLE9BQU8sRUFBRTtnQkFDeEIsT0FBTyxhQUFLLENBQUMsSUFBSSxDQUFDLFNBQVMsRUFBRSxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUE7YUFDekM7WUFDRCxJQUFJLEdBQUcsQ0FBQyxJQUFJLEtBQUssTUFBTSxFQUFFO2dCQUN2QixPQUFPLGFBQUssQ0FBQyxJQUFJLEVBQUUsQ0FBQTthQUNwQjtZQUNELElBQUksR0FBRyxDQUFDLElBQUksS0FBSyxLQUFLLEVBQUU7Z0JBQ3RCLE9BQU8sYUFBSyxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLElBQUksQ0FBQyxDQUFBO2FBQzdCO1lBQ0QsSUFBQSx1Q0FBaUIsRUFBQyxHQUFHLENBQUMsSUFBSSxDQUFDLENBQUE7U0FDNUI7UUFFRCxJQUFJLEdBQUcsQ0FBQyxHQUFHLEtBQUssY0FBYyxFQUFFO1lBQzlCLE1BQU0sR0FBRyxHQUFZLEVBQUUsQ0FBQTtZQUN2QixLQUFLLE1BQU0sSUFBSSxJQUFJLEdBQUcsQ0FBQyxLQUFLLEVBQUU7Z0JBQzVCLElBQUksSUFBSSxDQUFDLEdBQUcsS0FBSyxTQUFTLEVBQUU7b0JBQzFCLEdBQUcsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQyxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUE7aUJBQ3ZDO3FCQUFNLElBQUksSUFBSSxDQUFDLEdBQUcsS0FBSyxRQUFRLEVBQUU7b0JBQ2hDLE1BQU0sQ0FBQyxHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsSUFBSSxDQUFDLENBQUMsRUFBRSxLQUFLLENBQUMsQ0FBQTtvQkFDdEMsR0FBRyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQyxTQUFTLEVBQUUsQ0FBQyxDQUFBO2lCQUMzQjtxQkFBTTtvQkFDTCxJQUFBLHVDQUFpQixFQUFDLElBQUksQ0FBQyxDQUFBO2lCQUN4QjthQUNGO1lBRUQsT0FBTyxhQUFLLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxDQUFBO1NBQ3RCO1FBRUQsSUFBSSxHQUFHLENBQUMsR0FBRyxLQUFLLGVBQWUsRUFBRTtZQUMvQixNQUFNLE9BQU8sR0FBc0IsR0FBRyxDQUFDLEtBQUssQ0FBQyxPQUFPLENBQUMsRUFBRSxDQUFDLEVBQUU7Z0JBQ3hELElBQUksRUFBRSxDQUFDLEdBQUcsS0FBSyxVQUFVLEVBQUU7b0JBQ3pCLE9BQU8sQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLElBQUksRUFBRSxJQUFJLENBQUMsUUFBUSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFBO2lCQUNuRDtnQkFDRCxJQUFJLEVBQUUsQ0FBQyxHQUFHLEtBQUssY0FBYyxFQUFFO29CQUM3QixPQUFPLENBQUMsQ0FBQyxJQUFJLENBQUMsUUFBUSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsS0FBSyxDQUFDLENBQUMsU0FBUyxFQUFFLEVBQUUsSUFBSSxDQUFDLFFBQVEsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQTtpQkFDOUU7Z0JBQ0QsSUFBSSxFQUFFLENBQUMsR0FBRyxLQUFLLFFBQVEsRUFBRTtvQkFDdkIsTUFBTSxDQUFDLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUFFLEtBQUssQ0FBQyxDQUFBO29CQUNwQyxPQUFPLE1BQU0sQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDLFNBQVMsRUFBRSxDQUFDLENBQUE7aUJBQ3JDO2dCQUVELElBQUEsdUNBQWlCLEVBQUMsRUFBRSxDQUFDLENBQUE7WUFDdkIsQ0FBQyxDQUFDLENBQUE7WUFFRixzRUFBc0U7WUFDdEUsT0FBTyxhQUFLLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBQyxXQUFXLENBQUMsT0FBTyxDQUFDLENBQUMsQ0FBQTtTQUM5QztRQUVELElBQUksR0FBRyxDQUFDLEdBQUcsS0FBSyxRQUFRLEVBQUU7WUFDeEIsT0FBTyxhQUFLLENBQUMsTUFBTSxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUMsQ0FBQTtTQUNoQztRQUVELElBQUksR0FBRyxDQUFDLEdBQUcsS0FBSyxjQUFjLEVBQUU7WUFDOUIsTUFBTSxTQUFTLEdBQUcsR0FBRyxDQUFDLFVBQVUsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUMsUUFBUSxDQUFDLENBQUMsRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFBO1lBQ2xFLE1BQU0sTUFBTSxHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLE1BQU0sRUFBRSxLQUFLLENBQUMsQ0FBQTtZQUUvQyxPQUFPLElBQUksQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFNBQVMsQ0FBQyxDQUFBO1NBQ3BDO1FBRUQsSUFBSSxHQUFHLENBQUMsR0FBRyxLQUFLLElBQUksSUFBSSxHQUFHLENBQUMsR0FBRyxLQUFLLFNBQVMsRUFBRTtZQUM3QyxNQUFNLENBQUMsR0FBRyxJQUFJLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxTQUFTLEVBQUUsS0FBSyxDQUFDLENBQUE7WUFDN0MsT0FBTyxDQUFDLENBQUMsTUFBTSxDQUNiLEdBQUcsRUFBRSxDQUFDLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLFFBQVEsRUFBRSxLQUFLLENBQUMsRUFDeEMsR0FBRyxFQUFFLENBQUMsSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsUUFBUSxFQUFFLEtBQUssQ0FBQyxDQUN6QyxDQUFBO1NBQ0Y7UUFFRCxJQUFJLEdBQUcsQ0FBQyxHQUFHLEtBQUssS0FBSyxFQUFFO1lBQ3JCLE1BQU0sR0FBRyxHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLFFBQVEsRUFBRSxLQUFLLENBQUMsQ0FBQTtZQUM5QyxJQUFJLEdBQUcsS0FBSyxTQUFTLElBQUksR0FBRyxLQUFLLElBQUksRUFBRTtnQkFDckMsTUFBTSxJQUFJLEtBQUssQ0FBQyw0QkFBNEIsR0FBRyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsSUFBSSxPQUFPLEdBQUcsRUFBRSxDQUFDLENBQUE7YUFDMUU7WUFDRCxPQUFPLEdBQUcsQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsSUFBSSxFQUFFLENBQUMsTUFBTSxFQUFFLElBQUksRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsSUFBSSxDQUFDLENBQUMsQ0FBQTtTQUMvRTtRQUVELElBQUksR0FBRyxDQUFDLEdBQUcsS0FBSyxhQUFhLEVBQUU7WUFDN0IsTUFBTSxHQUFHLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsUUFBUSxFQUFFLEtBQUssQ0FBQyxDQUFBO1lBQzlDLE1BQU0sS0FBSyxHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLEtBQUssRUFBRSxLQUFLLENBQUMsQ0FBQTtZQUM3QyxPQUFPLEdBQUcsQ0FBQyxNQUFNLENBQUMsS0FBSyxFQUFFLENBQUMsTUFBTSxFQUFFLElBQUksRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsSUFBSSxDQUFDLENBQUMsQ0FBQTtTQUNwRTtRQUVELElBQUEsdUNBQWlCLEVBQUMsR0FBRyxDQUFDLENBQUE7SUFDeEIsQ0FBQztJQUVELElBQUksQ0FBQyxNQUFhLEVBQUUsU0FBa0I7UUFDcEMsT0FBTyxNQUFNLENBQUMsSUFBSSxDQUFDLFNBQVMsRUFBRSxDQUFDLEtBQUssRUFBRSxJQUFJLEVBQUUsV0FBd0IsRUFBRSxFQUFFO1lBQ3RFLElBQUksS0FBSyxDQUFDLE1BQU0sR0FBRyxTQUFTLENBQUMsTUFBTSxFQUFFO2dCQUNuQyxNQUFNLElBQUksS0FBSyxDQUFDLHNDQUFzQyxLQUFLLENBQUMsTUFBTSxZQUFZLFNBQVMsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFBO2FBQ2xHO1lBQ0QsTUFBTSxRQUFRLEdBQUcsS0FBSyxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLEVBQUUsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxJQUFJLFdBQVcsQ0FBQyxDQUFDLEVBQUUsRUFBRSxXQUFXLEVBQUUsU0FBUyxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLEVBQUUsV0FBVyxDQUFDLENBQUE7WUFDN0csT0FBTyxJQUFJLENBQUMsUUFBUSxDQUFDLElBQUksRUFBRSxRQUFRLENBQUMsQ0FBQTtRQUN0QyxDQUFDLENBQUMsQ0FBQTtJQUNKLENBQUM7Q0FDRjtBQXhURCwwQkF3VEMifQ==

package/dist/src/scanner.d.ts

@@ -0,0 +1,23 @@
+import { Location } from './location';
+import { SourceCode } from './source-code';
+export interface Token {
+    readonly text: string;
+    readonly location: Location;
+}
+export declare class Scanner {
+    readonly sourceCode: SourceCode;
+    private offset;
+    constructor(sourceCode: SourceCode, offset?: number);
+    get sourceRef(): string;
+    private curr;
+    private eatWhitespace;
+    eof(): boolean;
+    synopsis(): {
+        position: number;
+        lookingAt: string;
+    };
+    headMatches(...patterns: (RegExp | string)[]): boolean;
+    consume(r: RegExp | string, eatWhitespace?: boolean): Token;
+    consumeIf(r: RegExp | string, eatWhitespace?: boolean): Token | undefined;
+    private match;
+}

package/dist/src/scanner.js

@@ -0,0 +1,88 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Scanner = void 0;
+class Scanner {
+    constructor(sourceCode, offset = 0) {
+        this.sourceCode = sourceCode;
+        this.offset = offset;
+        if (this.offset === 0) {
+            this.eatWhitespace();
+        }
+    }
+    get sourceRef() {
+        return this.sourceCode.sourceRef(this.sourceCode.expandToEndOfLine({ offset: this.offset }));
+    }
+    curr() {
+        return this.sourceCode.input.substring(this.offset);
+    }
+    eatWhitespace() {
+        while (true) {
+            if (this.consumeIf(/\s*/, false)) {
+                continue;
+            }
+            if (this.consumeIf('//', false)) {
+                this.consume(/[^\n]*/, false);
+                continue;
+            }
+            return;
+        }
+    }
+    eof() {
+        return this.offset >= this.sourceCode.input.length;
+    }
+    synopsis() {
+        const c = this.curr();
+        let lookingAt = c.substring(0, 20);
+        if (lookingAt.length !== c.length) {
+            lookingAt = `${lookingAt}...`;
+        }
+        return {
+            position: this.offset,
+            lookingAt,
+        };
+    }
+    headMatches(...patterns) {
+        const alt = new Scanner(this.sourceCode, this.offset);
+        for (const p of patterns) {
+            const t = alt.consumeIf(p, true);
+            if (t === undefined) {
+                return false;
+            }
+        }
+        return true;
+    }
+    consume(r, eatWhitespace = true) {
+        const text = this.match(r);
+        if (text === undefined) {
+            throw new Error(`Expected ${r} ${this.sourceRef}`);
+        }
+        const offset = this.offset;
+        this.offset += text.length;
+        if (eatWhitespace) {
+            this.eatWhitespace();
+        }
+        return { location: { offset }, text };
+    }
+    consumeIf(r, eatWhitespace = true) {
+        const ret = this.match(r);
+        if (!ret) {
+            return undefined;
+        }
+        return this.consume(r, eatWhitespace);
+    }
+    match(r) {
+        if (typeof r === 'string') {
+            if (this.curr().startsWith(r)) {
+                return r;
+            }
+            return undefined;
+        }
+        const m = this.curr().match(r);
+        if (m && m.index === 0) {
+            return m[0];
+        }
+        return undefined;
+    }
+}
+exports.Scanner = Scanner;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2Nhbm5lci5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zY2FubmVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7OztBQVFBLE1BQWEsT0FBTztJQUNsQixZQUFxQixVQUFzQixFQUFVLFNBQVMsQ0FBQztRQUExQyxlQUFVLEdBQVYsVUFBVSxDQUFZO1FBQVUsV0FBTSxHQUFOLE1BQU0sQ0FBSTtRQUM3RCxJQUFJLElBQUksQ0FBQyxNQUFNLEtBQUssQ0FBQyxFQUFFO1lBQ3JCLElBQUksQ0FBQyxhQUFhLEVBQUUsQ0FBQTtTQUNyQjtJQUNILENBQUM7SUFFRCxJQUFJLFNBQVM7UUFDWCxPQUFPLElBQUksQ0FBQyxVQUFVLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQyxVQUFVLENBQUMsaUJBQWlCLENBQUMsRUFBRSxNQUFNLEVBQUUsSUFBSSxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FBQTtJQUM5RixDQUFDO0lBRU8sSUFBSTtRQUNWLE9BQU8sSUFBSSxDQUFDLFVBQVUsQ0FBQyxLQUFLLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsQ0FBQTtJQUNyRCxDQUFDO0lBRU8sYUFBYTtRQUNuQixPQUFPLElBQUksRUFBRTtZQUNYLElBQUksSUFBSSxDQUFDLFNBQVMsQ0FBQyxLQUFLLEVBQUUsS0FBSyxDQUFDLEVBQUU7Z0JBQ2hDLFNBQVE7YUFDVDtZQUNELElBQUksSUFBSSxDQUFDLFNBQVMsQ0FBQyxJQUFJLEVBQUUsS0FBSyxDQUFDLEVBQUU7Z0JBQy9CLElBQUksQ0FBQyxPQUFPLENBQUMsUUFBUSxFQUFFLEtBQUssQ0FBQyxDQUFBO2dCQUM3QixTQUFRO2FBQ1Q7WUFFRCxPQUFNO1NBQ1A7SUFDSCxDQUFDO0lBRUQsR0FBRztRQUNELE9BQU8sSUFBSSxDQUFDLE1BQU0sSUFBSSxJQUFJLENBQUMsVUFBVSxDQUFDLEtBQUssQ0FBQyxNQUFNLENBQUE7SUFDcEQsQ0FBQztJQUVELFFBQVE7UUFDTixNQUFNLENBQUMsR0FBRyxJQUFJLENBQUMsSUFBSSxFQUFFLENBQUE7UUFDckIsSUFBSSxTQUFTLEdBQUcsQ0FBQyxDQUFDLFNBQVMsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUE7UUFDbEMsSUFBSSxTQUFTLENBQUMsTUFBTSxLQUFLLENBQUMsQ0FBQyxNQUFNLEVBQUU7WUFDakMsU0FBUyxHQUFHLEdBQUcsU0FBUyxLQUFLLENBQUE7U0FDOUI7UUFFRCxPQUFPO1lBQ0wsUUFBUSxFQUFFLElBQUksQ0FBQyxNQUFNO1lBQ3JCLFNBQVM7U0FDVixDQUFBO0lBQ0gsQ0FBQztJQUVELFdBQVcsQ0FBQyxHQUFHLFFBQTZCO1FBQzFDLE1BQU0sR0FBRyxHQUFHLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxVQUFVLEVBQUUsSUFBSSxDQUFDLE1BQU0sQ0FBQyxDQUFBO1FBQ3JELEtBQUssTUFBTSxDQUFDLElBQUksUUFBUSxFQUFFO1lBQ3hCLE1BQU0sQ0FBQyxHQUFHLEdBQUcsQ0FBQyxTQUFTLENBQUMsQ0FBQyxFQUFFLElBQUksQ0FBQyxDQUFBO1lBQ2hDLElBQUksQ0FBQyxLQUFLLFNBQVMsRUFBRTtnQkFDbkIsT0FBTyxLQUFLLENBQUE7YUFDYjtTQUNGO1FBRUQsT0FBTyxJQUFJLENBQUE7SUFDYixDQUFDO0lBRUQsT0FBTyxDQUFDLENBQWtCLEVBQUUsYUFBYSxHQUFHLElBQUk7UUFDOUMsTUFBTSxJQUFJLEdBQUcsSUFBSSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQTtRQUMxQixJQUFJLElBQUksS0FBSyxTQUFTLEVBQUU7WUFDdEIsTUFBTSxJQUFJLEtBQUssQ0FBQyxZQUFZLENBQUMsSUFBSSxJQUFJLENBQUMsU0FBUyxFQUFFLENBQUMsQ0FBQTtTQUNuRDtRQUVELE1BQU0sTUFBTSxHQUFHLElBQUksQ0FBQyxNQUFNLENBQUE7UUFDMUIsSUFBSSxDQUFDLE1BQU0sSUFBSSxJQUFJLENBQUMsTUFBTSxDQUFBO1FBRTFCLElBQUksYUFBYSxFQUFFO1lBQ2pCLElBQUksQ0FBQyxhQUFhLEVBQUUsQ0FBQTtTQUNyQjtRQUNELE9BQU8sRUFBRSxRQUFRLEVBQUUsRUFBRSxNQUFNLEVBQUUsRUFBRSxJQUFJLEVBQUUsQ0FBQTtJQUN2QyxDQUFDO0lBRUQsU0FBUyxDQUFDLENBQWtCLEVBQUUsYUFBYSxHQUFHLElBQUk7UUFDaEQsTUFBTSxHQUFHLEdBQUcsSUFBSSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQTtRQUN6QixJQUFJLENBQUMsR0FBRyxFQUFFO1lBQ1IsT0FBTyxTQUFTLENBQUE7U0FDakI7UUFFRCxPQUFPLElBQUksQ0FBQyxPQUFPLENBQUMsQ0FBQyxFQUFFLGFBQWEsQ0FBQyxDQUFBO0lBQ3ZDLENBQUM7SUFFTyxLQUFLLENBQUMsQ0FBa0I7UUFDOUIsSUFBSSxPQUFPLENBQUMsS0FBSyxRQUFRLEVBQUU7WUFDekIsSUFBSSxJQUFJLENBQUMsSUFBSSxFQUFFLENBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQyxFQUFFO2dCQUM3QixPQUFPLENBQUMsQ0FBQTthQUNUO1lBQ0QsT0FBTyxTQUFTLENBQUE7U0FDakI7UUFFRCxNQUFNLENBQUMsR0FBRyxJQUFJLENBQUMsSUFBSSxFQUFFLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFBO1FBQzlCLElBQUksQ0FBQyxJQUFJLENBQUMsQ0FBQyxLQUFLLEtBQUssQ0FBQyxFQUFFO1lBQ3RCLE9BQU8sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO1NBQ1o7UUFFRCxPQUFPLFNBQVMsQ0FBQTtJQUNsQixDQUFDO0NBQ0Y7QUFqR0QsMEJBaUdDIn0=

package/dist/src/septima.d.ts

@@ -0,0 +1,32 @@
+import { Unit } from './ast-node';
+import { Parser } from './parser';
+import { Result, ResultSink } from './result';
+import { Verbosity } from './runtime';
+interface Options {
+    /**
+     * A callback function to be invoked when the Septima program evaluated to `sink`. Allows the caller to determine
+     * which value will be returned in that case. For instance, passing `() => undefined` will translate a `sink` value
+     * to `undefined`. The default behavior is to throw an error.
+     */
+    onSink?: (res: ResultSink) => unknown;
+}
+export declare class Septima {
+    /**
+     * Runs a Septima program and returns the value it evaluates to. If it evaluates to `sink`, returns the value computed
+     * by `options.onSink()` - if present, or throws an error - otherwise.
+     *
+     * This method is the simplest way to evaluate a Septima program, and it fits many common use cases. One can also use
+     * `.compute()` to get additional details about the execution.
+     *
+     * @param input the source code of the Septima program
+     * @param options
+     * @returns the value that `input` evaluates to
+     */
+    static run(input: string, options?: Options, args?: Record<string, unknown>): unknown;
+    constructor();
+    computeModule(moduleName: string, moduleReader: (m: string) => string, args: Record<string, unknown>): Result;
+    compute(input: string, preimports: Record<string, string> | undefined, verbosity: Verbosity | undefined, args: Record<string, unknown>): Result;
+    private computeImpl;
+}
+export declare function parse(arg: string | Parser): Unit;
+export {};

package/dist/src/septima.js

@@ -0,0 +1,91 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.parse = exports.Septima = void 0;
+const parser_1 = require("./parser");
+const result_1 = require("./result");
+const runtime_1 = require("./runtime");
+const scanner_1 = require("./scanner");
+const should_never_happen_1 = require("./should-never-happen");
+const source_code_1 = require("./source-code");
+class Septima {
+    /**
+     * Runs a Septima program and returns the value it evaluates to. If it evaluates to `sink`, returns the value computed
+     * by `options.onSink()` - if present, or throws an error - otherwise.
+     *
+     * This method is the simplest way to evaluate a Septima program, and it fits many common use cases. One can also use
+     * `.compute()` to get additional details about the execution.
+     *
+     * @param input the source code of the Septima program
+     * @param options
+     * @returns the value that `input` evaluates to
+     */
+    static run(input, options, args = {}) {
+        const onSink = options?.onSink ??
+            ((r) => {
+                throw new Error(r.message);
+            });
+        const res = new Septima().compute(input, {}, 'quiet', args);
+        if (res.tag === 'ok') {
+            return res.value;
+        }
+        if (res.tag === 'sink') {
+            return onSink(res);
+        }
+        (0, should_never_happen_1.shouldNeverHappen)(res);
+    }
+    constructor() { }
+    computeModule(moduleName, moduleReader, args) {
+        const input = moduleReader(moduleName);
+        const sourceCode = new source_code_1.SourceCode(input);
+        const value = this.computeImpl(sourceCode, 'quiet', {}, moduleReader, args);
+        if (!value.isSink()) {
+            return { value: value.export(), tag: 'ok' };
+        }
+        return new result_1.ResultSinkImpl(value, sourceCode);
+    }
+    compute(input, preimports = {}, verbosity = 'quiet', args) {
+        const lib = {};
+        for (const [importName, importCode] of Object.entries(preimports)) {
+            const sourceCode = new source_code_1.SourceCode(importCode);
+            const value = this.computeImpl(sourceCode, verbosity, {}, undefined, {});
+            if (value.isSink()) {
+                // TODO(imaman): cover!
+                const r = new result_1.ResultSinkImpl(value, sourceCode);
+                throw new Error(`preimport (${importName}) evaluated to sink: ${r.message}`);
+            }
+            lib[importName] = value;
+        }
+        const sourceCode = new source_code_1.SourceCode(input);
+        const value = this.computeImpl(sourceCode, verbosity, lib, undefined, args);
+        if (!value.isSink()) {
+            return { value: value.export(), tag: 'ok' };
+        }
+        return new result_1.ResultSinkImpl(value, sourceCode);
+    }
+    computeImpl(sourceCode, verbosity, lib, moduleReader, args) {
+        const scanner = new scanner_1.Scanner(sourceCode);
+        const parser = new parser_1.Parser(scanner);
+        const ast = parse(parser);
+        const getAstOf = (fileName) => {
+            if (!moduleReader) {
+                throw new Error(`cannot read modules`);
+            }
+            return parse(moduleReader(fileName));
+        };
+        const runtime = new runtime_1.Runtime(ast, verbosity, lib, getAstOf, args);
+        const c = runtime.compute();
+        if (c.value) {
+            return c.value;
+        }
+        const runtimeErrorMessage = `${c.errorMessage} when evaluating:\n${sourceCode.formatTrace(c.expressionTrace)}`;
+        throw new Error(runtimeErrorMessage);
+    }
+}
+exports.Septima = Septima;
+function parse(arg) {
+    const parser = typeof arg === 'string' ? new parser_1.Parser(new scanner_1.Scanner(new source_code_1.SourceCode(arg))) : arg;
+    const ast = parser.parse();
+    return ast;
+}
+exports.parse = parse;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VwdGltYS5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zZXB0aW1hLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7OztBQUNBLHFDQUFpQztBQUNqQyxxQ0FBNkQ7QUFDN0QsdUNBQThDO0FBQzlDLHVDQUFtQztBQUNuQywrREFBeUQ7QUFDekQsK0NBQTBDO0FBWTFDLE1BQWEsT0FBTztJQUNsQjs7Ozs7Ozs7OztPQVVHO0lBQ0gsTUFBTSxDQUFDLEdBQUcsQ0FBQyxLQUFhLEVBQUUsT0FBaUIsRUFBRSxPQUFnQyxFQUFFO1FBQzdFLE1BQU0sTUFBTSxHQUNWLE9BQU8sRUFBRSxNQUFNO1lBQ2YsQ0FBQyxDQUFDLENBQWEsRUFBRSxFQUFFO2dCQUNqQixNQUFNLElBQUksS0FBSyxDQUFDLENBQUMsQ0FBQyxPQUFPLENBQUMsQ0FBQTtZQUM1QixDQUFDLENBQUMsQ0FBQTtRQUNKLE1BQU0sR0FBRyxHQUFHLElBQUksT0FBTyxFQUFFLENBQUMsT0FBTyxDQUFDLEtBQUssRUFBRSxFQUFFLEVBQUUsT0FBTyxFQUFFLElBQUksQ0FBQyxDQUFBO1FBQzNELElBQUksR0FBRyxDQUFDLEdBQUcsS0FBSyxJQUFJLEVBQUU7WUFDcEIsT0FBTyxHQUFHLENBQUMsS0FBSyxDQUFBO1NBQ2pCO1FBRUQsSUFBSSxHQUFHLENBQUMsR0FBRyxLQUFLLE1BQU0sRUFBRTtZQUN0QixPQUFPLE1BQU0sQ0FBQyxHQUFHLENBQUMsQ0FBQTtTQUNuQjtRQUVELElBQUEsdUNBQWlCLEVBQUMsR0FBRyxDQUFDLENBQUE7SUFDeEIsQ0FBQztJQUVELGdCQUFlLENBQUM7SUFFaEIsYUFBYSxDQUFDLFVBQWtCLEVBQUUsWUFBbUMsRUFBRSxJQUE2QjtRQUNsRyxNQUFNLEtBQUssR0FBRyxZQUFZLENBQUMsVUFBVSxDQUFDLENBQUE7UUFDdEMsTUFBTSxVQUFVLEdBQUcsSUFBSSx3QkFBVSxDQUFDLEtBQUssQ0FBQyxDQUFBO1FBQ3hDLE1BQU0sS0FBSyxHQUFHLElBQUksQ0FBQyxXQUFXLENBQUMsVUFBVSxFQUFFLE9BQU8sRUFBRSxFQUFFLEVBQUUsWUFBWSxFQUFFLElBQUksQ0FBQyxDQUFBO1FBQzNFLElBQUksQ0FBQyxLQUFLLENBQUMsTUFBTSxFQUFFLEVBQUU7WUFDbkIsT0FBTyxFQUFFLEtBQUssRUFBRSxLQUFLLENBQUMsTUFBTSxFQUFFLEVBQUUsR0FBRyxFQUFFLElBQUksRUFBRSxDQUFBO1NBQzVDO1FBQ0QsT0FBTyxJQUFJLHVCQUFjLENBQUMsS0FBSyxFQUFFLFVBQVUsQ0FBQyxDQUFBO0lBQzlDLENBQUM7SUFFRCxPQUFPLENBQ0wsS0FBYSxFQUNiLGFBQXFDLEVBQUUsRUFDdkMsWUFBdUIsT0FBTyxFQUM5QixJQUE2QjtRQUU3QixNQUFNLEdBQUcsR0FBMEIsRUFBRSxDQUFBO1FBQ3JDLEtBQUssTUFBTSxDQUFDLFVBQVUsRUFBRSxVQUFVLENBQUMsSUFBSSxNQUFNLENBQUMsT0FBTyxDQUFDLFVBQVUsQ0FBQyxFQUFFO1lBQ2pFLE1BQU0sVUFBVSxHQUFHLElBQUksd0JBQVUsQ0FBQyxVQUFVLENBQUMsQ0FBQTtZQUM3QyxNQUFNLEtBQUssR0FBRyxJQUFJLENBQUMsV0FBVyxDQUFDLFVBQVUsRUFBRSxTQUFTLEVBQUUsRUFBRSxFQUFFLFNBQVMsRUFBRSxFQUFFLENBQUMsQ0FBQTtZQUN4RSxJQUFJLEtBQUssQ0FBQyxNQUFNLEVBQUUsRUFBRTtnQkFDbEIsdUJBQXVCO2dCQUN2QixNQUFNLENBQUMsR0FBRyxJQUFJLHVCQUFjLENBQUMsS0FBSyxFQUFFLFVBQVUsQ0FBQyxDQUFBO2dCQUMvQyxNQUFNLElBQUksS0FBSyxDQUFDLGNBQWMsVUFBVSx3QkFBd0IsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBQUE7YUFDN0U7WUFDRCxHQUFHLENBQUMsVUFBVSxDQUFDLEdBQUcsS0FBSyxDQUFBO1NBQ3hCO1FBRUQsTUFBTSxVQUFVLEdBQUcsSUFBSSx3QkFBVSxDQUFDLEtBQUssQ0FBQyxDQUFBO1FBQ3hDLE1BQU0sS0FBSyxHQUFHLElBQUksQ0FBQyxXQUFXLENBQUMsVUFBVSxFQUFFLFNBQVMsRUFBRSxHQUFHLEVBQUUsU0FBUyxFQUFFLElBQUksQ0FBQyxDQUFBO1FBQzNFLElBQUksQ0FBQyxLQUFLLENBQUMsTUFBTSxFQUFFLEVBQUU7WUFDbkIsT0FBTyxFQUFFLEtBQUssRUFBRSxLQUFLLENBQUMsTUFBTSxFQUFFLEVBQUUsR0FBRyxFQUFFLElBQUksRUFBRSxDQUFBO1NBQzVDO1FBQ0QsT0FBTyxJQUFJLHVCQUFjLENBQUMsS0FBSyxFQUFFLFVBQVUsQ0FBQyxDQUFBO0lBQzlDLENBQUM7SUFFTyxXQUFXLENBQ2pCLFVBQXNCLEVBQ3RCLFNBQW9CLEVBQ3BCLEdBQTBCLEVBQzFCLFlBQWlELEVBQ2pELElBQTZCO1FBRTdCLE1BQU0sT0FBTyxHQUFHLElBQUksaUJBQU8sQ0FBQyxVQUFVLENBQUMsQ0FBQTtRQUN2QyxNQUFNLE1BQU0sR0FBRyxJQUFJLGVBQU0sQ0FBQyxPQUFPLENBQUMsQ0FBQTtRQUNsQyxNQUFNLEdBQUcsR0FBRyxLQUFLLENBQUMsTUFBTSxDQUFDLENBQUE7UUFFekIsTUFBTSxRQUFRLEdBQUcsQ0FBQyxRQUFnQixFQUFFLEVBQUU7WUFDcEMsSUFBSSxDQUFDLFlBQVksRUFBRTtnQkFDakIsTUFBTSxJQUFJLEtBQUssQ0FBQyxxQkFBcUIsQ0FBQyxDQUFBO2FBQ3ZDO1lBQ0QsT0FBTyxLQUFLLENBQUMsWUFBWSxDQUFDLFFBQVEsQ0FBQyxDQUFDLENBQUE7UUFDdEMsQ0FBQyxDQUFBO1FBRUQsTUFBTSxPQUFPLEdBQUcsSUFBSSxpQkFBTyxDQUFDLEdBQUcsRUFBRSxTQUFTLEVBQUUsR0FBRyxFQUFFLFFBQVEsRUFBRSxJQUFJLENBQUMsQ0FBQTtRQUNoRSxNQUFNLENBQUMsR0FBRyxPQUFPLENBQUMsT0FBTyxFQUFFLENBQUE7UUFFM0IsSUFBSSxDQUFDLENBQUMsS0FBSyxFQUFFO1lBQ1gsT0FBTyxDQUFDLENBQUMsS0FBSyxDQUFBO1NBQ2Y7UUFFRCxNQUFNLG1CQUFtQixHQUFHLEdBQUcsQ0FBQyxDQUFDLFlBQVksc0JBQXNCLFVBQVUsQ0FBQyxXQUFXLENBQUMsQ0FBQyxDQUFDLGVBQWUsQ0FBQyxFQUFFLENBQUE7UUFDOUcsTUFBTSxJQUFJLEtBQUssQ0FBQyxtQkFBbUIsQ0FBQyxDQUFBO0lBQ3RDLENBQUM7Q0FDRjtBQWhHRCwwQkFnR0M7QUFFRCxTQUFnQixLQUFLLENBQUMsR0FBb0I7SUFDeEMsTUFBTSxNQUFNLEdBQUcsT0FBTyxHQUFHLEtBQUssUUFBUSxDQUFDLENBQUMsQ0FBQyxJQUFJLGVBQU0sQ0FBQyxJQUFJLGlCQUFPLENBQUMsSUFBSSx3QkFBVSxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFBO0lBQzNGLE1BQU0sR0FBRyxHQUFHLE1BQU0sQ0FBQyxLQUFLLEVBQUUsQ0FBQTtJQUMxQixPQUFPLEdBQUcsQ0FBQTtBQUNaLENBQUM7QUFKRCxzQkFJQyJ9

package/dist/src/should-never-happen.d.ts

@@ -0,0 +1 @@
+export declare function shouldNeverHappen(n: never): never;

package/dist/src/should-never-happen.js

@@ -0,0 +1,9 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.shouldNeverHappen = void 0;
+function shouldNeverHappen(n) {
+    // This following line never gets executed. It is here just to make the compiler happy.
+    throw new Error(`This should never happen ${n}`);
+}
+exports.shouldNeverHappen = shouldNeverHappen;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2hvdWxkLW5ldmVyLWhhcHBlbi5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zaG91bGQtbmV2ZXItaGFwcGVuLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7OztBQUFBLFNBQWdCLGlCQUFpQixDQUFDLENBQVE7SUFDeEMsdUZBQXVGO0lBQ3ZGLE1BQU0sSUFBSSxLQUFLLENBQUMsNEJBQTRCLENBQUMsRUFBRSxDQUFDLENBQUE7QUFDbEQsQ0FBQztBQUhELDhDQUdDIn0=

package/dist/src/source-code.d.ts

@@ -0,0 +1,19 @@
+import { AstNode } from './ast-node';
+import { Location, Location2d, Span } from './location';
+export declare class SourceCode {
+    readonly input: string;
+    constructor(input: string);
+    formatTrace(trace: AstNode[]): string;
+    sourceRefOfLocation(loc: Location): string;
+    sourceRef(span: Span | undefined): string;
+    formatSpan(span: Span): string;
+    private interestingPart;
+    resolveLocation(loc: Location): Location2d;
+    /**
+     * Returns a span starting a the given input location that runs all the way to the end of the line. Specifically, the
+     * returned span's `.to` location will point at the character (in the same line as `loc`) that is immediately before
+     * the terminating newline character.
+     */
+    expandToEndOfLine(loc: Location): Span;
+    lineAt(loc: Location): string;
+}