@scriptc/compiler 0.4.5 → 0.4.6

package/dist/frontend/canon.js

@@ -0,0 +1,462 @@
+/* Canonical type normalization (localized-failure design part 2, §4),
+ * stage N0: report-only. Nothing in the compiler consumes it yet.
+ *
+ * `canon(type, env)` resolves a checker type, under the current generic
+ * bindings, to a small set of canonical shapes: primitive, literal, unit,
+ * top, object (nominal or structural, with lazily resolved members), array,
+ * tuple, flat union, unbound parameter, and an opaque leaf for what it
+ * cannot reduce. The per-form rules of type-mapper.ts (generic aliases,
+ * equal-member intersections, narrowed parameters, recursive placeholders)
+ * are what this replaces family by family in later stages; N1 runs it in
+ * shadow mode beside mapType, N2 as mapType's fallback.
+ *
+ * Nodes intern by checker type identity and the bindings of the type
+ * parameters the walk consulted, so a recursive type closes on itself once
+ * (a back-reference returns the node under construction). */
+import * as ts from "./ts7/adapter.js";
+const PRIM_FLAGS = [
+    [ts.TypeFlags.Number, "number"],
+    [ts.TypeFlags.String, "string"],
+    [ts.TypeFlags.Boolean, "boolean"],
+    [ts.TypeFlags.BigInt, "bigint"],
+    [ts.TypeFlags.ESSymbol | ts.TypeFlags.UniqueESSymbol, "symbol"],
+];
+/** A stable key for a canonical node, for deduplication and tests. Deep
+ * and wide types are cut off (depth 6, about 4,000 characters), so equal
+ * keys mean equal up to that horizon. */
+export function canonKey(c) {
+    const budget = { left: 4000 };
+    return canonKeyAt(c, 0, budget);
+}
+function canonKeyAt(c, depth, budget) {
+    const key = canonKeyInner(c, depth, budget);
+    budget.left -= key.length;
+    return key;
+}
+function canonKeyInner(c, depth, budget) {
+    if (depth > 6 || budget.left <= 0)
+        return "…";
+    const canonKey = (n, d) => canonKeyAt(n, d, budget);
+    switch (c.k) {
+        case "prim":
+            return c.p;
+        case "lit":
+            return JSON.stringify(c.value);
+        case "unit":
+            return c.u;
+        case "top":
+            return c.t;
+        case "param":
+            return `param ${c.name}`;
+        case "opaque":
+            return `opaque(${c.reason})`;
+        case "array":
+            return `${c.readonly ? "readonly " : ""}${canonKey(c.elem, depth + 1)}[]`;
+        case "tuple":
+            return `[${c.elems.map((e) => `${e.rest ? "..." : ""}${canonKey(e.type, depth + 1)}${e.optional ? "?" : ""}`).join(", ")}]`;
+        case "union":
+            return c.arms.map((a) => canonKey(a, depth + 1)).join(" | ");
+        case "obj": {
+            if (c.nominal !== undefined) {
+                const args = c.typeArgs();
+                return args.length === 0
+                    ? c.nominal
+                    : `${c.nominal}<${args.map((a) => canonKey(a, depth + 1)).join(", ")}>`;
+            }
+            const props = c
+                .props()
+                .map((p) => `${p.accessor ? "get " : ""}${p.name}${p.optional ? "?" : ""}: ${canonKey(p.type(), depth + 1)}`);
+            const sig = (s) => `(${s.params
+                .map((p) => `${p.rest ? "..." : ""}${p.optional ? "?" : ""}${canonKey(p.type(), depth + 1)}`)
+                .join(", ")}) => ${canonKey(s.ret(), depth + 1)}`;
+            const calls = c.call().map(sig);
+            const constructs = c.construct().map((s) => `new ${sig(s)}`);
+            const index = c
+                .index()
+                .map((i) => `[${canonKey(i.key, depth + 1)}]: ${canonKey(i.value(), depth + 1)}`);
+            return `{ ${[...calls, ...constructs, ...index, ...props].join("; ")} }`;
+        }
+    }
+}
+/** Whether two canonical nodes are the same type, structurally: unlike
+ * canonKey, every part is compared (signature parameters, index
+ * signatures, type arguments, any depth). A pair met again while it is
+ * being compared is taken as equal, which closes the comparison of
+ * recursive types; when the comparison fails, the pairs assumed during it
+ * are withdrawn. */
+export function canonEqual(a, b, assumed = { pairs: new Map(), trail: [] }) {
+    if (a === b)
+        return true;
+    if (a.k !== b.k)
+        return false;
+    let pairs = assumed.pairs.get(a);
+    if (pairs?.has(b))
+        return true;
+    if (pairs === undefined)
+        assumed.pairs.set(a, (pairs = new Set()));
+    const mark = assumed.trail.length;
+    pairs.add(b);
+    assumed.trail.push([a, b]);
+    const equal = sameCanon(a, b, assumed);
+    if (!equal)
+        while (assumed.trail.length > mark) {
+            const [x, y] = assumed.trail.pop();
+            assumed.pairs.get(x).delete(y);
+        }
+    return equal;
+}
+function sameCanon(a, b, assumed) {
+    const eq = (x, y) => canonEqual(x, y, assumed);
+    const sigsEqual = (xs, ys) => xs.length === ys.length &&
+        xs.every((x, i) => {
+            const y = ys[i];
+            return (x.generic === y.generic &&
+                x.params.length === y.params.length &&
+                x.params.every((p, j) => p.optional === y.params[j].optional &&
+                    p.rest === y.params[j].rest &&
+                    eq(p.type(), y.params[j].type())) &&
+                eq(x.ret(), y.ret()));
+        });
+    switch (a.k) {
+        case "prim":
+            return a.p === b.p;
+        case "lit":
+            return a.value === b.value;
+        case "unit":
+            return a.u === b.u;
+        case "top":
+            return a.t === b.t;
+        case "param":
+            return a.name === b.name;
+        case "opaque":
+            return a.ts === b.ts;
+        case "array": {
+            const o = b;
+            return a.readonly === o.readonly && eq(a.elem, o.elem);
+        }
+        case "tuple": {
+            const o = b;
+            return (a.elems.length === o.elems.length &&
+                a.elems.every((e, i) => e.optional === o.elems[i].optional &&
+                    e.rest === o.elems[i].rest &&
+                    eq(e.type, o.elems[i].type)));
+        }
+        case "union": {
+            const o = b;
+            return (a.arms.length === o.arms.length &&
+                a.arms.every((x) => o.arms.some((y) => eq(x, y))) &&
+                o.arms.every((y) => a.arms.some((x) => eq(x, y))));
+        }
+        case "obj": {
+            const o = b;
+            if (a.nominal !== o.nominal)
+                return false;
+            if (a.nominal !== undefined) {
+                const ax = a.typeArgs();
+                const ox = o.typeArgs();
+                return ax.length === ox.length && ax.every((x, i) => eq(x, ox[i]));
+            }
+            const ap = a.props();
+            const op = o.props();
+            if (ap.length !== op.length)
+                return false;
+            for (const p of ap) {
+                const q = op.find((x) => x.name === p.name);
+                if (q === undefined ||
+                    q.optional !== p.optional ||
+                    q.accessor !== p.accessor ||
+                    !eq(p.type(), q.type()))
+                    return false;
+            }
+            const ai = a.index();
+            const oi = o.index();
+            return (ai.length === oi.length &&
+                ai.every((x, i) => eq(x.key, oi[i].key) && eq(x.value(), oi[i].value())) &&
+                sigsEqual(a.call(), o.call()) &&
+                sigsEqual(a.construct(), o.construct()));
+        }
+    }
+}
+export class Normalizer {
+    checker;
+    interned = new Map();
+    /** A number for each type parameter an environment binds: parameters
+     * with the same name are distinct keys. */
+    paramIds = new Map();
+    constructor(checker) {
+        this.checker = checker;
+    }
+    canon(type, env = new Map()) {
+        const id = type.id;
+        const key = id === undefined ? null : `${id}|${this.envKey(env)}`;
+        if (key !== null) {
+            const known = this.interned.get(key);
+            if (known !== undefined)
+                return known;
+        }
+        const node = this.build(type, env, key);
+        if (node.src === undefined)
+            node.src = type;
+        if (key !== null && !this.interned.has(key))
+            this.interned.set(key, node);
+        return node;
+    }
+    envKey(env) {
+        // A resolver's bindings are the caller's current instantiation: a
+        // normalizer is used for one instantiation at a time.
+        if (typeof env === "function")
+            return "fn";
+        if (env.size === 0)
+            return "";
+        const parts = [];
+        for (const [param, bound] of env) {
+            let id = this.paramIds.get(param);
+            if (id === undefined)
+                this.paramIds.set(param, (id = this.paramIds.size));
+            parts.push(`${id}=${bound.id ?? "?"}`);
+        }
+        return parts.sort().join(",");
+    }
+    build(type, env, key) {
+        const flags = type.flags;
+        if (flags & ts.TypeFlags.Any)
+            return { k: "top", t: "any" };
+        if (flags & ts.TypeFlags.Unknown)
+            return { k: "top", t: "unknown" };
+        if (flags & ts.TypeFlags.NonPrimitive)
+            return { k: "top", t: "object" };
+        if (flags & ts.TypeFlags.Never)
+            return { k: "unit", u: "never" };
+        if (flags & ts.TypeFlags.Void)
+            return { k: "unit", u: "void" };
+        if (flags & ts.TypeFlags.Undefined)
+            return { k: "unit", u: "undefined" };
+        if (flags & ts.TypeFlags.Null)
+            return { k: "unit", u: "null" };
+        if (flags & ts.TypeFlags.TemplateLiteral)
+            return { k: "prim", p: "string" };
+        if (flags & (ts.TypeFlags.StringLiteral | ts.TypeFlags.NumberLiteral)) {
+            const value = type.value;
+            if (value !== undefined)
+                return { k: "lit", value };
+        }
+        if (flags & ts.TypeFlags.BooleanLiteral)
+            return { k: "lit", value: this.checker.typeToString(type) === "true" };
+        if (!type.isUnionType())
+            for (const [flag, p] of PRIM_FLAGS)
+                if (flags & flag)
+                    return { k: "prim", p };
+        if (flags & ts.TypeFlags.TypeParameter) {
+            const symbol = type.getSymbol();
+            const bound = typeof env === "function"
+                ? (env(type) ?? undefined)
+                : symbol === undefined
+                    ? undefined
+                    : env.get(symbol);
+            if (bound !== undefined && bound !== type)
+                return this.canon(bound, env);
+            return { k: "param", name: symbol === undefined ? "?" : ts.symbolName(symbol) };
+        }
+        if (type.isUnionType())
+            return this.union(ts.constituentTypes(type), env);
+        if (type.isIntersectionType())
+            return this.intersection(type, env, key);
+        if (flags & (ts.TypeFlags.Conditional | ts.TypeFlags.IndexedAccess | ts.TypeFlags.Index))
+            return { k: "opaque", ts: type, reason: "symbolic type operator" };
+        if (flags & ts.TypeFlags.Object)
+            return this.object(type, env, key);
+        return { k: "opaque", ts: type, reason: `flags ${flags}` };
+    }
+    /** Flat, deduplicated, never-free; `void` reads as `undefined`. */
+    union(parts, env) {
+        const arms = [];
+        const add = (c) => {
+            if (c.k === "union") {
+                for (const a of c.arms)
+                    add(a);
+                return;
+            }
+            if (c.k === "unit" && c.u === "never")
+                return;
+            const arm = c.k === "unit" && c.u === "void" ? { k: "unit", u: "undefined" } : c;
+            // Objects dedupe by identity (they intern by checker type): comparing
+            // their members would walk into a recursive type still being built.
+            if (arms.some((a) => (arm.k === "obj" ? a === arm : canonEqual(a, arm))))
+                return;
+            arms.push(arm);
+        };
+        for (const part of parts)
+            add(this.canon(part, env));
+        // Units last, in a fixed order; the rest keep the checker's order.
+        const unitRank = (c) => c.k !== "unit" ? 0 : c.u === "null" ? 1 : c.u === "undefined" ? 2 : 3;
+        arms.sort((a, b) => unitRank(a) - unitRank(b));
+        if (arms.length === 0)
+            return { k: "unit", u: "never" };
+        if (arms.length === 1)
+            return arms[0];
+        // `true | false` is `boolean`.
+        const bools = arms.filter((a) => a.k === "lit" && typeof a.value === "boolean");
+        if (bools.length === 2) {
+            const rest = arms.filter((a) => !(a.k === "lit" && typeof a.value === "boolean"));
+            const merged = [{ k: "prim", p: "boolean" }, ...rest];
+            return merged.length === 1 ? merged[0] : { k: "union", arms: merged };
+        }
+        return { k: "union", arms };
+    }
+    /** Equal constituents collapse; object-like constituents without
+     * signatures merge through the checker's resolved properties; a
+     * primitive branded with an object is the primitive. */
+    intersection(type, env, key) {
+        const parts = ts.constituentTypes(type).map((t) => this.canon(t, env));
+        if (parts.every((p) => canonEqual(p, parts[0])))
+            return parts[0];
+        // Narrowed parameters: `T & {}` (and `T & ({} | null)`'s object part)
+        // keep T without its undefined and null arms.
+        const empty = (p) => p.k === "obj" &&
+            p.nominal === undefined &&
+            p.props().length === 0 &&
+            p.index().length === 0 &&
+            p.call().length === 0 &&
+            p.construct().length === 0;
+        const rest = parts.filter((p) => !empty(p));
+        if (rest.length === 1 && rest.length < parts.length) {
+            const only = rest[0];
+            if (only.k !== "union")
+                return only.k === "unit" ? { k: "unit", u: "never" } : only;
+            const arms = only.arms.filter((a) => a.k !== "unit");
+            return arms.length === 1 ? arms[0] : { k: "union", arms };
+        }
+        const prims = parts.filter((p) => p.k === "prim" || p.k === "lit");
+        if (prims.length === 1 && parts.every((p) => p.k === "prim" || p.k === "lit" || p.k === "obj"))
+            return prims[0];
+        if (parts.every((p) => p.k === "obj" || (p.k === "top" && p.t === "object"))) {
+            const merged = this.object(type, env, key);
+            // A class (or mixin instance) refined by other object types is that
+            // class, with its type arguments: the nominal table answers it, not a
+            // merged record.
+            let refined;
+            for (const p of parts)
+                if (p.k === "obj" && p.nominal !== undefined)
+                    refined ??= { nominal: p.nominal, typeArgs: p.typeArgs };
+            if (refined !== undefined && merged.k === "obj" && merged.nominal === undefined) {
+                merged.nominal = refined.nominal;
+                merged.typeArgs = refined.typeArgs;
+            }
+            return merged;
+        }
+        return { k: "opaque", ts: type, reason: "intersection" };
+    }
+    object(type, env, key) {
+        const checker = this.checker;
+        // Arrays and tuples enter the intern table before their elements are
+        // normalized, so a recursive alias (`type Tree = Tree[] | number`)
+        // closes on the node under construction.
+        if (checker.isArrayType(type)) {
+            const [elem] = checker.getTypeArguments(type);
+            const node = {
+                k: "array",
+                elem: { k: "top", t: "unknown" },
+                readonly: type.getSymbol() !== undefined && ts.symbolName(type.getSymbol()) === "ReadonlyArray",
+            };
+            if (key !== null)
+                this.interned.set(key, node);
+            if (elem !== undefined)
+                node.elem = this.canon(elem, env);
+            return node;
+        }
+        if (checker.isTupleType(type)) {
+            const ref = type;
+            // The element flags live on the tuple shape: the type itself, or the
+            // target of a reference to it.
+            const shape = ref.elementFlags !== undefined
+                ? ref
+                : ref.getTarget();
+            const flags = shape?.elementFlags ?? [];
+            const elems = [];
+            const node = { k: "tuple", elems };
+            if (key !== null)
+                this.interned.set(key, node);
+            checker.getTypeArguments(ref).forEach((a, i) => {
+                const f = flags[i] ?? ts.ElementFlags.Required;
+                elems.push({
+                    type: this.canon(a, env),
+                    optional: (f & ts.ElementFlags.Optional) !== 0,
+                    rest: (f & (ts.ElementFlags.Rest | ts.ElementFlags.Variadic)) !== 0,
+                });
+            });
+            return node;
+        }
+        // A mapped type the checker could not resolve (over an unbound or
+        // symbolically bound parameter) shows no members: irreducible here.
+        if ((type.objectFlags & ts.ObjectFlags.Mapped) !== 0 &&
+            checker.getPropertiesOfType(type).length === 0 &&
+            checker.getIndexInfosOfType(type).length === 0)
+            return { k: "opaque", ts: type, reason: "unresolved mapped type" };
+        const symbol = type.getSymbol();
+        const decl = symbol?.declarations[0];
+        const nominal = decl !== undefined && (ts.isClassDeclaration(decl) || ts.isClassExpression(decl))
+            ? ts.symbolName(symbol)
+            : decl !== undefined &&
+                ts.isInterfaceDeclaration(decl) &&
+                ts.getSourceFileOfNode(decl).isDeclarationFile &&
+                /\/lib\.[^/]*\.d\.ts$/.test(ts.getSourceFileOfNode(decl).fileName)
+                ? ts.symbolName(symbol)
+                : undefined;
+        const aliasSymbol = type.getAliasSymbol();
+        const alias = aliasSymbol === undefined
+            ? undefined
+            : {
+                name: ts.symbolName(aliasSymbol),
+                args: type.getAliasTypeArguments().map((a) => this.canon(a, env)),
+                tsType: type,
+            };
+        let typeArgs;
+        let props;
+        let index;
+        let call;
+        let construct;
+        const sigs = (list) => list.map((s) => ({
+            params: s.getParameters().map((p) => {
+                const pd = p.declarations[0];
+                const param = pd !== undefined && ts.isParameter(pd) ? pd : undefined;
+                return {
+                    name: ts.symbolName(p),
+                    optional: param?.questionToken !== undefined || param?.initializer !== undefined,
+                    rest: param?.dotDotDotToken !== undefined,
+                    type: () => this.canon(checker.getTypeOfSymbol(p), env),
+                };
+            }),
+            ret: () => this.canon(checker.getReturnTypeOfSignature(s), env),
+            generic: s.getTypeParameters().length > 0,
+        }));
+        const node = {
+            k: "obj",
+            ...(nominal !== undefined ? { nominal } : {}),
+            ...(alias !== undefined ? { alias } : {}),
+            typeArgs: () => (typeArgs ??=
+                nominal !== undefined &&
+                    (type.objectFlags & ts.ObjectFlags.Reference) !== 0
+                    ? checker.getTypeArguments(type).map((a) => this.canon(a, env))
+                    : []),
+            props: () => (props ??= checker.getPropertiesOfType(type).map((p) => ({
+                name: ts.symbolName(p),
+                optional: (p.flags & ts.SymbolFlags.Optional) !== 0,
+                readonly: false,
+                accessor: (p.flags & (ts.SymbolFlags.GetAccessor | ts.SymbolFlags.SetAccessor)) !== 0,
+                type: () => this.canon(checker.getTypeOfSymbol(p), env),
+            }))),
+            index: () => (index ??= checker.getIndexInfosOfType(type).map((info) => ({
+                key: this.canon(info.keyType, env),
+                value: () => this.canon(info.type, env),
+            }))),
+            call: () => (call ??= sigs(checker.getCallSignatures(type))),
+            construct: () => (construct ??= sigs(checker.getConstructSignatures(type))),
+        };
+        // Recursion closes here: members resolve lazily, so a back-reference
+        // reaches this node through the intern table.
+        if (key !== null)
+            this.interned.set(key, node);
+        return node;
+    }
+}
+//# sourceMappingURL=canon.js.map

