@ball-lang/compiler 1.5.3 → 1.5.5

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;IA0qE7C,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;IAu3BtB,OAAO,CAAC,iBAAiB;IAoJzB,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;IA0qE7C,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;IA03BtB,OAAO,CAAC,iBAAiB;IAoJzB,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;AAy3BD,+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

@@ -3834,10 +3834,13 @@ function __isUnknownFnError(e: any): boolean {
                     return `!__ball_eq(${this.expr(l)}, ${this.expr(r)})`;
                 return `!__ball_eq(${this.expr(fg("left", "value", "arg0"))}, ${this.expr(fg("right", "other", "arg1"))})`;
             }
-            case "less_than": return bin("<");
-            case "greater_than": return bin(">");
-            case "lte": return bin("<=");
-            case "gte": return bin(">=");
+            // Relational comparisons route through __ball_lt/__ball_gt/__ball_le/__ball_ge
+            // so operator-overloaded types (e.g. a class defining `<`) dispatch to
+            // their `__op_lt__`-style method instead of raw JS comparison (#205).
+            case "less_than": return `__ball_lt(${this.expr(fg("left", "value", "arg0"))}, ${this.expr(fg("right", "other", "arg1"))})`;
+            case "greater_than": return `__ball_gt(${this.expr(fg("left", "value", "arg0"))}, ${this.expr(fg("right", "other", "arg1"))})`;
+            case "lte": return `__ball_le(${this.expr(fg("left", "value", "arg0"))}, ${this.expr(fg("right", "other", "arg1"))})`;
+            case "gte": return `__ball_ge(${this.expr(fg("left", "value", "arg0"))}, ${this.expr(fg("right", "other", "arg1"))})`;
             // Logical
             case "and": return bin("&&");
             case "or": return bin("||");
