@elaraai/east 1.0.79 → 1.0.81

package/dist/src/expr/libs/integer.js

@@ -17,7 +17,7 @@ export default {
      * const formatComma = East.function([IntegerType], StringType, ($, x) => {
      *   $.return(East.Integer.printCommaSeperated(x));
      * });
-     * const compiled = East.compile(formatComma.toIR(), []);
+     * const compiled = East.compile(formatComma, []);
      * compiled(1234567n);    // "1,234,567"
      * compiled(1000n);       // "1,000"
      * compiled(-5432n);      // "-5,432"
@@ -59,7 +59,7 @@ export default {
      * const formatCurrency = East.function([IntegerType], StringType, ($, x) => {
      *   $.return(East.Integer.printCurrency(x));
      * });
-     * const compiled = East.compile(formatCurrency.toIR(), []);
+     * const compiled = East.compile(formatCurrency, []);
      * compiled(1234n);   // "$1,234"
      * compiled(-42n);      // "-$42"
      * compiled(1000000n);    // "$1,000,000"
@@ -108,7 +108,7 @@ export default {
      * const formatCompact = East.function([IntegerType], StringType, ($, x) => {
      *   $.return(East.Integer.printCompact(x));
      * });
-     * const compiled = East.compile(formatCompact.toIR(), []);
+     * const compiled = East.compile(formatCompact, []);
      * compiled(1500n);        // "1.5K"
      * compiled(2500000n);     // "2.5M"
      * compiled(3140000000n);  // "3.14B"
@@ -163,7 +163,7 @@ export default {
      * const formatSI = East.function([IntegerType], StringType, ($, x) => {
      *   $.return(East.Integer.printCompactSI(x));
      * });
-     * const compiled = East.compile(formatSI.toIR(), []);
+     * const compiled = East.compile(formatSI, []);
      * compiled(1500n);        // "1.5k"
      * compiled(2500000n);     // "2.5M"
      * compiled(3140000000n);  // "3.14G"
@@ -211,7 +211,7 @@ export default {
      * const formatComputing = East.function([IntegerType], StringType, ($, x) => {
      *   $.return(East.Integer.printCompactComputing(x));
      * });
-     * const compiled = East.compile(formatComputing.toIR(), []);
+     * const compiled = East.compile(formatComputing, []);
      * compiled(1536n);       // "1.5ki"  (1536 bytes = 1.5 KiB)
      * compiled(2621440n);    // "2.5Mi"  (2.5 MiB)
      * compiled(3221225472n); // "3Gi"    (3 GiB)
@@ -255,7 +255,7 @@ export default {
      * const formatOrdinal = East.function([IntegerType], StringType, ($, x) => {
      *   $.return(East.Integer.printOrdinal(x));
      * });
-     * const compiled = East.compile(formatOrdinal.toIR(), []);
+     * const compiled = East.compile(formatOrdinal, []);
      * compiled(1n);    // "1st"
      * compiled(2n);    // "2nd"
      * compiled(3n);    // "3rd"
@@ -289,7 +289,7 @@ export default {
      * const countDigits = East.function([IntegerType], IntegerType, ($, x) => {
      *   $.return(East.Integer.digitCount(x));
      * });
-     * const compiled = East.compile(countDigits.toIR(), []);
+     * const compiled = East.compile(countDigits, []);
      * compiled(0n);       // 1n
      * compiled(42n);      // 2n
      * compiled(-1234n);   // 4n
@@ -312,7 +312,7 @@ export default {
      * const roundNearest = East.function([IntegerType, IntegerType], IntegerType, ($, x, step) => {
      *   $.return(East.Integer.roundNearest(x, step));
      * });
-     * const compiled = East.compile(roundNearest.toIR(), []);
+     * const compiled = East.compile(roundNearest, []);
      * compiled(17n, 5n);   // 15n
      * compiled(18n, 5n);   // 20n
      * compiled(-17n, 5n);  // -15n
@@ -346,7 +346,7 @@ export default {
      * const roundUp = East.function([IntegerType, IntegerType], IntegerType, ($, x, step) => {
      *   $.return(East.Integer.roundUp(x, step));
      * });
-     * const compiled = East.compile(roundUp.toIR(), []);
+     * const compiled = East.compile(roundUp, []);
      * compiled(17n, 5n);   // 20n
      * compiled(15n, 5n);   // 15n (already exact)
      * compiled(-17n, 5n);  // -15n (towards zero for negatives)
@@ -376,7 +376,7 @@ export default {
      * const roundDown = East.function([IntegerType, IntegerType], IntegerType, ($, x, step) => {
      *   $.return(East.Integer.roundDown(x, step));
      * });
-     * const compiled = East.compile(roundDown.toIR(), []);
+     * const compiled = East.compile(roundDown, []);
      * compiled(17n, 5n);   // 15n
      * compiled(15n, 5n);   // 15n (already exact)
      * compiled(-17n, 5n);  // -20n (away from zero for negatives)
@@ -406,7 +406,7 @@ export default {
      * const roundTruncate = East.function([IntegerType, IntegerType], IntegerType, ($, x, step) => {
      *   $.return(East.Integer.roundTruncate(x, step));
      * });
-     * const compiled = East.compile(roundTruncate.toIR(), []);
+     * const compiled = East.compile(roundTruncate, []);
      * compiled(17n, 5n);   // 15n
      * compiled(-17n, 5n);  // -15n
      * compiled(3n, 5n);    // 0n
@@ -432,7 +432,7 @@ export default {
      * const formatPercent = East.function([IntegerType], StringType, ($, x) => {
      *   $.return(East.Integer.printPercentage(x));
      * });
-     * const compiled = East.compile(formatPercent.toIR(), []);
+     * const compiled = East.compile(formatPercent, []);
      * compiled(45n);   // "45%"
      * compiled(100n);  // "100%"
      * compiled(-25n);  // "-25%"

package/dist/src/expr/libs/set.d.ts

@@ -34,7 +34,7 @@ declare const _default: {
      *     ($, i) => Expr.str`key${i}`
      *   ));
      * });
-     * const compiled = East.compile(makeSet.toIR(), []);
+     * const compiled = East.compile(makeSet, []);
      * compiled();  // Set(["key0", "key1", "key2"])
      * ```
      *
@@ -49,7 +49,7 @@ declare const _default: {
      *     ($, key) => null  // Ignore duplicates
      *   ));
      * });
-     * const compiled = East.compile(makeSetConflict.toIR(), []);
+     * const compiled = East.compile(makeSetConflict, []);
      * compiled();  // Set([0n, 1n, 2n])
      * ```
      */

package/dist/src/expr/libs/set.js

@@ -33,7 +33,7 @@ export default {
      *     ($, i) => Expr.str`key${i}`
      *   ));
      * });
-     * const compiled = East.compile(makeSet.toIR(), []);
+     * const compiled = East.compile(makeSet, []);
      * compiled();  // Set(["key0", "key1", "key2"])
      * ```
      *
@@ -48,7 +48,7 @@ export default {
      *     ($, key) => null  // Ignore duplicates
      *   ));
      * });
-     * const compiled = East.compile(makeSetConflict.toIR(), []);
+     * const compiled = East.compile(makeSetConflict, []);
      * compiled();  // Set([0n, 1n, 2n])
      * ```
      */

package/dist/src/expr/libs/string.d.ts

@@ -22,7 +22,7 @@ declare const _default: {
      * const formatError = East.function([StringType, ArrayType(StackFrameType)], StringType, ($, msg, stack) => {
      *   $.return(East.printError(msg, stack));
      * });
-     * const compiled = East.compile(formatError.toIR(), []);
+     * const compiled = East.compile(formatError, []);
      * const result = compiled("Division by zero", [
      *   { filename: "app.ts", line: 42n, column: 10n },
      *   { filename: "main.ts", line: 15n, column: 5n }
@@ -51,7 +51,7 @@ declare const _default: {
      * const toJson = East.function([PersonType], StringType, ($, person) => {
      *   $.return(East.String.printJson(person));
      * });
-     * const compiled = East.compile(toJson.toIR(), []);
+     * const compiled = East.compile(toJson, []);
      * compiled({ name: "Alice", age: 30n });  // '{"name":"Alice","age":"30"}' — an Integer is a decimal string
      * ```
      *
@@ -61,7 +61,7 @@ declare const _default: {
      * const arrayToJson = East.function([ArrayType(IntegerType)], StringType, ($, arr) => {
      *   $.return(East.String.printJson(arr));
      * });
-     * const compiled = East.compile(arrayToJson.toIR(), []);
+     * const compiled = East.compile(arrayToJson, []);
      * compiled([1n, 2n, 3n]);  // '["1","2","3"]'
      * ```
      *
@@ -73,7 +73,7 @@ declare const _default: {
      * const optionToJson = East.function([OptionType(StringType)], StringType, ($, note) => {
      *   $.return(East.String.printJson(note));
      * });
-     * const compiled = East.compile(optionToJson.toIR(), []);
+     * const compiled = East.compile(optionToJson, []);
      * compiled(none);       // 'null'
      * compiled(some("x"));  // '"x"'
      * ```

package/dist/src/expr/libs/string.js

@@ -21,7 +21,7 @@ export default {
      * const formatError = East.function([StringType, ArrayType(StackFrameType)], StringType, ($, msg, stack) => {
      *   $.return(East.printError(msg, stack));
      * });
-     * const compiled = East.compile(formatError.toIR(), []);
+     * const compiled = East.compile(formatError, []);
      * const result = compiled("Division by zero", [
      *   { filename: "app.ts", line: 42n, column: 10n },
      *   { filename: "main.ts", line: 15n, column: 5n }
@@ -48,7 +48,7 @@ export default {
      * const toJson = East.function([PersonType], StringType, ($, person) => {
      *   $.return(East.String.printJson(person));
      * });
-     * const compiled = East.compile(toJson.toIR(), []);
+     * const compiled = East.compile(toJson, []);
      * compiled({ name: "Alice", age: 30n });  // '{"name":"Alice","age":"30"}' — an Integer is a decimal string
      * ```
      *
@@ -58,7 +58,7 @@ export default {
      * const arrayToJson = East.function([ArrayType(IntegerType)], StringType, ($, arr) => {
      *   $.return(East.String.printJson(arr));
      * });
-     * const compiled = East.compile(arrayToJson.toIR(), []);
+     * const compiled = East.compile(arrayToJson, []);
      * compiled([1n, 2n, 3n]);  // '["1","2","3"]'
      * ```
      *
@@ -70,7 +70,7 @@ export default {
      * const optionToJson = East.function([OptionType(StringType)], StringType, ($, note) => {
      *   $.return(East.String.printJson(note));
      * });
-     * const compiled = East.compile(optionToJson.toIR(), []);
+     * const compiled = East.compile(optionToJson, []);
      * compiled(none);       // 'null'
      * compiled(some("x"));  // '"x"'
      * ```

package/dist/src/expr/recursive.d.ts

@@ -29,14 +29,31 @@ import type { ExprType, SubtypeExprOrValue } from "./types.js";
  *   cons: StructType({ head: IntegerType, tail: self })
  * }));
  *
- * // Create and work with linked lists
+ * // Sum a list by walking it in a loop, unwrapping one node at a time
  * const sumList = East.function([LinkedListType], IntegerType, ($, list) => {
- *   $.return(list.unwrap().match({
- *     nil: ($) => 0n,
- *     cons: ($, node) => node.head.add(sumList(node.tail))
- *   }));
+ *   const sum = $.let(0n);
+ *   const current = $.let(list, LinkedListType);
+ *   $.while(true, ($, label) => {
+ *     $.match(current.unwrap(), {
+ *       nil: ($) => {
+ *         $.break(label);
+ *       },
+ *       cons: ($, node) => {
+ *         $.assign(sum, sum.add(node.head));
+ *         $.assign(current, node.tail);
+ *       },
+ *     });
+ *   });
+ *   return sum;
  * });
+ * const compiled = East.compile(sumList, []);
+ * compiled(variant("cons", { head: 1n, tail: variant("cons", { head: 2n, tail: variant("cons", { head: 3n, tail: variant("nil", null) }) }) }));  // 6n
  * ```
+ *
+ * A function cannot call itself by its own name — the `const` is not yet
+ * assigned while its body is built. Walk a recursive value with a loop as
+ * above, build one from flat parent-keyed data with `toTree`, or recurse
+ * through a function held in a variable (`$.let`, then `$.assign`).
  */
 export declare class RecursiveExpr<T> extends Expr<RecursiveType<T>> {
     private nodeType;

package/dist/src/expr/recursive.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"recursive.d.ts","sourceRoot":"","sources":["../../../src/expr/recursive.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,IAAI,EAA4B,KAAK,MAAM,EAAE,MAAM,WAAW,CAAC;AACxE,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAG/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,qBAAa,aAAa,CAAC,CAAC,CAAE,SAAQ,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAC9C,OAAO,CAAC,QAAQ;gBAAR,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM;IAI1D;;;;;;;;;;;;;;;;;OAiBG;IACH,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC;IAUrB;;;;;;;;;;;;;;;;;OAiBG;IACH,MAAM,CAAC,IAAI,CAAC,CAAC,EACX,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAC5B,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,EACtB,OAAO,EAAE,MAAM,GACd,aAAa,CAAC,CAAC,CAAC;CAUpB"}
+{"version":3,"file":"recursive.d.ts","sourceRoot":"","sources":["../../../src/expr/recursive.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,IAAI,EAA4B,KAAK,MAAM,EAAE,MAAM,WAAW,CAAC;AACxE,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAG/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AACH,qBAAa,aAAa,CAAC,CAAC,CAAE,SAAQ,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAC9C,OAAO,CAAC,QAAQ;gBAAR,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM;IAI1D;;;;;;;;;;;;;;;;;OAiBG;IACH,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC;IAUrB;;;;;;;;;;;;;;;;;OAiBG;IACH,MAAM,CAAC,IAAI,CAAC,CAAC,EACX,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAC5B,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,EACtB,OAAO,EAAE,MAAM,GACd,aAAa,CAAC,CAAC,CAAC;CAUpB"}

package/dist/src/expr/recursive.js

@@ -25,14 +25,31 @@ import { valueOrExprToAstTyped } from "./ast.js";
  *   cons: StructType({ head: IntegerType, tail: self })
  * }));
  *
- * // Create and work with linked lists
+ * // Sum a list by walking it in a loop, unwrapping one node at a time
  * const sumList = East.function([LinkedListType], IntegerType, ($, list) => {
- *   $.return(list.unwrap().match({
- *     nil: ($) => 0n,
- *     cons: ($, node) => node.head.add(sumList(node.tail))
- *   }));
+ *   const sum = $.let(0n);
+ *   const current = $.let(list, LinkedListType);
+ *   $.while(true, ($, label) => {
+ *     $.match(current.unwrap(), {
+ *       nil: ($) => {
+ *         $.break(label);
+ *       },
+ *       cons: ($, node) => {
+ *         $.assign(sum, sum.add(node.head));
+ *         $.assign(current, node.tail);
+ *       },
+ *     });
+ *   });
+ *   return sum;
  * });
+ * const compiled = East.compile(sumList, []);
+ * compiled(variant("cons", { head: 1n, tail: variant("cons", { head: 2n, tail: variant("cons", { head: 3n, tail: variant("nil", null) }) }) }));  // 6n
  * ```
+ *
+ * A function cannot call itself by its own name — the `const` is not yet
+ * assigned while its body is built. Walk a recursive value with a loop as
+ * above, build one from flat parent-keyed data with `toTree`, or recurse
+ * through a function held in a variable (`$.let`, then `$.assign`).
  */
 export class RecursiveExpr extends Expr {
     nodeType;

package/dist/src/expr/recursive.js.map

@@ -1 +1 @@
-{"version":3,"file":"recursive.js","sourceRoot":"","sources":["../../../src/expr/recursive.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAe,MAAM,WAAW,CAAC;AAExE,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AAEjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,OAAO,aAAiB,SAAQ,IAAsB;IACtC;IAApB,YAAoB,QAAW,EAAE,GAAQ,EAAE,OAAe;QACxD,KAAK,CAAC,GAAG,CAAC,IAAwB,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QADhC,aAAQ,GAAR,QAAQ,CAAG;IAE/B,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,MAAM;QACJ,MAAM,SAAS,GAAQ;YACrB,QAAQ,EAAE,iBAAiB;YAC3B,IAAI,EAAE,IAAI,CAAC,QAAuB;YAClC,MAAM,EAAE,eAAe,EAAE;YACzB,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC;SACvB,CAAC;QACF,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC,SAAS,CAAgB,CAAC;IACvD,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,MAAM,CAAC,IAAI,CACT,KAA4B,EAC5B,IAAsB,EACtB,OAAe;QAEf,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAmB,CAAC,CAAC;QACxE,MAAM,OAAO,GAAQ;YACnB,QAAQ,EAAE,eAAe;YACzB,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,eAAe,EAAE;YACzB,KAAK,EAAE,QAAQ;SAChB,CAAC;QACF,OAAO,OAAO,CAAC,OAAO,CAAqB,CAAC;IAC9C,CAAC;CACF"}
+{"version":3,"file":"recursive.js","sourceRoot":"","sources":["../../../src/expr/recursive.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAe,MAAM,WAAW,CAAC;AAExE,OAAO,EAAE,qBAAqB,EAAE,MAAM,UAAU,CAAC;AAEjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AACH,MAAM,OAAO,aAAiB,SAAQ,IAAsB;IACtC;IAApB,YAAoB,QAAW,EAAE,GAAQ,EAAE,OAAe;QACxD,KAAK,CAAC,GAAG,CAAC,IAAwB,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QADhC,aAAQ,GAAR,QAAQ,CAAG;IAE/B,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,MAAM;QACJ,MAAM,SAAS,GAAQ;YACrB,QAAQ,EAAE,iBAAiB;YAC3B,IAAI,EAAE,IAAI,CAAC,QAAuB;YAClC,MAAM,EAAE,eAAe,EAAE;YACzB,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC;SACvB,CAAC;QACF,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC,SAAS,CAAgB,CAAC;IACvD,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,MAAM,CAAC,IAAI,CACT,KAA4B,EAC5B,IAAsB,EACtB,OAAe;QAEf,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAmB,CAAC,CAAC;QACxE,MAAM,OAAO,GAAQ;YACnB,QAAQ,EAAE,eAAe;YACzB,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,eAAe,EAAE;YACzB,KAAK,EAAE,QAAQ;SAChB,CAAC;QACF,OAAO,OAAO,CAAC,OAAO,CAAqB,CAAC;IAC9C,CAAC;CACF"}

package/dist/src/expr/ref.d.ts

@@ -20,7 +20,7 @@ import type { ExprType, SubtypeExprOrValue } from "./types.js";
  *   const counter = $.let(East.value(ref(42n)));
  *   $.return(counter.get());
  * });
- * const compiled = East.compile(getRefValue.toIR(), []);
+ * const compiled = East.compile(getRefValue, []);
  * compiled();  // 42n
  * ```
  *
@@ -32,7 +32,7 @@ import type { ExprType, SubtypeExprOrValue } from "./types.js";
  *   $(counter.update(newValue));
  *   $.return(counter.get());
  * });
- * const compiled = East.compile(updateRef.toIR(), []);
+ * const compiled = East.compile(updateRef, []);
  * compiled(100n);  // 100n
  * ```
  */
@@ -50,7 +50,7 @@ export declare class RefExpr<T extends any> extends Expr<RefType<T>> {
      *   const counter = $.let(East.value(ref(42n)));
      *   $.return(counter.get());
      * });
-     * const compiled = East.compile(getRefValue.toIR(), []);
+     * const compiled = East.compile(getRefValue, []);
      * compiled();  // 42n
      * ```
      */
@@ -68,7 +68,7 @@ export declare class RefExpr<T extends any> extends Expr<RefType<T>> {
      *   $(counter.update(newValue));
      *   $.return(counter.get());
      * });
-     * const compiled = East.compile(updateRef.toIR(), []);
+     * const compiled = East.compile(updateRef, []);
      * compiled(100n);  // 100n
      * ```
      *
@@ -92,7 +92,7 @@ export declare class RefExpr<T extends any> extends Expr<RefType<T>> {
      *   $(counter.merge(delta, ($, current, newVal) => current.add(newVal)));
      *   $.return(counter.get());
      * });
-     * const compiled = East.compile(incrementRef.toIR(), []);
+     * const compiled = East.compile(incrementRef, []);
      * compiled(5n);  // 15n
      * ```
      *

package/dist/src/expr/ref.js

@@ -15,7 +15,7 @@ import { AstSymbol, Expr, FactorySymbol, TypeSymbol } from "./expr.js";
  *   const counter = $.let(East.value(ref(42n)));
  *   $.return(counter.get());
  * });
- * const compiled = East.compile(getRefValue.toIR(), []);
+ * const compiled = East.compile(getRefValue, []);
  * compiled();  // 42n
  * ```
  *
@@ -27,7 +27,7 @@ import { AstSymbol, Expr, FactorySymbol, TypeSymbol } from "./expr.js";
  *   $(counter.update(newValue));
  *   $.return(counter.get());
  * });
- * const compiled = East.compile(updateRef.toIR(), []);
+ * const compiled = East.compile(updateRef, []);
  * compiled(100n);  // 100n
  * ```
  */
@@ -48,7 +48,7 @@ export class RefExpr extends Expr {
      *   const counter = $.let(East.value(ref(42n)));
      *   $.return(counter.get());
      * });
-     * const compiled = East.compile(getRefValue.toIR(), []);
+     * const compiled = East.compile(getRefValue, []);
      * compiled();  // 42n
      * ```
      */
@@ -75,7 +75,7 @@ export class RefExpr extends Expr {
      *   $(counter.update(newValue));
      *   $.return(counter.get());
      * });
-     * const compiled = East.compile(updateRef.toIR(), []);
+     * const compiled = East.compile(updateRef, []);
      * compiled(100n);  // 100n
      * ```
      *
@@ -108,7 +108,7 @@ export class RefExpr extends Expr {
      *   $(counter.merge(delta, ($, current, newVal) => current.add(newVal)));
      *   $.return(counter.get());
      * });
-     * const compiled = East.compile(incrementRef.toIR(), []);
+     * const compiled = East.compile(incrementRef, []);
      * compiled(5n);  // 15n
      * ```
      *