@scriptc/compiler 0.4.1 → 0.4.2

package/dist/frontend/lowering/builtins/date-classes.js

@@ -0,0 +1,477 @@
+import * as ts from "../../ts7/adapter.js";
+import {} from "../lowerer.js";
+import { locOf } from "../../program.js";
+import {} from "../lower-classes.js";
+import { DATE_METHOD_HINT, dateJsonType, dateValueMethod } from "./dates.js";
+import { dynUndefinedExpr, varRef } from "../../../ir/build.js";
+import { BOOL, DATE_T, DYN, F64, NULL_T, STRING, VOID, typeKey, } from "../../../ir/ir.js";
+/** The hidden field holding the time value of a class declared `extends
+ * Date`, the first field of its layout. */
+export const DATE_TIME_FIELD = "%time";
+/** The class declared `extends Date` at the root of `info`'s base chain, or
+ * null. */
+export function dateRootOf(info) {
+    for (let c = info ?? null; c; c = c.base)
+        if (c.extendsDate)
+            return c;
+    return null;
+}
+/** Whether the program declares a class that extends Date. */
+export function programDeclaresDateClass(lowerer) {
+    for (const info of lowerer.classes.values())
+        if (info.extendsDate)
+            return true;
+    return false;
+}
+/** The Date.prototype methods a class declared `extends Date` inherits.
+ * Those without a lowering refuse at the call. */
+const DATE_PROTOTYPE_METHODS = new Set([
+    "getTime",
+    "valueOf",
+    "toISOString",
+    "toUTCString",
+    "toJSON",
+    "toString",
+    "toDateString",
+    "toTimeString",
+    "toGMTString",
+    "toLocaleString",
+    "toLocaleDateString",
+    "toLocaleTimeString",
+    "getFullYear",
+    "getUTCFullYear",
+    "getYear",
+    "getMonth",
+    "getUTCMonth",
+    "getDate",
+    "getUTCDate",
+    "getDay",
+    "getUTCDay",
+    "getHours",
+    "getUTCHours",
+    "getMinutes",
+    "getUTCMinutes",
+    "getSeconds",
+    "getUTCSeconds",
+    "getMilliseconds",
+    "getUTCMilliseconds",
+    "getTimezoneOffset",
+    "setTime",
+    "setFullYear",
+    "setUTCFullYear",
+    "setYear",
+    "setMonth",
+    "setUTCMonth",
+    "setDate",
+    "setUTCDate",
+    "setHours",
+    "setUTCHours",
+    "setMinutes",
+    "setUTCMinutes",
+    "setSeconds",
+    "setUTCSeconds",
+    "setMilliseconds",
+    "setUTCMilliseconds",
+]);
+export const DATE_PROTOTYPE_METHOD_NAMES = [...DATE_PROTOTYPE_METHODS];
+export function isDatePrototypeMethod(name) {
+    return DATE_PROTOTYPE_METHODS.has(name);
+}
+/** Whether `name` is a Date method an instance of `info` inherits from
+ * Date.prototype: its class chain is rooted at a class declared `extends
+ * Date` and declares no member of that name. The runtime's view of the
+ * instance answers it (scr_dyn_date_class_method). */
+export function dateInheritedMember(lowerer, info, name) {
+    return (dateRootOf(info) !== null &&
+        DATE_PROTOTYPE_METHODS.has(name) &&
+        !lowerer.findMethodOn(info, name) &&
+        !info.fields.has(name));
+}
+/** super(...args) in a class declared `extends Date`: the time value the
+ * Date constructor computes from the argument vector `args` (one dyn
+ * array), stored in the hidden field. */
+export function dateSuperCall(thisRef, info, args, loc) {
+    return {
+        kind: "fieldSet",
+        obj: thisRef,
+        className: info.def.name,
+        field: DATE_TIME_FIELD,
+        value: { kind: "libCall", fn: "date.argumentsTime", args: [args], type: DATE_T, loc },
+        loc,
+    };
+}
+/** The time value of `receiver`, an instance of a class rooted at `root`. */
+function timeOf(lowerer, receiver, root, loc) {
+    return {
+        kind: "fieldGet",
+        obj: lowerer.upcastTo(receiver, root.def.name),
+        className: root.def.name,
+        field: DATE_TIME_FIELD,
+        type: DATE_T,
+        loc,
+    };
+}
+/** `receiver.name()` with no arguments where the static class `info` does
+ * not declare `name`: the subclasses of `info` that declare it run theirs,
+ * any other instance the Date method. `receiver` is a variable read. */
+function instanceMethodCall(lowerer, blame, info, receiver, name, inherited, loc) {
+    const found = lowerer.findMethodOn(info, name);
+    if (found) {
+        if (found.sig.params.length > 0)
+            lowerer.unsupported("SC1090", blame, `a '${name}' declaration with parameters in a class that extends Date, called by an inherited Date method`);
+        const args = [];
+        if (lowerer.overrideBelow(info, name)) {
+            lowerer.noteVirtualEdge(info, name);
+            return {
+                kind: "virtualCall",
+                className: info.def.name,
+                method: name,
+                args: [lowerer.upcastTo(receiver, info.def.name), ...args],
+                type: found.sig.ret,
+                loc,
+            };
+        }
+        lowerer.noteEdge(`%${found.declarer.def.name}.${name}`);
+        return {
+            kind: "call",
+            callee: `%${found.declarer.def.name}.${name}`,
+            args: [lowerer.upcastTo(receiver, found.declarer.def.name), ...args],
+            type: found.sig.ret,
+            loc,
+        };
+    }
+    let result = inherited;
+    // Deeper declarations are tested first.
+    const declaring = [];
+    const visit = (c) => {
+        for (const sub of c.subclasses) {
+            if (sub.methods.has(name))
+                declaring.push(sub);
+            else
+                visit(sub);
+        }
+    };
+    visit(info);
+    for (const sub of declaring) {
+        const call = instanceMethodCall(lowerer, blame, sub, { kind: "downcast", value: receiver, type: { kind: "object", className: sub.def.name }, loc }, name, inherited, loc);
+        const type = result.type;
+        result = {
+            kind: "ternary",
+            cond: { kind: "instanceOf", value: receiver, className: sub.def.name, type: BOOL, loc },
+            then: lowerer.coerceToExpected(call, type),
+            else_: result,
+            type,
+            loc,
+        };
+    }
+    return result;
+}
+/** ToNumber of `value`, the lowered value of `node`. */
+function numberValue(lowerer, node, value, loc) {
+    if (value.type.kind === "f64")
+        return value;
+    if (value.type.kind === "dyn")
+        return { kind: "libCall", fn: "dyn.toNumberCoerce", args: [value], type: F64, loc };
+    if (lowerer.dynConvertible(value.type))
+        return {
+            kind: "libCall",
+            fn: "dyn.toNumberCoerce",
+            args: [{ kind: "dynFrom", value, type: DYN, loc }],
+            type: F64,
+            loc,
+        };
+    return lowerer.coerceInto(node, value, F64);
+}
+/** A Date.prototype method a class rooted at `root` does not declare,
+ * called on `receiver` (an instance of `info`, evaluated here once). The
+ * method reads or sets the hidden time value; toJSON calls the instance's
+ * toISOString, as Date.prototype.toJSON does. */
+export function lowerInheritedDateMethodCall(lowerer, call, name, info, receiver) {
+    const root = dateRootOf(info);
+    const loc = locOf(call);
+    const local = lowerer.declareHiddenLocal("%dateReceiver", receiver.type);
+    const value = varRef(local.id, receiver.type, loc);
+    const stmts = [{ kind: "varDecl", localId: local.id, init: receiver, loc }];
+    const args = call.arguments.nodes;
+    if (args.some(ts.isSpreadElement))
+        lowerer.unsupported("SC1090", call, `spread arguments to 'Date.prototype.${name}'`);
+    const done = (result) => ({
+        kind: "seqExpr",
+        stmts,
+        result,
+        type: result.type,
+        loc,
+    });
+    if (name === "setTime") {
+        // Every argument is evaluated before setTime converts the first one.
+        let ms = { kind: "numLit", value: Number.NaN, type: F64, loc };
+        if (args[0]) {
+            const first = lowerer.lowerExpr(args[0]);
+            const saved = lowerer.declareHiddenLocal("%dateArgument", first.type);
+            stmts.push({ kind: "varDecl", localId: saved.id, init: first, loc: locOf(args[0]) });
+            ms = numberValue(lowerer, args[0], varRef(saved.id, first.type, loc), loc);
+        }
+        for (const arg of args.slice(1))
+            stmts.push({ kind: "exprStmt", expr: lowerer.lowerExpr(arg), loc: locOf(arg) });
+        const time = lowerer.declareHiddenLocal("%dateTime", DATE_T);
+        stmts.push({
+            kind: "varDecl",
+            localId: time.id,
+            init: { kind: "libCall", fn: "date.newMs", args: [ms], type: DATE_T, loc },
+            loc,
+        }, {
+            kind: "fieldSet",
+            obj: lowerer.upcastTo(value, root.def.name),
+            className: root.def.name,
+            field: DATE_TIME_FIELD,
+            value: varRef(time.id, DATE_T, loc),
+            loc,
+        });
+        return done({
+            kind: "libCall",
+            fn: "date.getTime",
+            args: [varRef(time.id, DATE_T, loc)],
+            type: F64,
+            loc,
+        });
+    }
+    for (const arg of args) {
+        if (name !== "toJSON")
+            lowerer.noLowering(`Date.prototype.${name} with arguments`, call, DATE_METHOD_HINT);
+        stmts.push({ kind: "exprStmt", expr: lowerer.lowerExpr(arg), loc: locOf(arg) });
+    }
+    if (name === "toJSON")
+        return done(dateClassToJson(lowerer, call, info, value, loc));
+    const result = dateValueMethod(name, timeOf(lowerer, value, root, loc), loc);
+    if (!result)
+        lowerer.noLowering(`Date.prototype.${name}`, call, DATE_METHOD_HINT);
+    return done(result);
+}
+/** Date.prototype.toJSON on `value` (a variable read of an instance of
+ * `info`): null for an invalid time, else the instance's toISOString(). */
+function dateClassToJson(lowerer, blame, info, value, loc) {
+    const root = dateRootOf(info);
+    const time = {
+        kind: "libCall",
+        fn: "date.getTime",
+        args: [timeOf(lowerer, value, root, loc)],
+        type: F64,
+        loc,
+    };
+    const type = dateJsonType(lowerer);
+    const iso = instanceMethodCall(lowerer, blame, info, value, "toISOString", {
+        kind: "libCall",
+        fn: "date.toISOStringValue",
+        args: [timeOf(lowerer, value, root, loc)],
+        type: STRING,
+        loc,
+    }, loc);
+    return {
+        kind: "ternary",
+        // An invalid date's time value is NaN, the one value unequal to itself.
+        cond: { kind: "bin", op: "!==", left: time, right: time, type: BOOL, loc },
+        then: lowerer.coerceToExpected({ kind: "unitLit", unit: "null", type: NULL_T, loc }, type),
+        else_: lowerer.coerceToExpected(iso, type),
+        type,
+        loc,
+    };
+}
+/** `super.name(...)` in a class whose base chain declares no `name`, when
+ * the chain is rooted at a class declared `extends Date`. */
+export function lowerDateSuperMethodCall(lowerer, call, name, cls, thisRef) {
+    if (!dateRootOf(cls) || !isDatePrototypeMethod(name))
+        return null;
+    // Date.prototype.toJSON reads this.toISOString, which this class or a
+    // subclass may declare.
+    return lowerInheritedDateMethodCall(lowerer, call, name, cls, thisRef);
+}
+const DATE_CLASS_TIME = "%date.classTime";
+const DATE_CLASS_METHOD = "%date.classMethod";
+/** The classes of a program rooted at a class declared `extends Date`. */
+function dateClasses(lowerer) {
+    return [...lowerer.classes.values()].filter((info) => !info.def.runtime && !info.generic && dateRootOf(info) !== null);
+}
+const PARAMS = ["op", "value", "argument"];
+/** A lifted `(op, value, argument)` function over checked-dynamic values. */
+function liftOperation(lowerer, name, body, loc) {
+    lowerer.liftedFns.push({
+        name,
+        params: PARAMS.map((p) => ({ localId: p, name: p, type: DYN })),
+        returnType: DYN,
+        locals: PARAMS.map((p) => ({ id: p, name: p, type: DYN, mutable: false })),
+        body,
+        loc,
+    });
+}
+function opIs(code, loc) {
+    return {
+        kind: "bin",
+        op: "===",
+        left: { kind: "dynCheck", value: varRef("op", DYN, loc), type: F64, loc },
+        right: { kind: "numLit", value: code, type: F64, loc },
+        type: BOOL,
+        loc,
+    };
+}
+/** Lifts `%date.classMethod(op, value, argument)` when the program declares
+ * a class that extends Date: ops 2 to 5 call `value`'s toISOString,
+ * toJSON(argument), toString and valueOf as checked-dynamic method calls,
+ * which the class dispatch resolves to each class's declarations and the
+ * runtime to the inherited Date methods. Called before the class dispatch
+ * runs over the lowered functions. */
+export function noteDateClassMethods(lowerer) {
+    if (lowerer.liftedFnNamed(DATE_CLASS_METHOD))
+        return;
+    const classes = dateClasses(lowerer);
+    if (classes.length === 0)
+        return;
+    const loc = classes[0].def.loc;
+    const value = varRef("value", DYN, loc);
+    const body = ["toISOString", "toJSON", "toString", "valueOf"].map((method, index) => ({
+        kind: "if",
+        cond: opIs(index + 2, loc),
+        then: [
+            {
+                kind: "return",
+                value: {
+                    kind: "dynInvoke",
+                    recv: value,
+                    method,
+                    calleeName: method,
+                    args: method === "toJSON" ? [varRef("argument", DYN, loc)] : [],
+                    type: DYN,
+                    loc,
+                },
+                loc,
+            },
+        ],
+        else_: null,
+        loc,
+    }));
+    body.push({ kind: "return", value: dynUndefinedExpr(loc), loc });
+    liftOperation(lowerer, DATE_CLASS_METHOD, body, loc);
+}
+/** %main's installation of the functions the runtime calls for a
+ * checked-dynamic value that holds an instance of a class declared `extends
+ * Date` (scr_date_class_operation_install). `%date.classTime(op, value,
+ * argument)` answers the time value for op 0 (undefined for any other
+ * value), sets it from the number `argument` for op 1 and answers the
+ * class's name for op 6; `%date.classMethod` (noteDateClassMethods) calls
+ * its methods. */
+export function dateClassOperationPrelude(lowerer, loc) {
+    const classes = dateClasses(lowerer);
+    if (classes.length === 0)
+        return [];
+    noteDateClassMethods(lowerer);
+    const value = varRef("value", DYN, loc);
+    const argument = varRef("argument", DYN, loc);
+    const body = [];
+    for (const info of classes) {
+        const root = dateRootOf(info);
+        const type = { kind: "object", className: info.def.name };
+        const instance = { kind: "dynCheck", value, type, loc };
+        body.push({
+            kind: "if",
+            cond: {
+                kind: "libCall",
+                fn: "dyn.typedRefIs",
+                args: [value, { kind: "strLit", value: typeKey(type), type: STRING, loc }],
+                type: BOOL,
+                loc,
+            },
+            then: [
+                {
+                    kind: "if",
+                    cond: opIs(6, loc),
+                    then: [
+                        {
+                            kind: "return",
+                            value: {
+                                kind: "dynFrom",
+                                value: {
+                                    kind: "strLit",
+                                    value: info.def.jsName ?? info.def.name,
+                                    type: STRING,
+                                    loc,
+                                },
+                                type: DYN,
+                                loc,
+                            },
+                            loc,
+                        },
+                    ],
+                    else_: null,
+                    loc,
+                },
+                {
+                    kind: "if",
+                    cond: opIs(1, loc),
+                    then: [
+                        {
+                            kind: "fieldSet",
+                            obj: lowerer.upcastTo(instance, root.def.name),
+                            className: root.def.name,
+                            field: DATE_TIME_FIELD,
+                            value: {
+                                kind: "libCall",
+                                fn: "date.newMs",
+                                args: [{ kind: "dynCheck", value: argument, type: F64, loc }],
+                                type: DATE_T,
+                                loc,
+                            },
+                            loc,
+                        },
+                    ],
+                    else_: null,
+                    loc,
+                },
+                {
+                    kind: "return",
+                    value: {
+                        kind: "dynFrom",
+                        value: {
+                            kind: "libCall",
+                            fn: "date.getTime",
+                            args: [timeOf(lowerer, instance, root, loc)],
+                            type: F64,
+                            loc,
+                        },
+                        type: DYN,
+                        loc,
+                    },
+                    loc,
+                },
+            ],
+            else_: null,
+            loc,
+        });
+    }
+    body.push({ kind: "return", value: dynUndefinedExpr(loc), loc });
+    liftOperation(lowerer, DATE_CLASS_TIME, body, loc);
+    const closure = (fnName) => ({
+        kind: "dynFrom",
+        value: {
+            kind: "closure",
+            fnName,
+            captures: [],
+            type: { kind: "func", params: [DYN, DYN, DYN], ret: DYN },
+            loc,
+        },
+        type: DYN,
+        loc,
+    });
+    return [
+        {
+            kind: "exprStmt",
+            expr: {
+                kind: "libCall",
+                fn: "date.classOperation",
+                args: [closure(DATE_CLASS_TIME), closure(DATE_CLASS_METHOD)],
+                type: VOID,
+                loc,
+            },
+            loc,
+        },
+    ];
+}
+//# sourceMappingURL=date-classes.js.map

