Identity: implement sameIdentity using storedRoots

1 files changed, 3 insertions, 2 deletions

diff --git a/src/Erebos/Identity.hs b/src/Erebos/Identity.hs
index c0af02b..f2094f6 100644
--- a/src/Erebos/Identity.hs
+++ b/src/Erebos/Identity.hs
@@ -377,8 +377,9 @@ updateOwners updates orig@Identity { idOwner_ = Just owner, idUpdates_ = cupdate
 updateOwners _ orig@Identity { idOwner_ = Nothing } = orig
 
 sameIdentity :: (Foldable m, Foldable m') => Identity m -> Identity m' -> Bool
-sameIdentity x y = not $ S.null $ S.intersection (refset x) (refset y)
-    where refset idt = foldr S.insert (ancestors $ toList $ idDataF idt) (idDataF idt)
+sameIdentity x y = intersectsSorted (roots x) (roots y)
+  where
+    roots idt = uniq $ sort $ concatMap storedRoots $ toList $ idDataF idt
 
 
 unfoldOwners :: (Foldable m) => Identity m -> [ComposedIdentity]