Merge pull request #2244 from langston-barrett/lb/fix-remove-relation…

…-copies Don't apply RemoveRelationCopies transformer to EQRELs
souffle-lang · Mar 31, 2022 · 7f1abdc · 7f1abdc
2 parents 6bd98e7 + 2a7b6d0
commit 7f1abdc
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/ast/transform/RemoveRelationCopies.cpp b/src/ast/transform/RemoveRelationCopies.cpp
@@ -51,6 +51,11 @@ bool RemoveRelationCopiesTransformer::removeRelationCopies(TranslationUnit& tran
         if (!rel->getFunctionalDependencies().empty()) {
             continue;
         }
+        // skip equivalence relations (which automatically create reflexive,
+        // symmetric, and transitive tuples)
+        if (rel->getRepresentation() == RelationRepresentation::EQREL) {
+            continue;
+        }
         const auto& clauses = program.getClauses(*rel);
         if (!ioType.isIO(rel) && clauses.size() == 1u) {
             // .. of shape r(x,y,..) :- s(x,y,..)