chore(deps): bump @juspay/rescript-bindgen to ^1.4.0-beta.0 + regenerate (@tag variants)

[jagguji]

Bumps @juspay/rescript-bindgen to ^1.4.0-beta.0 and regenerates.

The beta ships juspay/rescript-bindgen#168 (issues #167/#169): a nested discriminated union now maps to a @tag variant instead of a flattened record.

Changes — 6 files, +37/−50

DataTableTypes.rowAnimationConfig — record → @tag variant:

@tag("transitionType")
type rowAnimationConfig =
  | @as("bezier") Bezier({enterDuration: float, enterOffset: float, duration: float, bezier: (float, float, float, float)})
  | @as("spring") Spring({enterDuration: float, enterOffset: float, stiffness: float, damping: float, mass: float})

This closes the binding half of #134. The crash shape no longer compiles:

let bad: DataTableTypes.rowAnimationConfig = Bezier({enterDuration: 0.32, enterOffset: 12.0})
Some required record fields are missing: duration bezier.

Previously {transitionType: Bezier} with no curve compiled fine and took the DataTable down inside useLayoutEffect. That is now a compile error rather than something the runtime guard in juspay/blend-design-system#1653 has to absorb.

MenuV2Types.menuV2FlatRow — 6 %identity externals and 3 per-arm records → one matchable variant, retiring 3 ⚪ loose type_: string fields. Reading an arm was an unchecked cast; it is now compiler-verified.

BlendDesignSystemBindings.flattenMenuV2Groups returns the variant. Shared types 3360 → 3356.

Verification

check	result
npm run generate	exit 0
components	226 · ✅ 219 usable · 🔍 7 review · 🛑 0 broken — unchanged
npm run build	305 modules compile
vs #138	src/ byte-identical to the pkg.pr.new build of #168 tested there

That last row matters: the published beta reproduces exactly what was reviewed and tested pre-release, so nothing changed between the PR build and the tag.

Runtime is the flat object blend reads, with the real lowercase tag:

{ transitionType: "bezier", enterDuration: 0.32, enterOffset: 12, duration: 0.4,
  bezier: [0.32, 0.72, 0, 1] }

Pattern matching compiles to a bare cfg.transitionType === "bezier" — no wrapper, no coercion.

⚠️ Breaking for consumers

Both types change shape.

// rowAnimationConfig — before
{enterDuration: 0.32, enterOffset: 12.0, transitionType: Bezier}
// after
Bezier({enterDuration: 0.32, enterOffset: 12.0, duration: 0.4, bezier: (0.32, 0.72, 0.0, 1.0)})

MenuV2Types.MenuV2FlatRow.t and its from*/as* externals are gone — replace the casts with a switch.

Pattern matching needs the type in scope or the constructors won't resolve:

let f = (cfg: DataTableTypes.rowAnimationConfig) =>
  switch cfg {
  | Bezier({duration}) => ...
  | Spring({stiffness}) => ...
  }

Without the annotation: "The variant constructor Bezier can't be found." Normal ReScript behaviour for a variant from another module, but it is the first thing anyone will hit.

Known issue in this beta — not triggered by blend

A self-referential discriminated union recurses without bound in the generator and the component is dropped from the output entirely, with only an extract-error line:

type TreeNode = { kind: 'leaf'; value: string }
              | { kind: 'branch'; children: TreeNode[]; label: string }

[bindgen] skipped: Tree(extract-error: Maximum call stack size exceeded)

Verified still present in 1.4.0-beta.0 (it was flagged during review of #168 and shipped anyway). On bindgen 1.3.0 the same input produces a degraded-but-present binding, so this is a regression.

blend is unaffected: it has recursive types (MenuItemType.subMenu) and discriminated unions (MenuV2FlatRow), but never both in one type. Nothing in this regeneration is impacted — which is also why a green result here is not evidence the bug is gone. Worth tracking before promoting this beta to latest.

Notes

• Supersedes [DO NOT MERGE] test: regenerate bindings with rescript-bindgen #168 (@tag variants) #138, the DO-NOT-MERGE test PR built from the pkg.pr.new preview. Close it once this merges.
• The second commit removes a stray .claude/worktrees gitlink accidentally staged in the first; net branch diff is the 6 files above.

🤖 Generated with Claude Code