@hyperscale0/hsx 1.0.0-alpha.6 → 1.0.0-rc.1

package/dist/src/entry-overrides.js

@@ -1,7 +1,7 @@
 /**
  * Data-driven replacement of existing settlement entries. This is not syntax:
  * callers select a slot that already exists in the parsed program, replace its
- * literal value, then run the ordinary checker and lowerer again.
+ * literal value, then run the ordinary general compiler again.
  */
 function percentRaw(bps) {
     const whole = Math.floor(bps / 100);
@@ -10,41 +10,134 @@ function percentRaw(bps) {
         ? `${whole}`
         : `${whole}.${String(fraction).padStart(2, "0").replace(/0$/, "")}`;
 }
+function durationMagnitude(value) {
+    const match = /^P([1-9][0-9]{0,3})([DWMY])$/.exec(value);
+    if (!match)
+        return undefined;
+    const amount = Number(match[1]);
+    switch (match[2]) {
+        case "D":
+            return { amount, family: "days" };
+        case "W":
+            return { amount: amount * 7, family: "days" };
+        case "M":
+            return { amount, family: "months" };
+        case "Y":
+            return { amount: amount * 12, family: "months" };
+        default:
+            return undefined;
+    }
+}
 function replacementExpr(current, value) {
     if (value.kind === "integer") {
-        return { kind: "number", raw: String(value.value), span: current.span };
+        return current.kind === "number"
+            ? {
+                expr: {
+                    kind: "number",
+                    raw: String(value.value),
+                    span: current.span,
+                },
+            }
+            : { issue: "target is not an integer literal" };
+    }
+    if (value.kind === "basis_points") {
+        return current.kind === "percent"
+            ? {
+                expr: {
+                    bps: value.value,
+                    kind: "percent",
+                    raw: percentRaw(value.value),
+                    span: current.span,
+                },
+            }
+            : { issue: "target is not a percentage literal" };
+    }
+    if (value.kind === "duration") {
+        return current.kind === "ident" && durationMagnitude(current.name)
+            ? {
+                expr: { kind: "ident", name: value.value, span: current.span },
+            }
+            : { issue: "target is not an ISO-8601 duration literal" };
+    }
+    if (current.kind !== "binding" ||
+        current.type.kind !== "call" ||
+        current.type.callee.name !== "money" ||
+        current.type.args.length !== 2 ||
+        current.type.args[0]?.kind !== "ident" ||
+        current.type.args[1]?.kind !== "number") {
+        return { issue: "target is not a fixed money literal" };
+    }
+    if (current.type.args[0].name !== value.currency) {
+        return {
+            issue: `target currency ${current.type.args[0].name} does not match ${value.currency}`,
+        };
     }
     return {
-        bps: value.value,
-        kind: "percent",
-        raw: percentRaw(value.value),
-        span: current.span,
+        expr: {
+            ...current,
+            type: {
+                ...current.type,
+                args: [
+                    current.type.args[0],
+                    {
+                        kind: "number",
+                        raw: String(value.value),
+                        span: current.type.args[1].span,
+                    },
+                ],
+            },
+        },
     };
 }
-function replaceEntry(block, path, value) {
+function selectedEntry(block, path) {
     const [head, ...tail] = path;
     const matches = block.entries
         .map((entry, index) => ({ entry, index }))
         .filter(({ entry }) => entry.key.name === head);
     if (matches.length === 0)
         return { issue: `entry ${head} does not exist` };
-    if (matches.length > 1)
+    if (matches.length === 1)
+        return { match: matches[0], tail };
+    const occurrence = Number(tail[0]);
+    if (!Number.isInteger(occurrence) || occurrence < 0) {
         return { issue: `entry ${head} is ambiguous` };
-    const match = matches[0];
+    }
+    const match = matches[occurrence];
+    return match
+        ? { match, tail: tail.slice(1) }
+        : { issue: `entry ${head} occurrence ${occurrence} does not exist` };
+}
+function replaceEntry(block, path, value) {
+    const selected = selectedEntry(block, path);
+    if (!("match" in selected))
+        return selected;
+    const { match, tail } = selected;
     let nextEntry;
     if (tail.length === 0) {
-        if (match.entry.value.kind !== "number" &&
-            match.entry.value.kind !== "percent") {
-            return { issue: `entry ${head} is not a numeric literal` };
+        const replacement = replacementExpr(match.entry.value, value);
+        if (!replacement.expr)
+            return replacement;
+        nextEntry = {
+            ...match.entry,
+            value: replacement.expr,
+        };
+    }
+    else if (tail.length === 1 &&
+        tail[0] === "within" &&
+        match.entry.value.kind === "port_ref" &&
+        match.entry.value.within) {
+        const replacement = replacementExpr(match.entry.value.within, value);
+        if (!replacement.expr || replacement.expr.kind !== "ident") {
+            return replacement;
         }
         nextEntry = {
             ...match.entry,
-            value: replacementExpr(match.entry.value, value),
+            value: { ...match.entry.value, within: replacement.expr },
         };
     }
     else {
         if (match.entry.value.kind !== "block") {
-            return { issue: `entry ${head} is not a block` };
+            return { issue: `entry ${match.entry.key.name} is not a block` };
         }
         const nested = replaceEntry(match.entry.value, tail, value);
         if (!nested.block)
@@ -59,40 +152,79 @@ function replaceEntry(block, path, value) {
     };
 }
 function settlementByName(program, name) {
-    return program.decls.find((decl) => decl.kind === "settlement" && decl.name.name === name);
+    return program.decls.find((decl) => decl.kind === "instrument_apply" && decl.name.name === name);
+}
+function applicationBody(settlement) {
+    return {
+        entries: settlement.application.args.flatMap((argument) => argument.kind === "binding"
+            ? [
+                {
+                    key: argument.name,
+                    qualifiers: [],
+                    span: argument.span,
+                    value: argument.type,
+                },
+            ]
+            : []),
+        kind: "block",
+        span: settlement.application.span,
+    };
 }
 function validateOverride(override) {
     const { max, min } = override.bounds;
+    if (override.value.kind === "duration") {
+        if (typeof min !== "string" || typeof max !== "string") {
+            return issue(override, "invalid_bounds", "duration bounds must be ISO-8601 durations");
+        }
+        const minDuration = durationMagnitude(min);
+        const maxDuration = durationMagnitude(max);
+        if (!minDuration ||
+            !maxDuration ||
+            minDuration.family !== maxDuration.family ||
+            minDuration.amount > maxDuration.amount) {
+            return issue(override, "invalid_bounds", `duration bounds ${min}..${max} must be valid, comparable, and ordered`);
+        }
+        const value = durationMagnitude(override.value.value);
+        if (!value ||
+            value.family !== minDuration.family ||
+            value.amount < minDuration.amount ||
+            value.amount > maxDuration.amount) {
+            return issue(override, "invalid_value", `override value ${override.value.value} is outside ${min}..${max}`);
+        }
+        return undefined;
+    }
+    if (typeof min !== "number" || typeof max !== "number") {
+        return issue(override, "invalid_bounds", "numeric bounds must be finite nonnegative integers");
+    }
     if (!Number.isFinite(min) ||
         !Number.isInteger(min) ||
         min < 0 ||
         !Number.isFinite(max) ||
         !Number.isInteger(max) ||
         max < min) {
-        return {
-            code: "invalid_bounds",
-            message: `override bounds ${min}..${max} must be finite nonnegative integers with min at most max`,
-            path: override.path,
-            settlement: override.settlement,
-        };
+        return issue(override, "invalid_bounds", `override bounds ${min}..${max} must be finite nonnegative integers with min at most max`);
     }
     const { value } = override.value;
     if (!Number.isFinite(value) || !Number.isInteger(value) || value < 0) {
-        return {
-            code: "invalid_value",
-            message: `override value ${value} must be a finite nonnegative integer`,
-            path: override.path,
-            settlement: override.settlement,
-        };
+        return issue(override, "invalid_value", `override value ${value} must be a finite nonnegative integer`);
     }
     if (value < min || value > max) {
-        return {
-            code: "invalid_value",
-            message: `override value ${value} is outside ${min}..${max}`,
-            path: override.path,
-            settlement: override.settlement,
-        };
+        return issue(override, "invalid_value", `override value ${value} is outside ${min}..${max}`);
     }
+    if (override.value.kind === "money") {
+        const boundsCurrency = "currency" in override.bounds ? override.bounds.currency : undefined;
+        if (!boundsCurrency || boundsCurrency !== override.value.currency) {
+            return issue(override, "invalid_bounds", `money bounds must use currency ${override.value.currency}`);
+        }
+    }
+}
+function issue(override, code, message) {
+    return {
+        code,
+        message,
+        path: override.path,
+        settlement: override.settlement,
+    };
 }
 /**
  * Applies every override atomically. A missing or non-literal slot returns
@@ -117,7 +249,7 @@ export function overrideProgramEntries(program, overrides) {
             });
             continue;
         }
-        const replaced = replaceEntry(settlement.body, override.path, override.value);
+        const replaced = replaceEntry(applicationBody(settlement), override.path, override.value);
         if (!replaced.block) {
             issues.push({
                 code: "invalid_target",
@@ -129,7 +261,20 @@ export function overrideProgramEntries(program, overrides) {
         }
         current = {
             ...current,
-            decls: current.decls.map((decl) => decl === settlement ? { ...settlement, body: replaced.block } : decl),
+            decls: current.decls.map((decl) => decl === settlement
+                ? {
+                    ...settlement,
+                    application: {
+                        ...settlement.application,
+                        args: replaced.block.entries.map((entry) => ({
+                            kind: "binding",
+                            name: entry.key,
+                            span: entry.span,
+                            type: entry.value,
+                        })),
+                    },
+                }
+                : decl),
         };
     }
     return issues.length > 0

package/dist/src/entry-overrides.js.map

@@ -1 +1 @@
-{"version":3,"file":"entry-overrides.js","sourceRoot":"","sources":["../../src/entry-overrides.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA0CH,SAAS,UAAU,CAAC,GAAW;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,GAAG,GAAG,GAAG,CAAC;IAC3B,OAAO,QAAQ,KAAK,CAAC;QACnB,CAAC,CAAC,GAAG,KAAK,EAAE;QACZ,CAAC,CAAC,GAAG,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,eAAe,CACtB,OAAa,EACb,KAAgC;IAEhC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;IAC1E,CAAC;IACD,OAAO;QACL,GAAG,EAAE,KAAK,CAAC,KAAK;QAChB,IAAI,EAAE,SAAS;QACf,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;QAC5B,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,KAAgB,EAChB,IAAuB,EACvB,KAAgC;IAEhC,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO;SAC1B,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,SAAS,IAAI,iBAAiB,EAAE,CAAC;IAC3E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,SAAS,IAAI,eAAe,EAAE,CAAC;IAEvE,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAsD,CAAC;IAC9E,IAAI,SAAgB,CAAC;IACrB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,IACE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;YACnC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EACpC,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,SAAS,IAAI,2BAA2B,EAAE,CAAC;QAC7D,CAAC;QACD,SAAS,GAAG;YACV,GAAG,KAAK,CAAC,KAAK;YACd,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC;SACjD,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvC,OAAO,EAAE,KAAK,EAAE,SAAS,IAAI,iBAAiB,EAAE,CAAC;QACnD,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM,CAAC,KAAK;YAAE,OAAO,MAAM,CAAC;QACjC,SAAS,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACtD,CAAC;IAED,OAAO;QACL,KAAK,EAAE;YACL,GAAG,KAAK;YACR,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC1C,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAC1C;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAgB,EAChB,IAAY;IAEZ,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CACvB,CAAC,IAAI,EAA0B,EAAE,CAC/B,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CACxD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,QAA8B;IAE9B,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC;IACrC,IACE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;QACtB,GAAG,GAAG,CAAC;QACP,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;QACtB,GAAG,GAAG,GAAG,EACT,CAAC;QACD,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,mBAAmB,GAAG,KAAK,GAAG,2DAA2D;YAClG,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;SAChC,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC;IACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACrE,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,kBAAkB,KAAK,uCAAuC;YACvE,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;SAChC,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,kBAAkB,KAAK,eAAe,GAAG,KAAK,GAAG,EAAE;YAC5D,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;SAChC,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,SAA0C;IAE1C,IAAI,OAAO,GAAG,OAAO,CAAC;IACtB,MAAM,MAAM,GAAgC,EAAE,CAAC;IAC/C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,eAAe,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QACnD,IAAI,eAAe,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;QAClE,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,cAAc,QAAQ,CAAC,UAAU,iBAAiB;gBAC3D,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;aAChC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,YAAY,CAC3B,UAAU,CAAC,IAAI,EACf,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,KAAK,CACf,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,QAAQ,CAAC,KAAK,IAAI,uBAAuB;gBAClD,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;aAChC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,GAAG;YACR,GAAG,OAAO;YACV,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAChC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CACtE;SACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC;QACtB,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE;QACvB,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACrC,CAAC"}
+{"version":3,"file":"entry-overrides.js","sourceRoot":"","sources":["../../src/entry-overrides.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA0DH,SAAS,UAAU,CAAC,GAAW;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,GAAG,GAAG,GAAG,CAAC;IAC3B,OAAO,QAAQ,KAAK,CAAC;QACnB,CAAC,CAAC,GAAG,KAAK,EAAE;QACZ,CAAC,CAAC,GAAG,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAa;IAEb,MAAM,KAAK,GAAG,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,QAAQ,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACjB,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QACpC,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAChD,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACtC,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACnD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,OAAa,EACb,KAAgC;IAEhC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;YAC9B,CAAC,CAAC;gBACE,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;oBACxB,IAAI,EAAE,OAAO,CAAC,IAAI;iBACnB;aACF;YACH,CAAC,CAAC,EAAE,KAAK,EAAE,kCAAkC,EAAE,CAAC;IACpD,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAClC,OAAO,OAAO,CAAC,IAAI,KAAK,SAAS;YAC/B,CAAC,CAAC;gBACE,IAAI,EAAE;oBACJ,GAAG,EAAE,KAAK,CAAC,KAAK;oBAChB,IAAI,EAAE,SAAS;oBACf,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;oBAC5B,IAAI,EAAE,OAAO,CAAC,IAAI;iBACnB;aACF;YACH,CAAC,CAAC,EAAE,KAAK,EAAE,oCAAoC,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,OAAO,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC;YAChE,CAAC,CAAC;gBACE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;aAC/D;YACH,CAAC,CAAC,EAAE,KAAK,EAAE,4CAA4C,EAAE,CAAC;IAC9D,CAAC;IACD,IACE,OAAO,CAAC,IAAI,KAAK,SAAS;QAC1B,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;QACpC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO;QACtC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ,EACvC,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,qCAAqC,EAAE,CAAC;IAC1D,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACjD,OAAO;YACL,KAAK,EAAE,mBAAmB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,mBAAmB,KAAK,CAAC,QAAQ,EAAE;SACvF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE;YACJ,GAAG,OAAO;YACV,IAAI,EAAE;gBACJ,GAAG,OAAO,CAAC,IAAI;gBACf,IAAI,EAAE;oBACJ,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;oBACpB;wBACE,IAAI,EAAE,QAAQ;wBACd,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;wBACxB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;qBAChC;iBACF;aACF;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,KAAgB,EAChB,IAAuB;IAOvB,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO;SAC1B,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,SAAS,IAAI,iBAAiB,EAAE,CAAC;IAC3E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,CAAC;IAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,KAAK,EAAE,SAAS,IAAI,eAAe,EAAE,CAAC;IACjD,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAClC,OAAO,KAAK;QACV,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QAChC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,IAAI,eAAe,UAAU,iBAAiB,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,YAAY,CACnB,KAAgB,EAChB,IAAuB,EACvB,KAAgC;IAEhC,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC5C,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;IACjC,IAAI,SAAgB,CAAC;IACrB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9D,IAAI,CAAC,WAAW,CAAC,IAAI;YAAE,OAAO,WAAW,CAAC;QAC1C,SAAS,GAAG;YACV,GAAG,KAAK,CAAC,KAAK;YACd,KAAK,EAAE,WAAW,CAAC,IAAI;SACxB,CAAC;IACJ,CAAC;SAAM,IACL,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ;QACpB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;QACrC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EACxB,CAAC;QACD,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrE,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3D,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,SAAS,GAAG;YACV,GAAG,KAAK,CAAC,KAAK;YACd,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE;SAC1D,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvC,OAAO,EAAE,KAAK,EAAE,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,iBAAiB,EAAE,CAAC;QACnE,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM,CAAC,KAAK;YAAE,OAAO,MAAM,CAAC;QACjC,SAAS,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACtD,CAAC;IAED,OAAO;QACL,KAAK,EAAE;YACL,GAAG,KAAK;YACR,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC1C,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAC1C;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAgB,EAChB,IAAY;IAEZ,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CACvB,CAAC,IAAI,EAA+B,EAAE,CACpC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAC9D,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,UAA+B;IACtD,OAAO;QACL,OAAO,EAAE,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CACxD,QAAQ,CAAC,IAAI,KAAK,SAAS;YACzB,CAAC,CAAC;gBACE;oBACE,GAAG,EAAE,QAAQ,CAAC,IAAI;oBAClB,UAAU,EAAE,EAAE;oBACd,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,KAAK,EAAE,QAAQ,CAAC,IAAI;iBACrB;aACF;YACH,CAAC,CAAC,EAAE,CACP;QACD,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,IAAI;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,QAA8B;IAE9B,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC;IACrC,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACvC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YACvD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,4CAA4C,CAC7C,CAAC;QACJ,CAAC;QACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAC3C,IACE,CAAC,WAAW;YACZ,CAAC,WAAW;YACZ,WAAW,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;YACzC,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,EACvC,CAAC;YACD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,mBAAmB,GAAG,KAAK,GAAG,yCAAyC,CACxE,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,IACE,CAAC,KAAK;YACN,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;YACnC,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM;YACjC,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,EACjC,CAAC;YACD,OAAO,KAAK,CACV,QAAQ,EACR,eAAe,EACf,kBAAkB,QAAQ,CAAC,KAAK,CAAC,KAAK,eAAe,GAAG,KAAK,GAAG,EAAE,CACnE,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACvD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,IACE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;QACtB,GAAG,GAAG,CAAC;QACP,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;QACtB,GAAG,GAAG,GAAG,EACT,CAAC;QACD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,mBAAmB,GAAG,KAAK,GAAG,2DAA2D,CAC1F,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC;IACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACrE,OAAO,KAAK,CACV,QAAQ,EACR,eAAe,EACf,kBAAkB,KAAK,uCAAuC,CAC/D,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QAC/B,OAAO,KAAK,CACV,QAAQ,EACR,eAAe,EACf,kBAAkB,KAAK,eAAe,GAAG,KAAK,GAAG,EAAE,CACpD,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACpC,MAAM,cAAc,GAClB,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,IAAI,CAAC,cAAc,IAAI,cAAc,KAAK,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YAClE,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,kCAAkC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,CAC5D,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CACZ,QAA8B,EAC9B,IAAuC,EACvC,OAAe;IAEf,OAAO;QACL,IAAI;QACJ,OAAO;QACP,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,SAA0C;IAE1C,IAAI,OAAO,GAAG,OAAO,CAAC;IACtB,MAAM,MAAM,GAAgC,EAAE,CAAC;IAC/C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,eAAe,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QACnD,IAAI,eAAe,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;QAClE,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,cAAc,QAAQ,CAAC,UAAU,iBAAiB;gBAC3D,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;aAChC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,YAAY,CAC3B,eAAe,CAAC,UAAU,CAAC,EAC3B,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,KAAK,CACf,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,QAAQ,CAAC,KAAK,IAAI,uBAAuB;gBAClD,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;aAChC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,GAAG;YACR,GAAG,OAAO;YACV,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAChC,IAAI,KAAK,UAAU;gBACjB,CAAC,CAAC;oBACE,GAAG,UAAU;oBACb,WAAW,EAAE;wBACX,GAAG,UAAU,CAAC,WAAW;wBACzB,IAAI,EAAE,QAAQ,CAAC,KAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;4BAC5C,IAAI,EAAE,SAAkB;4BACxB,IAAI,EAAE,KAAK,CAAC,GAAG;4BACf,IAAI,EAAE,KAAK,CAAC,IAAI;4BAChB,IAAI,EAAE,KAAK,CAAC,KAAK;yBAClB,CAAC,CAAC;qBACJ;iBACF;gBACH,CAAC,CAAC,IAAI,CACT;SACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC;QACtB,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE;QACvB,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACrC,CAAC"}

package/dist/src/format.d.ts

@@ -0,0 +1,10 @@
+import type { Diagnostic } from "./ast.ts";
+export type FormatResult = {
+    readonly formatted: string;
+    readonly ok: true;
+} | {
+    readonly diagnostics: readonly Diagnostic[];
+    readonly ok: false;
+};
+export declare function format(source: string): FormatResult;
+//# sourceMappingURL=format.d.ts.map

package/dist/src/format.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"format.d.ts","sourceRoot":"","sources":["../../src/format.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAmB,UAAU,EAAqB,MAAM,UAAU,CAAC;AAI/E,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;CAAE,CAAC;AAExE,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,CAiBnD"}

package/dist/src/format.js

@@ -0,0 +1,183 @@
+import { lex } from "./lex.js";
+import { parseProgram } from "./parse.js";
+export function format(source) {
+    const parsed = parseProgram(source);
+    if (parsed.diagnostics.length > 0) {
+        return { diagnostics: parsed.diagnostics, ok: false };
+    }
+    const context = { comments: lex(source).comments, source };
+    return {
+        formatted: `${renderSequence(parsed.program.decls, parsed.program.span, 0, (decl) => renderDecl(decl, context), context)}\n`,
+        ok: true,
+    };
+}
+function renderDecl(decl, context) {
+    switch (decl.kind) {
+        case "module":
+            return `module ${renderExpr(decl.name, 0, context)};`;
+        case "program":
+            return `program ${decl.name.name}${decl.title ? ` ${renderExpr(decl.title, 0, context)}` : ""};`;
+        case "use":
+            return `use ${decl.instrument.name};`;
+        case "expose":
+            return `expose ${decl.instrument.name}.${decl.action.name} as ${decl.publicName.name};`;
+        case "import":
+            return `import { ${decl.names.map((name) => name.name).join(", ")} } from ${renderExpr(decl.from, 0, context)};`;
+        case "party":
+            return renderBlockDecl(`party ${decl.name.name}: ${decl.partyKind.name}`, decl.attrs, context);
+        case "asset":
+            return renderBlockDecl(`asset ${decl.name.name}: ${decl.assetKind.name}`, decl.attrs, context);
+        case "subject":
+            return `subject ${decl.name.name} ${renderBlock(decl.body, 0, context)}`;
+        case "port":
+            return `port ${decl.name.name} ${renderBlock(decl.body, 0, context)}`;
+        case "instrument": {
+            const exported = decl.exported ? "export " : "";
+            const typeParameters = decl.typeParameters.length > 0
+                ? `<${decl.typeParameters.map((parameter) => parameter.name.name).join(", ")}>`
+                : "";
+            const parameters = decl.hasParameterList
+                ? `(${decl.parameters
+                    .map((parameter) => `${parameter.name.name}: ${renderExpr(parameter.type, 0)}`)
+                    .join(", ")})`
+                : "";
+            return `${exported}instrument ${decl.name.name}${typeParameters}${parameters} ${renderBlock(decl.body, 0, context)}`;
+        }
+        case "instrument_apply":
+            return `${decl.exported ? "export " : ""}instrument ${decl.name.name} = ${renderExpr(decl.application, 0, context)}${decl.metadata ? ` ${renderBlock(decl.metadata, 0, context)}` : ";"}`;
+        case "type":
+            return `${decl.exported ? "export " : ""}type ${decl.name.name} = ${renderExpr(decl.value, 0, context)};`;
+        case "const": {
+            const type = decl.type ? `: ${renderExpr(decl.type, 0, context)}` : "";
+            return `${decl.exported ? "export " : ""}const ${decl.name.name}${type} = ${renderExpr(decl.value, 0, context)};`;
+        }
+    }
+}
+function renderBlockDecl(header, body, context) {
+    return body ? `${header} ${renderBlock(body, 0, context)}` : `${header};`;
+}
+function renderBlock(block, indent, context) {
+    const rows = renderSequence(block.entries, block.span, indent + 1, (entry) => `${spaces(indent + 1)}${renderEntry(entry, indent + 1, context)}`, context);
+    if (rows.length === 0)
+        return "{}";
+    return `{\n${rows}\n${spaces(indent)}}`;
+}
+function renderEntry(entry, indent, context) {
+    const key = entry.key.name;
+    const identifierKey = /^[A-Za-z][A-Za-z0-9_]*(?:\[[A-Za-z][A-Za-z0-9_]*\][A-Za-z0-9_]*)?$/.test(key);
+    const renderedKey = !entry.key.quoted && identifierKey ? key : JSON.stringify(key);
+    if (entry.iteration && entry.value.kind === "block") {
+        return `for ${entry.iteration.binding.name} in ${renderExpr(entry.iteration.bound, indent, context)} ${renderBlock(entry.value, indent, context)}`;
+    }
+    if (key === "action" && entry.value.kind === "block") {
+        return `action ${entry.qualifiers[0]?.name ?? ""} ${renderBlock(entry.value, indent, context)}`;
+    }
+    if (key === "states" && entry.value.kind === "list") {
+        return `states ${entry.value.items.map((item) => renderExpr(item, indent, context)).join(" ")};`;
+    }
+    if (key === "initial") {
+        return `initial ${renderExpr(entry.value, indent, context)};`;
+    }
+    if (key === "parked") {
+        return `parked ${entry.qualifiers[0]?.name ?? ""} reason ${renderExpr(entry.value, indent, context)};`;
+    }
+    if (key === "on") {
+        const [action, ...states] = entry.qualifiers;
+        return `on ${action?.name ?? ""}: ${states.map((state) => state.name).join(" | ")} -> ${renderExpr(entry.value, indent, context)};`;
+    }
+    if (key === "notify") {
+        return `notify ${entry.qualifiers[0]?.name ?? ""} via ${entry.qualifiers[1]?.name ?? ""};`;
+    }
+    const qualifier = renderQualifier(key, entry);
+    if (entry.value.kind === "block") {
+        return `${renderedKey}${qualifier} ${renderBlock(entry.value, indent, context)}`;
+    }
+    return `${renderedKey}${qualifier}: ${renderExpr(entry.value, indent, context)};`;
+}
+function renderQualifier(key, entry) {
+    if (entry.qualifiers.length === 0)
+        return "";
+    const names = entry.qualifiers.map((qualifier) => qualifier.name);
+    return key === "requires" || key === "computes"
+        ? ` ${names.join(" ")}`
+        : `(${names.join(", ")})`;
+}
+function renderExpr(expr, indent, context) {
+    switch (expr.kind) {
+        case "ident":
+            return expr.name;
+        case "string":
+            return `"${expr.value}"`;
+        case "number":
+            return expr.raw;
+        case "boolean":
+            return String(expr.value);
+        case "money":
+            return `${expr.currency.name} ${expr.raw}`;
+        case "percent":
+            return `${expr.raw}%`;
+        case "path":
+            return expr.parts.map((part) => part.name).join(".");
+        case "settlement_ref":
+            return `${expr.owner.name}.${expr.member.name}`;
+        case "type_apply":
+            return `${expr.callee.name}<${expr.args.map((arg) => renderExpr(arg, indent, context)).join(", ")}>`;
+        case "call":
+            return `${expr.callee.name}(${expr.args.map((arg) => renderExpr(arg, indent, context)).join(", ")})`;
+        case "apply": {
+            const typeArgs = expr.typeArgs.length > 0
+                ? `<${expr.typeArgs.map((arg) => renderExpr(arg, indent, context)).join(", ")}>`
+                : "";
+            return `${renderExpr(expr.callee, indent, context)}${typeArgs}(${expr.args
+                .map((arg) => renderExpr(arg, indent, context))
+                .join(", ")})`;
+        }
+        case "binding":
+            return `${expr.name.name}: ${renderExpr(expr.type, indent, context)}`;
+        case "list":
+            return `[${expr.items.map((item) => renderExpr(item, indent, context)).join(", ")}]`;
+        case "block":
+            return renderBlock(expr, indent, context);
+        case "decided_amount":
+            return `decided ${renderBlock(expr.body, indent, context)}`;
+        case "port_ref": {
+            const within = expr.within ? ` within ${expr.within.name}` : "";
+            const deadline = expr.deadline ? ` | at(${expr.deadline.name})` : "";
+            return `port ${expr.name.name}${within}${deadline}`;
+        }
+    }
+}
+function renderSequence(children, container, indent, render, context) {
+    const rows = [];
+    let cursor = container.start;
+    for (const child of children) {
+        appendComments(rows, cursor, child.span.start, indent, context);
+        rows.push(render(child));
+        cursor = child.span.end;
+    }
+    appendComments(rows, cursor, container.end, indent, context);
+    return rows.join("\n");
+}
+function appendComments(rows, start, end, indent, context) {
+    for (const comment of context.comments) {
+        if (comment.span.start < start || comment.span.end > end)
+            continue;
+        const trailing = rows.length > 0 &&
+            !context.source.slice(start, comment.span.start).includes("\n");
+        if (trailing) {
+            const last = rows.pop();
+            const newline = last.lastIndexOf("\n");
+            rows.push(newline < 0
+                ? `${last} ${comment.text}`
+                : `${last.slice(0, newline + 1)}${last.slice(newline + 1)} ${comment.text}`);
+        }
+        else {
+            rows.push(`${spaces(indent)}${comment.text}`);
+        }
+        start = comment.span.end;
+    }
+}
+function spaces(indent) {
+    return "  ".repeat(indent);
+}
+//# sourceMappingURL=format.js.map

package/dist/src/format.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"format.js","sourceRoot":"","sources":["../../src/format.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,GAAG,EAAsB,MAAM,UAAU,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAM1C,MAAM,UAAU,MAAM,CAAC,MAAc;IACnC,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IACxD,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC1E,OAAO;QACL,SAAS,EAAE,GAAG,cAAc,CAC1B,MAAM,CAAC,OAAO,CAAC,KAAK,EACpB,MAAM,CAAC,OAAO,CAAC,IAAI,EACnB,CAAC,EACD,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,EACnC,OAAO,CACR,IAAI;QACL,EAAE,EAAE,IAAI;KACT,CAAC;AACJ,CAAC;AAOD,SAAS,UAAU,CAAC,IAAU,EAAE,OAAsB;IACpD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,UAAU,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC;QACxD,KAAK,SAAS;YACZ,OAAO,WAAW,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QACnG,KAAK,KAAK;YACR,OAAO,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC;QACxC,KAAK,QAAQ;YACX,OAAO,UAAU,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC;QAC1F,KAAK,QAAQ;YACX,OAAO,YAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC;QACnH,KAAK,OAAO;YACV,OAAO,eAAe,CACpB,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EACjD,IAAI,CAAC,KAAK,EACV,OAAO,CACR,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,eAAe,CACpB,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EACjD,IAAI,CAAC,KAAK,EACV,OAAO,CACR,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO,WAAW,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;QAC3E,KAAK,MAAM;YACT,OAAO,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;QACxE,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;YAChD,MAAM,cAAc,GAClB,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;gBAC5B,CAAC,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBAC/E,CAAC,CAAC,EAAE,CAAC;YACT,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB;gBACtC,CAAC,CAAC,IAAI,IAAI,CAAC,UAAU;qBAChB,GAAG,CACF,CAAC,SAAS,EAAE,EAAE,CACZ,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAC7D;qBACA,IAAI,CAAC,IAAI,CAAC,GAAG;gBAClB,CAAC,CAAC,EAAE,CAAC;YACP,OAAO,GAAG,QAAQ,cAAc,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,cAAc,GAAG,UAAU,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;QACvH,CAAC;QACD,KAAK,kBAAkB;YACrB,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC5L,KAAK,MAAM;YACT,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC;QAC5G,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvE,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,MAAM,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC;QACpH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,MAAc,EACd,IAA2B,EAC3B,OAAsB;IAEtB,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC;AAC5E,CAAC;AAED,SAAS,WAAW,CAClB,KAAgB,EAChB,MAAc,EACd,OAAsB;IAEtB,MAAM,IAAI,GAAG,cAAc,CACzB,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,IAAI,EACV,MAAM,GAAG,CAAC,EACV,CAAC,KAAK,EAAE,EAAE,CACR,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,EAAE,OAAO,CAAC,EAAE,EACnE,OAAO,CACR,CAAC;IACF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,MAAM,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;AAC1C,CAAC;AAED,SAAS,WAAW,CAClB,KAAY,EACZ,MAAc,EACd,OAAsB;IAEtB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;IAC3B,MAAM,aAAa,GACjB,oEAAoE,CAAC,IAAI,CACvE,GAAG,CACJ,CAAC;IACJ,MAAM,WAAW,GACf,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,IAAI,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACjE,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACpD,OAAO,OAAO,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,OAAO,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;IACrJ,CAAC;IACD,IAAI,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACrD,OAAO,UAAU,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;IAClG,CAAC;IACD,IAAI,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACpD,OAAO,UAAU,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACnG,CAAC;IACD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,WAAW,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC;IAChE,CAAC;IACD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACrB,OAAO,UAAU,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,WAAW,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC;IACzG,CAAC;IACD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;QAC7C,OAAO,MAAM,MAAM,EAAE,IAAI,IAAI,EAAE,KAAK,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC;IACtI,CAAC;IACD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACrB,OAAO,UAAU,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,QAAQ,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,GAAG,CAAC;IAC7F,CAAC;IAED,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACjC,OAAO,GAAG,WAAW,GAAG,SAAS,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;IACnF,CAAC;IACD,OAAO,GAAG,WAAW,GAAG,SAAS,KAAK,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC;AACpF,CAAC;AAED,SAAS,eAAe,CAAC,GAAW,EAAE,KAAY;IAChD,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAClE,OAAO,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,UAAU;QAC7C,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QACvB,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAC9B,CAAC;AAED,SAAS,UAAU,CACjB,IAAU,EACV,MAAc,EACd,OAAuB;IAEvB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC;QAC3B,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,KAAK,OAAO;YACV,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7C,KAAK,SAAS;YACZ,OAAO,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC;QACxB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,KAAK,gBAAgB;YACnB,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAClD,KAAK,YAAY;YACf,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACvG,KAAK,MAAM;YACT,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACvG,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACtB,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBAChF,CAAC,CAAC,EAAE,CAAC;YACT,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI;iBACvE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;iBAC9C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACnB,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QACxE,KAAK,MAAM;YACT,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACvF,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,OAAwB,CAAC,CAAC;QAC7D,KAAK,gBAAgB;YACnB,OAAO,WAAW,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAwB,CAAC,EAAE,CAAC;QAC/E,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACrE,OAAO,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,MAAM,GAAG,QAAQ,EAAE,CAAC;QACtD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,QAAsB,EACtB,SAAe,EACf,MAAc,EACd,MAA4B,EAC5B,OAAsB;IAEtB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACzB,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;IAC1B,CAAC;IACD,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7D,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,cAAc,CACrB,IAAc,EACd,KAAa,EACb,GAAW,EACX,MAAc,EACd,OAAsB;IAEtB,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG;YAAE,SAAS;QACnE,MAAM,QAAQ,GACZ,IAAI,CAAC,MAAM,GAAG,CAAC;YACf,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAClE,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAY,CAAC;YAClC,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,CAAC,IAAI,CACP,OAAO,GAAG,CAAC;gBACT,CAAC,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE;gBAC3B,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,CAC9E,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;IAC3B,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,MAAc;IAC5B,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC"}

package/dist/src/index.d.ts

@@ -1,7 +1,13 @@
-export { checkProgram } from "./check.ts";
-export { compile } from "./compile.ts";
+export { compile, type CompileDiagnostic, type CompileOptions, type CompileOriginMapEntry, type CompileResult, } from "./compile.ts";
+export { buildUdlCostManifest, computeUdlFixedCost, evaluateUdlCostManifest, type HsxEffectKind, type UdlCostManifest, type UdlCostTable, } from "./cost.ts";
+export { hsxDiagnostics, type HsxDiagnosticCatalogEntry, } from "./diagnostics.ts";
+export type { HsxCompilerHost, ModuleSource } from "./modules.ts";
+export { format, type FormatResult } from "./format.ts";
+export { KEYWORDS } from "./lex.ts";
 export { overrideProgramEntries, type ProgramEntryOverride, type ProgramEntryOverrideIssue, type ProgramEntryOverrideValue, } from "./entry-overrides.ts";
-export { lowerProgram, MONEY_EVENT_BUDGET } from "./lower.ts";
+export { type OriginMapEntry } from "./emit.ts";
+export { lowerGeneralProgram } from "./emit.ts";
 export { parseProgram } from "./parse.ts";
-export type { Program } from "./ast.ts";
+export { checkGeneralProgram, type GeneralCheckOptions } from "./typecheck.ts";
+export type { BlockExpr, ExposeDecl, Program, ProgramDecl, UseDecl, } from "./ast.ts";
 //# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EACL,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,yBAAyB,EAC9B,KAAK,yBAAyB,GAC/B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,YAAY,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,GACnB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,uBAAuB,EACvB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,YAAY,GAClB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,cAAc,EACd,KAAK,yBAAyB,GAC/B,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,EAAE,MAAM,EAAE,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EACL,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,yBAAyB,EAC9B,KAAK,yBAAyB,GAC/B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAAE,KAAK,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC/E,YAAY,EACV,SAAS,EACT,UAAU,EACV,OAAO,EACP,WAAW,EACX,OAAO,GACR,MAAM,UAAU,CAAC"}

package/dist/src/index.js

@@ -1,6 +1,11 @@
-export { checkProgram } from "./check.js";
-export { compile } from "./compile.js";
+export { compile, } from "./compile.js";
+export { buildUdlCostManifest, computeUdlFixedCost, evaluateUdlCostManifest, } from "./cost.js";
+export { hsxDiagnostics, } from "./diagnostics.js";
+export { format } from "./format.js";
+export { KEYWORDS } from "./lex.js";
 export { overrideProgramEntries, } from "./entry-overrides.js";
-export { lowerProgram, MONEY_EVENT_BUDGET } from "./lower.js";
+export {} from "./emit.js";
+export { lowerGeneralProgram } from "./emit.js";
 export { parseProgram } from "./parse.js";
+export { checkGeneralProgram } from "./typecheck.js";
 //# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EACL,sBAAsB,GAIvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,GAKR,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,uBAAuB,GAIxB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,cAAc,GAEf,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,MAAM,EAAqB,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EACL,sBAAsB,GAIvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAuB,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAA4B,MAAM,gBAAgB,CAAC"}