@ball-lang/compiler 1.63.0 → 1.64.0

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;IAEhD;;;;;;;;;;OAUG;IACH,OAAO,CAAC,gBAAgB,CAAgB;IAExC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,gBAAgB,CAKhB;IAER;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,CAAK;IAErB,6EAA6E;IAC7E,OAAO,CAAC,SAAS,CAAK;gBAEV,OAAO,EAAE,OAAO;IAI5B,4BAA4B;IAC5B,OAAO,CAAC,OAAO,GAAE,cAAmB,GAAG,MAAM;IAkrE7C,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,CAAC,iBAAiB;IAmBzB,OAAO,CAAC,yBAAyB;IAoBjC,OAAO,CAAC,SAAS;IAmCjB;;;OAGG;IACH,OAAO,CAAC,cAAc;IAStB;;;;;OAKG;IACH,OAAO,CAAC,sBAAsB;IAiB9B,OAAO,CAAC,aAAa;IAsErB,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,wBAAwB;IA8IhC;;;;;;;;OAQG;IACH,OAAO,CAAC,gBAAgB;IAuGxB;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACH,OAAO,CAAC,kBAAkB;IA8D1B;;iCAE6B;IAC7B,OAAO,CAAC,iBAAiB;IAOzB;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,UAAU;IAiBlB,OAAO,CAAC,WAAW;IAmDnB,OAAO,CAAC,aAAa;IAarB,OAAO,CAAC,aAAa;IAYrB;;;;;;;;;OASG;IACH,OAAO,CAAC,aAAa;IAkBrB,sEAAsE;IACtE,OAAO,CAAC,YAAY;IAcpB,OAAO,CAAC,eAAe;IAYvB,OAAO,CAAC,WAAW;IAyGnB,OAAO,CAAC,cAAc;IAyBtB;;;;OAIG;IACH,OAAO,CAAC,0BAA0B;IAsBlC;;;;;;;;OAQG;IACH,OAAO,CAAC,UAAU;IAuBlB,OAAO,CAAC,mBAAmB;IA6B3B;;;;OAIG;IACH,OAAO,CAAC,eAAe;IAOvB,OAAO,CAAC,IAAI;IAmEZ,OAAO,CAAC,cAAc;IAqCtB,OAAO,CAAC,0BAA0B;IAWlC,2DAA2D;IAC3D,OAAO,CAAC,mBAAmB;IAU3B,0DAA0D;IAC1D,OAAO,CAAC,kBAAkB;IAU1B;;;;;OAKG;IACH,OAAO,CAAC,kBAAkB;IAmB1B,2EAA2E;IAC3E,OAAO,CAAC,YAAY;IAUpB;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IAkF7B;;;;;;;OAOG;IACH,OAAO,CAAC,aAAa;IAsBrB,OAAO,CAAC,kBAAkB;IA6C1B,OAAO,CAAC,sBAAsB;IAqI9B,OAAO,CAAC,yBAAyB;IAqBjC,OAAO,CAAC,sBAAsB;IAI9B,OAAO,CAAC,sBAAsB;IAe9B,OAAO,CAAC,aAAa;IA6BrB,OAAO,CAAC,WAAW;IAmGnB,OAAO,CAAC,cAAc;IAo+BtB,OAAO,CAAC,iBAAiB;IAoJzB,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,WAAW;IA2CnB,OAAO,CAAC,YAAY;IAUpB,OAAO,CAAC,iBAAiB;IA6HzB;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAqBxB,OAAO,CAAC,iBAAiB;IAiCzB,OAAO,CAAC,iBAAiB;IAUzB,OAAO,CAAC,YAAY;CAgDrB;AAo6BD,+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;IAEhD;;;;;;;;;;OAUG;IACH,OAAO,CAAC,gBAAgB,CAAgB;IAExC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,gBAAgB,CAKhB;IAER;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,CAAK;IAErB,6EAA6E;IAC7E,OAAO,CAAC,SAAS,CAAK;gBAEV,OAAO,EAAE,OAAO;IAI5B,4BAA4B;IAC5B,OAAO,CAAC,OAAO,GAAE,cAAmB,GAAG,MAAM;IA6pE7C,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;IAgHjB;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IA0BtB;;;;OAIG;IACH,OAAO,CAAC,cAAc;IAqGtB,OAAO,CAAC,WAAW;IA0BnB,OAAO,CAAC,WAAW;IAiBnB,OAAO,CAAC,WAAW;IAoBnB,OAAO,CAAC,WAAW;IAcnB,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,iBAAiB;IAmBzB,OAAO,CAAC,yBAAyB;IAoBjC,OAAO,CAAC,SAAS;IAmCjB;;;OAGG;IACH,OAAO,CAAC,cAAc;IAStB;;;;;OAKG;IACH,OAAO,CAAC,sBAAsB;IAiB9B,OAAO,CAAC,aAAa;IAsErB,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,wBAAwB;IA8IhC;;;;;;;;OAQG;IACH,OAAO,CAAC,gBAAgB;IAuGxB;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACH,OAAO,CAAC,kBAAkB;IA8D1B;;iCAE6B;IAC7B,OAAO,CAAC,iBAAiB;IAOzB;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,UAAU;IAiBlB,OAAO,CAAC,WAAW;IAmDnB,OAAO,CAAC,aAAa;IAarB,OAAO,CAAC,aAAa;IAYrB;;;;;;;;;OASG;IACH,OAAO,CAAC,aAAa;IAkBrB,sEAAsE;IACtE,OAAO,CAAC,YAAY;IAcpB,OAAO,CAAC,eAAe;IAYvB,OAAO,CAAC,WAAW;IAyGnB,OAAO,CAAC,cAAc;IAyBtB;;;;OAIG;IACH,OAAO,CAAC,0BAA0B;IAsBlC;;;;;;;;OAQG;IACH,OAAO,CAAC,UAAU;IAuBlB,OAAO,CAAC,mBAAmB;IA6B3B;;;;OAIG;IACH,OAAO,CAAC,eAAe;IAOvB,OAAO,CAAC,IAAI;IAmEZ,OAAO,CAAC,cAAc;IAqCtB,OAAO,CAAC,0BAA0B;IAWlC,2DAA2D;IAC3D,OAAO,CAAC,mBAAmB;IAU3B,0DAA0D;IAC1D,OAAO,CAAC,kBAAkB;IAU1B;;;;;OAKG;IACH,OAAO,CAAC,kBAAkB;IAmB1B,2EAA2E;IAC3E,OAAO,CAAC,YAAY;IAUpB;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IAkF7B;;;;;;;OAOG;IACH,OAAO,CAAC,aAAa;IAsBrB,OAAO,CAAC,kBAAkB;IA6C1B,OAAO,CAAC,sBAAsB;IAqI9B,OAAO,CAAC,yBAAyB;IAqBjC,OAAO,CAAC,sBAAsB;IAI9B,OAAO,CAAC,sBAAsB;IAe9B,OAAO,CAAC,aAAa;IA6BrB,OAAO,CAAC,WAAW;IAmGnB,OAAO,CAAC,cAAc;IA4+BtB,OAAO,CAAC,iBAAiB;IAoJzB,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,WAAW;IA2CnB,OAAO,CAAC,YAAY;IAUpB,OAAO,CAAC,iBAAiB;IA6HzB;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAqBxB,OAAO,CAAC,iBAAiB;IAiCzB,OAAO,CAAC,iBAAiB;IAUzB,OAAO,CAAC,YAAY;CAgDrB;AA07BD,+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