package/dist/frontend/canon.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canon.js","sourceRoot":"","sources":["../../src/frontend/canon.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;6DAc6D;AAC7D,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAmEvC,MAAM,UAAU,GAAmC;IACjD,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC/B,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC/B,CAAC,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC;IACjC,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC/B,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC,cAAc,EAAE,QAAQ,CAAC;CAChE,CAAC;AAEF;;yCAEyC;AACzC,MAAM,UAAU,QAAQ,CAAC,CAAQ;IAC/B,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC9B,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,UAAU,CAAC,CAAQ,EAAE,KAAa,EAAE,MAAwB;IACnE,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC;IAC1B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,CAAQ,EAAE,KAAa,EAAE,MAAwB;IACtE,IAAI,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IAC9C,MAAM,QAAQ,GAAG,CAAC,CAAQ,EAAE,CAAS,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IACnE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,CAAC,CAAC;QACb,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACjC,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,CAAC,CAAC;QACb,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,CAAC,CAAC;QACb,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3B,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC;QAC/B,KAAK,OAAO;YACV,OAAO,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC;QAC5E,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9H,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,KAAK,KAAK,EAAE,CAAC;YACX,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAC1B,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC;oBACtB,CAAC,CAAC,CAAC,CAAC,OAAO;oBACX,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC5E,CAAC;YACD,MAAM,KAAK,GAAG,CAAC;iBACZ,KAAK,EAAE;iBACP,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CACJ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CACnG,CAAC;YACJ,MAAM,GAAG,GAAG,CAAC,CAAW,EAAU,EAAE,CAClC,IAAI,CAAC,CAAC,MAAM;iBACT,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CACxF;iBACA,IAAI,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;YACtD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChC,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7D,MAAM,KAAK,GAAG,CAAC;iBACZ,KAAK,EAAE;iBACP,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YACpF,OAAO,KAAK,CAAC,GAAG,KAAK,EAAE,GAAG,UAAU,EAAE,GAAG,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3E,CAAC;IACH,CAAC;AACH,CAAC;AASD;;;;;oBAKoB;AACpB,MAAM,UAAU,UAAU,CACxB,CAAQ,EACR,CAAQ,EACR,OAAO,GAAgB,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;IAEtD,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9B,IAAI,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;IAClC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACb,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;IACvC,IAAI,CAAC,KAAK;QACR,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,IAAI,EAAE,CAAC;YACnC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,EAAG,CAAC;YACpC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,CAAQ,EAAE,CAAQ,EAAE,OAAoB;IACzD,MAAM,EAAE,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAW,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;IACtE,MAAM,SAAS,GAAG,CAAC,EAAuB,EAAE,EAAuB,EAAW,EAAE,CAC9E,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;QACvB,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAChB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC;YACjB,OAAO,CACL,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;gBACvB,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM;gBACnC,CAAC,CAAC,MAAM,CAAC,KAAK,CACZ,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,QAAQ;oBACpC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI;oBAC5B,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,CACpC;gBACD,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CACrB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,CAAC,KAAM,CAAc,CAAC,CAAC,CAAC;QACnC,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,KAAK,KAAM,CAAc,CAAC,KAAK,CAAC;QAC3C,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,CAAC,KAAM,CAAc,CAAC,CAAC,CAAC;QACnC,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,CAAC,KAAM,CAAc,CAAC,CAAC,CAAC;QACnC,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,IAAI,KAAM,CAAc,CAAC,IAAI,CAAC;QACzC,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,EAAE,KAAM,CAAc,CAAC,EAAE,CAAC;QACrC,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,CAAC,GAAG,CAAa,CAAC;YACxB,OAAO,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACzD,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,CAAC,GAAG,CAAa,CAAC;YACxB,OAAO,CACL,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM;gBACjC,CAAC,CAAC,KAAK,CAAC,KAAK,CACX,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ;oBACnC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI;oBAC3B,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAC/B,CACF,CAAC;QACJ,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,CAAC,GAAG,CAAa,CAAC;YACxB,OAAO,CACL,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM;gBAC/B,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACjD,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAClD,CAAC;QACJ,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACX,MAAM,CAAC,GAAG,CAAa,CAAC;YACxB,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;gBAAE,OAAO,KAAK,CAAC;YAC1C,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACxB,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACxB,OAAO,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;YACtE,CAAC;YACD,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;YACrB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;YACrB,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1C,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;gBACnB,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC5C,IACE,CAAC,KAAK,SAAS;oBACf,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;oBACzB,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;oBACzB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;oBAEvB,OAAO,KAAK,CAAC;YACjB,CAAC;YACD,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;YACrB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;YACrB,OAAO,CACL,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;gBACvB,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAE,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC1E,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC7B,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CACxC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,OAAO,UAAU;IAMQ,OAAO;IALnB,QAAQ,GAAG,IAAI,GAAG,EAAiB,CAAC;IACrD;+CAC2C;IAC1B,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAC;IAEzD,YAA6B,OAAuB;uBAAvB,OAAO;IAAmB,CAAC;IAExD,KAAK,CAAC,IAAa,EAAE,GAAG,GAAa,IAAI,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAI,IAAwB,CAAC,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;QACxC,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACxC,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC;QAC5C,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1E,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,MAAM,CAAC,GAAa;QAC1B,kEAAkE;QAClE,sDAAsD;QACtD,IAAI,OAAO,GAAG,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;QAC3C,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC;YACjC,IAAI,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,EAAE,KAAK,SAAS;gBAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YAC1E,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAK,KAAyB,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IAEO,KAAK,CAAC,IAAa,EAAE,GAAa,EAAE,GAAkB;QAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG;YAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;QAC5D,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO;YAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC;QACpE,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,YAAY;YAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;QACxE,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK;YAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;QACjE,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI;YAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;QAC/D,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS;YAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC;QACzE,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI;YAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;QAC/D,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,eAAe;YAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;QAC5E,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,aAAa,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC;YACtE,MAAM,KAAK,GAAI,IAAoC,CAAC,KAAK,CAAC;YAC1D,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACtD,CAAC;QACD,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,cAAc;YACrC,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,MAAM,EAAE,CAAC;QACzE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE;YACrB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,UAAU;gBAAE,IAAI,KAAK,GAAG,IAAI;oBAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QAChF,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAChC,MAAM,KAAK,GACT,OAAO,GAAG,KAAK,UAAU;gBACvB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;gBAC1B,CAAC,CAAC,MAAM,KAAK,SAAS;oBACpB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACxB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACzE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAClF,CAAC;QACD,IAAI,IAAI,CAAC,WAAW,EAAE;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1E,IAAI,IAAI,CAAC,kBAAkB,EAAE;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACxE,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,WAAW,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;YACtF,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC;QACrE,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACpE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,KAAK,EAAE,EAAE,CAAC;IAC7D,CAAC;IAED,mEAAmE;IAC3D,KAAK,CAAC,KAAyB,EAAE,GAAa;QACpD,MAAM,IAAI,GAAY,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,CAAC,CAAQ,EAAQ,EAAE;YAC7B,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,CAAC;gBACpB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;oBAAE,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC/B,OAAO;YACT,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO;gBAAE,OAAO;YAC9C,MAAM,GAAG,GAAU,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACxF,sEAAsE;YACtE,oEAAoE;YACpE,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO;YACjF,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QACrD,mEAAmE;QACnE,MAAM,QAAQ,GAAG,CAAC,CAAQ,EAAU,EAAE,CACpC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;QACxD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,CAAE,CAAC;QACvC,+BAA+B;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;QAChF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC;YAClF,MAAM,MAAM,GAAY,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC;YAC/D,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACzE,CAAC;QACD,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IAED;;4DAEwD;IAChD,YAAY,CAAC,IAAa,EAAE,GAAa,EAAE,GAAkB;QACnE,MAAM,KAAK,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACvE,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,CAAE,CAAC;QACnE,sEAAsE;QACtE,8CAA8C;QAC9C,MAAM,KAAK,GAAG,CAAC,CAAQ,EAAW,EAAE,CAClC,CAAC,CAAC,CAAC,KAAK,KAAK;YACb,CAAC,CAAC,OAAO,KAAK,SAAS;YACvB,CAAC,CAAC,KAAK,EAAE,CAAC,MAAM,KAAK,CAAC;YACtB,CAAC,CAAC,KAAK,EAAE,CAAC,MAAM,KAAK,CAAC;YACtB,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YACrB,CAAC,CAAC,SAAS,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YACpD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;YACtB,IAAI,IAAI,CAAC,CAAC,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACpF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;YACrD,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAC7D,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC;QACnE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC;YAC5F,OAAO,KAAK,CAAC,CAAC,CAAE,CAAC;QACnB,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC3C,oEAAoE;YACpE,sEAAsE;YACtE,iBAAiB;YACjB,IAAI,OAA0E,CAAC;YAC/E,KAAK,MAAM,CAAC,IAAI,KAAK;gBACnB,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;oBAC1C,OAAO,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC7D,IAAI,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,CAAC,KAAK,KAAK,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAChF,MAAM,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;gBACjC,MAAM,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;YACrC,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IAC3D,CAAC;IAEO,MAAM,CAAC,IAAa,EAAE,GAAa,EAAE,GAAkB;QAC7D,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC7B,qEAAqE;QACrE,mEAAmE;QACnE,yCAAyC;QACzC,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAwB,CAAC,CAAC;YAClE,MAAM,IAAI,GAA2B;gBACnC,CAAC,EAAE,OAAO;gBACV,IAAI,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE;gBAChC,QAAQ,EACN,IAAI,CAAC,SAAS,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAG,CAAC,KAAK,eAAe;aACzF,CAAC;YACF,IAAI,GAAG,KAAK,IAAI;gBAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC/C,IAAI,IAAI,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC1D,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,IAA6B,CAAC;YAC1C,qEAAqE;YACrE,+BAA+B;YAC/B,MAAM,KAAK,GACR,GAAG,CAAC,YAA8C,KAAK,SAAS;gBAC/D,CAAC,CAAC,GAAG;gBACL,CAAC,CAAE,GAAG,CAAC,SAAS,EAA+B,CAAC;YACpD,MAAM,KAAK,GAAG,KAAK,EAAE,YAAY,IAAI,EAAE,CAAC;YACxC,MAAM,KAAK,GAAwD,EAAE,CAAC;YACtE,MAAM,IAAI,GAAU,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAC1C,IAAI,GAAG,KAAK,IAAI;gBAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC/C,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC7C,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC;gBAC/C,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;oBACxB,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAC9C,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC;iBACpE,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;QACD,kEAAkE;QAClE,oEAAoE;QACpE,IACE,CAAE,IAAsB,CAAC,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC;YACnE,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAC9C,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAE9C,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC;QACrE,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,OAAO,GACX,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAC/E,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,MAAO,CAAC;YACxB,CAAC,CAAC,IAAI,KAAK,SAAS;gBAChB,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;gBAC/B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,iBAAiB;gBAC9C,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC;gBACpE,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,MAAO,CAAC;gBACxB,CAAC,CAAC,SAAS,CAAC;QAClB,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QAC1C,MAAM,KAAK,GACT,WAAW,KAAK,SAAS;YACvB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC;gBACE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;gBAChC,IAAI,EAAE,IAAI,CAAC,qBAAqB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACjE,MAAM,EAAE,IAAI;aACb,CAAC;QACR,IAAI,QAAsC,CAAC;QAC3C,IAAI,KAAuC,CAAC;QAC5C,IAAI,KAAwC,CAAC;QAC7C,IAAI,IAAqC,CAAC;QAC1C,IAAI,SAA0C,CAAC;QAC/C,MAAM,IAAI,GAAG,CAAC,IAA6B,EAAc,EAAE,CACzD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACf,MAAM,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAClC,MAAM,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC7B,MAAM,KAAK,GAAG,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBACtE,OAAO;oBACL,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;oBACtB,QAAQ,EAAE,KAAK,EAAE,aAAa,KAAK,SAAS,IAAI,KAAK,EAAE,WAAW,KAAK,SAAS;oBAChF,IAAI,EAAE,KAAK,EAAE,cAAc,KAAK,SAAS;oBACzC,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;iBACxD,CAAC;YACJ,CAAC,CAAC;YACF,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;YAC/D,OAAO,EAAE,CAAC,CAAC,iBAAiB,EAAE,CAAC,MAAM,GAAG,CAAC;SAC1C,CAAC,CAAC,CAAC;QACN,MAAM,IAAI,GAAU;YAClB,CAAC,EAAE,KAAK;YACR,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,QAAQ,EAAE,GAAG,EAAE,CACb,CAAC,QAAQ;gBACP,OAAO,KAAK,SAAS;oBACrB,CAAE,IAAsB,CAAC,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC;oBACpE,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;oBACnF,CAAC,CAAC,EAAE,CAAC;YACX,KAAK,EAAE,GAAG,EAAE,CACV,CAAC,KAAK,KAAK,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACvD,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;gBACtB,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACnD,QAAQ,EAAE,KAAK;gBACf,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC;gBACrF,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;aACxD,CAAC,CAAC,CAAC;YACN,KAAK,EAAE,GAAG,EAAE,CACV,CAAC,KAAK,KAAK,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC1D,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC;gBAClC,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aACxC,CAAC,CAAC,CAAC;YACN,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5D,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;SAC5E,CAAC;QACF,qEAAqE;QACrE,8CAA8C;QAC9C,IAAI,GAAG,KAAK,IAAI;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;CACF"}

