@ball-lang/compiler 1.5.9 → 1.6.1

package/dist/compiler.d.ts

@@ -49,6 +49,18 @@ export declare class BallCompiler {
      * the block's statements and pop it afterward.
      */
     private renameStack;
+    /**
+     * Stack of `std.label` names currently enclosing the statement being
+     * compiled (see `emitLabelStmt`/`emitGotoStmt`). A `std.label` lowers to a
+     * labelled `while (true) { ... break name; }`, and a nested `std.goto`
+     * targeting one of these names lowers to `continue name;` — TS (unlike
+     * Dart's `continue` targeting a switch case, or C++'s real `goto`) only
+     * allows `continue`/`break` to target an *enclosing* labelled loop, so this
+     * only supports backward jumps to a label the goto is lexically inside of.
+     * A `goto` to any other name fails loud at compile time (see `emitGotoStmt`)
+     * rather than silently emitting invalid or wrong-behaving TS.
+     */
+    private activeGotoLabels;
     constructor(program: Program);
     /** Compile to TS source. */
     compile(options?: CompileOptions): string;
@@ -112,6 +124,19 @@ export declare class BallCompiler {
     private emitForStmt;
     private emitForInStmt;
     private emitWhileStmt;
+    /**
+     * `std.label(name, body)` — a named jump target that `std.goto(label)`
+     * re-enters. TS has no real `goto`, so this lowers to a labelled
+     * `while (true)` loop: running the body once and falling off the end
+     * (the common case, and the only shape a `goto` targeting it can
+     * restart) matches Ball's "run once, or re-run from the top on goto"
+     * semantics, with `break name;` after the body covering the fall-off
+     * case exactly as the Dart compiler's switch-based simulation does.
+     * See `activeGotoLabels` for why only backward jumps are supported.
+     */
+    private emitLabelStmt;
+    /** `std.goto(label)` — see `emitLabelStmt` and `activeGotoLabels`. */
+    private emitGotoStmt;
     private emitDoWhileStmt;
     private emitTryStmt;
     private emitAssignStmt;

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;IAmGnB,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"}
+{"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;gBAE5B,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;IA0LhC,OAAO,CAAC,UAAU;IAiBlB,OAAO,CAAC,WAAW;IAiDnB,OAAO,CAAC,aAAa;IAWrB,OAAO,CAAC,aAAa;IAUrB;;;;;;;;;OASG;IACH,OAAO,CAAC,aAAa;IAgBrB,sEAAsE;IACtE,OAAO,CAAC,YAAY;IAcpB,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;IA0C1B,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;IA83BtB,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

@@ -58,6 +58,18 @@ export class BallCompiler {
      * the block's statements and pop it afterward.
      */
     renameStack = [];
+    /**
+     * Stack of `std.label` names currently enclosing the statement being
+     * compiled (see `emitLabelStmt`/`emitGotoStmt`). A `std.label` lowers to a
+     * labelled `while (true) { ... break name; }`, and a nested `std.goto`
+     * targeting one of these names lowers to `continue name;` — TS (unlike
+     * Dart's `continue` targeting a switch case, or C++'s real `goto`) only
+     * allows `continue`/`break` to target an *enclosing* labelled loop, so this
+     * only supports backward jumps to a label the goto is lexically inside of.
+     * A `goto` to any other name fails loud at compile time (see `emitGotoStmt`)
+     * rather than silently emitting invalid or wrong-behaving TS.
+     */
+    activeGotoLabels = [];
     constructor(program) {
         this.program = program;
     }
@@ -2688,7 +2700,7 @@ function __isUnknownFnError(e: any): boolean {
         const kinds = new Set([
             "if", "for", "for_in", "for_each", "while", "do_while", "try",
             "return", "break", "continue", "labeled", "throw", "rethrow",
-            "assign", "switch", "switch_expr",
+            "assign", "switch", "switch_expr", "label", "goto",
         ]);
         if (!kinds.has(call.function))
             return false;
@@ -2742,6 +2754,12 @@ function __isUnknownFnError(e: any): boolean {
                     this.emitStatementOrExpression(body, false);
                 break;
             }
+            case "label":
+                this.emitLabelStmt(call);
+                break;
+            case "goto":
+                this.emitGotoStmt(call);
+                break;
             case "throw": {
                 const v = field(call, "value");
                 if (v) {
@@ -3008,6 +3026,44 @@ function __isUnknownFnError(e: any): boolean {
         this.depth--;
         this.writeln(`}`);
     }
+    /**
+     * `std.label(name, body)` — a named jump target that `std.goto(label)`
+     * re-enters. TS has no real `goto`, so this lowers to a labelled
+     * `while (true)` loop: running the body once and falling off the end
+     * (the common case, and the only shape a `goto` targeting it can
+     * restart) matches Ball's "run once, or re-run from the top on goto"
+     * semantics, with `break name;` after the body covering the fall-off
+     * case exactly as the Dart compiler's switch-based simulation does.
+     * See `activeGotoLabels` for why only backward jumps are supported.
+     */
+    emitLabelStmt(call) {
+        const name = stringField(call, "name");
+        const body = field(call, "body");
+        if (!name || !body) {
+            throw new Error("std.label requires a string \"name\" and a \"body\"");
+        }
+        this.activeGotoLabels.push(name);
+        this.writeln(`${name}: while (true) {`);
+        this.depth++;
+        this.emitStatementOrExpression(body, false);
+        this.writeln(`break ${name};`);
+        this.depth--;
+        this.writeln(`}`);
+        this.activeGotoLabels.pop();
+    }
+    /** `std.goto(label)` — see `emitLabelStmt` and `activeGotoLabels`. */
+    emitGotoStmt(call) {
+        const label = stringField(call, "label");
+        if (!label)
+            throw new Error('std.goto requires a string "label"');
+        if (!this.activeGotoLabels.includes(label)) {
+            throw new Error(`std.goto("${label}") is not inside its own std.label("${label}", ...) body — ` +
+                "the TS compiler only supports goto as a backward jump that restarts an " +
+                "enclosing label (mirrors a labelled loop); forward jumps and jumps to a " +
+                "sibling label are not supported (#226).");
+        }
+        this.writeln(`continue ${label};`);
+    }
     emitDoWhileStmt(call) {
         const cond = field(call, "condition");
         const body = field(call, "body");
@@ -3513,7 +3569,15 @@ function __isUnknownFnError(e: any): boolean {
             this.currentClassName !== undefined &&
             this.currentClassFields.has(fa.field) &&
             !this.currentClassMethodNames.has(fa.field);
-        const obj = isSelfRef || isSuperFieldRef ? "this" : this.expr(fa.object);
+        const rawObj = isSelfRef || isSuperFieldRef ? "this" : this.expr(fa.object);
+        // A bare numeric-literal receiver (e.g. `0`, `-4`, `123n`) parses as the
+        // start of a float literal when immediately followed by `.field` —
+        // `0.isNegative` is `SyntaxError: Identifier cannot follow number`.
+        // Parenthesize whenever the compiled object text IS (not merely
+        // contains) such a token; a double literal already compiles through
+        // `new BallDouble(...)` and a negated int through `__ball_negate(...)`,
+        // so both are already safe — only the bare-token case needs this.
+        const obj = /^-?\d+n?$/.test(rawObj) ? `(${rawObj})` : rawObj;
         const f = fa.field;
         if (f === "length")
             return `${obj}.length`;
@@ -3878,7 +3942,7 @@ function __isUnknownFnError(e: any): boolean {
             case "bitwise_not": return `__ball_bitnot(${this.expr(fg("value", "arg0"))})`;
             case "left_shift": return `__ball_shl(${this.expr(fg("left", "value", "arg0"))}, ${this.expr(fg("right", "other", "arg1"))})`;
             case "right_shift": return `__ball_shr(${this.expr(fg("left", "value", "arg0"))}, ${this.expr(fg("right", "other", "arg1"))})`;
-            case "unsigned_right_shift": return bin(">>>");
+            case "unsigned_right_shift": return `__ball_ushr(${this.expr(fg("left", "value", "arg0"))}, ${this.expr(fg("right", "other", "arg1"))})`;
             case "integer_divide":
                 return `__ball_divide(${this.expr(f.get("left"))}, ${this.expr(f.get("right"))})`;
             case "concat": return bin("+");
@@ -4639,6 +4703,10 @@ function __isUnknownFnError(e: any): boolean {
                     case "list_length": return `${this.expr(f.get("list"))}.length`;
                     case "list_filter": return `${this.expr(f.get("list"))}.filter(${this.expr(f.get("function") ?? f.get("callback") ?? f.get("value"))})`;
                     case "list_map": return `${this.expr(f.get("list"))}.map(${this.expr(f.get("function") ?? f.get("callback") ?? f.get("value"))})`;
+                    // No-seed combine (Dart's Iterable.reduce): starts at the first
+                    // element, folds from the second; empty list throws (matches JS
+                    // Array.prototype.reduce with no initialValue).
+                    case "list_reduce": return `${this.expr(f.get("list"))}.reduce(${this.expr(f.get("function") ?? f.get("callback") ?? f.get("value"))})`;
                     case "list_sort": {
                         const l = this.expr(f.get("list"));
                         const cmp = f.get("comparator") ?? f.get("function") ?? f.get("value");