ocaml and Flambda

Greg Troxel <[email protected]> Mon, 25 Aug 2025 15:44:02 -0400
Newsgroups gmane.network.unison.general
Message-ID <[email protected]>
ocaml has an optimizer Flambda, which can be selected when one compiles
ocaml:

  https://urldefense.com/v3/__https://ocaml.org/manual/5.3/flambda.html__;!!IBzWLUs!SihPIj0_GH9hBsPeygwJPtBL0aHq7OxFnUKp4aLcgyMivwv56KkxOjM61wfa5gO0rQXuAh2Mm4-yqIW13A$ 

It seems that it produces more efficient code, but can cause some unsafe
operations to get the UB they always deserved.

I wonder:

  Do people who use unison use an ocamlc with flambda?

  Does anyone have any epxerience, wisdom, or even semi-informed
  opinion, about whether flambda is good for unison, bad, irrelevant?

  Does anyone know if enabling flambda in ocaml is considered the
  standard approach?


e.g on NetBSD 10 amd64 with pkgsrc 2025Q2:

  > ocamlc -version; ocamlc -config|egrep flambda
  4.14.2
  flambda: false

on Raspberry Pi OS (Debian :-) 12:

  > ocamlc -version; ocamlc -config|egrep flam
  4.13.1
  flambda: false

To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].