Stream: Elpi users & devs

Topic: `Elpi Debug`


view this post on Zulip Samuel Hym (Mar 16 2022 at 09:04):

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)

view this post on Zulip Enrico Tassi (Mar 16 2022 at 09:06):

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.

view this post on Zulip Samuel Hym (Mar 16 2022 at 09:09):

I imagined it could be the case. Thanks!

view this post on Zulip Enrico Tassi (Mar 16 2022 at 09:10):

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 :if clauses)

view this post on Zulip Samuel Hym (Mar 16 2022 at 09:13):

pretty much, yes, thanks for the suggestion.


Last updated: Mar 28 2024 at 08:01 UTC