Rec_info: Add coercions - #317

Closed

lukemaurer wants to merge 17 commits into

ocaml-flambda:flambda2.0-stablefrom

lukemaurer:remove-rec_info-part-1

Commits on Mar 11, 2021

Rec_info part 1: aliases.

xclerc
authored and
lukemaurer
committed
059d0b4
Print aliases for debug.

xclerc
authored and
lukemaurer
committed
f5a3c1a
Various improvements
lukemaurer
committed
1a4420b
Address a CR
lukemaurer
committed
0417117
Update .depend
lukemaurer
committed
29b5420

Commits on Apr 1, 2021

Overhaul Aliases_of_canonical_element; add Alias_set
lukemaurer
committed
9816841
Use Rec_info.unknown instead of unit
lukemaurer
committed
54fbf27
Add comments; simplify `Aliases` API a bit
lukemaurer
committed
27f4009

Commits on Apr 20, 2021

Avoid sets, maps of simple expressions
lukemaurer
committed
deb4d14
Fix line-wrap glitch
lukemaurer
committed
fb5f7a1
Remove more uses of `Simple.Set` and `Simple.Map`
lukemaurer
committed
9e039be
Update .depend
lukemaurer
committed
3616ad0
Fix bug
lukemaurer
committed
290cff3

Commits on Apr 21, 2021

Fix a bug in a corner case; tighten invariants a bit
lukemaurer
committed
27cce55

Commits on Apr 22, 2021

Revert (most of) "Overhaul Aliases_of_canonical_element; add Alias_set"
lukemaurer
committed
8435b66

Commits on Apr 23, 2021

Merge branch 'avoid-sets-of-simples' into remove-rec_info-part-1
lukemaurer
committed
19e809b

Commits on Apr 29, 2021

Empty commit in order to request checks manually
lukemaurer
committed
1450b14