@scriptc/compiler 0.2.6 → 0.2.7

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

@@ -65,8 +65,8 @@ export type FieldTarget = {
  * tail. 5.9.3's rawText, when a build ever supplies it, wins unchanged. */
 export declare function templateRawTextOf(node: ts.NoSubstitutionTemplateLiteral | ts.TemplateHead | ts.TemplateMiddle | ts.TemplateTail): string;
 /** True when a property access names an ABSTRACT property declaration
- * (`abstract p: number` — a PropertyDeclaration, not an accessor): the
- * named-fence test for reads/writes through abstract-typed receivers. */
+ * (`abstract p: number` — a PropertyDeclaration, not an accessor).
+ * These uses need concrete property dispatch because the base has no slot. */
 export declare function abstractPropertyDeclOf(lowerer: Lowerer, expr: ts.PropertyAccessExpression): boolean;
 export declare function lowerExpr(lowerer: Lowerer, expr: ts.Expression): IrExpr;
 /** `c ? a : b`. An explicit destination constructs each branch at that
@@ -228,6 +228,13 @@ export declare function lowerPrefixUnary(lowerer: Lowerer, expr: ts.PrefixUnaryE
 /** Member updates evaluate the reference once, convert its old value with
  * ToNumeric, store the new value, then yield the old or new numeric value. */
 export declare function lowerIncDec(lowerer: Lowerer, expr: ts.PrefixUnaryExpression | ts.PostfixUnaryExpression, prefix: boolean): IrExpr;
+/** Numeric updates read the represented slot once and write the computed
+ * value back in that same representation. In particular, an unchecked
+ * indexed initializer can leave undefined in an otherwise numeric binding. */
+export declare function lowerIncDecTarget(lowerer: Lowerer, expr: ts.PrefixUnaryExpression | ts.PostfixUnaryExpression, target: {
+    id: string;
+    type: IrType;
+}, prefix: boolean): IrExpr;
 export declare function lowerCompoundValueToTarget(lowerer: Lowerer, expr: ts.BinaryExpression, compound: CompoundOp, target: {
     id: string;
     type: IrType;