On 10/1/21 8:43 AM, Aldy Hernandez wrote:
It looks like we don't pass relations down to the op[12]_range
operators. This is causing problems when implementing some relational
magic for the shift operators.
Andrew, this looks like an oversight. If so, how does this look?
Hrm. It's at least partial. It will utilize relations as they exist at
the query point, but they would not include any relations introduced by
the unwind sequence.
at the If, there is no relation c_1 < a_2. Its true we are checking the
true edge, and in theory the relation should be registered on that true
edge.. Perhaps I need to register the relation on the edge from the
stmt before resolving the stmt rather than after like we currently do.
Let me think about that for a bit.
Andrew
