Code

Cherry pick overwriting#3310

Code

Merged

anfelor merged 5 commits intoocaml-flambda:mainocaml-flambda/flambda-backend:mainfrom anfelor:cherry-pick-overwritinganfelor/flambda-backend:cherry-pick-overwritingCopy head branch name to clipboardDec 6, 2024

+3,819-399

Commits

Commits on Dec 5, 2024

• Basic overwriting syntax (ocaml-flambda#3089)

  Show description for da2da47
  anfelor

  committed
  da2da47

  Copy full SHA for da2da47

• Overwriting tests (ocaml-flambda#3123)

  Show description for b67dc11
  anfelor

  committed
  b67dc11

  Copy full SHA for b67dc11

• Overwriting typing (ocaml-flambda#3157)

  Show description for 565abce
  

  anfelor

  and

  goldfirere

  committed
  565abce

  Copy full SHA for 565abce

• Revert c29a7bb to disable unique mutable fields again

  anfelor

  committed
  2ce070c

  Copy full SHA for 2ce070c

• Remove out-of-date CRs

  anfelor

  committed
  16e6ff6

  Copy full SHA for 16e6ff6