exceptions 0.10.9 → 0.10.10
raw patch · 4 files changed
+22/−16 lines, 4 filesdep +tastydep +tasty-hunitdep +tasty-quickcheckdep −test-frameworkdep −test-framework-hunitdep −test-framework-quickcheck2dep ~QuickCheckPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies added: tasty, tasty-hunit, tasty-quickcheck
Dependencies removed: test-framework, test-framework-hunit, test-framework-quickcheck2
Dependency ranges changed: QuickCheck
API changes (from Hackage documentation)
- Control.Monad.Catch: Handler :: (e -> m a) -> Handler m a
+ Control.Monad.Catch: Handler :: (e -> m a) -> Handler (m :: Type -> Type) a
- Control.Monad.Catch: class MonadThrow m => MonadCatch m
+ Control.Monad.Catch: class MonadThrow m => MonadCatch (m :: Type -> Type)
- Control.Monad.Catch: class MonadCatch m => MonadMask m
+ Control.Monad.Catch: class MonadCatch m => MonadMask (m :: Type -> Type)
- Control.Monad.Catch: class Monad m => MonadThrow m
+ Control.Monad.Catch: class Monad m => MonadThrow (m :: Type -> Type)
- Control.Monad.Catch: data Handler m a
+ Control.Monad.Catch: data Handler (m :: Type -> Type) a
- Control.Monad.Catch: data () => SomeException
+ Control.Monad.Catch: data SomeException
- Control.Monad.Catch: mask :: (MonadMask m, HasCallStack) => ((forall a. m a -> m a) -> m b) -> m b
+ Control.Monad.Catch: mask :: (MonadMask m, HasCallStack) => ((forall a. () => m a -> m a) -> m b) -> m b
- Control.Monad.Catch: uninterruptibleMask :: (MonadMask m, HasCallStack) => ((forall a. m a -> m a) -> m b) -> m b
+ Control.Monad.Catch: uninterruptibleMask :: (MonadMask m, HasCallStack) => ((forall a. () => m a -> m a) -> m b) -> m b
- Control.Monad.Catch.Pure: CatchT :: m (Either SomeException a) -> CatchT m a
+ Control.Monad.Catch.Pure: CatchT :: m (Either SomeException a) -> CatchT (m :: Type -> Type) a
- Control.Monad.Catch.Pure: [runCatchT] :: CatchT m a -> m (Either SomeException a)
+ Control.Monad.Catch.Pure: [runCatchT] :: CatchT (m :: Type -> Type) a -> m (Either SomeException a)
- Control.Monad.Catch.Pure: newtype CatchT m a
+ Control.Monad.Catch.Pure: newtype CatchT (m :: Type -> Type) a
Files
- CHANGELOG.markdown +4/−0
- exceptions.cabal +9/−8
- tests/Control/Monad/Catch/Tests.hs +6/−6
- tests/Tests.hs +3/−2
CHANGELOG.markdown view
@@ -1,3 +1,7 @@+0.10.10 [2025.06.17]+--------------------+* Replace `test-framework` with `tasty` in the test suite.+ 0.10.9 [2024.10.31] ------------------- * Drop support for pre-8.0 versions of GHC.
exceptions.cabal view
@@ -1,6 +1,6 @@ name: exceptions category: Control, Exceptions, Monad-version: 0.10.9+version: 0.10.10 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE@@ -22,8 +22,9 @@ , GHC == 9.2.8 , GHC == 9.4.8 , GHC == 9.6.6- , GHC == 9.8.2+ , GHC == 9.8.4 , GHC == 9.10.1+ , GHC == 9.12.1 synopsis: Extensible optionally-pure exceptions description: Extensible optionally-pure exceptions. @@ -44,7 +45,7 @@ base >= 4.9 && < 5, mtl >= 2.2 && < 2.4, stm >= 2.2 && < 3,- template-haskell >= 2.11 && < 2.23,+ template-haskell >= 2.11 && < 2.25, transformers >= 0.5.2.0 && < 0.7 exposed-modules:@@ -68,8 +69,8 @@ mtl, stm, template-haskell,- transformers >= 0.5.2.0 && < 0.7,- test-framework >= 0.8 && < 0.9,- test-framework-hunit >= 0.3 && < 0.4,- test-framework-quickcheck2 >= 0.3 && < 0.4,- QuickCheck >= 2.5 && < 2.16+ transformers >= 0.5.2.0 && < 0.7,+ tasty >= 1.4 && < 1.6,+ tasty-hunit >= 0.10 && < 0.11,+ tasty-quickcheck >= 0.10 && < 0.12,+ QuickCheck >= 2.5 && < 2.17
tests/Control/Monad/Catch/Tests.hs view
@@ -21,11 +21,11 @@ import Control.Monad.Trans.Except (ExceptT(..), runExceptT) import Control.Monad.STM (STM, atomically) --import Control.Monad.Cont (ContT(..))-import Test.Framework (Test, testGroup)-import Test.Framework.Providers.HUnit (testCase)-import Test.Framework.Providers.QuickCheck2 (testProperty) import Test.QuickCheck (Property, ioProperty, once) import Test.QuickCheck.Monadic (monadic, run, assert)+import Test.Tasty (TestTree, testGroup)+import Test.Tasty.HUnit (testCase)+import Test.Tasty.QuickCheck (testProperty) import qualified Control.Monad.State.Lazy as LazyState import qualified Control.Monad.State.Strict as StrictState import qualified Control.Monad.Writer.Lazy as LazyWriter@@ -89,7 +89,7 @@ detector assert effectWasPerformed -tests :: Test+tests :: TestTree tests = testGroup "Control.Monad.Catch.Tests" $ ([ mkMonadCatch , mkCatchJust@@ -230,11 +230,11 @@ mkCatchJust = mkMSpecTest "catchJust" testCatchJust mkDetectableEffect = mkDetectableEffectTest "effect during release" testDetectableEffect - mkMSpecTest :: String -> (SomeMSpec -> Property) -> SomeMSpec -> Test+ mkMSpecTest :: String -> (SomeMSpec -> Property) -> SomeMSpec -> TestTree mkMSpecTest name test = \someMSpec@(SomeMSpec spec) -> testProperty (name ++ " " ++ mspecName spec) $ once $ test someMSpec - mkDetectableEffectTest :: String -> (SomeDetectableEffect -> Property) -> SomeDetectableEffect -> Test+ mkDetectableEffectTest :: String -> (SomeDetectableEffect -> Property) -> SomeDetectableEffect -> TestTree mkDetectableEffectTest name test = \someDetectableEffect@(SomeDetectableEffect detectableEffect) -> let testName = name ++ " " ++ mspecName (detectableEffectMSpec detectableEffect) in testProperty testName $ once $ test someDetectableEffect
tests/Tests.hs view
@@ -1,10 +1,11 @@ module Main where -import Test.Framework (defaultMain)+import Test.Tasty (defaultMain, testGroup) import qualified Control.Monad.Catch.Tests main :: IO ()-main = defaultMain+main = defaultMain $+ testGroup "exceptions" [ Control.Monad.Catch.Tests.tests ]