@scriptc/compiler 0.0.22 → 0.0.24

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

@@ -4,7 +4,7 @@
  * accessor access, upcasts, `new` expressions, and the builtin Error
  * hierarchy registration. */
 import * as ts from "../ts7/adapter.js";
-import { BOOL, DYN, F64, bytesOf, JSVAL, RUNTIME_EMITTER_CLASS, RUNTIME_ERROR_CLASSES, RUNTIME_STREAM_CLASSES, STRING, UNDEFINED_T, URL_T, VOID, arrayOf, isSupportedMapKey, isUnitType, typeEquals } from "../../ir/nodes.js";
+import { BOOL, DATE_T, DYN, F64, bytesOf, JSVAL, RUNTIME_EMITTER_CLASS, RUNTIME_ERROR_CLASSES, RUNTIME_STREAM_CLASSES, STRING, UNDEFINED_T, URL_T, VOID, arrayOf, isSupportedMapKey, isUnitType, typeEquals } from "../../ir/nodes.js";
 import { MAX_GENERIC_INSTANCES, genericCallInstance, implicitAnyParamSymbolsOf, implicitCallInstance, implicitMonoFile, omittedArgFor } from "./lower-calls.js";
 import { isGenericCallableMemberType, typeKey } from "../types.js";
 import { cjsClassExprWholeExportOf, isCjsJsFile, isJsSourceFile, isModuleExportsAccess, isNodeTypesPath, locOf } from "../program.js";
@@ -279,7 +279,7 @@ export function builtinStreamInfoOf(L, symbol) {
    * level (undefined until the write runs, Node-exact). Null when the
    * inference is unmappable, checked-dynamic (dyn stays out of class
    * fields — KEEP NARROW), or an arm-less kind that cannot join a union
-   * (genResultRecord's list). */
+   * (genResultRecord's list, including scalar-backed Date values). */
 function undefArmedFieldType(L, p) {
     const t = L.checker.getTypeOfSymbol(p);
     const mapped = L.mapTypeOf(t);
@@ -288,7 +288,8 @@ function undefArmedFieldType(L, p) {
     const byKey = new Map();
     const arms = mapped.kind === "union" ? (L.unions.get(mapped.unionId)?.arms ?? []) : [mapped];
     for (const a of arms) {
-        if (a.kind === "map" || a.kind === "regex" || a.kind === "jsval" || a.kind === "generator") {
+        if (a.kind === "map" || a.kind === "regex" || a.kind === "date" ||
+            a.kind === "jsval" || a.kind === "generator") {
             return null;
         }
         byKey.set(typeKey(a), a);
@@ -1601,7 +1602,8 @@ mixin) {
                 const declared = fields.get(f.name);
                 const armable = declared !== undefined && !isUnitType(declared) &&
                     declared.kind !== "union" && declared.kind !== "jsval" && declared.kind !== "dyn" &&
-                    declared.kind !== "map" && declared.kind !== "generator" && declared.kind !== "void" &&
+                    declared.kind !== "map" && declared.kind !== "date" && declared.kind !== "generator" &&
+                    declared.kind !== "void" &&
                     declared.kind !== "caught";
                 const armed = armable ? L.withUndefinedArm(declared) : null;
                 if (armed !== null && armed.kind === "union") {
@@ -4499,11 +4501,29 @@ export function lowerNew(L, expr) {
         if (symbol && symbol.name === "URLSearchParams" && L.isStdlibSymbol(symbol)) {
             return lowerSearchParamsNew(L, expr, loc);
         }
-        // `new Date(...)` NOT consumed by the composed toISOString lowering
-        // (lowerDateCall claims that form before the receiver lowers): Date
-        // values have no representation — point at what does compile.
+        // Date's read-only value slice: store the constructor's TimeClip'd
+        // epoch milliseconds as the scalar date kind. That is sufficient
+        // for every getter and toISOString; identity and setters stay
+        // fenced, so copying the scalar cannot create an observable lie.
         if (symbol && symbol.name === "Date" && L.isStdlibSymbol(symbol)) {
-            L.noLowering("new Date", expr, "Date values have no representation — Date.now() and the composed new Date(ms?).toISOString() form compile", symbol);
+            const args = expr.arguments ?? [];
+            if (args.some(ts.isSpreadElement) || args.length > 1) {
+                L.noLowering(`new Date with ${args.length} arguments`, expr, "new Date(), new Date(milliseconds), and new Date(dateString) are supported; the local-time year/month field constructor has no lowering", symbol);
+            }
+            if (args.length === 0) {
+                return { kind: "libCall", fn: "date.newNow", args: [], type: DATE_T, loc };
+            }
+            const arg = L.lowerExpr(args[0]);
+            if (arg.type.kind === "f64") {
+                return { kind: "libCall", fn: "date.newMs", args: [arg], type: DATE_T, loc };
+            }
+            if (arg.type.kind === "string") {
+                return { kind: "libCall", fn: "date.newString", args: [arg], type: DATE_T, loc };
+            }
+            if (arg.type.kind === "date") {
+                return arg;
+            }
+            L.noLowering(`new Date of '${L.fmt(arg.type)}' values`, args[0], "pass milliseconds, a date string, or another Date value", symbol);
         }
         // `new StringDecoder(encoding?)` (node:string_decoder): the decoder
         // is a two-field record — the CANONICAL encoding name (aliases fold