@ball-lang/compiler 1.3.5 → 1.3.7

package/dist/compiler.d.ts

@@ -61,6 +61,14 @@ export declare class BallCompiler {
     private wrapIIFE;
     /** Check if an expression tree references any name in the given set. */
     private bodyReferencesAny;
+    /**
+     * Emit a Dart-style enum as a TS class with static singleton instances,
+     * `index`/`name` properties, a `values` list, and `toString()` returning
+     * `'<Enum>.<member>'`. Shared by the two enum declaration paths:
+     * typeDefs with `metadata.kind == "enum"` and `Module.enums[]`
+     * (google.protobuf.EnumDescriptorProto) entries.
+     */
+    private emitEnumClass;
     private emitClass;
     private buildCtor;
     /**
@@ -154,10 +162,11 @@ export declare class BallCompiler {
     private emitCollectionElement;
     /**
      * Render a C-style for-init `block` (a single-let, no-result block) as an
-     * inline declaration string like `var i = 0` — NOT an IIFE, so the loop
+     * inline declaration string like `let i = 0` — NOT an IIFE, so the loop
      * variable stays in scope for the condition/update. Mirrors the Dart
-     * compiler's `_renderForInit`. Uses `var` to match Dart's shared-variable
-     * loop-capture semantics. Returns "" on an unrecognized shape.
+     * compiler's `_renderForInit`. Uses `let` so each iteration gets its own
+     * binding, matching Dart's per-iteration loop-variable capture semantics
+     * (#69, conformance 312). Returns "" on an unrecognized shape.
      */
     private renderForInit;
     private compileFieldAccess;

package/dist/compiler.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../src/compiler.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAMV,MAAM,EACN,OAAO,EAIR,MAAM,YAAY,CAAC;AAGpB,MAAM,WAAW,cAAc;IAC7B,2EAA2E;IAC3E,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,sEAAsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAQD,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAU;IAElC,+CAA+C;IAC/C,OAAO,CAAC,GAAG,CAAM;IACjB,OAAO,CAAC,KAAK,CAAK;IAElB,4EAA4E;IAC5E,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAE/C,sEAAsE;IACtE,OAAO,CAAC,YAAY,CAA0B;IAE9C,mEAAmE;IACnE,OAAO,CAAC,kBAAkB,CAA0B;IAEpD,mEAAmE;IACnE,OAAO,CAAC,mBAAmB,CAA0B;IAErD,0EAA0E;IAC1E,OAAO,CAAC,uBAAuB,CAA0B;IAEzD;0EACsE;IACtE,OAAO,CAAC,uBAAuB,CAA0B;IAEzD;;;;OAIG;IACH,OAAO,CAAC,uBAAuB,CAA0B;IAEzD,8EAA8E;IAC9E,OAAO,CAAC,gBAAgB,CAAqB;IAE7C,8EAA8E;IAC9E,OAAO,CAAC,sBAAsB,CAA0B;IAExD,yEAAyE;IACzE,OAAO,CAAC,gBAAgB,CAA0B;IAElD,4DAA4D;IAC5D,OAAO,CAAC,aAAa,CAA0C;IAE/D;;;OAGG;IACH,OAAO,CAAC,iBAAiB,CAA0B;IAEnD;;;;;OAKG;IACH,OAAO,CAAC,WAAW,CAA6B;gBAEpC,OAAO,EAAE,OAAO;IAI5B,4BAA4B;IAC5B,OAAO,CAAC,OAAO,GAAE,cAAmB,GAAG,MAAM;IAknE7C,OAAO,CAAC,gBAAgB;IAgDxB;;;;OAIG;IACH,OAAO,CAAC,QAAQ;IAUhB,wEAAwE;IACxE,OAAO,CAAC,iBAAiB;IAoBzB,OAAO,CAAC,SAAS;IAqOjB,OAAO,CAAC,SAAS;IAqGjB;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IA0BtB;;;;OAIG;IACH,OAAO,CAAC,cAAc;IA4FtB,OAAO,CAAC,WAAW;IA0BnB,OAAO,CAAC,WAAW;IAiBnB,OAAO,CAAC,WAAW;IAoBnB,OAAO,CAAC,WAAW;IAcnB,OAAO,CAAC,OAAO;IAIf,OAAO,KAAK,GAAG,GAEd;IAED,OAAO,CAAC,iBAAiB;IAmBzB,OAAO,CAAC,yBAAyB;IAoBjC,OAAO,CAAC,SAAS;IA6BjB;;;OAGG;IACH,OAAO,CAAC,cAAc;IAStB;;;;;OAKG;IACH,OAAO,CAAC,sBAAsB;IAiB9B,OAAO,CAAC,aAAa;IA6DrB,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,wBAAwB;IAwLhC,OAAO,CAAC,UAAU;IAiBlB,OAAO,CAAC,WAAW;IA+CnB,OAAO,CAAC,aAAa;IAWrB,OAAO,CAAC,aAAa;IAUrB,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,WAAW;IAyGnB,OAAO,CAAC,cAAc;IAyBtB;;;;OAIG;IACH,OAAO,CAAC,0BAA0B;IAsBlC;;;;;;;;OAQG;IACH,OAAO,CAAC,UAAU;IAWlB,OAAO,CAAC,mBAAmB;IA6B3B;;;;OAIG;IACH,OAAO,CAAC,eAAe;IAOvB,OAAO,CAAC,IAAI;IAkDZ,OAAO,CAAC,cAAc;IA4BtB,OAAO,CAAC,0BAA0B;IAWlC,2DAA2D;IAC3D,OAAO,CAAC,mBAAmB;IAU3B,0DAA0D;IAC1D,OAAO,CAAC,kBAAkB;IAU1B;;;;;OAKG;IACH,OAAO,CAAC,kBAAkB;IAW1B,2EAA2E;IAC3E,OAAO,CAAC,YAAY;IAUpB;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IAkF7B;;;;;;OAMG;IACH,OAAO,CAAC,aAAa;IAsBrB,OAAO,CAAC,kBAAkB;IAkC1B,OAAO,CAAC,sBAAsB;IAqI9B,OAAO,CAAC,yBAAyB;IAqBjC,OAAO,CAAC,sBAAsB;IAI9B,OAAO,CAAC,sBAAsB;IAe9B,OAAO,CAAC,aAAa;IA6BrB,OAAO,CAAC,WAAW;IAyEnB,OAAO,CAAC,cAAc;IA20BtB,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,WAAW;IA2CnB,OAAO,CAAC,YAAY;IAUpB,OAAO,CAAC,iBAAiB;IA0FzB;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAqBxB,OAAO,CAAC,iBAAiB;IAiCzB,OAAO,CAAC,iBAAiB;IAUzB,OAAO,CAAC,YAAY;CAgDrB;AAmxBD,+CAA+C;AAC/C,wBAAgB,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,MAAM,CAE1E;AAMD,MAAM,WAAW,oBAAoB;IACnC,2EAA2E;IAC3E,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,sEAAsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,oBAAoB,GAAG,MAAM,CA+HpF"}
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../src/compiler.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAMV,MAAM,EACN,OAAO,EAIR,MAAM,YAAY,CAAC;AAGpB,MAAM,WAAW,cAAc;IAC7B,2EAA2E;IAC3E,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,sEAAsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAQD,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAU;IAElC,+CAA+C;IAC/C,OAAO,CAAC,GAAG,CAAM;IACjB,OAAO,CAAC,KAAK,CAAK;IAElB,4EAA4E;IAC5E,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAE/C,sEAAsE;IACtE,OAAO,CAAC,YAAY,CAA0B;IAE9C,mEAAmE;IACnE,OAAO,CAAC,kBAAkB,CAA0B;IAEpD,mEAAmE;IACnE,OAAO,CAAC,mBAAmB,CAA0B;IAErD,0EAA0E;IAC1E,OAAO,CAAC,uBAAuB,CAA0B;IAEzD;0EACsE;IACtE,OAAO,CAAC,uBAAuB,CAA0B;IAEzD;;;;OAIG;IACH,OAAO,CAAC,uBAAuB,CAA0B;IAEzD,8EAA8E;IAC9E,OAAO,CAAC,gBAAgB,CAAqB;IAE7C,8EAA8E;IAC9E,OAAO,CAAC,sBAAsB,CAA0B;IAExD,yEAAyE;IACzE,OAAO,CAAC,gBAAgB,CAA0B;IAElD,4DAA4D;IAC5D,OAAO,CAAC,aAAa,CAA0C;IAE/D;;;OAGG;IACH,OAAO,CAAC,iBAAiB,CAA0B;IAEnD;;;;;OAKG;IACH,OAAO,CAAC,WAAW,CAA6B;gBAEpC,OAAO,EAAE,OAAO;IAI5B,4BAA4B;IAC5B,OAAO,CAAC,OAAO,GAAE,cAAmB,GAAG,MAAM;IAsoE7C,OAAO,CAAC,gBAAgB;IAgDxB;;;;OAIG;IACH,OAAO,CAAC,QAAQ;IAUhB,wEAAwE;IACxE,OAAO,CAAC,iBAAiB;IAoBzB;;;;;;OAMG;IACH,OAAO,CAAC,aAAa;IAmBrB,OAAO,CAAC,SAAS;IA8NjB,OAAO,CAAC,SAAS;IAqGjB;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IA0BtB;;;;OAIG;IACH,OAAO,CAAC,cAAc;IA4FtB,OAAO,CAAC,WAAW;IA0BnB,OAAO,CAAC,WAAW;IAiBnB,OAAO,CAAC,WAAW;IAoBnB,OAAO,CAAC,WAAW;IAcnB,OAAO,CAAC,OAAO;IAIf,OAAO,KAAK,GAAG,GAEd;IAED,OAAO,CAAC,iBAAiB;IAmBzB,OAAO,CAAC,yBAAyB;IAoBjC,OAAO,CAAC,SAAS;IA6BjB;;;OAGG;IACH,OAAO,CAAC,cAAc;IAStB;;;;;OAKG;IACH,OAAO,CAAC,sBAAsB;IAiB9B,OAAO,CAAC,aAAa;IA6DrB,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,wBAAwB;IAwLhC,OAAO,CAAC,UAAU;IAiBlB,OAAO,CAAC,WAAW;IAiDnB,OAAO,CAAC,aAAa;IAWrB,OAAO,CAAC,aAAa;IAUrB,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,WAAW;IAyGnB,OAAO,CAAC,cAAc;IAyBtB;;;;OAIG;IACH,OAAO,CAAC,0BAA0B;IAsBlC;;;;;;;;OAQG;IACH,OAAO,CAAC,UAAU;IAWlB,OAAO,CAAC,mBAAmB;IA6B3B;;;;OAIG;IACH,OAAO,CAAC,eAAe;IAOvB,OAAO,CAAC,IAAI;IAkDZ,OAAO,CAAC,cAAc;IA4BtB,OAAO,CAAC,0BAA0B;IAWlC,2DAA2D;IAC3D,OAAO,CAAC,mBAAmB;IAU3B,0DAA0D;IAC1D,OAAO,CAAC,kBAAkB;IAU1B;;;;;OAKG;IACH,OAAO,CAAC,kBAAkB;IAW1B,2EAA2E;IAC3E,OAAO,CAAC,YAAY;IAUpB;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IAkF7B;;;;;;;OAOG;IACH,OAAO,CAAC,aAAa;IAsBrB,OAAO,CAAC,kBAAkB;IAkC1B,OAAO,CAAC,sBAAsB;IAqI9B,OAAO,CAAC,yBAAyB;IAqBjC,OAAO,CAAC,sBAAsB;IAI9B,OAAO,CAAC,sBAAsB;IAe9B,OAAO,CAAC,aAAa;IA6BrB,OAAO,CAAC,WAAW;IAyEnB,OAAO,CAAC,cAAc;IA20BtB,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,WAAW;IA2CnB,OAAO,CAAC,YAAY;IAUpB,OAAO,CAAC,iBAAiB;IA0FzB;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAqBxB,OAAO,CAAC,iBAAiB;IAiCzB,OAAO,CAAC,iBAAiB;IAUzB,OAAO,CAAC,YAAY;CAgDrB;AAmxBD,+CAA+C;AAC/C,wBAAgB,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,MAAM,CAE1E;AAMD,MAAM,WAAW,oBAAoB;IACnC,2EAA2E;IAC3E,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,sEAAsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,oBAAoB,GAAG,MAAM,CA+HpF"}

package/dist/compiler.js

@@ -162,6 +162,26 @@ export class BallCompiler {
             }
             this.emitClass(sf, td, members);
         }
