Stream: Coq users

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

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?

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