Jan Midtgaard
Jan Midtgaard
Before setting out on "The Great Combinator Renaming" :tm: we should document the naming principles. Here's a cleaned up version distilled from past lessons in #223 and #243: - Generator...
As part of discussing "The Great Renaming" :tm: offline, @c-cube and I agreed to revise the default sizes used in our `list`, `array`, `string`, `bytes`, ... generators. Currently, these tend...
We should reconsider our use of `string_of_float` in `QCheck.Print.float` in favor of `Printf.sprintf "%F"`. The former - doesn't print legal OCaml syntax (e.g., `inf` and `-inf` below) - isn't consistent...
On #28841 (and elsewhere) we are seeing the same pattern of lots of `tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)`. When I initially investigated it, I discovered...
This is known issue that will go away once we retire the opam-2.0 workflows. I'm opening it in the interest of knowledge sharing, so that outside contributors have a chance...
On https://github.com/ocaml/opam-repository/pull/28949 I realized something: System `depexts` constraints are handled differently across system package managers. On Debian 13 running the ocaml-version tests, a missing system package (here: `libpcre3-dev` which is...
The msys2 failure (I've no clue what to do about it, it seems unrelated to this PR): ``` #=== ERROR while compiling topkg.1.1.0 ========================================# # context 2.4.1 | win32/x86_64 |...