Code

Unboxed records#3229

Code

Merged

ccasin merged 19 commits intomainocaml-flambda/flambda-backend:mainfrom rtjoa.basic_unboxed_recordsocaml-flambda/flambda-backend:rtjoa.basic_unboxed_recordsCopy head branch name to clipboardDec 5, 2024

+6,951-722

Commits

Commits on Dec 3, 2024

• Basic unboxed records (rebased)

  rtjoa

  committed
  c1241b3

  Copy full SHA for c1241b3

• Respond to ccasin's 2024-11-27 PR comments

  rtjoa

  committed
  bbff92b

  Copy full SHA for bbff92b

• Unique tests for anfelor's 2024-11-27 review

  rtjoa

  committed
  4e451d5

  Copy full SHA for 4e451d5

• Add failing uniqueness test with CR

  rtjoa

  committed
  b0169c4

  Copy full SHA for b0169c4

• Revert changes to flambda_parser.new-messages

  rtjoa

  committed
  7b98a69

  Copy full SHA for 7b98a69

• Easy changes needed for ccasin's 2024-12-02 review

  rtjoa

  committed
  488153b

  Copy full SHA for 488153b

• Always evaluate initial expression for functional update

  rtjoa

  committed
  d96cded

  Copy full SHA for d96cded

• Fix reachable assert in pats_of_type

  rtjoa

  committed
  98bfb55

  Copy full SHA for 98bfb55

• Resolve rebase conflicts (old base aded4b5, old tip 47d58d8158)

  rtjoa

  committed
  a75d1fe

  Copy full SHA for a75d1fe

• Track record sort in Texp_unboxed_field

  rtjoa

  committed
  6519e06

  Copy full SHA for 6519e06

• Track initial record sort in Texp_unboxed_record

  rtjoa

  committed
  1351e55

  Copy full SHA for 1351e55

• Add comment about dummy unboxed record jkinds

  rtjoa

  committed
  ba2f5bf

  Copy full SHA for ba2f5bf

• Fix shape_map for unboxed labels

  rtjoa

  committed
  b6540b8

  Copy full SHA for b6540b8

• Give unboxed records Algebraic separability

  rtjoa

  committed
  544f838

  Copy full SHA for 544f838

Commits on Dec 4, 2024

• Added unboxed records shapes tests

  rtjoa

  committed
  fa009c1

  Copy full SHA for fa009c1

Commits on Dec 5, 2024

• Minor changes for ccasin's 2024-12-04 review

  Show description for 35c1fcc
  rtjoa

  committed
  35c1fcc

  Copy full SHA for 35c1fcc

• Compute record proj/construction sorts from expression

  rtjoa

  committed
  7ed17a0

  Copy full SHA for 7ed17a0

• Reformat unboxed records changes to fit in 80char

  rtjoa

  committed
  aa57c71

  Copy full SHA for aa57c71

• Compute correct sort for a functional update's initial record

  rtjoa

  committed
  c0382c6

  Copy full SHA for c0382c6