Open linas opened 4 years ago
Yeah, I suppose to be handled in general requires to tell whether an Evaluatable is functional (as opposed to non-functional, i.e. state-sensitive). For instance IdenticalLink
is functional and its outgoings are constant, thus the output of IdenticalLink
is constant.
While debugging a failure, I spotted the following in a BindLink:
This is constant (so it probably gets removed, I think? Not sure, cause its evaluatable...) and its always false... I can have the pattern matcher trap this on static analysis, but thought I'd let you know... the full link is: