Code

Printing new mode syntax#2245

Code

Draft

riaqn wants to merge 7 commits intoocaml-flambda:mainocaml-flambda/flambda-backend:mainfrom

riaqn:at-local-syntax-3rdriaqn/flambda-backend:at-local-syntax-3rdCopy head branch name to clipboard

Commits

Commits on Jan 22, 2024

• new encoding for mode syntax

  riaqn

  committed
  d0894a0

  Copy full SHA for d0894a0

• alias clean up

  riaqn

  committed
  9693d69

  Copy full SHA for 9693d69

Commits on Jan 23, 2024

• need to blend mode and modality together

  riaqn

  committed
  232ce7b

  Copy full SHA for 232ce7b

• let mode annotate on types and extract later

  riaqn

  committed
  d444fab

  Copy full SHA for d444fab

• fix location in constraint and coerce

  riaqn

  committed
  c1efb5c

  Copy full SHA for c1efb5c

Commits on Jan 25, 2024

• refactor type_constraint

  riaqn

  committed
  6a79c08

  Copy full SHA for 6a79c08

Commits on Jan 26, 2024

• printing new mode syntax

  riaqn

  committed
  39ed130

  Copy full SHA for 39ed130