Stream: Coq users

Topic: How to debug diverging "Recursive Extraction " command?


view this post on Zulip Fabian Kunze (Nov 23 2020 at 13:50):

I have the following and it does not terminate:
Extraction Library Bla.
But I don't see any indication how far this proceeded the file. How can debug this?

view this post on Zulip Fabian Kunze (Nov 23 2020 at 13:54):

I think the problem is with extraction PArray-constants.


Last updated: Jan 29 2023 at 06:02 UTC