@scriptc/compiler 0.2.6 → 0.2.7

package/dist/frontend/lowering/expressions/evaluation-safety.js

@@ -38,6 +38,10 @@ export function isSafeToDiscard(expr) {
         case "unionIsTag":
         case "unionWrap":
             return isSafeToDiscard(expr.value);
+        case "recordHas":
+            return isSafeToDiscard(expr.obj);
+        case "fieldAbsent":
+            return true;
         // Fresh allocations are unobservable too — only their pieces can
         // carry effects (a spread re-reads its source: pure; element and
         // field initializers recurse).

package/dist/frontend/lowering/expressions/evaluation-safety.js.map

@@ -1 +1 @@
-{"version":3,"file":"evaluation-safety.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/evaluation-safety.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3F,uEAAuE;IACvE,wEAAwE;IACxE,+DAA+D;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/F,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd,KAAK,KAAK;YACR,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,KAAK,OAAO;YACV,OAAO,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,KAAK,SAAS;YACZ,OAAO,CACL,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CACxF,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW;YACd,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,iEAAiE;QACjE,iEAAiE;QACjE,+BAA+B;QAC/B,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC3C,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACpE,KAAK,aAAa;YAChB,OAAO,CACL,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC5B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAC9D,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd;YACE,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,4BAA4B,CAAC,IAAY;IACvD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChE,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7F,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;QAAE,OAAO,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChG,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"evaluation-safety.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/expressions/evaluation-safety.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3F,uEAAuE;IACvE,wEAAwE;IACxE,+DAA+D;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/F,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd,KAAK,KAAK;YACR,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,KAAK,OAAO;YACV,OAAO,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,KAAK,SAAS;YACZ,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,KAAK,SAAS;YACZ,OAAO,CACL,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CACxF,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW;YACd,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,KAAK,WAAW;YACd,OAAO,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnC,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC;QACd,iEAAiE;QACjE,iEAAiE;QACjE,+BAA+B;QAC/B,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC3C,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACpE,KAAK,aAAa;YAChB,OAAO,CACL,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC5B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAC9D,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd;YACE,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,4BAA4B,CAAC,IAAY;IACvD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChE,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7F,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;QAAE,OAAO,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChG,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC"}

package/dist/frontend/lowering/expressions/object-literals.js

@@ -1338,6 +1338,68 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
         captured.add(ref);
         return ref;
     };
+    // A pending field value may carry the ABSENT state (an omitted
+    // conditional-spread arm, a spread source lacking the key). That state
+    // only lives in a field slot, so a snapshot splits the value into a
+    // captured ordinary value and a pure presence test over captured
+    // conditions, then rebuilds `present ? value : absent` (arms stay lazy:
+    // the captured value keeps the original ternary structure).
+    const canLackField = (t) => t.kind === "union" && lowerer.armTag(t.unionId, UNDEFINED_T) >= 0;
+    const containsAbsent = (value) => value.kind === "fieldAbsent" ||
+        (value.kind === "ternary" && (containsAbsent(value.then) || containsAbsent(value.else_)));
+    const captureField = (value) => {
+        if (captured.has(value))
+            return value;
+        if (!containsAbsent(value))
+            return capture(value);
+        if (value.kind === "fieldAbsent")
+            return value;
+        const split = (v) => {
+            if (v.kind === "fieldAbsent") {
+                return {
+                    value: lowerer.wrappedUndefined(v.type, v.loc),
+                    present: { kind: "boolLit", value: false, type: BOOL, loc: v.loc },
+                };
+            }
+            if (v.kind === "ternary" && containsAbsent(v)) {
+                // Conditions snapshot here too. Nested conditions come from the
+                // spread desugar's own presence tests over captured sources, so
+                // evaluating them eagerly is unobservable.
+                const cond = v.cond.kind === "varRef" || v.cond.kind === "boolLit" ? v.cond : capture(v.cond);
+                const t = split(v.then);
+                const e = split(v.else_);
+                return {
+                    value: { ...v, cond, then: t.value, else_: e.value },
+                    present: {
+                        kind: "ternary",
+                        cond,
+                        then: t.present,
+                        else_: e.present,
+                        type: BOOL,
+                        loc: v.loc,
+                    },
+                };
+            }
+            return { value: v, present: { kind: "boolLit", value: true, type: BOOL, loc: v.loc } };
+        };
+        const parts = split(value);
+        const ref = capture(parts.value);
+        const out = {
+            kind: "ternary",
+            cond: parts.present,
+            then: ref,
+            else_: {
+                kind: "fieldAbsent",
+                unionId: value.type.unionId,
+                type: value.type,
+                loc: value.loc,
+            },
+            type: value.type,
+            loc: value.loc,
+        };
+        captured.add(out);
+        return out;
+    };
     // Field names introduced by conditional spreads: their ternary carries
     // the spread's whole evaluation (cond once, value lazily), so a LATER
     // contributor overriding one would silently drop that evaluation —
@@ -1358,8 +1420,7 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                     fields.splice(i--, 1);
                     continue;
                 }
-                if (!captured.has(field.value))
-                    field.value = capture(field.value);
+                field.value = captureField(field.value);
             }
         }
         if (ts.isSpreadAssignment(prop)) {
@@ -1380,7 +1441,7 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                     }
                     shapeMismatch(prop);
                 }
-                const absent = lowerer.wrappedUndefined(fieldType, locOf(prop));
+                const absent = lowerer.absentFieldValue(fieldType, locOf(prop));
                 if (!absent) {
                     lowerer.unsupported("SC1090", prop, `conditional spreads onto the required field '${name}' (the empty arm leaves it undefined — declare the field optional)`);
                 }
@@ -1469,8 +1530,10 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                             continue;
                         const lt = laterSpreadType(lowerer, later.expression);
                         if (lt?.kind === "record") {
+                            // A field the later source may lack defines nothing.
                             for (const lf of lowerer.shapes.get(lt.shapeId)?.fields ?? [])
-                                laterNames.add(lf.name);
+                                if (!canLackField(lf.type))
+                                    laterNames.add(lf.name);
                         }
                         continue;
                     }
@@ -1520,8 +1583,34 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                         loc: locOf(prop),
                     };
                     let thenVal;
+                    // A source field that can be absent copies only when present.
+                    const fieldPresent = () => ({
+                        kind: "logical",
+                        op: "&&",
+                        left: cond,
+                        right: {
+                            kind: "recordHas",
+                            obj: {
+                                kind: "unionNarrow",
+                                unionId: srcType.unionId,
+                                tag: recTag,
+                                value: srcRef(),
+                                type: recArm,
+                                loc: locOf(prop),
+                            },
+                            shapeId: recArm.shapeId,
+                            field: f.name,
+                            type: BOOL,
+                            loc: locOf(prop),
+                        },
+                        type: BOOL,
+                        loc: locOf(prop),
+                    });
+                    const canBeAbsent = f.type.kind === "union" && lowerer.armTag(f.type.unionId, UNDEFINED_T) >= 0;
                     if (typeEquals(f.type, targetType)) {
                         thenVal = fRead();
+                        if (canBeAbsent)
+                            cond = fieldPresent();
                     }
                     else if (f.type.kind === "union" &&
                         lowerer.armTag(f.type.unionId, UNDEFINED_T) >= 0 &&
@@ -1590,9 +1679,11 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                             throw new PoisonError();
                         }
                         thenVal = lowerer.applyWidthLift(lift, fRead(), targetType, locOf(prop));
+                        if (canBeAbsent)
+                            cond = fieldPresent();
                     }
                     const at = fields.findIndex((x) => x.name === f.name && !x.drop);
-                    const elseVal = at >= 0 ? fields[at].value : lowerer.wrappedUndefined(targetType, locOf(prop));
+                    const elseVal = at >= 0 ? fields[at].value : lowerer.absentFieldValue(targetType, locOf(prop));
                     if (!elseVal) {
                         lowerer.unsupported("SC1090", prop, `object spread of '${lowerer.fmt(srcType)}' sources where '${f.name}' has no earlier contributor (the absent arm leaves the required field unset — spread defaults first: { ...defaults, ...overrides })`);
                     }
@@ -1637,8 +1728,10 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                         continue;
                     const lt = laterSpreadType(lowerer, later.expression);
                     if (lt?.kind === "record") {
+                        // A field the later source may lack defines nothing.
                         for (const lf of lowerer.shapes.get(lt.shapeId)?.fields ?? [])
-                            laterNames.add(lf.name);
+                            if (!canLackField(lf.type))
+                                laterNames.add(lf.name);
                     }
                     continue;
                 }
@@ -1721,6 +1814,32 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
                     lowerer.unsupported("SC1090", prop, `spread of '${f.name}' over an earlier conditional spread (the desugar keeps one entry per name — restructure so each name has one contributor)`);
                 }
                 const at = fields.findIndex((x) => x.name === f.name);
