Vincent Laporte

The purpose of such a change is not only to make things cleaner. There are some situations (e.g., when the compiler is run in a web browser after compilation through...

Might be related: https://github.com/antoinemine/apron/pull/68 Let’s hope this issue gets resolved when the next version of `apron` is made available.

I’ve observed the same error with Clang 16.0.6: > ml_gtk.c:236:78: error: incompatible function pointer types passing 'value (const char *)' (aka 'long (const char *)') to parameter of type 'value_in'...

About this particular example, I doubt that these lemmas should be in the standard library. Instead, a unique and more general `(n.×2+1 ≤ m.×2+1) = (m ≤ n)` seems also...

>[…] coq-elpi […] has his own files in `.../lib/ocaml/4.10.2/site-libs`. How is this path visible to coqtop? It is not. > Is the wrap redone every time a package setting OCAMLPATH...

I’ve seen three different mechanisms. 1. Non-recommended, imperative style. I use this for some emacs packages. Plug-ins are globally installed in the user profile (which is mutable) at a predictable...

The `dlfcn.h` header is available on osx. It seems enough (at least, it fixes the build) to generalize the `#if defined(__linux__) || (defined(__sun) && defined(__SVR4))` conditional to include `defined(__APPLE__)`.

The first problem is duplicate of #680.

The second problem has been fixed in #836.

My comments above still need to be addressed.