Pierre Villemot

This syntax is not described in the comment at beginning of `wiki.mli` or in the comment of `misc_notes_link`... Are you sure this syntax works? I added this test in `wiki_test.ml`:...

Je déconseille d'avoir des syntaxes alternatives. C'est souvent source de bugs pour une utilité marginale. Ici ça introduit une complexité raisonnable mais je pense que le gain est très marginal...

As we decided during the last dev meeting, I tried to rewrite #1068 (which adds logs library) in order to implement the current `Printer` module. The idea was to limit...

In IndexMap `macros.hs`: ```rust // generate all the Iterator methods by just forwarding to the underlying // self.iter and mapping its element. macro_rules! iterator_methods { // $map_elt is the mapping...

Besides, we got the same issue while working on tests from Décysif project. I opened an issue on Why3 repository: https://gitlab.inria.fr/why3/why3/-/issues/860

Thanks for your help. I was certain this issue was a duplicate because I ran into this bug several times last years. I didn't manage to find #3567 by myself....

The server `gwd` opens a output channel on the log file at the startup: ```ocaml ( "-log", Arg.String (fun x -> Logs.oc := Some (match x with | "-" |...

I reworked this PR. - I keep the `lib/version.txt` file but now it is supposed to contain the information of the latest opam release. Such a release does not exist...

Can you reproduce the bug with `--cache-in-memory` and `-n_workers 0`?

I think we shouldn't commit `client.bc.js` to Git. It's too large and can change significantly after updating `js_of_ocaml`. Storing it would bloat the Git history. We could distribute it in...