Repository navigation

Better extension from meet - #316

Open

lthls wants to merge 8 commits into

ocaml-flambda:flambda2.0-stablefrom

lthls:meet-result

Commits on Jun 22, 2021
- Improved debugging for invariant on canonical aliases
  lthls
  committed
  daede1b
- Rework of meet functions:
  lthls
  committed
  b52fe69
- Improve error message in Type_descr.join
  lthls
  committed
  1f35a5f
- Allow Typing_env.mem to consider symbols present even if their cmx is missing
  lthls
  committed
  8c1330a
- Fix Product meet functions with mismatched domains
  lthls
  committed
  bb0e1d4
- Relax restriction on Bottom equations
  lthls
  committed
  0a951b4
- Fix meet_test.ml
  lthls
  committed
  cb097e0
- Rebase fix for Rec_info stuff
  lthls
  committed
  11da203