Code

Refactor new mode syntax#3522

Code

Merged

riaqn merged 8 commits intomainocaml-flambda/flambda-backend:mainfrom

align-at-atatocaml-flambda/flambda-backend:align-at-atatCopy head branch name to clipboard

Apr 10, 2025

Commits

Commits on Apr 10, 2025

• refactor new mode syntax

  riaqn

  committed
  b74c0ac

  Copy full SHA for b74c0ac

• clean up curry printing

  riaqn

  committed
  4ad46f7

  Copy full SHA for 4ad46f7

• address doc CR

  riaqn

  committed
  4319d92

  Copy full SHA for 4319d92

• address comments

  riaqn

  committed
  6842f7e

  Copy full SHA for 6842f7e

• address comment

  riaqn

  committed
  9220dd2

  Copy full SHA for 9220dd2

• mention default modality in syntax.md

  riaqn

  committed
  2d1e454

  Copy full SHA for 2d1e454

• fix test

  riaqn

  committed
  22bac57

  Copy full SHA for 22bac57

• simplify poly vs. modes

  riaqn

  committed
  0a7c220

  Copy full SHA for 0a7c220