Fix MonadThrow instance

Since Ok can store any exception in makes no reason to erase type of exception and convert it to ErrorCall This also makes MonadThrow instance not conditional on existence of MonadFail instances
nurpax · Mar 3, 2024 · 5c3558e · 5c3558e
1 parent 1a21d8d
commit 5c3558e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/Database/SQLite/Simple/Ok.hs b/Database/SQLite/Simple/Ok.hs
@@ -81,10 +81,11 @@ instance Monad Ok where
 #if MIN_VERSION_base(4,9,0)
 instance MonadFail Ok where
     fail str = Errors [SomeException (ErrorCall str)]
+#endif
 
 instance MonadThrow Ok where
-    throwM = fail . show
-#endif
+    throwM = Errors . pure . toException
+
 
 -- | a way to reify a list of exceptions into a single exception