Samuel Hym (Mar 16 2022 at 09:04): 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)
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.
Samuel Hym (Mar 16 2022 at 09:09):I imagined it could be the case. Thanks!
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)
Samuel Hym (Mar 16 2022 at 09:13):pretty much, yes, thanks for the suggestion.
Last updated: Oct 13 2024 at 01:02 UTC