Antonin Décimo

Use macros from `limits.h` to prevent signed integer wrap-around warnigns

10

The code is currently correct since we use wrap-around semantics for signed integers (`-fwrapv`), but: - it's difficult to communicate that fact to static analyzers, which warn when computing the...

Simplify `CAMLalign` and use C11 `max_align_t`

6

Some cleanups removing checks and workarounds for older compilers, assuming that the compiler supports C11 or C++11 out of the box. We may use [`_Alignas` (since C11) or `alignas` (since...

`Unix.getaddrinfo` doesn't report errors

3

`getaddrinfo` ([POSIX](https://pubs.opengroup.org/onlinepubs/9699919799/functions/getaddrinfo.html), [Windows](https://learn.microsoft.com/en-us/windows/win32/api/ws2tcpip/nf-ws2tcpip-getaddrinfo)) errors are not set into `errno`, but returned to the caller. The implementation of [`Unix.getaddrinfo`](https://github.com/ocaml/ocaml/blob/1a798642c364d2e867696391755d071c6ece7819/otherlibs/unix/getaddrinfo.c) doesn't report errors to the OCaml side and returns an empty list...

I noticed that the `CPPFLAGS` and `CFLAGS` were not being passed when building Flexdll's C files, but they introduce problems when building OCaml 4.06 and 4.07 (explanation from David Allsopp):...

Support references in code spans

2

I noticed that the Lwt documentation has doc comments like this: There are straightforward ways to make promises canceled. One could create a promise that {e starts out} canceled, with...

Warn when using links to fragment instead of dedicated reference

4

The Lwt documentation has snippets such as: - {{: #3_Quickstart} Quick start} links these concepts to actual functions in Lwt – the most fundamental ones. .... {3 Quick start} or...

Confusing origin of "aliased" type in submodule

3

dune configurator [has this code](https://github.com/ocaml/dune/blob/main/otherlibs/configurator/src/v1.mli): ```ocaml module V1 : sig type t module Pkg_config : sig type configurator = t type t (** Search pkg-config in the PATH. Returns [None]...

Reference a polymorphic variant constructor belonging to a type

1

Considering a polymorphic variant type: ```ocaml type switch = [`On; `Off] ``` I'd like to be able to refer to the constructors in the documentation. It could be doable if...

The opam files were using old declarations of Dune build and missed the dependency on `result`. We can safely update to Dune 3.0 and OCaml 4.08 to fix these for...