+        // Enums declared in Module.enums[] (google.protobuf.EnumDescriptorProto,
+        // proto3 JSON: `{name, value: [{name, number}]}`). Both encoders emit
+        // enum declarations here (the Dart encoder with module-qualified names
+        // like "main:Color"); dropping them left `Color.red` references dangling
+        // in the compiled output (#120).
+        const emittedTypeNames = new Set(allTypeDefs.map((td) => classTsName(td.name)));
+        for (const mod of userModules) {
+            for (const en of mod.enums ?? []) {
+                const tsName = classTsName(en.name);
+                // A typeDef of the same name already produced a class declaration.
+                if (emittedTypeNames.has(tsName))
+                    continue;
+                emittedTypeNames.add(tsName);
+                const entries = (en.value ?? []).map((v, i) => ({
+                    name: v.name,
+                    index: typeof v.number === "number" ? v.number : i,
+                }));
+                this.emitEnumClass(sf, tsName, entries);
+            }
+        }
         // Top-level variables (kind == 'top_level_variable') emit as
         // `const <name> = <body>;` before free functions.
         for (const fn of freeFunctions.filter((f) => f.metadata?.kind === "top_level_variable")) {
@@ -1969,17 +1989,17 @@ function __isUnknownFnError(e: any): boolean {
             return true;
         return false;
     }
-    emitClass(sf, td, members) {
-        const meta = td.metadata ?? {};
-        const tsName = classTsName(td.name);
-        // Enum handling: emit a class with static instances, index, name, values.
-        if (meta["kind"] === "enum") {
-            const enumValues = Array.isArray(meta["values"]) ? meta["values"] : [];
-            const valueNames = enumValues.map((v) => typeof v === "string" ? v : (v?.name ?? ""));
-            // Build the enum class with index, name, static instances, and values.
-            const staticProps = valueNames.map((name, i) => `static readonly ${sanitize(name)} = new ${tsName}(${i}, '${name}');`);
-            const valuesArray = valueNames.map((name) => `${tsName}.${sanitize(name)}`).join(", ");
-            sf.addStatements(`export class ${tsName} {
+    /**
+     * Emit a Dart-style enum as a TS class with static singleton instances,
+     * `index`/`name` properties, a `values` list, and `toString()` returning
+     * `'<Enum>.<member>'`. Shared by the two enum declaration paths:
+     * typeDefs with `metadata.kind == "enum"` and `Module.enums[]`
+     * (google.protobuf.EnumDescriptorProto) entries.
+     */
+    emitEnumClass(sf, tsName, entries) {
+        const staticProps = entries.map((e) => `static readonly ${sanitize(e.name)} = new ${tsName}(${e.index}, '${e.name}');`);
+        const valuesArray = entries.map((e) => `${tsName}.${sanitize(e.name)}`).join(", ");
+        sf.addStatements(`export class ${tsName} {
   readonly index: number;
   readonly name: string;
   private constructor(index: number, name: string) { this.index = index; this.name = name; }
@@ -1987,6 +2007,18 @@ function __isUnknownFnError(e: any): boolean {
   static readonly values: ${tsName}[] = [${valuesArray}];
   toString(): string { return '${tsName}.' + this.name; }
 }`);
+    }
+    emitClass(sf, td, members) {
+        const meta = td.metadata ?? {};
+        const tsName = classTsName(td.name);
+        // Enum handling: emit a class with static instances, index, name, values.
+        if (meta["kind"] === "enum") {
+            const enumValues = Array.isArray(meta["values"]) ? meta["values"] : [];
+            const entries = enumValues.map((v, i) => ({
+                name: typeof v === "string" ? v : (v?.name ?? ""),
+                index: i,
+            }));
+            this.emitEnumClass(sf, tsName, entries);
             return;
         }
         // Fields: prefer metadata.fields (richer) with descriptor fallback.
@@ -2883,10 +2915,12 @@ function __isUnknownFnError(e: any): boolean {
         const start = field(call, "start");
         let initStr;
         if (variable && start) {
-            // Use `var` (not `let`) to match Dart's shared-variable loop semantics.
-            // Dart closures in loops capture the shared variable (final value);
-            // JS `let` gives per-iteration copies which breaks this behavior.
-            initStr = `var ${variable} = ${this.expr(start)}`;
+            // Use `let` for a per-iteration binding: Dart's C-style for loop gives
+            // each iteration its OWN copy of the loop variable, so closures created
+            // in the body capture that iteration's value (conformance 229/312).
+            // JS `let` matches this exactly; `var` would share one binding and
+            // leak the final value into every closure (#69).
+            initStr = `let ${variable} = ${this.expr(start)}`;
         }
         else if (init && init.literal?.stringValue !== undefined) {
             initStr = translateInitString(init.literal.stringValue);
@@ -2907,7 +2941,7 @@ function __isUnknownFnError(e: any): boolean {
                     }
                 }
             }
-            initStr = parts.length > 0 ? `var ${parts.join(", ")}` : "";
+            initStr = parts.length > 0 ? `let ${parts.join(", ")}` : "";
         }
         else if (init) {
             initStr = this.expr(init);
@@ -3406,10 +3440,11 @@ function __isUnknownFnError(e: any): boolean {
     }
     /**
      * Render a C-style for-init `block` (a single-let, no-result block) as an
-     * inline declaration string like `var i = 0` — NOT an IIFE, so the loop
+     * inline declaration string like `let i = 0` — NOT an IIFE, so the loop
      * variable stays in scope for the condition/update. Mirrors the Dart
-     * compiler's `_renderForInit`. Uses `var` to match Dart's shared-variable
-     * loop-capture semantics. Returns "" on an unrecognized shape.
+     * compiler's `_renderForInit`. Uses `let` so each iteration gets its own
+     * binding, matching Dart's per-iteration loop-variable capture semantics
+     * (#69, conformance 312). Returns "" on an unrecognized shape.
      */
     renderForInit(initExpr) {
         const block = initExpr.block;
@@ -3431,7 +3466,7 @@ function __isUnknownFnError(e: any): boolean {
                 bindings.push(name);
             }
         }
-        return bindings.length > 0 ? `var ${bindings.join(", ")}` : "";
+        return bindings.length > 0 ? `let ${bindings.join(", ")}` : "";
     }
     compileFieldAccess(fa) {
         // Ball's `self.field` in class methods → `this.field` in JS.