§§dupsrc introduced

This commit is contained in:
Jindra Petřík
2025-08-03 21:42:25 +02:00
parent 922cd45084
commit b449db946f
14 changed files with 213 additions and 40 deletions

View File

@@ -3860,6 +3860,8 @@ public class Graph {
GraphTargetItem rightSide = ((PushItem) filteredOnTrue.get(filteredOnTrue.size() - 1)).value;
GraphTargetItem prevExpr = stack.pop();
GraphTargetItem leftSide = expr.getNotCoercedNoDup();
prevExpr = prevExpr.getThroughDuplicate();
boolean hideEmptyTrueFalse = true;