Make Queriable instances OVERLAPPABLE. Addresses #719

LeventErkok · Aug 8, 2024 · 9290b1e · 9290b1e
1 parent 7e236c4
commit 9290b1e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Data/SBV/Control/Utils.hs b/Data/SBV/Control/Utils.hs
@@ -219,14 +219,14 @@ inNewContext act = do st@State{rconstMap, rProgInfo} <- queryState
                       return r
 
 -- | Generic 'Queriable' instance for 'SymVal' values
-instance (MonadIO m, SymVal a) => Queriable m (SBV a) where
+instance {-# OVERLAPPABLE #-} (MonadIO m, SymVal a) => Queriable m (SBV a) where
   type QueryResult (SBV a) = a
   create  = freshVar_
   project = getValue
   embed   = return . literal
 
 -- | Generic 'Queriable' instance for things that are 'Fresh' and look like containers:
-instance (MonadIO m, SymVal a, Foldable t, Traversable t, Fresh m (t (SBV a))) => Queriable m (t (SBV a)) where
+instance {-# OVERLAPPABLE #-} (MonadIO m, SymVal a, Foldable t, Traversable t, Fresh m (t (SBV a))) => Queriable m (t (SBV a)) where
   type QueryResult (t (SBV a)) = t a
   create  = fresh
   project = mapM getValue