+                // A source field that can be absent copies only when present: an
+                // absent one keeps the earlier contributor's value, or leaves the
+                // target field absent.
+                const canBeAbsent = f.type.kind === "union" && lowerer.armTag(f.type.unionId, UNDEFINED_T) >= 0;
+                if (canBeAbsent) {
+                    const present = obj.type.kind === "dyn"
+                        ? {
+                            kind: "dynHasKey",
+                            key: f.name,
+                            value: obj,
+                            type: BOOL,
+                            loc: locOf(prop),
+                        }
+                        : lowerer.recordFieldPresent(obj, srcType.shapeId, f.name, locOf(prop));
+                    const otherwise = at >= 0 ? fields[at].value : lowerer.absentFieldValue(targetType, locOf(prop));
+                    if (otherwise) {
+                        value = {
+                            kind: "ternary",
+                            cond: present,
+                            then: value,
+                            else_: otherwise,
+                            type: targetType,
+                            loc: locOf(prop),
+                        };
+                    }
+                }
                 if (at >= 0)
                     fields[at] = { name: f.name, value };
                 else
@@ -1909,10 +2028,10 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
             fields.splice(at, 1);
         fields.push({ name, value });
     }
-    // Optional fields may be omitted: the absent field holds an undefined
-    // union arm or, for an island handle slot, the engine's undefined cell.
-    // This matches writing `a: undefined` without exactOptionalPropertyTypes;
-    // tsc rejects omission of required fields before lowering.
+    // Optional fields may be omitted: the field holds its ABSENT state (it
+    // reads as undefined but is not an own property) or, for an island
+    // handle slot, the engine's undefined cell. tsc rejects omission of
+    // required fields before lowering.
     // A REQUIRED missing field keeps the shape-mismatch rejection (possible
     // through `as`: the cast smuggles a narrower literal past freshness).
     if (droppedNames.size > 0) {
@@ -1936,7 +2055,7 @@ export function lowerObjectLiteral(lowerer, expr, expected) {
             const absentHandle = f.type.kind === "jsval" && optional
                 ? { kind: "jsOp", op: "undefLit", args: [], type: JSVAL, loc }
                 : null;
-            const absent = lowerer.wrappedUndefined(f.type, loc) ??
+            const absent = lowerer.absentFieldValue(f.type, loc) ??
                 (f.type.kind === "dyn" ? dynUndefinedExpr(loc) : null) ??
                 absentHandle;
             if (!absent)
@@ -2190,8 +2309,8 @@ function lowerDeclaredSpreadMerge(lowerer, expr, type, shape, loc) {
         fenceAccessorSpreadSource(lowerer, prop, srcShape);
         srcs.push({ value, shapeId: value.type.shapeId, shape: srcShape });
     }
-    // Every target field must be optional: absent keys leave the undefined
-    // arm, exactly the unset-optional representation.
+    // Every target field must be optional: keys no source supplies stay
+    // absent.
     for (const f of shape.fields) {
         if (f.type.kind !== "union" || lowerer.armTag(f.type.unionId, UNDEFINED_T) < 0) {
             lowerer.unsupported("SC1090", expr, `object spread of runtime-keyed sources onto the required field '${f.name}' (the keys decide presence at runtime — declare the field optional or spell it explicitly)`);
@@ -2309,7 +2428,7 @@ function lowerDeclaredSpreadMerge(lowerer, expr, type, shape, loc) {
                 kind: "recordLit",
                 fields: shape.fields.map((f) => ({
                     name: f.name,
-                    value: lowerer.wrappedUndefined(f.type, loc),
+                    value: lowerer.absentFieldValue(f.type, loc),
                 })),
                 type,
                 loc,
@@ -2365,26 +2484,13 @@ function lowerDeclaredSpreadMerge(lowerer, expr, type, shape, loc) {
                     value: lowerer.applyWidthLift(lift, raw, target.type, loc),
                     loc,
                 };
-                // Optional declared fields use the established unset convention.
+                // Optional declared fields copy only when present (an explicit
+                // undefined is a real property and overwrites an earlier value).
                 // A dyn field, including a present undefined, is a real property;
                 // its checked conversion runs and can overwrite an earlier value.
-                const absent = field.type.kind === "union" ? lowerer.armTag(field.type.unionId, UNDEFINED_T) : -1;
-                if (absent >= 0 && field.type.kind === "union") {
-                    body.push({
-                        kind: "if",
-                        cond: {
-                            kind: "unionIsTag",
-                            unionId: field.type.unionId,
-                            tag: absent,
-                            negated: true,
-                            value: raw,
-                            type: BOOL,
-                            loc,
-                        },
-                        then: [write],
-                        else_: null,
-                        loc,
-                    });
+                const present = lowerer.recordFieldPresent(receiver, source.shapeId, field.name, loc);
+                if (present.kind === "recordHas") {
+                    body.push({ kind: "if", cond: present, then: [write], else_: null, loc });
                 }
                 else
                     body.push(write);