Hello community, here is the log from the commit of package ghc-unliftio-core for openSUSE:Leap:15.2 checked in at 2020-05-21 12:58:57 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Leap:15.2/ghc-unliftio-core (Old) and /work/SRC/openSUSE:Leap:15.2/.ghc-unliftio-core.new.2738 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-unliftio-core" Thu May 21 12:58:57 2020 rev:4 rq:805995 version:0.2.0.1 Changes: -------- --- /work/SRC/openSUSE:Leap:15.2/ghc-unliftio-core/ghc-unliftio-core.changes 2020-02-19 18:42:04.246269717 +0100 +++ /work/SRC/openSUSE:Leap:15.2/.ghc-unliftio-core.new.2738/ghc-unliftio-core.changes 2020-05-21 12:58:58.082746530 +0200 @@ -1,0 +2,14 @@ +Wed May 6 06:52:10 UTC 2020 - psim...@suse.com + +- Update unliftio-core to version 0.2.0.1. + # ChangeLog for unliftio-core + + ## 0.2.0.1 + + * Remove faulty default implementation of `withRunInIO` [#56](https://github.com/fpco/unliftio/issues/56) + + ## 0.2.0.0 + + * Move `askUnliftIO` out of class [#55](https://github.com/fpco/unliftio/issues/55) + +------------------------------------------------------------------- Old: ---- unliftio-core-0.1.2.0.tar.gz New: ---- unliftio-core-0.2.0.1.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-unliftio-core.spec ++++++ --- /var/tmp/diff_new_pack.F524nz/_old 2020-05-21 12:58:58.438747305 +0200 +++ /var/tmp/diff_new_pack.F524nz/_new 2020-05-21 12:58:58.442747314 +0200 @@ -1,7 +1,7 @@ # # spec file for package ghc-unliftio-core # -# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany. +# Copyright (c) 2020 SUSE LINUX GmbH, Nuernberg, Germany. # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -18,13 +18,13 @@ %global pkg_name unliftio-core Name: ghc-%{pkg_name} -Version: 0.1.2.0 +Version: 0.2.0.1 Release: 0 Summary: The MonadUnliftIO typeclass for unlifting monads to IO License: MIT URL: https://hackage.haskell.org/package/%{pkg_name} Source0: https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz -Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/2.cabal#/%{pkg_name}.cabal +Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/1.cabal#/%{pkg_name}.cabal BuildRequires: ghc-Cabal-devel BuildRequires: ghc-rpm-macros BuildRequires: ghc-transformers-devel ++++++ unliftio-core-0.1.2.0.tar.gz -> unliftio-core-0.2.0.1.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/unliftio-core-0.1.2.0/ChangeLog.md new/unliftio-core-0.2.0.1/ChangeLog.md --- old/unliftio-core-0.1.2.0/ChangeLog.md 2018-08-27 20:11:52.000000000 +0200 +++ new/unliftio-core-0.2.0.1/ChangeLog.md 2020-03-02 14:17:45.000000000 +0100 @@ -1,3 +1,13 @@ +# ChangeLog for unliftio-core + +## 0.2.0.1 + +* Remove faulty default implementation of `withRunInIO` [#56](https://github.com/fpco/unliftio/issues/56) + +## 0.2.0.0 + +* Move `askUnliftIO` out of class [#55](https://github.com/fpco/unliftio/issues/55) + ## 0.1.2.0 * Add `wrappedWithRunInIO`. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/unliftio-core-0.1.2.0/src/Control/Monad/IO/Unlift.hs new/unliftio-core-0.2.0.1/src/Control/Monad/IO/Unlift.hs --- old/unliftio-core-0.1.2.0/src/Control/Monad/IO/Unlift.hs 2018-08-27 20:11:52.000000000 +0200 +++ new/unliftio-core-0.2.0.1/src/Control/Monad/IO/Unlift.hs 2020-03-02 14:02:26.000000000 +0100 @@ -4,6 +4,7 @@ module Control.Monad.IO.Unlift ( MonadUnliftIO (..) , UnliftIO (..) + , askUnliftIO , askRunInIO , withUnliftIO , toIO @@ -41,48 +42,26 @@ -- -- * @unliftIO u (m >>= f) = unliftIO u m >>= unliftIO u . f@ -- --- The third is a currently nameless law which ensures that the --- current context is preserved. +-- Instances of @MonadUnliftIO@ must also satisfy the idempotency law: -- --- * @askUnliftIO >>= (\u -> liftIO (unliftIO u m)) = m@ +-- * @askUnliftIO >>= \\u -> (liftIO . unliftIO u) m = m@ -- --- If you have a name for this, please submit it in a pull request for --- great glory. +-- This law showcases two properties. First, 'askUnliftIO' doesn't change +-- the monadic context, and second, @liftIO . unliftIO u@ is equivalent to +-- @id@ IF called in the same monadic context as 'askUnliftIO'. -- -- @since 0.1.0.0 class MonadIO m => MonadUnliftIO m where - {-# MINIMAL askUnliftIO | withRunInIO #-} - -- | Capture the current monadic context, providing the ability to - -- run monadic actions in 'IO'. - -- - -- See 'UnliftIO' for an explanation of why we need a helper - -- datatype here. - -- - -- @since 0.1.0.0 - askUnliftIO :: m (UnliftIO m) - askUnliftIO = withRunInIO (\run -> return (UnliftIO run)) - {-# INLINE askUnliftIO #-} - -- Would be better, but GHC hates us - -- askUnliftIO :: m (forall a. m a -> IO a) - -- | Convenience function for capturing the monadic context and running an 'IO' -- action with a runner function. The runner function is used to run a monadic -- action @m@ in @IO@. -- -- @since 0.1.0.0 - {-# INLINE withRunInIO #-} withRunInIO :: ((forall a. m a -> IO a) -> IO b) -> m b - withRunInIO inner = askUnliftIO >>= \u -> liftIO (inner (unliftIO u)) instance MonadUnliftIO IO where - {-# INLINE askUnliftIO #-} - askUnliftIO = return (UnliftIO id) {-# INLINE withRunInIO #-} withRunInIO inner = inner id instance MonadUnliftIO m => MonadUnliftIO (ReaderT r m) where - {-# INLINE askUnliftIO #-} - askUnliftIO = ReaderT $ \r -> - withUnliftIO $ \u -> - return (UnliftIO (unliftIO u . flip runReaderT r)) {-# INLINE withRunInIO #-} withRunInIO inner = ReaderT $ \r -> @@ -90,16 +69,30 @@ inner (run . flip runReaderT r) instance MonadUnliftIO m => MonadUnliftIO (IdentityT m) where - {-# INLINE askUnliftIO #-} - askUnliftIO = IdentityT $ - withUnliftIO $ \u -> - return (UnliftIO (unliftIO u . runIdentityT)) {-# INLINE withRunInIO #-} withRunInIO inner = IdentityT $ withRunInIO $ \run -> inner (run . runIdentityT) +-- | Capture the current monadic context, providing the ability to +-- run monadic actions in 'IO'. +-- +-- See 'UnliftIO' for an explanation of why we need a helper +-- datatype here. +-- +-- Prior to version 0.2.0.0 of this library, this was a method in the +-- 'MonadUnliftIO' type class. It was moved out due to +-- <https://github.com/fpco/unliftio/issues/55>. +-- +-- @since 0.1.0.0 +askUnliftIO :: MonadUnliftIO m => m (UnliftIO m) +askUnliftIO = withRunInIO (\run -> return (UnliftIO run)) +{-# INLINE askUnliftIO #-} +-- Would be better, but GHC hates us +-- askUnliftIO :: m (forall a. m a -> IO a) + + -- | Same as 'askUnliftIO', but returns a monomorphic function -- instead of a polymorphic newtype wrapper. If you only need to apply -- the transformation on one concrete type, this function can be more diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/unliftio-core-0.1.2.0/unliftio-core.cabal new/unliftio-core-0.2.0.1/unliftio-core.cabal --- old/unliftio-core-0.1.2.0/unliftio-core.cabal 2018-08-28 09:16:03.000000000 +0200 +++ new/unliftio-core-0.2.0.1/unliftio-core.cabal 2020-03-02 14:17:55.000000000 +0100 @@ -1,35 +1,35 @@ -cabal-version: >= 1.10 +cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.29.6. +-- This file has been generated from package.yaml by hpack version 0.33.0. -- -- see: https://github.com/sol/hpack -- --- hash: 9dda29b2ae88c7aba738c44b9efa373de55a416be845a7bf888fc8c108166fed +-- hash: 9cae5ca1af8760786d8e586fd9b1ed7e329f13f4ec8a3d0aee62818b25038c1f name: unliftio-core -version: 0.1.2.0 +version: 0.2.0.1 synopsis: The MonadUnliftIO typeclass for unlifting monads to IO description: Please see the documentation and README at <https://www.stackage.org/package/unliftio-core> category: Control homepage: https://github.com/fpco/unliftio/tree/master/unliftio-core#readme author: Michael Snoyman, Francesco Mazzoli maintainer: mich...@snoyman.com -copyright: 2017 FP Complete +copyright: 2017-2020 FP Complete license: MIT license-file: LICENSE build-type: Simple extra-source-files: - ChangeLog.md README.md + ChangeLog.md library - hs-source-dirs: - src - build-depends: - base >=4.5 && <4.12 - , transformers >=0.2 && <0.6 exposed-modules: Control.Monad.IO.Unlift other-modules: Paths_unliftio_core + hs-source-dirs: + src + build-depends: + base >=4.5 && <4.14 + , transformers >=0.2 && <0.6 default-language: Haskell2010 ++++++ unliftio-core.cabal ++++++ --- /var/tmp/diff_new_pack.F524nz/_old 2020-05-21 12:58:58.526747497 +0200 +++ /var/tmp/diff_new_pack.F524nz/_new 2020-05-21 12:58:58.530747505 +0200 @@ -1,36 +1,36 @@ -cabal-version: >= 1.10 +cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.29.6. +-- This file has been generated from package.yaml by hpack version 0.33.0. -- -- see: https://github.com/sol/hpack -- --- hash: 9dda29b2ae88c7aba738c44b9efa373de55a416be845a7bf888fc8c108166fed +-- hash: 9cae5ca1af8760786d8e586fd9b1ed7e329f13f4ec8a3d0aee62818b25038c1f name: unliftio-core -version: 0.1.2.0 -x-revision: 2 +version: 0.2.0.1 +x-revision: 1 synopsis: The MonadUnliftIO typeclass for unlifting monads to IO description: Please see the documentation and README at <https://www.stackage.org/package/unliftio-core> category: Control homepage: https://github.com/fpco/unliftio/tree/master/unliftio-core#readme author: Michael Snoyman, Francesco Mazzoli maintainer: mich...@snoyman.com -copyright: 2017 FP Complete +copyright: 2017-2020 FP Complete license: MIT license-file: LICENSE build-type: Simple extra-source-files: - ChangeLog.md README.md + ChangeLog.md library - hs-source-dirs: - src - build-depends: - base >=4.5 && <4.14 - , transformers >=0.2 && <0.6 exposed-modules: Control.Monad.IO.Unlift other-modules: Paths_unliftio_core + hs-source-dirs: + src + build-depends: + base >=4.5 && < 10 + , transformers >=0.2 && <0.6 default-language: Haskell2010
