https://github.com/ocaml/ocaml/issues/9391 https://github.com/ocaml/ocaml/commit/4716c8e063604b6a9788f36da32c16ba022516...
We should pick it up in OCaml 4.13 and I'll try rebuilding Coq with it at that time.
Rich.
On Tue, Jul 20, 2021 at 8:47 AM Richard W.M. Jones rjones@redhat.com wrote:
https://github.com/ocaml/ocaml/issues/9391 https://github.com/ocaml/ocaml/commit/4716c8e063604b6a9788f36da32c16ba022516...
We should pick it up in OCaml 4.13 and I'll try rebuilding Coq with it at that time.
Oh, I hope that's the fix. That would be great.
Side note: I noticed your messages to the OCaml list kept getting held for moderation because you are subscribed under your @fedoraproject.org address, but post from your @redhat.com address. I tried tweaking the settings on the list to fix this. We'll see if I succeeded the next time you send something.
ocaml-devel@lists.fedoraproject.org