Object representation cleanup: typed field mutability and structural access - #8597

Merged

cristianoc merged 13 commits into

Aug 31, 2026

Commits on Aug 30, 2026

Pin current object-field mutability behavior ahead of representation cleanup

cristianoc
and
claude
authored
14f2245
Remove obsolete object-field attribute forms (Stage 0)

cristianoc
and
claude
authored
bc00b9e
Delete dead class-system remnants around objects (Stage A)

cristianoc
and
claude
authored
0a69f68
Share object property access between Lambda and Lam (Stage B)

cristianoc
and
claude
authored
e373801
Type and translate object literals directly (Stage C)

cristianoc
and
claude
authored
6e06ec0
Make object-field mutability a typed concept (Stage D)

cristianoc
and
claude
authored
75d68df
Remove the object field_kind machinery (Stage E)

cristianoc
and
claude
authored
e10bfc2
Give saved graphs independent mutability classes

cristianoc
and
claude
authored
520f91a
Reformat for OCamlFormat 0.29

cristianoc
and
claude
authored
b4386bc
Add changelog entries for the object-representation cleanup

cristianoc
and
claude
authored
799f376
Fix soundness and analysis gaps found in review

cristianoc
and
claude
authored
4d5d3a4
Require mutability backing in private-row signature inclusion

cristianoc
and
claude
authored
16afe1e
Distinguish structural and inferred object rows
cristianoc
authored
a7826ab