The code of execute
goes a long way in using ==
in order to not re-allocate if the calls on sub-terms do not change the term. I could not find the piece of code that could do that. Which branch of execute does not return the input term?
when it needs to fix relevance
(check_assumption etc)
was the code doing == there even before sProp?
the code only returned the type before sprop
ok, thanks
Well, it used to return the same term for a while, then I optimized it away, and Gaëtan went back to returning a modified term for SProp
Last updated: Dec 01 2023 at 04:01 UTC