# \#flambda

**URL:** https://discuss.ocaml.org/tag/flambda/52.md

[Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md)

---

## [How to inline this function call so it behaves the same](https://discuss.ocaml.org/t/how-to-inline-this-function-call-so-it-behaves-the-same/15479)

<div class="topic-metadata">

**Author:** [@patrick-nicodemus](https://discuss.ocaml.org/u/patrick-nicodemus)\
**Replies:** 1\
**Last updated:** [October 21, 2024, 8:55am UTC](https://discuss.ocaml.org/t/how-to-inline-this-function-call-so-it-behaves-the-same/15479 "2024-10-21T08:55:51Z")

</div>

I am not familiar with the use of flambda, so perhaps I have just overlooked this in the documentation. This code is from Oleg Kiselyov’s essay on modularity, “Lightweight static guarantees” (well, a minimized version of…

---

## [\[BLOG\] Flambda2 Ep. 3: Speculative Inlining, by OCamlPro](https://discuss.ocaml.org/t/blog-flambda2-ep-3-speculative-inlining-by-ocamlpro/15250)

<div class="topic-metadata">

**Author:** [@OCamlPro](https://discuss.ocaml.org/u/OCamlPro)\
**Replies:** 0\
**Last updated:** [September 5, 2024, 12:16pm UTC](https://discuss.ocaml.org/t/blog-flambda2-ep-3-speculative-inlining-by-ocamlpro/15250 "2024-09-05T12:16:17Z")

</div>

Hello again Cameleers, As promised in our previous post about OCamlPro’s contributions to this year’s International Conference of Functional Programming, we back again with a new entry in our Flambda2 Snippet blog serie…

---

## [Cannot find Flambda report files](https://discuss.ocaml.org/t/cannot-find-flambda-report-files/15130)

<div class="topic-metadata">

**Author:** [@Hirrolot](https://discuss.ocaml.org/u/Hirrolot)\
**Replies:** 4\
**Last updated:** [August 17, 2024, 10:53am UTC](https://discuss.ocaml.org/t/cannot-find-flambda-report-files/15130 "2024-08-17T10:53:12Z")

</div>

I cannot find where Flambda inlining reports are generated. The documentation is quite vague with respect to where should I find them… this is how I use Flambda (lib/dune): (env (release (ocamlopt\_flags (:standard…

---

## [\[BLOG\] Flambda2 Ep. 2: Loopifying Tail-Recursive Functions, by OCamlPro](https://discuss.ocaml.org/t/blog-flambda2-ep-2-loopifying-tail-recursive-functions-by-ocamlpro/14758)

<div class="topic-metadata">

**Author:** [@OCamlPro](https://discuss.ocaml.org/u/OCamlPro)\
**Replies:** 3\
**Last updated:** [June 10, 2024, 4:29pm UTC](https://discuss.ocaml.org/t/blog-flambda2-ep-2-loopifying-tail-recursive-functions-by-ocamlpro/14758 "2024-06-10T16:29:00Z")

</div>

Greetings Cameleers, We would like to share with you our latest Flambda2 Snippet: Flambda2 Ep. 2: Loopifying Tail-Recursive Functions! Indeed, today’s topic is what is called Loopify, one of the many optimisation algor…

---

## [Make \`dune runtest\` explicitly show passing tests](https://discuss.ocaml.org/t/make-dune-runtest-explicitly-show-passing-tests/14488)

<div class="topic-metadata">

**Author:** [@Ekanshdeep\_Gupta](https://discuss.ocaml.org/u/Ekanshdeep_Gupta)\
**Replies:** 1\
**Last updated:** [April 16, 2024, 8:25am UTC](https://discuss.ocaml.org/t/make-dune-runtest-explicitly-show-passing-tests/14488 "2024-04-16T08:25:55Z")

</div>

I have a dune project, in which I added cram-style tests in .t files. When I run dune runtest, the tests are being run, and any failures are promptly identified. However, when all tests pass, the command generates no out…

---

## [\[BLOG\] The Flambda2 Snippets, by OCamlPro](https://discuss.ocaml.org/t/blog-the-flambda2-snippets-by-ocamlpro/14331)

<div class="topic-metadata">

**Author:** [@OCamlPro](https://discuss.ocaml.org/u/OCamlPro)\
**Replies:** 9\
**Last updated:** [March 30, 2024, 9:45pm UTC](https://discuss.ocaml.org/t/blog-the-flambda2-snippets-by-ocamlpro/14331 "2024-03-30T21:45:01Z")

</div>

Greetings Cameleers, Today, we are excited to share with you a first glance at some redactional work that has been brewing behind at the scenes at OCamlPro for quite a some time now! We are starting a series of blogp…

---

## [\[@@inline always\] attribute not working for monadic function](https://discuss.ocaml.org/t/inline-always-attribute-not-working-for-monadic-function/14299)

<div class="topic-metadata">

**Author:** [@Ekanshdeep\_Gupta](https://discuss.ocaml.org/u/Ekanshdeep_Gupta)\
**Replies:** 3\
**Last updated:** [March 14, 2024, 2:44pm UTC](https://discuss.ocaml.org/t/inline-always-attribute-not-working-for-monadic-function/14299 "2024-03-14T14:44:18Z")

</div>

I have some simple monadic bindings, given below: module Syntax = struct (\* For ppx\_let \*) module Let\_syntax = struct let bind m ~f = fun sin -\> let sout, res = m sin in f res sout \[@@inline alw…

---

## [In flambda, no inlining-report is generated](https://discuss.ocaml.org/t/in-flambda-no-inlining-report-is-generated/14208)

<div class="topic-metadata">

**Author:** [@haoxuany](https://discuss.ocaml.org/u/haoxuany)\
**Replies:** 3\
**Last updated:** [February 29, 2024, 9:02am UTC](https://discuss.ocaml.org/t/in-flambda-no-inlining-report-is-generated/14208 "2024-02-29T09:02:10Z")

</div>

So this is probably a dummy question, but I’m currently trying to investigate a bizarre performance issue while using the flambda compiler, and I have added -inlining-report to ocamlopt\_flags in my dune build file (see m…

---

## [OCamlPro talks at ICFP 2023 on Flambda2, Wasocaml, and a lookback on Opam](https://discuss.ocaml.org/t/ocamlpro-talks-at-icfp-2023-on-flambda2-wasocaml-and-a-lookback-on-opam/12976)

<div class="topic-metadata">

**Author:** [@OCamlPro](https://discuss.ocaml.org/u/OCamlPro)\
**Replies:** 0\
**Last updated:** [September 7, 2023, 10:23am UTC](https://discuss.ocaml.org/t/ocamlpro-talks-at-icfp-2023-on-flambda2-wasocaml-and-a-lookback-on-opam/12976 "2023-09-07T10:23:01Z")

</div>

Dear OCaml Users and Contributors, The end of summer vacations are a nice opportunity to look back and celebrate, especially as the ICFP 2023 is unfolding and the much-anticipated OCaml Workshop 2023 is about to be held…

---

## [Static analysis in Flambda 2 - Talks at the Cambium Seminar](https://discuss.ocaml.org/t/static-analysis-in-flambda-2-talks-at-the-cambium-seminar/12913)

<div class="topic-metadata">

**Author:** [@OCamlPro](https://discuss.ocaml.org/u/OCamlPro)\
**Replies:** 2\
**Last updated:** [August 29, 2023, 8:59am UTC](https://discuss.ocaml.org/t/static-analysis-in-flambda-2-talks-at-the-cambium-seminar/12913 "2023-08-29T08:59:57Z")

</div>

We are delighted to announce that there is a seminar in the Cambium team at Inria today at 11am CEST, Paris, related to Flambda 2. The seminar is accessible online at seminaire-cambium This talk follows our previous ta…

---

## [Can a state monad be optimized out with flambda](https://discuss.ocaml.org/t/can-a-state-monad-be-optimized-out-with-flambda/9841)

<div class="topic-metadata">

**Author:** [@jjb](https://discuss.ocaml.org/u/jjb)\
**Replies:** 6\
**Last updated:** [May 16, 2022, 2:07pm UTC](https://discuss.ocaml.org/t/can-a-state-monad-be-optimized-out-with-flambda/9841 "2022-05-16T14:07:47Z")

</div>

I am trying to get flambda to optimize code that uses what is essentially a simple state monad, with let\* and let+ operators, to the code that can be written by breaking the abstraction and directly writing the code in s…

---

## [Function call not inlined](https://discuss.ocaml.org/t/function-call-not-inlined/9783)

<div class="topic-metadata">

**Author:** [@monniaux](https://discuss.ocaml.org/u/monniaux)\
**Replies:** 17\
**Last updated:** [May 5, 2022, 2:16pm UTC](https://discuss.ocaml.org/t/function-call-not-inlined/9783 "2022-05-05T14:16:47Z")

</div>

Consider the following program: let selection\_sort cmp a left right = for i=left to right-2 do let leftmost = Array.get a i in let minimum\_pos = ref i and minimum = ref leftmost in for j=i+1 to right-1…

---

## [What Lambda flags do you usually use to speed up your code?](https://discuss.ocaml.org/t/what-lambda-flags-do-you-usually-use-to-speed-up-your-code/9241)

<div class="topic-metadata">

**Author:** [@Butanium](https://discuss.ocaml.org/u/Butanium)\
**Replies:** 6\
**Last updated:** [February 3, 2022, 8:19pm UTC](https://discuss.ocaml.org/t/what-lambda-flags-do-you-usually-use-to-speed-up-your-code/9241 "2022-02-03T20:19:19Z")

</div>

I’d like to compare my program with the one used in a paper which was coded in cpp. As I know that they made everything to make their code optimized, I’d like to speed up mine the more I can in order to have a decent co…

---

## [Detecting identity functions in Flambda](https://discuss.ocaml.org/t/detecting-identity-functions-in-flambda/8180)

<div class="topic-metadata">

**Author:** [@OCamlPro](https://discuss.ocaml.org/u/OCamlPro)\
**Replies:** 2\
**Last updated:** [July 24, 2021, 9:43am UTC](https://discuss.ocaml.org/t/detecting-identity-functions-in-flambda/8180 "2021-07-24T09:43:24Z")

</div>

Hi, There is our new blogpost about detecting identity functions in Flambda written by Léo Boitel, who did an internship at OCamlPro directed by Vincent Laviron. He worked on the possibility of annotating functions with…

---

## [\[mystery solved\] Compiling with continuations: flambda and performance](https://discuss.ocaml.org/t/mystery-solved-compiling-with-continuations-flambda-and-performance/6621)

<div class="topic-metadata">

**Author:** [@Chet\_Murthy](https://discuss.ocaml.org/u/Chet_Murthy)\
**Replies:** 7\
**Last updated:** [October 16, 2020, 10:22pm UTC](https://discuss.ocaml.org/t/mystery-solved-compiling-with-continuations-flambda-and-performance/6621 "2020-10-16T22:22:02Z")

</div>

Aha. Needed a little more care with the placing of abstractions for continuations. Erasing post, b/c now it all works as desired. Restoring the deleted post: I was recently chewing over monadic concurrency, and got …

---

## [Finalizers, value lifetimes and \`Sys.opaque\_identity\`](https://discuss.ocaml.org/t/finalizers-value-lifetimes-and-sys-opaque-identity/2750)

<div class="topic-metadata">

**Author:** [@gasche](https://discuss.ocaml.org/u/gasche)\
**Replies:** 0\
**Last updated:** [October 22, 2018, 10:08am UTC](https://discuss.ocaml.org/t/finalizers-value-lifetimes-and-sys-opaque-identity/2750 "2018-10-22T10:08:15Z")

</div>

Dear discuss, I think some around here may be interested in the bugtracker thread MPR#7861 (GC collects values it shouldn’t with flambda), which is about an interaction between finalizers and optimizations that advanced…

---

## ["flambda for newbies" questions](https://discuss.ocaml.org/t/flambda-for-newbies-questions/854)

<div class="topic-metadata">

**Author:** [@mars0i](https://discuss.ocaml.org/u/mars0i)\
**Replies:** 3\
**Last updated:** [September 19, 2017, 8:00pm UTC](https://discuss.ocaml.org/t/flambda-for-newbies-questions/854 "2017-09-19T20:00:51Z")

</div>

I see a lot about flambda but I’m not clear on its status and usage. I understand that flamba consists of compiler functions that are intended to provide better inlining and provide certain cross-module optimizations for…

---

## [Where is Flambda being developed?](https://discuss.ocaml.org/t/where-is-flambda-being-developed/532)

<div class="topic-metadata">

**Author:** [@bluddy](https://discuss.ocaml.org/u/bluddy)\
**Replies:** 7\
**Last updated:** [July 13, 2017, 3:30pm UTC](https://discuss.ocaml.org/t/where-is-flambda-being-developed/532 "2017-07-13T15:30:33Z")

</div>

I’m following up on this comment: As far as I know, the Flambda development work is hidden away, or at least I haven’t been able to locate it. Last I inquired, Flambda is also being completely rewritten, making it usel…
