Code

Alternative effects API#3461

Code

Open

dkalinichenko-js wants to merge 10 commits intomainocaml-flambda/flambda-backend:mainfrom dkalinichenko/alt-effects-apiocaml-flambda/flambda-backend:dkalinichenko/alt-effects-apiCopy head branch name to clipboard

+2,797

Commits

Commits on Jan 23, 2025

• import

  d-kalinichenko

  committed
  512f80e

  Copy full SHA for 512f80e

• copyright, re-export

  d-kalinichenko

  committed
  1f175a4

  Copy full SHA for 1f175a4

• update to 5.2

  d-kalinichenko

  committed
  21e08a0

  Copy full SHA for 21e08a0

• import tests

  d-kalinichenko

  committed
  b4c7974

  Copy full SHA for b4c7974

• configure tests

  d-kalinichenko

  committed
  6f1b696

  Copy full SHA for 6f1b696

• uncomment local_

  d-kalinichenko

  committed
  a03e499

  Copy full SHA for a03e499

• disable locals for now

  d-kalinichenko

  committed
  e5ea284

  Copy full SHA for e5ea284

• fix tests

  d-kalinichenko

  committed
  bc25ce0

  Copy full SHA for bc25ce0

• runtime5 only

  d-kalinichenko

  committed
  2a288ed

  Copy full SHA for 2a288ed

Commits on Jan 25, 2025

• reformat interface

  d-kalinichenko

  committed
  19fda70

  Copy full SHA for 19fda70