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].