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
was the code doing == there even before sProp?
the code only returned the type before sprop
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: Oct 16 2021 at 09:07 UTC