package/dist/frontend/lowering/builtins/date-classes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"date-classes.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/builtins/date-classes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAgB,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAkB,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAChE,OAAO,EACL,IAAI,EACJ,MAAM,EACN,GAAG,EACH,GAAG,EACH,MAAM,EACN,MAAM,EACN,IAAI,EACJ,OAAO,GAKR,MAAM,mBAAmB,CAAC;AAE3B;2CAC2C;AAC3C,MAAM,CAAC,MAAM,eAAe,GAAG,OAAO,CAAC;AAEvC;WACW;AACX,MAAM,UAAU,UAAU,CAAC,IAAkC;IAC3D,KAAK,IAAI,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI;QAAE,IAAI,CAAC,CAAC,WAAW;YAAE,OAAO,CAAC,CAAC;IACtE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,wBAAwB,CAAC,OAAgB;IACvD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE;QAAE,IAAI,IAAI,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC;IAC/E,OAAO,KAAK,CAAC;AACf,CAAC;AAED;kDACkD;AAClD,MAAM,sBAAsB,GAAwB,IAAI,GAAG,CAAC;IAC1D,SAAS;IACT,SAAS;IACT,aAAa;IACb,aAAa;IACb,QAAQ;IACR,UAAU;IACV,cAAc;IACd,cAAc;IACd,aAAa;IACb,gBAAgB;IAChB,oBAAoB;IACpB,oBAAoB;IACpB,aAAa;IACb,gBAAgB;IAChB,SAAS;IACT,UAAU;IACV,aAAa;IACb,SAAS;IACT,YAAY;IACZ,QAAQ;IACR,WAAW;IACX,UAAU;IACV,aAAa;IACb,YAAY;IACZ,eAAe;IACf,YAAY;IACZ,eAAe;IACf,iBAAiB;IACjB,oBAAoB;IACpB,mBAAmB;IACnB,SAAS;IACT,aAAa;IACb,gBAAgB;IAChB,SAAS;IACT,UAAU;IACV,aAAa;IACb,SAAS;IACT,YAAY;IACZ,UAAU;IACV,aAAa;IACb,YAAY;IACZ,eAAe;IACf,YAAY;IACZ,eAAe;IACf,iBAAiB;IACjB,oBAAoB;CACrB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,2BAA2B,GAAsB,CAAC,GAAG,sBAAsB,CAAC,CAAC;AAE1F,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,OAAO,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED;;;sDAGsD;AACtD,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,IAAe,EAAE,IAAY;IACjF,OAAO,CACL,UAAU,CAAC,IAAI,CAAC,KAAK,IAAI;QACzB,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC;QAChC,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC;QACjC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CACvB,CAAC;AACJ,CAAC;AAED;;yCAEyC;AACzC,MAAM,UAAU,aAAa,CAAC,OAAe,EAAE,IAAe,EAAE,IAAY,EAAE,GAAW;IACvF,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,OAAO;QACZ,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;QACxB,KAAK,EAAE,eAAe;QACtB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;QACrF,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,SAAS,MAAM,CAAC,OAAgB,EAAE,QAAgB,EAAE,IAAe,EAAE,GAAW;IAC9E,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAC9C,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;QACxB,KAAK,EAAE,eAAe;QACtB,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;wEAEwE;AACxE,SAAS,kBAAkB,CACzB,OAAgB,EAChB,KAAc,EACd,IAAe,EACf,QAAgB,EAChB,IAAY,EACZ,SAAiB,EACjB,GAAW;IAEX,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,KAAK,EAAE,CAAC;QACV,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAC7B,OAAO,CAAC,WAAW,CACjB,QAAQ,EACR,KAAK,EACL,MAAM,IAAI,gGAAgG,CAC3G,CAAC;QACJ,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YACtC,OAAO,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACpC,OAAO;gBACL,IAAI,EAAE,aAAa;gBACnB,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;gBACxB,MAAM,EAAE,IAAI;gBACZ,IAAI,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC;gBAC1D,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG;gBACnB,GAAG;aACJ,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;QACxD,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,IAAI,EAAE;YAC7C,IAAI,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC;YACpE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG;YACnB,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,GAAG,SAAS,CAAC;IACvB,wCAAwC;IACxC,MAAM,SAAS,GAAgB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,CAAY,EAAQ,EAAE;QACnC,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAC/B,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;gBAC1C,KAAK,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,kBAAkB,CAC7B,OAAO,EACP,KAAK,EACL,GAAG,EACH,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,EAC7F,IAAI,EACJ,SAAS,EACT,GAAG,CACJ,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACzB,MAAM,GAAG;YACP,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACvF,IAAI,EAAE,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC;YAC1C,KAAK,EAAE,MAAM;YACb,IAAI;YACJ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,wDAAwD;AACxD,SAAS,WAAW,CAAC,OAAgB,EAAE,IAAmB,EAAE,KAAa,EAAE,GAAW;IACpF,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACtF,IAAI,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC;QACpC,OAAO;YACL,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YAClD,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;AAC9C,CAAC;AAED;;;iDAGiD;AACjD,MAAM,UAAU,4BAA4B,CAC1C,OAAgB,EAChB,IAAuB,EACvB,IAAY,EACZ,IAAe,EACf,QAAgB;IAEhB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAE,CAAC;IAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,eAAe,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,KAAK,GAAa,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IACtF,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;IAClC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC;QAC/B,OAAO,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,uCAAuC,IAAI,GAAG,CAAC,CAAC;IACtF,MAAM,IAAI,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QACxC,IAAI,EAAE,SAAS;QACf,KAAK;QACL,MAAM;QACN,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,GAAG;KACJ,CAAC,CAAC;IACH,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,qEAAqE;QACrE,IAAI,EAAE,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACvE,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,eAAe,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACtE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACrF,EAAE,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAC7E,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClF,MAAM,IAAI,GAAG,OAAO,CAAC,kBAAkB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QAC7D,KAAK,CAAC,IAAI,CACR;YACE,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,IAAI,CAAC,EAAE;YAChB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YAC1E,GAAG;SACJ,EACD;YACE,IAAI,EAAE,UAAU;YAChB,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAC3C,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;YACxB,KAAK,EAAE,eAAe;YACtB,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC;YACnC,GAAG;SACJ,CACF,CAAC;QACF,OAAO,IAAI,CAAC;YACV,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,cAAc;YAClB,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YACpC,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,IAAI,KAAK,QAAQ;YACnB,OAAO,CAAC,UAAU,CAAC,kBAAkB,IAAI,iBAAiB,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACtF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC7E,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,UAAU,CAAC,kBAAkB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAClF,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;AACtB,CAAC;AAED;2EAC2E;AAC3E,SAAS,eAAe,CACtB,OAAgB,EAChB,KAAc,EACd,IAAe,EACf,KAAa,EACb,GAAW;IAEX,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAE,CAAC;IAC/B,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC;IACF,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,kBAAkB,CAC5B,OAAO,EACP,KAAK,EACL,IAAI,EACJ,KAAK,EACL,aAAa,EACb;QACE,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,EACD,GAAG,CACJ,CAAC;IACF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,wEAAwE;QACxE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QAC1E,IAAI,EAAE,OAAO,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC;QAC1F,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC;QAC1C,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;6DAC6D;AAC7D,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,IAAuB,EACvB,IAAY,EACZ,GAAc,EACd,OAAe;IAEf,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,sEAAsE;IACtE,wBAAwB;IACxB,OAAO,4BAA4B,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAC1C,MAAM,iBAAiB,GAAG,mBAAmB,CAAC;AAE9C,0EAA0E;AAC1E,SAAS,WAAW,CAAC,OAAgB;IACnC,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CACzC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,IAAI,CAC1E,CAAC;AACJ,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;AAE3C,6EAA6E;AAC7E,SAAS,aAAa,CAAC,OAAgB,EAAE,IAAY,EAAE,IAAc,EAAE,GAAW;IAChF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAC/D,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1E,IAAI;QACJ,GAAG;KACJ,CAAC,CAAC;AACL,CAAC;AAED,SAAS,IAAI,CAAC,IAAY,EAAE,GAAW;IACrC,OAAO;QACL,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACzE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACtD,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;;;;;sCAKsC;AACtC,MAAM,UAAU,oBAAoB,CAAC,OAAgB;IACnD,IAAI,OAAO,CAAC,aAAa,CAAC,iBAAiB,CAAC;QAAE,OAAO;IACrD,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACjC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,GAAG,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,MAAM,IAAI,GAAa,CAAC,aAAa,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,GAAG,CACzE,CAAC,MAAM,EAAE,KAAK,EAAU,EAAE,CAAC,CAAC;QAC1B,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC;QAC1B,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE;oBACL,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,KAAK;oBACX,MAAM;oBACN,UAAU,EAAE,MAAM;oBAClB,IAAI,EAAE,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;oBAC/D,IAAI,EAAE,GAAG;oBACT,GAAG;iBACJ;gBACD,GAAG;aACJ;SACF;QACD,KAAK,EAAE,IAAI;QACX,GAAG;KACJ,CAAC,CACH,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACjE,aAAa,CAAC,OAAO,EAAE,iBAAiB,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AACvD,CAAC;AAED;;;;;;kBAMkB;AAClB,MAAM,UAAU,yBAAyB,CAAC,OAAgB,EAAE,GAAW;IACrE,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAE,CAAC;QAC/B,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAClE,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAChE,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,gBAAgB;gBACpB,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;gBAC1E,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC;oBAClB,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,QAAQ;4BACd,KAAK,EAAE;gCACL,IAAI,EAAE,SAAS;gCACf,KAAK,EAAE;oCACL,IAAI,EAAE,QAAQ;oCACd,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI;oCACvC,IAAI,EAAE,MAAM;oCACZ,GAAG;iCACJ;gCACD,IAAI,EAAE,GAAG;gCACT,GAAG;6BACJ;4BACD,GAAG;yBACJ;qBACF;oBACD,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC;oBAClB,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,UAAU;4BAChB,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;4BAC9C,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;4BACxB,KAAK,EAAE,eAAe;4BACtB,KAAK,EAAE;gCACL,IAAI,EAAE,SAAS;gCACf,EAAE,EAAE,YAAY;gCAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;gCAC7D,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;4BACD,GAAG;yBACJ;qBACF;oBACD,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE;4BACL,IAAI,EAAE,SAAS;4BACf,EAAE,EAAE,cAAc;4BAClB,IAAI,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;4BAC5C,IAAI,EAAE,GAAG;4BACT,GAAG;yBACJ;wBACD,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF;YACD,KAAK,EAAE,IAAI;YACX,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACjE,aAAa,CAAC,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QAC3C,IAAI,EAAE,SAAS;QACf,KAAK,EAAE;YACL,IAAI,EAAE,SAAS;YACf,MAAM;YACN,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;YACzD,GAAG;SACJ;QACD,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,CAAC;IACH,OAAO;QACL;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE;gBACJ,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,qBAAqB;gBACzB,IAAI,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC;gBAC5D,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,GAAG;SACJ;KACF,CAAC;AACJ,CAAC"}

