Skip to content

Type_descr.join: preserve aliases on join with Bottom#327

Merged
chambart merged 3 commits intoocaml-flambda:flambda2.0-stablefrom
lthls:constant-aliases
Apr 15, 2021
Merged

Type_descr.join: preserve aliases on join with Bottom#327
chambart merged 3 commits intoocaml-flambda:flambda2.0-stablefrom
lthls:constant-aliases

Commits

Commits on Apr 13, 2021