package/dist/frontend/contract-types.d.ts

@@ -2,7 +2,12 @@ import type { ScrDiagnostic } from "../diagnostics/diagnostic.js";
 import type { SrcLoc } from "../ir/ir.js";
 import * as ts from "./ts7/adapter.js";
 export declare const CONTRACT_TYPES_MODULE = "@scriptc/types";
-export type ContractMarker = "Int32" | "NoThrow" | "Immutable" | "Acyclic" | "ProgramLifetime";
+/** The module and name of the inline array field marker, which is
+ * experimental: `readonly f: InlineArray<C>` on an instance field of a
+ * ProgramLifetime class (ir/inline-arrays.ts). */
+export declare const INLINE_ARRAY_MODULE = "@scriptc/experimental";
+export declare const INLINE_ARRAY_MARKER = "InlineArray";
+export type ContractMarker = "Int32" | "NoThrow" | "Immutable" | "Acyclic" | "ProgramLifetime" | typeof INLINE_ARRAY_MARKER;
 /** One written contract: what it promises and where the annotation is. */
 export interface ContractNote {
     marker: ContractMarker;
@@ -42,6 +47,9 @@ export interface ContractAnnotations {
     acyclic: AcyclicNote[];
     /** ProgramLifetime classes (`implements ProgramLifetime`) by class key. */
     classes: Map<string, ContractNote>;
+    /** Inline array fields (`readonly f: InlineArray<C>`) by
+     * `${class key}\0${field name}`. */
+    inlineArrays: Map<string, ContractNote>;
     diagnostics: ScrDiagnostic[];
     /** Number of annotations found (for timing and tests). */
     count: number;

package/dist/frontend/contract-types.js

@@ -1,13 +1,24 @@
 import { locOf } from "./program.js";
 import * as ts from "./ts7/adapter.js";
+import { isHeritageElement } from "./heritage-elements.js";
 export const CONTRACT_TYPES_MODULE = "@scriptc/types";
+/** The module and name of the inline array field marker, which is
+ * experimental: `readonly f: InlineArray<C>` on an instance field of a
+ * ProgramLifetime class (ir/inline-arrays.ts). */
+export const INLINE_ARRAY_MODULE = "@scriptc/experimental";
+export const INLINE_ARRAY_MARKER = "InlineArray";
 const MARKERS = new Set([
     "Int32",
     "NoThrow",
     "Immutable",
     "Acyclic",
     "ProgramLifetime",
+    INLINE_ARRAY_MARKER,
 ]);
+/** The module a marker is imported from. */
+function markerModule(marker) {
+    return marker === INLINE_ARRAY_MARKER ? INLINE_ARRAY_MODULE : CONTRACT_TYPES_MODULE;
+}
 export function contractLocKey(loc) {
     return `${loc.file}\0${loc.start}\0${loc.end}`;
 }
@@ -23,8 +34,12 @@ function markerOf(checker, ref) {
     return null;
 }
 /** The marker a heritage clause names (`implements Acyclic`,
- * `implements sc.ProgramLifetime`). */
+ * `implements sc.ProgramLifetime`), as an ExpressionWithTypeArguments or,
+ * in TypeScript 7.1's interface `extends` and class `implements`, a
+ * TypeReference. */
 function markerOfHeritage(checker, node) {
+    if (ts.isTypeReferenceNode(node))
+        return markerOf(checker, node);
     const e = node.expression;
     if (ts.isIdentifier(e))
         return markerNamed(checker, e, e.text, false);
@@ -54,7 +69,7 @@ function markerNamed(checker, ident, written, qualified) {
     if (importDecl === undefined ||
         !ts.isImportDeclaration(importDecl) ||
         !ts.isStringLiteral(importDecl.moduleSpecifier) ||
-        importDecl.moduleSpecifier.text !== CONTRACT_TYPES_MODULE)
+        importDecl.moduleSpecifier.text !== markerModule(member))
         return null;
     return MARKERS.has(member) ? member : null;
 }
@@ -78,6 +93,7 @@ export function collectContractAnnotations(checker, files, resolveUnit = () => n
         fields: new Map(),
         acyclic: [],
         classes: new Map(),
+        inlineArrays: new Map(),
         diagnostics: [],
         count: 0,
     };
@@ -86,10 +102,11 @@ export function collectContractAnnotations(checker, files, resolveUnit = () => n
         ts.SyntaxKind.ExpressionWithTypeArguments,
     ]);
     for (const sf of files) {
-        if (sf.isDeclarationFile || !sf.text.includes(CONTRACT_TYPES_MODULE))
+        if (sf.isDeclarationFile ||
+            (!sf.text.includes(CONTRACT_TYPES_MODULE) && !sf.text.includes(INLINE_ARRAY_MODULE)))
             continue;
         ts.walkPreorder(sf, (node) => {
-            if (ts.isExpressionWithTypeArguments(node)) {
+            if (isHeritageElement(node)) {
                 const marker = markerOfHeritage(checker, node);
                 if (marker === null)
                     return;
@@ -107,6 +124,8 @@ export function collectContractAnnotations(checker, files, resolveUnit = () => n
                 placeAcyclicAlias(out, checker, node, resolveUnit);
             else if (marker === "ProgramLifetime")
                 unsupported(out, node, marker);
+            else if (marker === INLINE_ARRAY_MARKER)
+                placeInlineArray(out, node);
             else
                 place(out, checker, node, marker);
         }, kinds);
@@ -118,6 +137,10 @@ function unsupported(out, node, marker) {
         out.diagnostics.push(contractDiag("SC7006", locOf(node), "the Acyclic contract is not checked in this position (Acyclic is checked on classes, interfaces and object type aliases)", "write `class C implements Acyclic` or `interface I extends Acyclic` (without a type argument), or `type T = Acyclic<{ ... }>`"));
         return;
     }
+    if (marker === INLINE_ARRAY_MARKER) {
+        out.diagnostics.push(contractDiag("SC7006", locOf(node), "the InlineArray contract is not checked in this position (InlineArray is checked on instance fields of ProgramLifetime classes)", "write it directly as the type of an instance field: readonly f: InlineArray<C>"));
+        return;
+    }
     const where = marker === "NoThrow"
         ? "NoThrow wraps a function's written return type"
         : marker === "Int32"
@@ -176,6 +199,25 @@ function placeHeritage(out, checker, node, marker, resolveUnit) {
     }
     unsupported(out, node, marker);
 }
+/** `readonly f: InlineArray<C>`: an instance field of a class. */
+function placeInlineArray(out, ref) {
+    const parent = ref.parent;
+    if (parent === undefined ||
+        !ts.isPropertyDeclaration(parent) ||
+        parent.type !== ref ||
+        ref.typeArguments?.nodes.length !== 1 ||
+        ts.getModifiers(parent)?.some((m) => m.kind === ts.SyntaxKind.StaticKeyword) === true ||
+        !(ts.isIdentifier(parent.name) || ts.isPrivateIdentifier(parent.name)))
+        return unsupported(out, ref, INLINE_ARRAY_MARKER);
+    const cls = parent.parent;
+    if (cls === undefined || !(ts.isClassDeclaration(cls) || ts.isClassExpression(cls)))
+        return unsupported(out, ref, INLINE_ARRAY_MARKER);
+    out.inlineArrays.set(`${contractLocKey(locOf(cls))}\0${parent.name.text}`, {
+        marker: INLINE_ARRAY_MARKER,
+        loc: locOf(ref),
+        name: `${nameText(cls.name)}.${parent.name.text}`,
+    });
+}
 /** `type T = Acyclic<{ ... }>`: the aliased object type. */
 function placeAcyclicAlias(out, checker, ref, resolveUnit) {
     const alias = ref.parent;