On Wed, Mar 25, 2020 at 10:21 PM Stephen J. Turnbull <stephen(a)xemacs.org> wrote:
Hi Jerry! Long time no see.
Hi Stephen! It's good to hear from yet another person I've worked
with via network for years.
I think Richard addressed most of the points you raised.
Where is the segfault? Is it in coqc or is it in the generated code
or is it in the OCaml compiler or is it somewhere else?
It's in coqc. Richard's evidence seems to point to garbage collector
involvement, with weak references possibly playing a role.
You, too, and likewise for everybody in the Fedora community.