update ReferencedTransactionIds for this branch

agentm · May 9, 2024 · 030e0d5 · 030e0d5
1 parent 7c5070c
commit 030e0d5
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/lib/ProjectM36/ReferencedTransactionIds.hs b/src/lib/ProjectM36/ReferencedTransactionIds.hs
@@ -23,10 +23,11 @@ instance ReferencedTransactionIds a => ReferencedTransactionIds (RelationalExprB
     MakeStaticRelation{} -> S.empty
     ExistingRelation{} -> S.empty
     RelationVariable _ marker -> referencedTransactionIds marker
+    RelationValuedAttribute _ -> S.empty
     Project attrNames expr -> S.union (referencedTransactionIds attrNames) (referencedTransactionIds expr)
     Union exprA exprB -> S.union (referencedTransactionIds exprA) (referencedTransactionIds exprB)
     Join exprA exprB -> S.union (referencedTransactionIds exprA) (referencedTransactionIds exprB)
-    Rename _ _ expr -> referencedTransactionIds expr
+    Rename _ expr -> referencedTransactionIds expr
     Difference exprA exprB -> S.union (referencedTransactionIds exprA) (referencedTransactionIds exprB)
     Group attrNames _ expr -> S.union (referencedTransactionIds attrNames) (referencedTransactionIds expr)
     Ungroup _ expr -> referencedTransactionIds expr
@@ -101,6 +102,10 @@ instance ReferencedTransactionIds a => ReferencedTransactionIds (AtomExprBase a)
         referencedTransactionIds rExpr
       ConstructedAtomExpr _ args marker ->
         S.unions (referencedTransactionIds marker : (referencedTransactionIds <$> args))
+      IfThenAtomExpr ifE thenE elseE ->
+        S.unions [referencedTransactionIds ifE,
+                  referencedTransactionIds thenE,
+                  referencedTransactionIds elseE]
 
 -- only the relvars can reference other transactions
 instance ReferencedTransactionIds DatabaseContext where