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
> 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:
Coq uses ephemerons.
Yup, and the stack trace shows the failure happening when creating an
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.