New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Crash with Coq 8.19 #583

Open

jjhugues opened this issue Feb 28, 2024 · 0 comments

jjhugues commented Feb 28, 2024 •

edited

Loading

Hi,

The code at https://gist.github.com/jjhugues/6747d65e38a99ed85db35ad4565b0fe6 is a minimized version of a larger development.

Testing with Coq 8.19 + Coq Equations triggers the following error

Error: Anomaly
"File "kernel/cClosure.ml", line 134, characters 26-32: Assertion failed."
Please report at http://coq.inria.fr/bugs/.

Is there any workaround to this type of issue? Thanks,

The text was updated successfully, but these errors were encountered:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment