functionalscript · sergey-shandar · Aug 14, 2026 · Aug 14, 2026 · Aug 14, 2026 · Aug 14, 2026
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -20,6 +20,22 @@ history.
 
 ## Unreleased
 
+- `types/rtti/ts`: the runtime printer supports recursive schemas — it
+  converts through `fjs/types/rtti/data` (new `dataToTs`), so a recursive
+  schema prints as `type <name> = <expression>` definitions plus an entry
+  expression instead of overflowing the stack; output is the data form's
+  canonical form, a struct key admitting `undefined` prints optional
+  (mirroring `Ts<>`), and a rule name that cannot name a type alias (reserved
+  word — strict-mode ones included, predefined type name, non-identifier)
+  gets a generated identifier
+  [#1547](https://github.com/functionalscript/functionalscript/pull/1547).
+- **BREAKING CHANGES:** `types/ts`: a `Printer.struct` field (`StructField`)
+  takes an optional third element marking the key optional (`"key"?: type`).
+  Callers and contextually-typed implementations are unaffected; an external
+  `Printer` implementation annotating the parameter as
+  `readonly (readonly [string, string])[]` must widen it to
+  `readonly StructField[]`
+  [#1547](https://github.com/functionalscript/functionalscript/pull/1547).
 - `types/sorted_list`: the two merge tail policies are now named `keepTail` and
   `dropTail` instead of sharing one shadowed name; internal only
   [#1546](https://github.com/functionalscript/functionalscript/pull/1546)

diff --git a/fjs/types/rtti/todo/662.md b/fjs/types/rtti/todo/662.md