Jan Midtgaard

I can confirm that I can now install using opam. I downloaded the latest the Apron version with #28 and locally installed as follows: ``` env GMP_PREFIX=/opt/local MPFR_PREFIX=/opt/local opam install...

Looking some more into this, AFAICS the following assignment added in #12314 https://github.com/ocaml/ocaml/blob/1680bfe231c062e91c383610953c4559b18f0102/runtime/io.c#L252-L255 is at odds with this later comment explaining how `caml_flush_partial` is used to trigger a `Sys_error` https://github.com/ocaml/ocaml/blob/1680bfe231c062e91c383610953c4559b18f0102/runtime/io.c#L706-L709...

Polite ping to @xavierleroy as the author of #12314 (but likely busy preparing an interesting course)

Incidentally, today I discovered that this bug was independently discovered and fixed in https://github.com/ocaml/ocaml/pull/12678

Allow me summarize my understanding of this work (feel free to correct me): - with this PR both single-domain programs and "well-behaved multi-domain programs"[^1] will free the malloc'ed memory at...

First off: yes, the documentation could certainly be improved (PRs welcome!) I cannot recreate the problem you experienced. Below follows my attempt at a minimal repro which works fine. As...

Indeed! I can confirm that after adding that line to `dune-project` I get the following error message: ``` $ dune build test.exe File "test.ml", line 1, characters 5-11: 1 |...

In #281 there's a reasonable explanation of the QCheck / QCheck2 relation, incl. additional pointers.

Thanks for the report! Ping @vch9 - I think we are not handling type constructors correctly in `is_rec_typ`

IMO using `rectypes` is a cornercase that we don't necessarily have to support (I read the report as trying to use it as a workaround). I suggest prioritising the reported...