Code

Support modules of non-legacy modes#3759

Code

Open

riaqn wants to merge 13 commits intominor-fix-modesocaml-flambda/flambda-backend:minor-fix-modesfrom

modal-moduleocaml-flambda/flambda-backend:modal-moduleCopy head branch name to clipboard

Commits

Commits on Apr 8, 2025

• move mode interface

  riaqn

  committed
  daab442

  Copy full SHA for daab442

• minor fix to mode system

  riaqn

  committed
  45c066a

  Copy full SHA for 45c066a

• improve modality comments

  riaqn

  committed
  95a8486

  Copy full SHA for 95a8486

• modal modules

  riaqn

  committed
  208cd85

  Copy full SHA for 208cd85

Commits on May 6, 2025

• Code review

  lukemaurer

  committed
  8346860

  Copy full SHA for 8346860

Commits on May 29, 2025

• address CR

  riaqn

  committed
  07791bf

  Copy full SHA for 07791bf

Commits on May 30, 2025

• print global instead of global_

  riaqn

  committed
  d5d6aac

  Copy full SHA for d5d6aac

• say default_modalities instead of sig_modalities

  riaqn

  committed
  0407714

  Copy full SHA for 0407714

• improve comments

  riaqn

  committed
  21240eb

  Copy full SHA for 21240eb

• modalities zap to floor when printing

  riaqn

  committed
  065f167

  Copy full SHA for 065f167

• address comments

  riaqn

  committed
  30c02c8

  Copy full SHA for 30c02c8

• fix up

  riaqn

  committed
  2383873

  Copy full SHA for 2383873

• add doc

  riaqn

  committed
  f360472

  Copy full SHA for f360472