Code

Fix modes annotation ghost location#1761

Code

Merged

riaqn merged 5 commits intoocaml-flambda:mainocaml-flambda/flambda-backend:mainfrom

riaqn:modes_can_ghostriaqn/flambda-backend:modes_can_ghostCopy head branch name to clipboard

Aug 21, 2023

Commits

Commits on Aug 21, 2023

• fix modes annotation ghost location

  riaqn

  committed
  54ac8ee

  Copy full SHA for 54ac8ee

• update test

  riaqn

  committed
  e1d1e37

  Copy full SHA for e1d1e37

• A better fix

  riaqn

  committed
  a37efbf

  Copy full SHA for a37efbf

• address comments

  riaqn

  committed
  1f73c73

  Copy full SHA for 1f73c73

• Make some mode expressions not-ghost

  ncik-roberts

  committed
  304b64f

  Copy full SHA for 304b64f