On Fri, Mar 27, 2020 at 11:54:44AM -0600, Jerry James wrote:
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.
Yup, and the stack trace shows the failure happening when creating an
ephemeron.
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
Read my programming and virtualization blog:
http://rwmj.wordpress.com
virt-p2v converts physical machines to virtual machines. Boot with a
live CD or over the network (PXE) and turn machines into KVM guests.
http://libguestfs.org/virt-v2v