Code

Functional mode polymorphism#3395

Code

Open

ageorg29 wants to merge 2 commits intoageorges.mode-polymorphism-instantiateocaml-flambda/flambda-backend:ageorges.mode-polymorphism-instantiatefrom ageorges.mode-polymorphism-integrateocaml-flambda/flambda-backend:ageorges.mode-polymorphism-integrateCopy head branch name to clipboard

+2,193-289

Commits

Commits on Dec 18, 2024

• Integrate mode polymorphism into type checking

  ageorg29

  committed
  a62b34a

  Copy full SHA for a62b34a

Commits on Dec 19, 2024

• General cleanup and comments on APIs

  ageorg29

  committed
  02f9674

  Copy full SHA for 02f9674