septima-lang 0.0.5 → 0.0.7

package/dist/src/source-code.js

@@ -1,90 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.SourceCode = void 0;
-const ast_node_1 = require("./ast-node");
-class SourceCode {
-    constructor(input) {
-        this.input = input;
-    }
-    formatTrace(trace) {
-        const spacer = '  ';
-        const formatted = trace
-            .map(ast => this.sourceRef((0, ast_node_1.span)(ast)))
-            .reverse()
-            .join(`\n${spacer}`);
-        return `${spacer}${formatted}`;
-    }
-    sourceRefOfLocation(loc) {
-        return this.sourceRef(this.expandToEndOfLine(loc));
-    }
-    sourceRef(span) {
-        if (!span) {
-            return `at <unknown location>`;
-        }
-        return `at ${this.formatSpan(span)} ${this.interestingPart(span)}`;
-    }
-    formatSpan(span) {
-        const f = this.resolveLocation(span.from);
-        const t = this.resolveLocation(span.to);
-        if (f.line === t.line) {
-            return `(${f.line + 1}:${f.col + 1}..${t.col + 1})`;
-        }
-        return `(${f.line + 1}:${f.col + 1}..${t.line + 1}:${t.col + 1})`;
-    }
-    interestingPart(span) {
-        const f = this.resolveLocation(span.from);
-        const t = this.resolveLocation(span.to);
-        const strip = (s) => s.replace(/^[\n]*/, '').replace(/[\n]*$/, '');
-        const limit = 80;
-        const lineAtFrom = this.lineAt(span.from);
-        if (f.line !== t.line) {
-            return `${strip(lineAtFrom).substring(0, limit)}...`;
-        }
-        const stripped = strip(lineAtFrom.substring(f.col, t.col + 1));
-        if (stripped.length <= limit) {
-            return stripped;
-        }
-        return `${stripped.substring(0, limit)}...`;
-    }
-    resolveLocation(loc) {
-        const prefix = this.input.slice(0, loc.offset);
-        let line = 0;
-        for (let i = 0; i < prefix.length; ++i) {
-            const ch = prefix[i];
-            if (ch === '\n') {
-                line += 1;
-            }
-        }
-        let col = 0;
-        for (let i = prefix.length - 1; i >= 0; --i, ++col) {
-            const ch = prefix[i];
-            if (ch === '\n') {
-                break;
-            }
-        }
-        return { line, col };
-    }
-    /**
-     * 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) {
-        let endOfLine = this.input.indexOf('\n', loc.offset);
-        if (endOfLine < 0) {
-            endOfLine = this.input.length - 1;
-        }
-        return { from: loc, to: { offset: endOfLine } };
-    }
-    lineAt(loc) {
-        const precedingNewline = this.input.lastIndexOf('\n', loc.offset);
-        // add a + 1 to skip over the '\n' character (it is not part of the line). Also works if precedingNewLine is -1 (no
-        // preceding newline exists)
-        const startOfLine = precedingNewline + 1;
-        const endOfLine = this.expandToEndOfLine(loc).to;
-        const ret = this.input.substring(startOfLine, endOfLine.offset + 1);
-        return ret;
-    }
-}
-exports.SourceCode = SourceCode;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic291cmNlLWNvZGUuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc291cmNlLWNvZGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6Ijs7O0FBQUEseUNBQTBDO0FBRzFDLE1BQWEsVUFBVTtJQUNyQixZQUFxQixLQUFhO1FBQWIsVUFBSyxHQUFMLEtBQUssQ0FBUTtJQUFHLENBQUM7SUFFdEMsV0FBVyxDQUFDLEtBQWdCO1FBQzFCLE1BQU0sTUFBTSxHQUFHLElBQUksQ0FBQTtRQUVuQixNQUFNLFNBQVMsR0FBRyxLQUFLO2FBQ3BCLEdBQUcsQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQyxTQUFTLENBQUMsSUFBQSxlQUFJLEVBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQzthQUNyQyxPQUFPLEVBQUU7YUFDVCxJQUFJLENBQUMsS0FBSyxNQUFNLEVBQUUsQ0FBQyxDQUFBO1FBQ3RCLE9BQU8sR0FBRyxNQUFNLEdBQUcsU0FBUyxFQUFFLENBQUE7SUFDaEMsQ0FBQztJQUVELG1CQUFtQixDQUFDLEdBQWE7UUFDL0IsT0FBTyxJQUFJLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQyxpQkFBaUIsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFBO0lBQ3BELENBQUM7SUFFRCxTQUFTLENBQUMsSUFBc0I7UUFDOUIsSUFBSSxDQUFDLElBQUksRUFBRTtZQUNULE9BQU8sdUJBQXVCLENBQUE7U0FDL0I7UUFDRCxPQUFPLE1BQU0sSUFBSSxDQUFDLFVBQVUsQ0FBQyxJQUFJLENBQUMsSUFBSSxJQUFJLENBQUMsZUFBZSxDQUFDLElBQUksQ0FBQyxFQUFFLENBQUE7SUFDcEUsQ0FBQztJQUVELFVBQVUsQ0FBQyxJQUFVO1FBQ25CLE1BQU0sQ0FBQyxHQUFHLElBQUksQ0FBQyxlQUFlLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxDQUFBO1FBQ3pDLE1BQU0sQ0FBQyxHQUFHLElBQUksQ0FBQyxlQUFlLENBQUMsSUFBSSxDQUFDLEVBQUUsQ0FBQyxDQUFBO1FBQ3ZDLElBQUksQ0FBQyxDQUFDLElBQUksS0FBSyxDQUFDLENBQUMsSUFBSSxFQUFFO1lBQ3JCLE9BQU8sSUFBSSxDQUFDLENBQUMsSUFBSSxHQUFHLENBQUMsSUFBSSxDQUFDLENBQUMsR0FBRyxHQUFHLENBQUMsS0FBSyxDQUFDLENBQUMsR0FBRyxHQUFHLENBQUMsR0FBRyxDQUFBO1NBQ3BEO1FBRUQsT0FBTyxJQUFJLENBQUMsQ0FBQyxJQUFJLEdBQUcsQ0FBQyxJQUFJLENBQUMsQ0FBQyxHQUFHLEdBQUcsQ0FBQyxLQUFLLENBQUMsQ0FBQyxJQUFJLEdBQUcsQ0FBQyxJQUFJLENBQUMsQ0FBQyxHQUFHLEdBQUcsQ0FBQyxHQUFHLENBQUE7SUFDbkUsQ0FBQztJQUVPLGVBQWUsQ0FBQyxJQUFVO1FBQ2hDLE1BQU0sQ0FBQyxHQUFHLElBQUksQ0FBQyxlQUFlLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxDQUFBO1FBQ3pDLE1BQU0sQ0FBQyxHQUFHLElBQUksQ0FBQyxlQUFlLENBQUMsSUFBSSxDQUFDLEVBQUUsQ0FBQyxDQUFBO1FBRXZDLE1BQU0sS0FBSyxHQUFHLENBQUMsQ0FBUyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsT0FBTyxDQUFDLFFBQVEsRUFBRSxFQUFFLENBQUMsQ0FBQyxPQUFPLENBQUMsUUFBUSxFQUFFLEVBQUUsQ0FBQyxDQUFBO1FBQzFFLE1BQU0sS0FBSyxHQUFHLEVBQUUsQ0FBQTtRQUVoQixNQUFNLFVBQVUsR0FBRyxJQUFJLENBQUMsTUFBTSxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsQ0FBQTtRQUN6QyxJQUFJLENBQUMsQ0FBQyxJQUFJLEtBQUssQ0FBQyxDQUFDLElBQUksRUFBRTtZQUNyQixPQUFPLEdBQUcsS0FBSyxDQUFDLFVBQVUsQ0FBQyxDQUFDLFNBQVMsQ0FBQyxDQUFDLEVBQUUsS0FBSyxDQUFDLEtBQUssQ0FBQTtTQUNyRDtRQUVELE1BQU0sUUFBUSxHQUFHLEtBQUssQ0FBQyxVQUFVLENBQUMsU0FBUyxDQUFDLENBQUMsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDLEdBQUcsR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFBO1FBQzlELElBQUksUUFBUSxDQUFDLE1BQU0sSUFBSSxLQUFLLEVBQUU7WUFDNUIsT0FBTyxRQUFRLENBQUE7U0FDaEI7UUFDRCxPQUFPLEdBQUcsUUFBUSxDQUFDLFNBQVMsQ0FBQyxDQUFDLEVBQUUsS0FBSyxDQUFDLEtBQUssQ0FBQTtJQUM3QyxDQUFDO0lBRUQsZUFBZSxDQUFDLEdBQWE7UUFDM0IsTUFBTSxNQUFNLEdBQUcsSUFBSSxDQUFDLEtBQUssQ0FBQyxLQUFLLENBQUMsQ0FBQyxFQUFFLEdBQUcsQ0FBQyxNQUFNLENBQUMsQ0FBQTtRQUM5QyxJQUFJLElBQUksR0FBRyxDQUFDLENBQUE7UUFDWixLQUFLLElBQUksQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLEdBQUcsTUFBTSxDQUFDLE1BQU0sRUFBRSxFQUFFLENBQUMsRUFBRTtZQUN0QyxNQUFNLEVBQUUsR0FBRyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUE7WUFDcEIsSUFBSSxFQUFFLEtBQUssSUFBSSxFQUFFO2dCQUNmLElBQUksSUFBSSxDQUFDLENBQUE7YUFDVjtTQUNGO1FBRUQsSUFBSSxHQUFHLEdBQUcsQ0FBQyxDQUFBO1FBQ1gsS0FBSyxJQUFJLENBQUMsR0FBRyxNQUFNLENBQUMsTUFBTSxHQUFHLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQyxFQUFFLEVBQUUsQ0FBQyxFQUFFLEVBQUUsR0FBRyxFQUFFO1lBQ2xELE1BQU0sRUFBRSxHQUFHLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQTtZQUNwQixJQUFJLEVBQUUsS0FBSyxJQUFJLEVBQUU7Z0JBQ2YsTUFBSzthQUNOO1NBQ0Y7UUFFRCxPQUFPLEVBQUUsSUFBSSxFQUFFLEdBQUcsRUFBRSxDQUFBO0lBQ3RCLENBQUM7SUFFRDs7OztPQUlHO0lBQ0gsaUJBQWlCLENBQUMsR0FBYTtRQUM3QixJQUFJLFNBQVMsR0FBRyxJQUFJLENBQUMsS0FBSyxDQUFDLE9BQU8sQ0FBQyxJQUFJLEVBQUUsR0FBRyxDQUFDLE1BQU0sQ0FBQyxDQUFBO1FBQ3BELElBQUksU0FBUyxHQUFHLENBQUMsRUFBRTtZQUNqQixTQUFTLEdBQUcsSUFBSSxDQUFDLEtBQUssQ0FBQyxNQUFNLEdBQUcsQ0FBQyxDQUFBO1NBQ2xDO1FBQ0QsT0FBTyxFQUFFLElBQUksRUFBRSxHQUFHLEVBQUUsRUFBRSxFQUFFLEVBQUUsTUFBTSxFQUFFLFNBQVMsRUFBRSxFQUFFLENBQUE7SUFDakQsQ0FBQztJQUVELE1BQU0sQ0FBQyxHQUFhO1FBQ2xCLE1BQU0sZ0JBQWdCLEdBQUcsSUFBSSxDQUFDLEtBQUssQ0FBQyxXQUFXLENBQUMsSUFBSSxFQUFFLEdBQUcsQ0FBQyxNQUFNLENBQUMsQ0FBQTtRQUNqRSxtSEFBbUg7UUFDbkgsNEJBQTRCO1FBQzVCLE1BQU0sV0FBVyxHQUFHLGdCQUFnQixHQUFHLENBQUMsQ0FBQTtRQUN4QyxNQUFNLFNBQVMsR0FBRyxJQUFJLENBQUMsaUJBQWlCLENBQUMsR0FBRyxDQUFDLENBQUMsRUFBRSxDQUFBO1FBRWhELE1BQU0sR0FBRyxHQUFHLElBQUksQ0FBQyxLQUFLLENBQUMsU0FBUyxDQUFDLFdBQVcsRUFBRSxTQUFTLENBQUMsTUFBTSxHQUFHLENBQUMsQ0FBQyxDQUFBO1FBQ25FLE9BQU8sR0FBRyxDQUFBO0lBQ1osQ0FBQztDQUNGO0FBakdELGdDQWlHQyJ9

package/dist/src/stack.d.ts

@@ -1,11 +0,0 @@
-import { AstNode } from './ast-node';
-export declare type T = {
-    ast: AstNode;
-    next: T;
-} | undefined;
-export declare function push(ast: AstNode, s: T): {
-    ast: AstNode;
-    next: T;
-};
-export declare function pop(s: T): T;
-export declare function empty(): T;

package/dist/src/stack.js

@@ -1,19 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.empty = exports.pop = exports.push = void 0;
-function push(ast, s) {
-    return { ast, next: s };
-}
-exports.push = push;
-function pop(s) {
-    if (typeof s === 'undefined') {
-        throw new Error(`Cannot pop from an empty stack`);
-    }
-    return s.next;
-}
-exports.pop = pop;
-function empty() {
-    return undefined;
-}
-exports.empty = empty;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RhY2suanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc3RhY2sudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6Ijs7O0FBR0EsU0FBZ0IsSUFBSSxDQUFDLEdBQVksRUFBRSxDQUFJO0lBQ3JDLE9BQU8sRUFBRSxHQUFHLEVBQUUsSUFBSSxFQUFFLENBQUMsRUFBRSxDQUFBO0FBQ3pCLENBQUM7QUFGRCxvQkFFQztBQUVELFNBQWdCLEdBQUcsQ0FBQyxDQUFJO0lBQ3RCLElBQUksT0FBTyxDQUFDLEtBQUssV0FBVyxFQUFFO1FBQzVCLE1BQU0sSUFBSSxLQUFLLENBQUMsZ0NBQWdDLENBQUMsQ0FBQTtLQUNsRDtJQUVELE9BQU8sQ0FBQyxDQUFDLElBQUksQ0FBQTtBQUNmLENBQUM7QUFORCxrQkFNQztBQUVELFNBQWdCLEtBQUs7SUFDbkIsT0FBTyxTQUFTLENBQUE7QUFDbEIsQ0FBQztBQUZELHNCQUVDIn0=

package/dist/src/switch-on.d.ts

@@ -1 +0,0 @@
-export declare function switchOn<G, K extends string>(selector: K, cases: Record<K, () => G>): G;

package/dist/src/switch-on.js

@@ -1,9 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.switchOn = void 0;
-function switchOn(selector, cases) {
-    const f = cases[selector];
-    return f();
-}
-exports.switchOn = switchOn;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3dpdGNoLW9uLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3N3aXRjaC1vbi50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiOzs7QUFBQSxTQUFnQixRQUFRLENBQXNCLFFBQVcsRUFBRSxLQUF5QjtJQUNsRixNQUFNLENBQUMsR0FBRyxLQUFLLENBQUMsUUFBUSxDQUFDLENBQUE7SUFDekIsT0FBTyxDQUFDLEVBQUUsQ0FBQTtBQUNaLENBQUM7QUFIRCw0QkFHQyJ9

package/dist/src/symbol-table.d.ts

@@ -1,6 +0,0 @@
-import { Value } from './value';
-export interface SymbolTable {
-    lookup(sym: string): Value;
-    export(): Record<string, unknown>;
-    exportValue(): Record<string, Value>;
-}

package/dist/src/symbol-table.js

@@ -1,3 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3ltYm9sLXRhYmxlLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3N5bWJvbC10YWJsZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiIn0=

package/dist/src/value.d.ts

@@ -1,128 +0,0 @@
-import { AstNode, Lambda } from './ast-node';
-import { CallEvaluator } from './find-array-method';
-import { Span } from './location';
-import * as Stack from './stack';
-import { SymbolTable } from './symbol-table';
-declare type LambdaEvaluator = (names: string[], ast: AstNode, table: SymbolTable) => Value;
-declare type Inner = {
-    tag: 'arr';
-    val: Value[];
-} | {
-    tag: 'bool';
-    val: boolean;
-} | {
-    tag: 'foreign';
-    val: (...args: Value[]) => unknown;
-} | {
-    tag: 'lambda';
-    val: {
-        ast: Lambda;
-        table: SymbolTable;
-    };
-} | {
-    tag: 'num';
-    val: number;
-} | {
-    tag: 'obj';
-    val: Record<string, Value>;
-} | {
-    tag: 'sink';
-    val: undefined;
-    span?: Span;
-    trace?: Stack.T;
-    symbols?: SymbolTable;
-} | {
-    tag: 'str';
-    val: string;
-};
-export declare class Value {
-    readonly inner: Inner;
-    private constructor();
-    static bool(val: boolean): Value;
-    static num(val: number): Value;
-    /**
-     * Returns a Value which is essentially a "sink": (almost) every computation involving a sink evaluates to sink. A few
-     * quick examples: `5+sink`, `sink.x`, `sink()`, `Object.keys(sink)`, `if (sink) 4 else 8` all evaluate to `sink`. The
-     * raitonale is that once an expression evaluates to `sink` all expressions depending on it also evaluate to `sink`.
-     *
-     * There are however a few (intentional) exemptions:
-     * (i) a sink can be passed as an actual parameter in a function call. Hence `(fun (x,y) y)(sink, 5)` will evaluate
-     *    to `5`.
-     * (ii) a sink can be compared with itself.
-     * (iii) in `if()` expressions, only one of the branches is evlauated (based on the condition's value). As a result,
-     *    evluation of a sink-producing branch can be skipping. Specifically, `if (true) 5 else sink` evaluates to `5`.
-     * (iv) in `||` and `&&` expressions, the evaluation of the right hand side can be skipped. Specifically,
-     *    `true || sink` evaluates to `true` and `false && sink` evaluates to `false`.
-     */
-    static sink(span?: Span, trace?: Stack.T, symbols?: SymbolTable): Value;
-    static str(val: string): Value;
-    static arr(val: Value[]): Value;
-    static obj(val: Record<string, Value>): Value;
-    static lambda(ast: Lambda, table: SymbolTable): Value;
-    static foreign(f: (...args: Value[]) => unknown): Value;
-    isSink(): boolean;
-    unwrap(): unknown;
-    assertBool(): boolean;
-    assertNum(): number;
-    assertStr(): string;
-    assertArr(): Value[];
-    assertObj(): Record<string, Value>;
-    assertLambda(): {
-        ast: Lambda;
-        table: SymbolTable;
-    };
-    isLambda(): boolean;
-    ifElse(positive: () => Value, negative: () => Value): Value;
-    bindToSpan(span: Span): Value;
-    trace(): AstNode[] | undefined;
-    symbols(): SymbolTable | undefined;
-    span(): Span | undefined;
-    or(that: () => Value): Value;
-    and(that: () => Value): Value;
-    unsink(that: () => Value): Value;
-    equalsTo(that: Value): Value;
-    not(): Value;
-    private binaryNumericOperator;
-    plus(that: Value): Value;
-    minus(that: Value): Value;
-    times(that: Value): Value;
-    power(that: Value): Value;
-    over(that: Value): Value;
-    modulo(that: Value): Value;
-    negate(): Value;
-    isToZero(comparator: '<' | '<=' | '==' | '!=' | '>=' | '>'): Value;
-    isTrue(): boolean;
-    isZero(): boolean;
-    /**
-     * Determines the order beteween `this` and the given argument (`that`). The behavior of this method is dictated by
-     * the following principles:
-     *
-     * (i) if a < b then b >= a (i.e., it provides a consistent answer regardless of the whether `this` is `a`
-     *    and `that` is `b` or vice versa)
-     * (ii) ordering two values of different type result in runtime error.
-     * (iii) orderingg a value with itself evaluates to `0`
-     *
-     * Principles (i) and (iii) realizes the intuitive behavior of comparisons. (ii) realizes the idea that
-     * "one cannot compare oranges and apples". This is essentially a design decision. We could have gone with defining
-     * some order between types (the tag of a Value object), but we feel that a saner approach is to say "we do not know
-     * how to sort an array containing numbers and booleans".
-     *
-     * IMPORTANT: these principles overpower other principles. In parituclar, the principles that "an expression with
-     * sink evaluates to sink" is trumped by comparison principle (ii)
-     *
-     * @param that
-     * @returns
-     */
-    order(that: Value): Value;
-    static toStringOrNumber(input: string | Value): string | number;
-    access(indexValue: string | Value, callEvaluator: CallEvaluator): Value;
-    call(args: Value[], evaluator: LambdaEvaluator): Value;
-    keys(): Value;
-    entries(): Value;
-    fromEntries(): Value;
-    toString(): string;
-    toJSON(): unknown;
-    export(): unknown;
-    static from(u: unknown): Value;
-}
-export {};