Code

Rec_info: Add coercions#317

Code

Closed

lukemaurer wants to merge 17 commits intoocaml-flambda:flambda2.0-stableocaml-flambda/ocaml:flambda2.0-stablefrom

lukemaurer:remove-rec_info-part-1lukemaurer/ocaml:remove-rec_info-part-1Copy head branch name to clipboard

Commits

Commits on Mar 11, 2021

• Rec_info part 1: aliases.

  

  xclerc

  authored and

  lukemaurer

  committed
  059d0b4

  Copy full SHA for 059d0b4

• Print aliases for debug.

  

  xclerc

  authored and

  lukemaurer

  committed
  f5a3c1a

  Copy full SHA for f5a3c1a

• Various improvements

  Show description for 1a4420b
  lukemaurer

  committed
  1a4420b

  Copy full SHA for 1a4420b

• Address a CR

  lukemaurer

  committed
  0417117

  Copy full SHA for 0417117

• Update .depend

  lukemaurer

  committed
  29b5420

  Copy full SHA for 29b5420

Commits on Apr 1, 2021

• Overhaul Aliases_of_canonical_element; add Alias_set

  Show description for 9816841
  lukemaurer

  committed
  9816841

  Copy full SHA for 9816841

• Use Rec_info.unknown instead of unit

  lukemaurer

  committed
  54fbf27

  Copy full SHA for 54fbf27

• Add comments; simplify `Aliases` API a bit

  lukemaurer

  committed
  27f4009

  Copy full SHA for 27f4009

Commits on Apr 20, 2021

• Avoid sets, maps of simple expressions

  Show description for deb4d14
  lukemaurer

  committed
  deb4d14

  Copy full SHA for deb4d14

• Fix line-wrap glitch

  lukemaurer

  committed
  fb5f7a1

  Copy full SHA for fb5f7a1

• Remove more uses of `Simple.Set` and `Simple.Map`

  Show description for 9e039be
  lukemaurer

  committed
  9e039be

  Copy full SHA for 9e039be

• Update .depend

  lukemaurer

  committed
  3616ad0

  Copy full SHA for 3616ad0

• Fix bug

  lukemaurer

  committed
  290cff3

  Copy full SHA for 290cff3

Commits on Apr 21, 2021

• Fix a bug in a corner case; tighten invariants a bit

  lukemaurer

  committed
  27cce55

  Copy full SHA for 27cce55

Commits on Apr 22, 2021

• Revert (most of) "Overhaul Aliases_of_canonical_element; add Alias_set"

  Show description for 8435b66
  lukemaurer

  committed
  8435b66

  Copy full SHA for 8435b66

Commits on Apr 23, 2021

• Merge branch 'avoid-sets-of-simples' into remove-rec_info-part-1

  lukemaurer

  committed
  19e809b

  Copy full SHA for 19e809b

Commits on Apr 29, 2021

• Empty commit in order to request checks manually

  Show description for 1450b14
  lukemaurer

  committed
  1450b14

  Copy full SHA for 1450b14