kopscript 0.5.0 → 0.5.1

package/dist/codegen.js

@@ -147,10 +147,10 @@ export class CodeGenerator {
                 const init = stmt.init
                     ? stmt.init.kind === "VarDecl"
                         ? `${stmt.init.isConst ? "const" : "let"} ${stmt.init.name} = ${this.genExpr(stmt.init.init)}`
-                        : this.genExpr(stmt.init.expression)
+                        : this.genExprAtStatementLevel(stmt.init.expression)
                     : "";
                 const cond = stmt.condition ? this.genExpr(stmt.condition) : "";
-                const update = stmt.update ? this.genExpr(stmt.update) : "";
+                const update = stmt.update ? this.genExprAtStatementLevel(stmt.update) : "";
                 return `${pad}for (${init}; ${cond}; ${update}) ${this.genBlock(stmt.body, indent).trimStart()}`;
             }
             case "ForInStatement":
@@ -162,7 +162,7 @@ export class CodeGenerator {
             case "ContinueStatement":
                 return `${pad}continue;`;
             case "ExpressionStatement":
-                return `${pad}${this.genExpr(stmt.expression)};`;
+                return `${pad}${this.genExprAtStatementLevel(stmt.expression)};`;
             case "TryStatement":
                 return this.genTry(stmt, indent);
             case "ThrowStatement":
@@ -245,6 +245,22 @@ export class CodeGenerator {
         return `${pad}constructor(${params}) ${bodyStr}`;
     }
     // ---------- expressions ----------
+    // genExpr wraps an assignment in parens unconditionally (`(x = y)`), since
+    // it has to stay safely embeddable wherever an expression can appear —
+    // inside a binary expression, a call argument, anywhere precedence could
+    // matter. At true statement level (an expression-statement, or a for
+    // loop's own init/update clause) nothing surrounds it that parens could
+    // ever matter for, so they're pure noise there — `(this.Count = 0);`
+    // reads like defensive generated code, not something a person would
+    // write by hand. Used at exactly those three call sites, not inside
+    // genExpr itself, since every other embedding context still needs the
+    // defensive parens.
+    genExprAtStatementLevel(expr) {
+        if (expr.kind === "AssignExpr") {
+            return `${this.genExpr(expr.target)} = ${this.genExpr(expr.value)}`;
+        }
+        return this.genExpr(expr);
+    }
     genExpr(expr) {
         switch (expr.kind) {
             case "NumberLiteral":

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kopscript",
-  "version": "0.5.0",
+  "version": "0.5.1",
   "description": "KopScript: a small OOP, strongly-typed language that transpiles to JavaScript, with generics and nullable types",
   "type": "module",
   "license": "MIT",