effect-grammar 0.1.0 → 0.3.0

package/dist/print.js

@@ -1,121 +1,233 @@
-import { Result, Schema } from "effect";
-import { isField, resolve } from "./core.js";
-import { preview, PrintError } from "./errors.js";
-import { describe } from "./render.js";
+import { Predicate, Result } from "effect";
+import { nodeOf, resolve, unsafeToNever, } from "./core.js";
+import { caseFor, evaluate, frame, isCount, Unbound } from "./env.js";
+import { exceptionMessage, preview, PrintError } from "./errors.js";
+import { unifyPattern } from "./pattern.js";
+import { describe, describeStep } from "./render.js";
 class Failure {
-    reason;
-    constructor(reason) {
-        this.reason = reason;
+    issue;
+    constructor(issue) {
+        this.issue = issue;
     }
 }
-const fail = (reason) => new Failure(reason);
-const printPart = (p, value) => {
-    if (isField(p)) {
-        // SAFETY: Seq and Gen only pass field bags shaped by the grammar's parts.
-        const fields = value;
-        return out(p.grammar, fields[p.name]);
+const fail = (issue) => new Failure(issue);
+const bindingPath = (pattern, scope, slot, path) => {
+    switch (pattern._tag) {
+        case "Ref":
+            return pattern.scope === scope && pattern.slot === slot ? path : undefined;
+        case "Const":
+            return undefined;
+        case "Object":
+            for (const [key, field] of pattern.fields) {
+                const found = bindingPath(field, scope, slot, [...path, key]);
+                if (found !== undefined)
+                    return found;
+            }
+            return undefined;
+        case "Array":
+            for (const [index, item] of pattern.items.entries()) {
+                const found = bindingPath(item, scope, slot, [...path, index]);
+                if (found !== undefined)
+                    return found;
+            }
+            return undefined;
+    }
+};
+const issueAt = (issue, path) => {
+    let nested = issue;
+    for (let index = path.length - 1; index >= 0; index--) {
+        nested = { _tag: "AtPath", path: path[index], issue: nested };
     }
-    return out(p, undefined);
+    return nested;
 };
-const out = (g, value) => {
-    const n = g.node;
-    switch (n._tag) {
+const outputGen = (node, value, env) => {
+    const local = frame(node.scope, node.slotCount, env);
+    const issue = unifyPattern(node.result, value, local);
+    if (issue !== undefined)
+        return fail(issue);
+    let text = "";
+    for (const [index, step] of node.steps.entries()) {
+        const result = step._tag === "Silent"
+            ? out(step.grammar, undefined, local)
+            : local.values[step.slot] === Unbound
+                ? fail({ _tag: "MissingBinding", binding: describeStep(step, index) })
+                : out(step.grammar, local.values[step.slot], local);
+        if (result instanceof Failure) {
+            const path = step._tag === "Bind" ? bindingPath(node.result, node.scope, step.slot, []) : undefined;
+            return fail(path === undefined ? result.issue : issueAt(result.issue, path));
+        }
+        text += result;
+    }
+    return text;
+};
+const out = (grammar, value, env) => {
+    const node = nodeOf(grammar);
+    switch (node._tag) {
         case "Literal":
-            return n.value;
-        case "Regex":
-            if (!Schema.is(Schema.String)(value)) {
-                return fail(() => `${n.name}: expected a string, got ${preview(value)}`);
-            }
-            if (!n.whole.test(value)) {
-                return fail(() => `${n.name}: ${JSON.stringify(value)} does not match /${n.re.source}/`);
+            return node.value;
+        case "Regex": {
+            if (!Predicate.isString(value))
+                return fail({ _tag: "TypeMismatch", expected: "a string", actual: value });
+            node.re.lastIndex = 0;
+            const match = node.re.exec(value);
+            if (match === null || match.index !== 0 || match[0].length !== value.length) {
+                return fail({
+                    _tag: "InvalidValue",
+                    expected: node.name,
+                    actual: value,
+                    detail: `${JSON.stringify(value)} does not match /${node.re.source}/`,
+                });
             }
             return value;
-        case "Seq": {
-            let acc = "";
-            for (const p of n.parts) {
-                const r = printPart(p, value);
-                if (r instanceof Failure)
-                    return r;
-                acc += r;
-            }
-            return acc;
-        }
-        case "Gen": {
-            // SAFETY: gen values are the field bag produced by the surrounding grammar.
-            const fields = value;
-            const it = n.run();
-            let acc = "";
-            let r = it.next();
-            while (!r.done) {
-                const p = r.value;
-                const s = printPart(p, fields);
-                if (s instanceof Failure)
-                    return s;
-                acc += s;
-                r = it.next(isField(p) ? fields[p.name] : undefined);
-            }
-            return acc;
         }
+        case "Gen":
+            return outputGen(node, value, env);
         case "Wrap": {
-            const open = out(n.open, undefined);
+            const open = out(node.open, undefined, env);
             if (open instanceof Failure)
                 return open;
-            const inner = out(n.inner, value);
+            const inner = out(node.inner, value, env);
             if (inner instanceof Failure)
                 return inner;
-            const close = out(n.close, undefined);
-            if (close instanceof Failure)
-                return close;
-            return open + inner + close;
+            const close = out(node.close, undefined, env);
+            return close instanceof Failure ? close : open + inner + close;
         }
         case "Choice": {
-            const reasons = [];
-            for (const o of n.options) {
-                const r = out(o, value);
-                if (!(r instanceof Failure))
-                    return r;
-                reasons.push(r.reason);
+            const issues = [];
+            for (const option of node.options) {
+                const result = out(option, value, env);
+                if (!(result instanceof Failure))
+                    return result;
+                issues.push(result.issue);
             }
-            return fail(() => `no choice branch accepts ${preview(value)}:\n  ${reasons.map((r) => r()).join("\n  ")}`);
+            return fail({ _tag: "NoAlternative", actual: value, issues });
         }
         case "Many": {
             if (!Array.isArray(value))
-                return fail(() => `expected an array, got ${preview(value)}`);
-            if (value.length < n.min || value.length > n.max) {
-                const range = n.max === Number.POSITIVE_INFINITY ? `at least ${n.min}` : `${n.min}..${n.max}`;
-                return fail(() => `expected ${range} items, got ${value.length}`);
+                return fail({ _tag: "TypeMismatch", expected: "an array", actual: value });
+            if (value.length < node.min || value.length > node.max) {
+                const expected = node.max === Number.POSITIVE_INFINITY
+                    ? `at least ${node.min}`
+                    : `${node.min}..${node.max}`;
+                return fail({
+                    _tag: "InvalidValue",
+                    expected: `${expected} items`,
+                    actual: value,
+                    detail: `expected ${expected} items, got ${value.length}`,
+                });
             }
-            const sep = out(n.sep, undefined);
-            if (sep instanceof Failure)
-                return sep;
-            let acc = "";
-            for (let i = 0; i < value.length; i++) {
-                const r = out(n.inner, value[i]);
-                if (r instanceof Failure)
-                    return r;
-                acc += i === 0 ? r : sep + r;
+            const separator = out(node.sep, undefined, env);
+            if (separator instanceof Failure)
+                return separator;
+            let text = "";
+            for (const [index, item] of value.entries()) {
+                const result = out(node.inner, item, env);
+                if (result instanceof Failure) {
+                    return fail({ _tag: "AtPath", path: index, issue: result.issue });
+                }
+                text += index === 0 ? result : separator + result;
             }
-            return acc;
+            return text;
         }
         case "Optional":
-            return value === undefined ? "" : out(n.inner, value);
-        case "Transform":
-            if (n.is?.(value) === false) {
-                return fail(() => `expected ${n.name ?? describe(n.inner)}, got ${preview(value)}`);
+            return value === undefined ? "" : out(node.inner, value, env);
+        case "Transform": {
+            try {
+                if (node.is?.(unsafeToNever(value)) === false) {
+                    return fail({
+                        _tag: "InvalidValue",
+                        expected: node.name ?? describe(node.inner),
+                        actual: value,
+                    });
+                }
+                const encoded = node.encode(unsafeToNever(value));
+                return Result.isFailure(encoded)
+                    ? fail({
+                        _tag: "InvalidValue",
+                        expected: node.name ?? describe(node.inner),
+                        actual: value,
+                        detail: encoded.failure.message,
+                    })
+                    : out(node.inner, encoded.success, env);
             }
-            return out(n.inner, n.encode(value));
+            catch (error) {
+                return fail({
+                    _tag: "InvalidValue",
+                    expected: node.name ?? describe(node.inner),
+                    actual: value,
+                    detail: exceptionMessage(error),
+                });
+            }
+        }
         case "Skip":
-            return out(n.inner, n.printAs);
+            return out(node.inner, node.printAs, env);
         case "Label":
-            return out(n.inner, value);
+            return out(node.inner, value, env);
         case "Suspend":
-            return out(resolve(n), value);
+            return out(resolve(node), value, env);
+        case "Match": {
+            const key = evaluate(node.scrutinee, env);
+            if (key === Unbound)
+                return fail({ _tag: "MissingBinding", binding: "match selector" });
+            const matchCase = caseFor(node.cases, key);
+            return matchCase === undefined
+                ? fail({
+                    _tag: "InvalidValue",
+                    expected: `a match case for ${preview(key)}`,
+                    actual: value,
+                })
+                : out(matchCase.grammar, value, env);
+        }
+        case "Take": {
+            const count = evaluate(node.count, env);
+            if (count === Unbound)
+                return fail({ _tag: "MissingBinding", binding: "take count" });
+            if (!isCount(count)) {
+                return fail({ _tag: "InvalidValue", expected: "a non-negative count", actual: count });
+            }
+            if (!Predicate.isString(value))
+                return fail({ _tag: "TypeMismatch", expected: "a string", actual: value });
+            return value.length === count
+                ? value
+                : fail({
+                    _tag: "InvalidValue",
+                    expected: `${count} UTF-16 code units`,
+                    actual: value,
+                });
+        }
+        case "RepeatExact": {
+            const count = evaluate(node.count, env);
+            if (count === Unbound)
+                return fail({ _tag: "MissingBinding", binding: "repeat count" });
+            if (!isCount(count)) {
+                return fail({ _tag: "InvalidValue", expected: "a non-negative count", actual: count });
+            }
+            if (!Array.isArray(value))
+                return fail({ _tag: "TypeMismatch", expected: "an array", actual: value });
+            if (value.length !== count) {
+                return fail({
+                    _tag: "InvalidValue",
+                    expected: `${count} items`,
+                    actual: value.length,
+                });
+            }
+            let text = "";
+            for (const [index, item] of value.entries()) {
+                const result = out(node.inner, item, env);
+                if (result instanceof Failure) {
+                    return fail({ _tag: "AtPath", path: index, issue: result.issue });
+                }
+                text += result;
+            }
+            return text;
+        }
     }
 };
-export const print = (grammar, value) => {
-    const r = out(grammar, value);
-    return r instanceof Failure
-        ? Result.fail(new PrintError({ message: r.reason() }))
-        : Result.succeed(r);
+export const printUnknown = (grammar, value) => {
+    const result = out(grammar, value, undefined);
+    return result instanceof Failure
+        ? Result.fail(new PrintError({ issue: result.issue }))
+        : Result.succeed(result);
 };
+export const print = (grammar, value) => printUnknown(grammar, value);
 //# sourceMappingURL=print.js.map

package/dist/print.js.map

@@ -1 +1 @@
-{"version":3,"file":"print.js","sourceRoot":"","sources":["../src/print.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAA6B,OAAO,EAAa,OAAO,EAAE,MAAM,WAAW,CAAA;AAClF,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAEtC,MAAM,OAAO;IACF,MAAM,CAAc;IAC7B,YAAY,MAAoB;QAC9B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;IACtB,CAAC;CACF;AAED,MAAM,IAAI,GAAG,CAAC,MAAoB,EAAW,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAA;AAInE,MAAM,SAAS,GAAG,CAAI,CAAO,EAAE,KAAQ,EAAoB,EAAE;IAC3D,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACf,0EAA0E;QAC1E,MAAM,MAAM,GAAG,KAAoB,CAAA;QACnC,OAAO,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACvC,CAAC;IACD,OAAO,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;AAC1B,CAAC,CAAA;AAED,MAAM,GAAG,GAAG,CAAI,CAAa,EAAE,KAAQ,EAAoB,EAAE;IAC3D,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAA;IAChB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,CAAC,CAAC,KAAK,CAAA;QAChB,KAAK,OAAO;YACV,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,4BAA4B,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAC1E,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAA;YAC1F,CAAC;YACD,OAAO,KAAK,CAAA;QACd,KAAK,KAAK,EAAE,CAAC;YACX,IAAI,GAAG,GAAG,EAAE,CAAA;YACZ,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;gBAC7B,IAAI,CAAC,YAAY,OAAO;oBAAE,OAAO,CAAC,CAAA;gBAClC,GAAG,IAAI,CAAC,CAAA;YACV,CAAC;YACD,OAAO,GAAG,CAAA;QACZ,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACX,4EAA4E;YAC5E,MAAM,MAAM,GAAG,KAAoB,CAAA;YACnC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAA;YAClB,IAAI,GAAG,GAAG,EAAE,CAAA;YACZ,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAA;YACjB,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAA;gBACjB,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;gBAC9B,IAAI,CAAC,YAAY,OAAO;oBAAE,OAAO,CAAC,CAAA;gBAClC,GAAG,IAAI,CAAC,CAAA;gBACR,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;YACtD,CAAC;YACD,OAAO,GAAG,CAAA;QACZ,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;YACnC,IAAI,IAAI,YAAY,OAAO;gBAAE,OAAO,IAAI,CAAA;YACxC,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACjC,IAAI,KAAK,YAAY,OAAO;gBAAE,OAAO,KAAK,CAAA;YAC1C,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;YACrC,IAAI,KAAK,YAAY,OAAO;gBAAE,OAAO,KAAK,CAAA;YAC1C,OAAO,IAAI,GAAG,KAAK,GAAG,KAAK,CAAA;QAC7B,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,OAAO,GAAwB,EAAE,CAAA;YACvC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;gBACvB,IAAI,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC;oBAAE,OAAO,CAAC,CAAA;gBACrC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;YACxB,CAAC;YACD,OAAO,IAAI,CACT,GAAG,EAAE,CACH,4BAA4B,OAAO,CAAC,KAAK,CAAC,QAAQ,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAC3F,CAAA;QACH,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC,0BAA0B,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YACxF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;gBACjD,MAAM,KAAK,GACT,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,CAAA;gBACjF,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC,YAAY,KAAK,eAAe,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;YACnE,CAAC;YACD,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;YACjC,IAAI,GAAG,YAAY,OAAO;gBAAE,OAAO,GAAG,CAAA;YACtC,IAAI,GAAG,GAAG,EAAE,CAAA;YACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;gBAChC,IAAI,CAAC,YAAY,OAAO;oBAAE,OAAO,CAAC,CAAA;gBAClC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAA;YAC9B,CAAC;YACD,OAAO,GAAG,CAAA;QACZ,CAAC;QACD,KAAK,UAAU;YACb,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QACvD,KAAK,WAAW;YACd,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,EAAE,CAAC;gBAC5B,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YACrF,CAAC;YACD,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;QACtC,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,CAAA;QAChC,KAAK,OAAO;YACV,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;IACjC,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAAI,OAAmB,EAAE,KAAQ,EAAqC,EAAE;IAC3F,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAC7B,OAAO,CAAC,YAAY,OAAO;QACzB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACtD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AACvB,CAAC,CAAA"}
+{"version":3,"file":"print.js","sourceRoot":"","sources":["../src/print.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE1C,OAAO,EAIL,MAAM,EAEN,OAAO,EAEP,aAAa,GAEd,MAAM,WAAW,CAAA;AAClB,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAc,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AACjF,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,UAAU,EAAmB,MAAM,aAAa,CAAA;AACpF,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAEpD,MAAM,OAAO;IACF,KAAK,CAAY;IAE1B,YAAY,KAAiB;QAC3B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;IACpB,CAAC;CACF;AAED,MAAM,IAAI,GAAG,CAAC,KAAiB,EAAW,EAAE,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAA;AAE/D,MAAM,WAAW,GAAG,CAClB,OAAgB,EAChB,KAAc,EACd,IAAY,EACZ,IAAoC,EACQ,EAAE;IAC9C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,KAAK,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;QAC5E,KAAK,OAAO;YACV,OAAO,SAAS,CAAA;QAClB,KAAK,QAAQ;YACX,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC1C,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,CAAA;gBAC7D,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,KAAK,CAAA;YACvC,CAAC;YACD,OAAO,SAAS,CAAA;QAClB,KAAK,OAAO;YACV,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;gBACpD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;gBAC9D,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,KAAK,CAAA;YACvC,CAAC;YACD,OAAO,SAAS,CAAA;IACpB,CAAC;AACH,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,KAAiB,EAAE,IAAoC,EAAc,EAAE;IACtF,IAAI,MAAM,GAAG,KAAK,CAAA;IAClB,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACtD,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAChE,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAChB,IAAoC,EACpC,KAAY,EACZ,GAAsB,EACJ,EAAE;IACpB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAA;IACpD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IACrD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAA;IAE3C,IAAI,IAAI,GAAG,EAAE,CAAA;IACb,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,MAAM,MAAM,GACV,IAAI,CAAC,IAAI,KAAK,QAAQ;YACpB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC;YACrC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO;gBACnC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;gBACtE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAA;QACzD,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;YAC9B,MAAM,IAAI,GACR,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YACxF,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAA;QAC9E,CAAC;QACD,IAAI,IAAI,MAAM,CAAA;IAChB,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,GAAG,GAAG,CAAC,OAAwB,EAAE,KAAY,EAAE,GAAsB,EAAoB,EAAE;IAC/F,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;IAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,KAAK,CAAA;QACnB,KAAK,OAAO,EAAE,CAAC;YACb,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAC5B,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;YAC5E,IAAI,CAAC,EAAE,CAAC,SAAS,GAAG,CAAC,CAAA;YACrB,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACjC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC5E,OAAO,IAAI,CAAC;oBACV,IAAI,EAAE,cAAc;oBACpB,QAAQ,EAAE,IAAI,CAAC,IAAI;oBACnB,MAAM,EAAE,KAAK;oBACb,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,oBAAoB,IAAI,CAAC,EAAE,CAAC,MAAM,GAAG;iBACtE,CAAC,CAAA;YACJ,CAAC;YACD,OAAO,KAAK,CAAA;QACd,CAAC;QACD,KAAK,KAAK;YACR,OAAO,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;QACpC,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,CAAA;YAC3C,IAAI,IAAI,YAAY,OAAO;gBAAE,OAAO,IAAI,CAAA;YACxC,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;YACzC,IAAI,KAAK,YAAY,OAAO;gBAAE,OAAO,KAAK,CAAA;YAC1C,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,CAAA;YAC7C,OAAO,KAAK,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,GAAG,KAAK,CAAA;QAChE,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,MAAM,GAAsB,EAAE,CAAA;YACpC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;gBACtC,IAAI,CAAC,CAAC,MAAM,YAAY,OAAO,CAAC;oBAAE,OAAO,MAAM,CAAA;gBAC/C,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAC3B,CAAC;YACD,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;QAC/D,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBACvB,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;YAC5E,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBACvD,MAAM,QAAQ,GACZ,IAAI,CAAC,GAAG,KAAK,MAAM,CAAC,iBAAiB;oBACnC,CAAC,CAAC,YAAY,IAAI,CAAC,GAAG,EAAE;oBACxB,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,EAAE,CAAA;gBAChC,OAAO,IAAI,CAAC;oBACV,IAAI,EAAE,cAAc;oBACpB,QAAQ,EAAE,GAAG,QAAQ,QAAQ;oBAC7B,MAAM,EAAE,KAAK;oBACb,MAAM,EAAE,YAAY,QAAQ,eAAe,KAAK,CAAC,MAAM,EAAE;iBAC1D,CAAC,CAAA;YACJ,CAAC;YACD,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,CAAA;YAC/C,IAAI,SAAS,YAAY,OAAO;gBAAE,OAAO,SAAS,CAAA;YAClD,IAAI,IAAI,GAAG,EAAE,CAAA;YACb,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;gBACzC,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;oBAC9B,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAA;gBACnE,CAAC;gBACD,IAAI,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,GAAG,MAAM,CAAA;YACnD,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;QACD,KAAK,UAAU;YACb,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;QAC/D,KAAK,WAAW,EAAE,CAAC;YACjB,IAAI,CAAC;gBACH,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;oBAC9C,OAAO,IAAI,CAAC;wBACV,IAAI,EAAE,cAAc;wBACpB,QAAQ,EAAE,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;wBAC3C,MAAM,EAAE,KAAK;qBACd,CAAC,CAAA;gBACJ,CAAC;gBACD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;gBACjD,OAAO,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC;oBAC9B,CAAC,CAAC,IAAI,CAAC;wBACH,IAAI,EAAE,cAAc;wBACpB,QAAQ,EAAE,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;wBAC3C,MAAM,EAAE,KAAK;wBACb,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO;qBAChC,CAAC;oBACJ,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;YAC3C,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO,IAAI,CAAC;oBACV,IAAI,EAAE,cAAc;oBACpB,QAAQ,EAAE,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;oBAC3C,MAAM,EAAE,KAAK;oBACb,MAAM,EAAE,gBAAgB,CAAC,KAAK,CAAC;iBAChC,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;QACD,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;QAC3C,KAAK,OAAO;YACV,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;QACpC,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;QACvC,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAA;YACzC,IAAI,GAAG,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAA;YACvF,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;YAC1C,OAAO,SAAS,KAAK,SAAS;gBAC5B,CAAC,CAAC,IAAI,CAAC;oBACH,IAAI,EAAE,cAAc;oBACpB,QAAQ,EAAE,oBAAoB,OAAO,CAAC,GAAG,CAAC,EAAE;oBAC5C,MAAM,EAAE,KAAK;iBACd,CAAC;gBACJ,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;QACxC,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;YACvC,IAAI,KAAK,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAA;YACrF,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpB,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,sBAAsB,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;YACxF,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAC5B,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;YAC5E,OAAO,KAAK,CAAC,MAAM,KAAK,KAAK;gBAC3B,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,IAAI,CAAC;oBACH,IAAI,EAAE,cAAc;oBACpB,QAAQ,EAAE,GAAG,KAAK,oBAAoB;oBACtC,MAAM,EAAE,KAAK;iBACd,CAAC,CAAA;QACR,CAAC;QACD,KAAK,aAAa,EAAE,CAAC;YACnB,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;YACvC,IAAI,KAAK,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAA;YACvF,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpB,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,sBAAsB,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;YACxF,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBACvB,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;YAC5E,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;gBAC3B,OAAO,IAAI,CAAC;oBACV,IAAI,EAAE,cAAc;oBACpB,QAAQ,EAAE,GAAG,KAAK,QAAQ;oBAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;iBACrB,CAAC,CAAA;YACJ,CAAC;YACD,IAAI,IAAI,GAAG,EAAE,CAAA;YACb,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;gBACzC,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;oBAC9B,OAAO,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAA;gBACnE,CAAC;gBACD,IAAI,IAAI,MAAM,CAAA;YAChB,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,OAAwB,EACxB,KAAY,EACuB,EAAE;IACrC,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;IAC7C,OAAO,MAAM,YAAY,OAAO;QAC9B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QACtD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;AAC5B,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAAI,OAAmB,EAAE,KAAQ,EAAqC,EAAE,CAC3F,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA"}

package/dist/recovery.d.ts

@@ -0,0 +1,10 @@
+import { type GrammarInternal, type RefExpr, type Value } from "./core.ts";
+import { type Frame } from "./env.ts";
+export interface Assignment {
+    readonly ref: RefExpr;
+    readonly value: Value;
+}
+export type RecoveryPlan = ReadonlyArray<Assignment>;
+export declare const recoverableRefs: (grammar: GrammarInternal) => ReadonlyArray<RefExpr>;
+export declare const recoverPlans: (grammar: GrammarInternal, value: Value, env: Frame | undefined) => ReadonlyArray<RecoveryPlan>;
+//# sourceMappingURL=recovery.d.ts.map

package/dist/recovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"recovery.d.ts","sourceRoot":"","sources":["../src/recovery.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,eAAe,EAIpB,KAAK,OAAO,EAEZ,KAAK,KAAK,EACX,MAAM,WAAW,CAAA;AAClB,OAAO,EAAqC,KAAK,KAAK,EAAc,MAAM,UAAU,CAAA;AAGpF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACtB;AAED,MAAM,MAAM,YAAY,GAAG,aAAa,CAAC,UAAU,CAAC,CAAA;AAqFpD,eAAO,MAAM,eAAe,YAAa,eAAe,KAAG,aAAa,CAAC,OAAO,CACnD,CAAA;AAkJ7B,eAAO,MAAM,YAAY,YACd,eAAe,SACjB,KAAK,OACP,KAAK,GAAG,SAAS,KACrB,aAAa,CAAC,YAAY,CAqE5B,CAAA"}