@scriptc/compiler 0.4.6 → 0.4.7

package/dist/ir/fields.generated.d.ts

@@ -24,6 +24,10 @@ export declare function walkStmtFields(node: IrStmt, walker: IrFieldWalker, skip
  * `for (const key in value)` walk with the same skips finds, read by name in
  * the order ir.ts declares the fields. */
 export declare function walkTypeFields(node: IrType, walker: IrFieldWalker, skipType: boolean): void;
+/** Replaces the child expression `from` of `node` with `to`: the field,
+ * array element or field of a plain object under it that holds `from`
+ * (child IR nodes are not entered). Returns false when no slot holds it. */
+export declare function replaceChildExpr(node: IrExpr | IrStmt, from: IrExpr, to: IrExpr): boolean;
 /** A field ir.ts declares that this file does not read. */
 type FieldsNotRead<T, Read extends PropertyKey> = Exclude<keyof T, Read>;
 /** The string or object values a field read as a scalar can hold. */
@@ -116,7 +120,7 @@ export type IrFieldsCurrent = [
     }>, "kind" | "id" | "type" | "loc">>,
     Unread<FieldsNotRead<Extract<IrExpr, {
         kind: "classRef";
-    }>, "kind" | "className" | "captures" | "type" | "loc">>,
+    }>, "kind" | "className" | "type" | "loc" | "captures">>,
     Unread<FieldsNotRead<Extract<IrExpr, {
         kind: "closure";
     }>, "kind" | "fnName" | "captures" | "adapts" | "type" | "loc">>,
@@ -140,7 +144,7 @@ export type IrFieldsCurrent = [
     }>, "kind" | "callee" | "receiver" | "calleeName" | "calleeNameValue" | "args" | "spreads" | "type" | "loc">>,
     Unread<FieldsNotRead<Extract<IrExpr, {
         kind: "dynCheck";
-    }>, "kind" | "value" | "preserveRefs" | "adopt" | "exact" | "inferredSite" | "origin" | "type" | "loc">>,
+    }>, "kind" | "value" | "preserveRefs" | "adopt" | "exact" | "partialView" | "inferredSite" | "origin" | "type" | "loc">>,
     Unread<ValuesNotRead<Extract<IrExpr, {
         kind: "dynCheck";
     }>["preserveRefs"]>>,
@@ -150,6 +154,9 @@ export type IrFieldsCurrent = [
     Unread<ValuesNotRead<Extract<IrExpr, {
         kind: "dynCheck";
     }>["exact"]>>,
+    Unread<ValuesNotRead<Extract<IrExpr, {
+        kind: "dynCheck";
+    }>["partialView"]>>,
     Unread<ValuesNotRead<Extract<IrExpr, {
         kind: "dynCheck";
     }>["origin"]>>,
@@ -158,13 +165,13 @@ export type IrFieldsCurrent = [
     }>, "kind" | "value" | "spelling" | "firstProp" | "type" | "loc">>,
     Unread<FieldsNotRead<Extract<IrExpr, {
         kind: "dynFrom";
-    }>, "kind" | "value" | "fnName" | "fnLength" | "liveRef" | "type" | "loc">>,
+    }>, "kind" | "value" | "type" | "loc" | "liveRef" | "fnName" | "fnLength">>,
     Unread<ValuesNotRead<Extract<IrExpr, {
         kind: "dynFrom";
-    }>["fnLength"]>>,
+    }>["liveRef"]>>,
     Unread<ValuesNotRead<Extract<IrExpr, {
         kind: "dynFrom";
-    }>["liveRef"]>>,
+    }>["fnLength"]>>,
     Unread<FieldsNotRead<Extract<IrExpr, {
         kind: "dynHasKey";
     }>, "kind" | "key" | "negated" | "value" | "type" | "loc">>,
@@ -254,13 +261,16 @@ export type IrFieldsCurrent = [
     }>["assertOptions"]>, object>["skipPrototype"]>>,
     Unread<FieldsNotRead<Extract<IrExpr, {
         kind: "libCall";
-    }>, "kind" | "fn" | "args" | "type" | "loc" | "prototypeIdentityOnly" | "realTimer" | "assertOptions">>,
+    }>, "kind" | "fn" | "args" | "type" | "loc" | "prototypeIdentityOnly" | "realTimer" | "assertOptions" | "bindsThis">>,
     Unread<ValuesNotRead<Extract<IrExpr, {
         kind: "libCall";
     }>["prototypeIdentityOnly"]>>,
     Unread<ValuesNotRead<Extract<IrExpr, {
         kind: "libCall";
     }>["realTimer"]>>,
+    Unread<ValuesNotRead<Extract<IrExpr, {
+        kind: "libCall";
+    }>["bindsThis"]>>,
     Unread<FieldsNotRead<Extract<IrExpr, {
         kind: "logical";
     }>, "kind" | "op" | "left" | "right" | "type" | "loc">>,
@@ -503,7 +513,7 @@ export type IrFieldsCurrent = [
     }>["initializes"]>>,
     Unread<FieldsNotRead<Extract<IrStmt, {
         kind: "block";
-    }>, "kind" | "body" | "labels" | "loc">>,
+    }>, "kind" | "labels" | "body" | "loc">>,
     Unread<FieldsNotRead<Extract<IrStmt, {
         kind: "break";
     }>, "kind" | "label" | "loc">>,
@@ -575,13 +585,13 @@ export type IrFieldsCurrent = [
     }>, "kind" | "value" | "loc">>,
     Unread<FieldsNotRead<Extract<IrStmt, {
         kind: "tryCatch";
-    }>, "kind" | "tryBody" | "catchBody" | "catchLocalId" | "finallyBody" | "suppressFinallyErrors" | "dropFinallyErrors" | "loc">>,
+    }>, "kind" | "tryBody" | "catchBody" | "catchLocalId" | "dropFinallyErrors" | "finallyBody" | "suppressFinallyErrors" | "loc">>,
     Unread<ValuesNotRead<Extract<IrStmt, {
         kind: "tryCatch";
-    }>["suppressFinallyErrors"]>>,
+    }>["dropFinallyErrors"]>>,
     Unread<ValuesNotRead<Extract<IrStmt, {
         kind: "tryCatch";
-    }>["dropFinallyErrors"]>>,
+    }>["suppressFinallyErrors"]>>,
     Unread<FieldsNotRead<Extract<IrStmt, {
         kind: "varDecl";
     }>, "kind" | "localId" | "init" | "loc">>,