[Version 9.0] Feature support for record classes - #1458

Draft

BillWagner wants to merge 13 commits into

Commits on Jul 24, 2026

Add support for record classes

RexJaeschke
authored and
BillWagner
committed
6bdee04
Apply suggestions from code review

RexJaeschke
authored and
BillWagner
committed
2bc1187
Apply suggestions from code review

RexJaeschke
authored and
BillWagner
committed
b41c6d3
Tweak record class spec

RexJaeschke
authored and
BillWagner
committed
bb3d4c7
tweak record class spec

RexJaeschke
authored and
BillWagner
committed
8aff000
minor tweaks

RexJaeschke
authored and
BillWagner
committed
60f54fd
reorg record-related text

RexJaeschke
authored and
BillWagner
committed
89f18b7
reorg record-related text

RexJaeschke
authored and
BillWagner
committed
b322855
reorg record-related text

RexJaeschke
authored and
BillWagner
committed
03b58fd
fix links

RexJaeschke
authored and
BillWagner
committed
48d6e14
fix link

RexJaeschke
authored and
BillWagner
committed
f9c4b73
numerous tweaks, many replacing "synthesized"

RexJaeschke
authored and
BillWagner
committed
e50d4d0
fix formatting + example

RexJaeschke
authored and
BillWagner
committed
6c42c9a