On Thu, Mar 26, 2020 at 10:28 AM Richard W.M. Jones <rjones(a)redhat.com> wrote:
Jerry, I suggest this bug is real, but is also likely to be a bug in
Coq (most likely) or the OCaml runtime, possibly in the Weak module.
You might have more luck asking the upstream developers for help.
Coq issue:
https://github.com/coq/coq/issues/11939
I looked around in the ocaml issue tracker and found a possibility:
https://github.com/ocaml/ocaml/issues/9391
Coq uses ephemerons.
--
Jerry James
http://www.jamezone.org/