@@ -5516,6 +5519,12 @@ const KNOWN_PATTERN_KINDS = new Set([
     "ConstPattern", "VarPattern", "var", "WildcardPattern", "wildcard", "_",
     "ListPattern", "RestPattern", "rest", "record", "RecordPattern",
     "LogicalOrPattern", "CastPattern", "NullCheckPattern", "NullAssertPattern",
+    // MapPattern/LogicalAndPattern/ObjectPattern/RelationalPattern were missing
+    // (#206, #207) — every pattern kind the encoder can emit (see
+    // dart/encoder/lib/encoder.dart's `_encodePattern`) must be listed here, or
+    // it falls to the legacy cosmetic-text parser, which cannot round-trip
+    // `final`-bound entries and other structured shapes.
+    "MapPattern", "LogicalAndPattern", "ObjectPattern", "RelationalPattern",
 ]);
 /** Generate a JS type-check condition for a Dart type name against `subject`.
  *  Shared by the VarPattern and WildcardPattern arms so a typed binder
@@ -5605,6 +5614,110 @@ function compileStructuredPattern(patternExpr, subject, exprFn) {
             }
             return undefined;
         }
+        case "LogicalAndPattern": {
+            // `p1 && p2` matches only if BOTH alternatives match against the SAME
+            // subject (Dart's guard-combinator syntax, e.g. `int n && > 0`). Mirrors
+            // LogicalOrPattern but ANDs the conditions instead of ORing them; bindings
+            // from both sides are unioned (in practice the right operand of a
+            // relational combinator binds nothing). Falls through (undefined) if
+            // either operand isn't structured.
+            const left = fields.get("left");
+            const right = fields.get("right");
+            if (left && right) {
+                const lr = compileStructuredPattern(left, subject, exprFn);
+                const rr = compileStructuredPattern(right, subject, exprFn);
+                if (lr && rr) {
+                    return {
+                        condition: `(${lr.condition} && ${rr.condition})`,
+                        bindings: [...lr.bindings, ...rr.bindings],
+                    };
+                }
+            }
+            return undefined;
+        }
+        case "RelationalPattern": {
+            // `== x` / `!= x` / `> x` / `< x` / `>= x` / `<= x` as a standalone
+            // (or LogicalAndPattern-combined) pattern. Numeric comparisons require
+            // BOTH the subject and operand to be `num` (mirrors engine_std.dart's
+            // `_matchRelationalPattern`) — a non-numeric subject simply fails to
+            // match rather than throwing.
+            const op = fields.get("operator")?.literal?.stringValue;
+            const operandExpr = fields.get("operand");
+            if (!op || !operandExpr)
+                return { condition: "true", bindings: [] };
+            const operandStr = exprFn(operandExpr);
+            if (op === "==")
+                return { condition: `__ball_eq(${subject}, ${operandStr})`, bindings: [] };
+            if (op === "!=")
+                return { condition: `(!__ball_eq(${subject}, ${operandStr}))`, bindings: [] };
+            const isNum = (v) => `(typeof (${v}) === 'number' || (${v}) instanceof BallDouble)`;
+            const numVal = (v) => `((${v}) instanceof BallDouble ? (${v}).value : (${v}))`;
+            return {
+                condition: `(${isNum(subject)} && ${isNum(operandStr)} && (${numVal(subject)} ${op} ${numVal(operandStr)}))`,
+                bindings: [],
+            };
+        }
+        case "MapPattern": {
+            // `{'key': subpattern, ...}`. Ball maps compile to a plain JS object for
+            // the common `map_create` path (bracket access, e.g. `{'k': 7}`) but to a
+            // native `Map` for the `typed_map` path (`<K,V>{}` / `Map()`) — both
+            // representations must match. A Ball Set compiles to a native `Set`
+            // (set_create), which IS `typeof 'object'` and not an array, so it must
+            // be explicitly excluded (issue #178's "MapPattern must exclude Set").
+            // Extra keys beyond the ones listed are fine (unlike RecordPattern's
+            // exact-arity rule) — mirrors engine_std.dart's 'map' case.
+            const entries = fields.get("entries")?.literal?.listValue?.elements ?? [];
+            const conds = [
+                `(typeof ${subject} === 'object' && ${subject} !== null && !Array.isArray(${subject}) && !(${subject} instanceof Set))`,
+            ];
+            const binds = [];
+            for (const entry of entries) {
+                const ef = mcFields(entry);
+                const keyExpr = ef.get("key");
+                const valuePattern = ef.get("value");
+                if (!keyExpr)
+                    continue;
+                const keyStr = exprFn(keyExpr);
+                conds.push(`(${subject} instanceof Map ? ${subject}.has(${keyStr}) : (${keyStr} in ${subject}))`);
+                if (valuePattern) {
+                    const valueExpr = `(${subject} instanceof Map ? ${subject}.get(${keyStr}) : ${subject}[${keyStr}])`;
+                    const sub = compileStructuredPattern(valuePattern, valueExpr, exprFn);
+                    if (sub) {
+                        if (sub.condition !== "true")
+                            conds.push(sub.condition);
+                        binds.push(...sub.bindings);
+                    }
+                }
+            }
+            return { condition: conds.join(" && "), bindings: binds };
+        }
+        case "ObjectPattern": {
+            // `Type(field: subpattern, ...)` matches by TYPE (reusing the same
+            // instanceof/`__type__` gate CastPattern relies on via typeCheckCondition)
+            // plus each named field's GETTER against its sub-pattern — field access,
+            // not positional arity (mirrors engine_std.dart's 'object' case, which
+            // reads `objMap[fieldName]` rather than requiring an exact key set).
+            const typeName = fields.get("type")?.literal?.stringValue;
+            const objFields = fields.get("fields")?.literal?.listValue?.elements ?? [];
+            const conds = [];
+            if (typeName)
+                conds.push(typeCheckCondition(typeName, subject));
+            const binds = [];
+            for (const of_ of objFields) {
+                const ofFields = mcFields(of_);
+                const fieldName = ofFields.get("name")?.literal?.stringValue;
+                const fieldPattern = ofFields.get("pattern");
+                if (!fieldName || !fieldPattern)
+                    continue;
+                const sub = compileStructuredPattern(fieldPattern, `${subject}.${fieldName}`, exprFn);
+                if (sub) {
+                    if (sub.condition !== "true")
+                        conds.push(sub.condition);
+                    binds.push(...sub.bindings);
+                }
+            }
+            return { condition: conds.length > 0 ? conds.join(" && ") : "true", bindings: binds };
+        }
         case "CastPattern": {
             // A cast pattern (subpat as T) ASSERTS the runtime type — it matches
             // structurally (like its sub-pattern) but THROWS on a mismatch (Dart