Coq master segfaults on a Coq interval test case since last night. I created an issue for Coq Interval since I am sure @silene understands this best but I wanted to leave a note here as well, since I don't understand how a change in Coq Interval can lead to a seg fault in coqc - I always thought it was pure Coq.

(https://gitlab.inria.fr/coqinterval/interval/-/issues/5)

As I wrote in the report, this is presumably an instance of https://github.com/coq/coq/pull/13867

Thanks!

Last updated: Oct 16 2021 at 02:03 UTC