@scriptc/compiler 0.0.22 → 0.0.23

package/dist/frontend/lowering/lower-exprs.d.ts

@@ -234,7 +234,7 @@ export declare function foldedStringKeyOf(L: Lowerer, expr: ts.Expression): stri
    * (dynFrom's domain, functions box); a value with no dyn representation
    * fences per property. Spreads copy through dyn.assign in source order;
    * accessors stay fenced. */
-export declare function lowerDynObjectLiteral(L: Lowerer, expr: ts.ObjectLiteralExpression): IrExpr;
+export declare function lowerDynObjectLiteral(L: Lowerer, expr: ts.ObjectLiteralExpression, boxValue?: (node: ts.Expression, value: IrExpr) => IrExpr): IrExpr;
 export declare function lowerObjectLiteral(L: Lowerer, expr: ts.ObjectLiteralExpression): IrExpr;
 /** A conditional spread's carrier property: `name: value` or shorthand,
    * with an identifier/string-literal name. */

package/dist/frontend/lowering/lower-exprs.js

@@ -1614,6 +1614,7 @@ function lowerExprInner(L, expr) {
         // The lib fence's PROPERTY chokepoint: a stdlib-declared member that
         // no lowering above claimed ([1,2].entries, Math.SQRT2, Promise.all,
         // re.exec as a value, ...) reports SC2020 here.
+        L.fenceStaticAbortControllerMemberRead(expr);
         L.fenceStaticResponseMember(expr, "read");
         L.fenceStaticHeadersMember(expr, "read");
         L.fenceStaticReadableStreamMember(expr, "read");
@@ -2911,7 +2912,7 @@ export function lowerIntrinsicProperty(L, expr) {
         if (probe.type.kind === "array")
             kind = "array";
     }
-    if (kind !== "string" && kind !== "array" && kind !== "map" && kind !== "set" && kind !== "f64" && kind !== "regex" && kind !== "url" && kind !== "searchParams" && kind !== "stats" && kind !== "spawnRes" && kind !== "child" && kind !== "bytes" && kind !== "symbol") {
+    if (kind !== "string" && kind !== "array" && kind !== "map" && kind !== "set" && kind !== "f64" && kind !== "date" && kind !== "regex" && kind !== "url" && kind !== "searchParams" && kind !== "stats" && kind !== "spawnRes" && kind !== "child" && kind !== "bytes" && kind !== "symbol") {
         return null;
     }
     // child receivers also admit the user's own child-shaped interface
@@ -3006,6 +3007,20 @@ export function lowerIntrinsicProperty(L, expr) {
         }
         L.noLowering(`Stats.${name}`, expr, "isFile(), isDirectory(), and size are the supported Stats members", L.checker.getSymbolAtLocation(expr.name));
     }
+    if (kind === "date") {
+        const methods = new Set([
+            "getTime", "valueOf", "toISOString",
+            "getFullYear", "getUTCFullYear", "getMonth", "getUTCMonth",
+            "getDate", "getUTCDate", "getDay", "getUTCDay", "getHours",
+            "getUTCHours", "getMinutes", "getUTCMinutes", "getSeconds",
+            "getUTCSeconds", "getMilliseconds", "getUTCMilliseconds",
+            "getTimezoneOffset",
+        ]);
+        if (methods.has(name)) {
+            L.unsupported("SC1090", expr, `Date methods as values (call '${name}' directly)`);
+        }
+        L.noLowering(`Date.prototype.${name}`, expr, "getTime(), valueOf(), toISOString(), the local/UTC calendar getters, and getTimezoneOffset() are supported; Date setters and locale/string formatters have no lowering", L.checker.getSymbolAtLocation(expr.name));
+    }
     if (kind === "symbol") {
         const loc = locOf(expr);
         // `.description`: the checker's `string | undefined` — undefined
@@ -3655,7 +3670,7 @@ function propNameText(L, name) {
    * (dynFrom's domain, functions box); a value with no dyn representation
    * fences per property. Spreads copy through dyn.assign in source order;
    * accessors stay fenced. */
-export function lowerDynObjectLiteral(L, expr) {
+export function lowerDynObjectLiteral(L, expr, boxValue) {
     const loc = locOf(expr);
     let fields = [];
     let acc = null;
@@ -3671,7 +3686,10 @@ export function lowerDynObjectLiteral(L, expr) {
     for (const prop of expr.properties) {
         if (ts.isSpreadAssignment(prop)) {
             flushFields();
-            const source = L.coerceToExpected(L.lowerExpr(prop.expression), DYN);
+            const raw = L.lowerExpr(prop.expression);
+            const source = boxValue
+                ? boxValue(prop.expression, raw)
+                : L.coerceToExpected(raw, DYN);
             if (source.type.kind !== "dyn") {
                 L.unsupported("SC1101", prop.expression, `spreading '${L.fmt(source.type)}' into a checked-dynamic object literal`);
             }
@@ -3765,7 +3783,9 @@ export function lowerDynObjectLiteral(L, expr) {
             });
             raw = { kind: "closure", fnName, captures: [], type: funcOf([], VOID), loc: locOf(prop) };
         }
-        let v = L.coerceToExpected(raw, DYN);
+        let v = boxValue
+            ? boxValue(valueExpr, raw)
+            : L.coerceToExpected(raw, DYN);
         if (v.type.kind !== "dyn") {
             const convDiagsBefore = L.diags.length;
             try {
@@ -5233,6 +5253,7 @@ export function lowerElementAccess(L, expr) {
     // spellings. Fence a statically-known unsupported key before the generic
     // checked-dynamic element-read path can turn it into a runtime missing
     // member.
+    L.fenceStaticAbortControllerMemberRead(expr);
     L.fenceStaticResponseMember(expr, "read");
     L.fenceStaticHeadersMember(expr, "read");
     L.fenceStaticReadableStreamMember(expr, "read");