package/dist/frontend/lowering/builtins/dates.d.ts

@@ -1,10 +1,20 @@
 import * as ts from "../../ts7/adapter.js";
 import { type Lowerer } from "../lowerer.js";
-import { type IrExpr, type IrType } from "../../../ir/ir.js";
+import { type IrExpr, type IrType, type SrcLoc } from "../../../ir/ir.js";
+export declare const DATE_METHOD_HINT = "getTime(), valueOf(), toISOString(), toUTCString(), toJSON(), toString(), toDateString(), toTimeString(), the local/UTC calendar getters, and getTimezoneOffset() are supported; Date setters and locale formatters have no lowering";
 /** The Date slice: statics plus read-only Date values backed by one
  * TimeClip'd millisecond scalar. Construction lives in lowerNew;
  * identity and mutating methods remain fenced. */
 export declare function lowerDateCall(lowerer: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** Date.now(), Date.parse(text) and Date.UTC(...), also called through a
+ * class declared `extends Date`, which inherits them. Null for other
+ * names. */
+export declare function lowerDateStaticCall(lowerer: Lowerer, call: ts.CallExpression, name: string): IrExpr | null;
+/** The Date methods without arguments that have a lowering, applied to the
+ * time value `value` (a `date`): getTime, valueOf, toISOString,
+ * toUTCString, the calendar getters and the text forms. Null for other
+ * names. */
+export declare function dateValueMethod(name: string, value: IrExpr, loc: SrcLoc): IrExpr | null;
 /** `string | null`, the type of a Date's `toJSON()` result. */
 export declare function dateJsonType(lowerer: Lowerer): IrType;
 /** A Date `toJSON()` call, or a binding initialized by one

package/dist/frontend/lowering/builtins/dates.js

@@ -1,6 +1,8 @@
 import * as ts from "../../ts7/adapter.js";
 import { own } from "../lowerer.js";
 import { locOf } from "../../program.js";
+import { tryLowerExpression } from "../expressions/try-lower-expression.js";
+import { programDeclaresDateClass } from "./date-classes.js";
 import { BOOL, F64, NULL_T, STRING, typeKey, } from "../../../ir/ir.js";
 const DATE_GETTER_FNS = {
     getFullYear: "date.getFullYear",
@@ -26,7 +28,7 @@ const DATE_TEXT_FNS = new Map([
     ["toDateString", "date.toDateString"],
     ["toTimeString", "date.toTimeString"],
 ]);
-const DATE_METHOD_HINT = "getTime(), valueOf(), toISOString(), toUTCString(), toJSON(), toString(), toDateString(), toTimeString(), the local/UTC calendar getters, and getTimezoneOffset() are supported; Date setters and locale formatters have no lowering";
+export const DATE_METHOD_HINT = "getTime(), valueOf(), toISOString(), toUTCString(), toJSON(), toString(), toDateString(), toTimeString(), the local/UTC calendar getters, and getTimezoneOffset() are supported; Date setters and locale formatters have no lowering";
 /** The Date slice: statics plus read-only Date values backed by one
  * TimeClip'd millisecond scalar. Construction lives in lowerNew;
  * identity and mutating methods remain fenced. */
@@ -34,7 +36,43 @@ export function lowerDateCall(lowerer, call, access) {
     if (call.questionDotToken || access.questionDotToken)
         return null;
     const loc = locOf(call);
-    if (lowerer.stdlibGlobalMember(access, "Date") === "now") {
+    const member = lowerer.stdlibGlobalMember(access, "Date");
+    if (member === "now" || member === "parse" || member === "UTC")
+        return lowerDateStaticCall(lowerer, call, member);
+    if (lowerer.mapTypeOf(lowerer.typeOf(access.expression))?.kind !== "date")
+        return null;
+    if (!lowerer.isStdlibMember(access))
+        return null;
+    const name = access.name.text;
+    // A Date a JavaScript file constructs is a mutable object; setTime on
+    // it takes the dynamic method call. So does every Date method on a
+    // checked-dynamic receiver when the program declares a class that extends
+    // Date: the value can be an instance, whose class may declare the method.
+    if ((name === "setTime" || programDeclaresDateClass(lowerer)) &&
+        tryLowerExpression(lowerer, access.expression)?.type.kind === "dyn")
+        return null;
+    if (name === "toJSON")
+        return lowerDateToJson(lowerer, call, access);
+    if (call.arguments.nodes.length !== 0) {
+        lowerer.noLowering(`Date.prototype.${name} with arguments`, call, DATE_METHOD_HINT);
+    }
+    const raw = lowerer.lowerExpr(access.expression);
+    const receiver = raw.type.kind === "dyn"
+        ? { kind: "libCall", fn: "date.checkedValue", args: [raw], type: { kind: "date" }, loc }
+        : raw;
+    if (receiver.type.kind !== "date")
+        lowerer.badType(access.expression, lowerer.typeOf(access.expression));
+    const result = dateValueMethod(name, receiver, loc);
+    if (result)
+        return result;
+    lowerer.noLowering(`Date.prototype.${name}`, call, DATE_METHOD_HINT, lowerer.checker.getSymbolAtLocation(access.name));
+}
+/** Date.now(), Date.parse(text) and Date.UTC(...), also called through a
+ * class declared `extends Date`, which inherits them. Null for other
+ * names. */
+export function lowerDateStaticCall(lowerer, call, name) {
+    const loc = locOf(call);
+    if (name === "now") {
         if (call.arguments.nodes.length !== 0) {
             lowerer.noLowering(`Date.now with ${call.arguments.nodes.length} arguments`, call);
         }
@@ -42,7 +80,7 @@ export function lowerDateCall(lowerer, call, access) {
     }
     // Date.parse uses the same date-string parser as new Date(dateString)
     // (V8's grammar in the runtime), so their NaN and TimeClip behavior agree.
-    if (lowerer.stdlibGlobalMember(access, "Date") === "parse") {
+    if (name === "parse") {
         if (call.arguments.nodes.length !== 1 || ts.isSpreadElement(call.arguments.nodes[0])) {
             lowerer.noLowering(`Date.parse with ${call.arguments.nodes.length} arguments`, call);
         }
@@ -54,7 +92,7 @@ export function lowerDateCall(lowerer, call, access) {
     // TimeClip. Omitted trailing arguments complete with the spec's
     // defaults (month 0, date 1, time parts 0); tsc pins every present
     // argument to number, so the seven-f64 ABI is exact.
-    if (lowerer.stdlibGlobalMember(access, "Date") === "UTC") {
+    if (name === "UTC") {
         if (call.arguments.nodes.length < 1 ||
             call.arguments.nodes.length > 7 ||
             call.arguments.nodes.some((a) => ts.isSpreadElement(a))) {
@@ -70,46 +108,37 @@ export function lowerDateCall(lowerer, call, access) {
         }
         return { kind: "libCall", fn: "date.utc", args, type: F64, loc };
     }
-    if (lowerer.mapTypeOf(lowerer.typeOf(access.expression))?.kind !== "date")
-        return null;
-    if (!lowerer.isStdlibMember(access))
-        return null;
-    const name = access.name.text;
-    if (name === "toJSON")
-        return lowerDateToJson(lowerer, call, access);
-    if (call.arguments.nodes.length !== 0) {
-        lowerer.noLowering(`Date.prototype.${name} with arguments`, call, DATE_METHOD_HINT);
-    }
-    const raw = lowerer.lowerExpr(access.expression);
-    const receiver = raw.type.kind === "dyn"
-        ? { kind: "libCall", fn: "date.checkedValue", args: [raw], type: { kind: "date" }, loc }
-        : raw;
-    if (receiver.type.kind !== "date")
-        lowerer.badType(access.expression, lowerer.typeOf(access.expression));
+    return null;
+}
+/** The Date methods without arguments that have a lowering, applied to the
+ * time value `value` (a `date`): getTime, valueOf, toISOString,
+ * toUTCString, the calendar getters and the text forms. Null for other
+ * names. */
+export function dateValueMethod(name, value, loc) {
     if (name === "getTime" || name === "valueOf") {
         return {
             kind: "libCall",
             fn: name === "getTime" ? "date.getTime" : "date.valueOf",
-            args: [receiver],
+            args: [value],
             type: F64,
             loc,
         };
     }
     if (name === "toISOString") {
-        return { kind: "libCall", fn: "date.toISOStringValue", args: [receiver], type: STRING, loc };
+        return { kind: "libCall", fn: "date.toISOStringValue", args: [value], type: STRING, loc };
     }
     if (name === "toUTCString") {
-        return { kind: "libCall", fn: "date.toUTCString", args: [receiver], type: STRING, loc };
+        return { kind: "libCall", fn: "date.toUTCString", args: [value], type: STRING, loc };
     }
     const fn = own(DATE_GETTER_FNS, name);
     if (fn !== undefined) {
-        return { kind: "libCall", fn, args: [receiver], type: F64, loc };
+        return { kind: "libCall", fn, args: [value], type: F64, loc };
     }
     const textFn = DATE_TEXT_FNS.get(name);
     if (textFn !== undefined) {
-        return { kind: "libCall", fn: textFn, args: [receiver], type: STRING, loc };
+        return { kind: "libCall", fn: textFn, args: [value], type: STRING, loc };
     }
-    lowerer.noLowering(`Date.prototype.${name}`, call, DATE_METHOD_HINT, lowerer.checker.getSymbolAtLocation(access.name));
+    return null;
 }
 /** `d.toJSON(key?)`: Node answers null for an invalid date and the
  * `toISOString()` string otherwise, as `string | null` (the lib types say