Repository navigation

TScert: print TypeScript for verification under experimental -bs-emit-ts - #9211

Draft

cristianoc wants to merge 8 commits into

Draft

TScert: print TypeScript for verification under experimental -bs-emit-ts#9211
cristianoc wants to merge 8 commits into
masterfrom
exp/emit-ts-2

Commits on Nov 4, 2026
- Print TypeScript for a module under the experimental -bs-emit-ts flag
  
  cristianoc
  and
  claude
  committed
  571a0cc
- Print an exported top-level function as export function under -bs-emit-ts
  
  cristianoc
  and
  claude
  committed
  8ec2de4
- Print type parameters and optional parameters under -bs-emit-ts
  
  cristianoc
  and
  claude
  committed
  2a07f4e
- Check in the -bs-emit-ts examples and their TypeScript output
  
  cristianoc
  and
  claude
  committed
  ed4458a
- Print option types true of the nested-option encoding under -bs-emit-ts
  
  cristianoc
  and
  claude
  committed
  beb6284
- Print the marker arm of option in aliases and optional arguments of arrows
  
  cristianoc
  and
  claude
  committed
  ccb1f14
- Print a function body that is only return; under -bs-emit-ts
  
  cristianoc
  and
  claude
  committed
  b0a9c17
- Record tsc's diagnostics for the emit_ts examples, with nested-option unwrapping
  
  cristianoc
  and
  claude
  committed
  8a1bb7e