@@ -456,32 +456,15 @@ $1_getFieldDefaults(typeName: any): any {
   }
 
 $1async _resolveAndCallFunction(`);
-        // Post-processing: inject function/method resolution for unresolved
-        // typeNames in _evalMessageCreation. After the typeDef check, when
-        // no typeDef is found, try resolving as a function call.
-        // Find the end of _evalMessageCreation's if(typeName) block and add fallback.
-        body = body.replace(/return fields;\s*\}\s*\n\s*_findTypeDef/, `if (!fields['__type__'] || !this._findTypeDef(msg.typeName)) {
-        const __fnKey = this._currentModule + '.' + msg.typeName;
-        const __fnMatch = this._functions[__fnKey];
-        if (__fnMatch != null && !__fnMatch.isBase && __fnMatch.hasBody()) {
-          return this._callFunction(this._currentModule, __fnMatch, fields);
-        }
-        // Try searching all functions for a matching suffix
-        // e.g., typeName="main:_gcd" should match "main.main:Fraction._gcd"
-        const __bareType = String(msg.typeName).indexOf(':') >= 0 ? String(msg.typeName).substring(String(msg.typeName).indexOf(':') + 1) : String(msg.typeName);
-        for (const __fk of Object.keys(this._functions)) {
-          if (__fk.endsWith('.' + __bareType) || __fk.endsWith('.' + msg.typeName)) {
-            const __fm = this._functions[__fk];
-            if (__fm && !__fm.isBase && __fm.hasBody()) {
-              return this._callFunction(this._currentModule, __fm, fields);
-            }
-          }
-        }
-      }
-      return fields;
-    }
-
-  _findTypeDef`);
+        // NOTE (#489/#499): a former post-processing pass injected a
+        // function-resolution fallback into _evalMessageCreation, anchored on the
+        // literal text `return fields; } _findTypeDef`. The reference engine's
+        // emitted shape moved on, so the regex stopped matching and the pass
+        // became a SILENT no-op (verified against the committed compiled_engine.ts
+        // on main: neither `__fnKey` nor any of its injected identifiers appears,
+        // while the engine is nevertheless at full conformance parity). It was
+        // removed rather than left behind as a dead `.replace` that reads as
+        // working behaviour.
         // Post-processing: inject constructor instance building.
         // When a function has no body and its metadata says kind='constructor',
         // build an instance object from is_this params instead of returning null.
@@ -2351,6 +2334,16 @@ function __isUnknownFnError(e: any): boolean {
                 }
             }
         }
+        // Dart runs a constructor's INITIALIZER LIST before its body, and a
+        // constructor may have both (`Point(int a, int b) : x = a, y = b { … }`).
+        // Only `super(...)` and `this.`-params were emitted here, so every
+        // initializer-list field stayed `undefined` (conformance 438).
+        const rawParamNames = rawParams.map((p) => p.name);
+        for (const init of initializers) {
+            if (init?.kind !== "field" || typeof init.name !== "string")
+                continue;
+            prologueParts.push(`this.${init.name} = ${resolveInitializerValue(init.value, rawParamNames)};`);
+        }
         const prologue = prologueParts.join("\n");
         // Filter out self-recursive patterns from the constructor body.
         // The encoder emits `let self = messageCreation{typeName:"mod:ClassName"}`
@@ -2453,30 +2446,29 @@ function __isUnknownFnError(e: any): boolean {
             // This directly instantiates with fields set.
             const assignments = initializers
                 .filter((i) => i?.kind === "field")
-                .map((init) => {
-                const valueStr = typeof init.value === "string" ? init.value : "null";
-                let resolvedValue;
-                if (params.includes(valueStr))
-                    resolvedValue = sanitize(valueStr);
-                else if (/^-?\d+(\.\d+)?$/.test(valueStr))
-                    resolvedValue = valueStr.includes(".") ? `new BallDouble(${valueStr})` : valueStr;
-                else if (valueStr.startsWith("'") || valueStr.startsWith('"'))
-                    resolvedValue = valueStr;
-                else {
-                    const idxMatch = /^(\w+)\[(\d+)\]$/.exec(valueStr);
-                    if (idxMatch && params.includes(idxMatch[1]))
-                        resolvedValue = `${sanitize(idxMatch[1])}[${idxMatch[2]}]`;
-                    else
-                        resolvedValue = valueStr;
-                }
-                return `__inst.${init.name} = ${resolvedValue};`;
-            });
+                .map((init) => `__inst.${init.name} = ${resolveInitializerValue(init.value, params)};`);
             // For is_this params, assign them as fields
             const thisAssignments = thisParams.map(p => `__inst.${p.name} = ${sanitize(p.name)};`);
             const allAssignments = [...assignments, ...thisAssignments];
             bodyParts.push(`const __inst = Object.create(${className}.prototype);`);
             for (const a of allAssignments)
                 bodyParts.push(a);
+            // A named constructor may have BOTH an initializer list / `this.`-params
+            // AND a body (`Countdown.pair(int s) : value = s { tail = …; }`, or
+            // `Countdown.from(this.value) { … }`). Dart runs the list first, then the
+            // body; the body used to be dropped entirely by this branch, so every
+            // field the body set stayed unset (conformance 436/438). `.call(__inst)`
+            // — a real `function`, not an arrow — gives the compiled body the
+            // instance as `this`, so its `this.<field>` writes land on `__inst`,
+            // while the constructor's parameters stay in scope by closure.
+            if (fn.body) {
+                const captured = this.withMethodContext(new Set(params), classFields, () => this.captureInto(() => {
+                    this.emitStatementOrExpression(fn.body, false);
+                }));
+                if (captured.trim() !== "") {
+                    bodyParts.push(`(function () {\n${captured}\n}).call(__inst);`);
+                }
+            }
             bodyParts.push(`return __inst;`);
         }
         else if (fn.body) {
@@ -4336,6 +4328,15 @@ function __isUnknownFnError(e: any): boolean {
                 return `(${this.expr(f.get("value"))} == null)`;
             }
             case "as": return this.expr(f.get("value"));
+            // #489 — the value's canonical runtime type NAME. The TS encoder emits
+            // this for JS `typeof`, but bare `typeof` does not match the vocabulary
+            // (`typeof [] === 'object'`), so route through the preamble helper.
+            case "type_of": {
+                const val = f.get("value") ?? f.get("target") ?? f.get("arg0");
+                if (!val)
+                    throw new Error("TS compiler: std.type_of is missing its `value` field");
+                return `__ball_type_of(${this.expr(val)})`;
+            }
             case "if": {
                 const cond = this.expr(f.get("condition"));
                 const thenExpr = f.get("then");
@@ -5734,6 +5735,30 @@ function extractParams(fn) {
     }
     return out;
 }
+/**
+ * Resolve a constructor initializer-list value. The encoder stores these as
+ * SOURCE TEXT (`x = a` -> "a", `label = 'pt'` -> "'pt'", `x = coords[0]` ->
+ * "coords[0]"), so a param reference, a literal and an indexed read all arrive
+ * as plain strings. Shared by the unnamed and named constructor builders so the
+ * two can never drift.
+ */
+function resolveInitializerValue(rawValue, params) {
+    const valueStr = typeof rawValue === "string" ? rawValue : "null";
+    if (params.includes(valueStr))
+        return sanitize(valueStr);
+    if (/^-?\d+(\.\d+)?$/.test(valueStr)) {
+        return valueStr.includes(".") ? `new BallDouble(${valueStr})` : valueStr;
+    }
+    if (valueStr.startsWith("'") || valueStr.startsWith('"'))
+        return valueStr;
+    if (valueStr === "true" || valueStr === "false" || valueStr === "null")
+        return valueStr;
+    const idxMatch = /^(\w+)\[(\d+)\]$/.exec(valueStr);
+    if (idxMatch && params.includes(idxMatch[1])) {
+        return `${sanitize(idxMatch[1])}[${idxMatch[2]}]`;
+    }
+    return valueStr;
+}
 function extractCtorParams(meta) {
     const raw = meta["params"];
     if (!Array.isArray(raw))