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@xxxxxxxxxx> 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 _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
