Elpi Debug must now be set _before_
Elpi Accumulate to be taken into account?
(I used to set it up just before calling the command, which was handy because the command was defined in a different module)
I know, this changed some time ago actually. It is related to the fact that units (the thing you accumulate) are "compiled" once and for all when you accumulate them.
I imagined it could be the case. Thanks!
You may give a try to
Elpi Trace "your-predicate-name". It is quite verbose but does not require to recompile the program (and will print all invocations of the predicate, which is usually what you put in
pretty much, yes, thanks for the suggestion.
Last updated: Jun 06 2023 at 22:01 UTC