mark unsafe uses of CVal

LeventErkok · Sep 14, 2024 · 71f0598 · 71f0598
1 parent 9db6344
commit 71f0598
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Data/SBV/Core/Operations.hs b/Data/SBV/Core/Operations.hs
@@ -336,9 +336,9 @@ svSetEqual sa sb
   | not (isSet sa && isSet sb && kindOf sa == kindOf sb)
   = error $ "Data.SBV.svSetEqual: Called on ill-typed args: " ++ show (kindOf sa, kindOf sb)
   | Just (RegularSet a)    <- getSet sa, Just (RegularSet b)    <- getSet sb
-  = svBool (a == b)
+  = tODO "Don't rely on CVal eq/ord" $ svBool (a == b)
   | Just (ComplementSet a) <- getSet sa, Just (ComplementSet b) <- getSet sb
-  = svBool (a == b)
+  = tODO "Don't rely on CVal eq/ord" $ svBool (a == b)
   | True
   = SVal KBool $ Right $ cache r
   where getSet (SVal _ (Left (CV _ (CSet s)))) = Just s