Script 'mail_helper' called by obssrc
Hello community,
here is the log from the commit of package ghc-constraints for openSUSE:Factory
checked in at 2022-02-11 23:08:43
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/ghc-constraints (Old)
and /work/SRC/openSUSE:Factory/.ghc-constraints.new.1956 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-constraints"
Fri Feb 11 23:08:43 2022 rev:14 rq:953447 version:0.13.3
Changes:
--------
--- /work/SRC/openSUSE:Factory/ghc-constraints/ghc-constraints.changes
2021-12-19 17:34:42.864276684 +0100
+++
/work/SRC/openSUSE:Factory/.ghc-constraints.new.1956/ghc-constraints.changes
2022-02-11 23:10:39.363162291 +0100
@@ -1,0 +2,8 @@
+Mon Jan 31 12:14:21 UTC 2022 - Peter Simons <[email protected]>
+
+- Update constraints to version 0.13.3.
+ 0.13.3 [2022.01.31]
+ -------------------
+ * Allow building with `transformers-0.6.*` and `mtl-2.3.*`.
+
+-------------------------------------------------------------------
Old:
----
constraints-0.13.2.tar.gz
constraints.cabal
New:
----
constraints-0.13.3.tar.gz
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ ghc-constraints.spec ++++++
--- /var/tmp/diff_new_pack.dgThpN/_old 2022-02-11 23:10:39.767163460 +0100
+++ /var/tmp/diff_new_pack.dgThpN/_new 2022-02-11 23:10:39.771163472 +0100
@@ -1,7 +1,7 @@
#
# spec file for package ghc-constraints
#
-# Copyright (c) 2021 SUSE LLC
+# Copyright (c) 2022 SUSE LLC
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -19,13 +19,12 @@
%global pkg_name constraints
%bcond_with tests
Name: ghc-%{pkg_name}
-Version: 0.13.2
+Version: 0.13.3
Release: 0
Summary: Constraint manipulation
License: BSD-2-Clause
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/1.cabal#/%{pkg_name}.cabal
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-binary-devel
BuildRequires: ghc-deepseq-devel
@@ -58,7 +57,6 @@
%prep
%autosetup -n %{pkg_name}-%{version}
-cp -p %{SOURCE1} %{pkg_name}.cabal
%build
%ghc_lib_build
++++++ constraints-0.13.2.tar.gz -> constraints-0.13.3.tar.gz ++++++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/constraints-0.13.2/CHANGELOG.markdown
new/constraints-0.13.3/CHANGELOG.markdown
--- old/constraints-0.13.2/CHANGELOG.markdown 2001-09-09 03:46:40.000000000
+0200
+++ new/constraints-0.13.3/CHANGELOG.markdown 2001-09-09 03:46:40.000000000
+0200
@@ -1,3 +1,7 @@
+0.13.3 [2022.01.31]
+-------------------
+* Allow building with `transformers-0.6.*` and `mtl-2.3.*`.
+
0.13.2 [2021.11.10]
-------------------
* Allow building on GHC HEAD.
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/constraints-0.13.2/constraints.cabal
new/constraints-0.13.3/constraints.cabal
--- old/constraints-0.13.2/constraints.cabal 2001-09-09 03:46:40.000000000
+0200
+++ new/constraints-0.13.3/constraints.cabal 2001-09-09 03:46:40.000000000
+0200
@@ -1,6 +1,6 @@
name: constraints
category: Constraints
-version: 0.13.2
+version: 0.13.3
license: BSD2
cabal-version: >= 1.10
license-file: LICENSE
@@ -25,7 +25,7 @@
, GHC == 8.6.5
, GHC == 8.8.4
, GHC == 8.10.7
- , GHC == 9.0.1
+ , GHC == 9.0.2
, GHC == 9.2.1
extra-source-files: README.markdown
, CHANGELOG.markdown
@@ -56,12 +56,12 @@
deepseq >= 1.3 && < 1.5,
ghc-prim,
hashable >= 1.2 && < 1.5,
- mtl >= 2.1.2 && < 2.3,
- transformers >= 0.3.0.0 && < 0.6,
+ mtl >= 2.1.2 && < 2.4,
+ transformers >= 0.3.0.0 && < 0.7,
transformers-compat >= 0.5 && < 1,
type-equality >= 1 && < 2
if impl(ghc < 8.0)
- build-depends: semigroups >= 0.17 && < 0.20
+ build-depends: semigroups >= 0.17 && < 0.21
exposed-modules:
Data.Constraint
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/constraints-0.13.2/src/Data/Constraint/Lifting.hs
new/constraints-0.13.3/src/Data/Constraint/Lifting.hs
--- old/constraints-0.13.2/src/Data/Constraint/Lifting.hs 2001-09-09
03:46:40.000000000 +0200
+++ new/constraints-0.13.3/src/Data/Constraint/Lifting.hs 2001-09-09
03:46:40.000000000 +0200
@@ -8,7 +8,9 @@
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
+#if !(MIN_VERSION_transformers(0,6,0))
{-# OPTIONS_GHC -fno-warn-deprecations #-}
+#endif
module Data.Constraint.Lifting
( Lifting(..)
, Lifting2(..)
@@ -25,10 +27,8 @@
import Control.Monad.IO.Class
import Control.Monad.RWS.Class
import Control.Monad.Trans.Cont
-import Control.Monad.Trans.Error
import Control.Monad.Trans.Except
import Control.Monad.Trans.Identity
-import Control.Monad.Trans.List
import Control.Monad.Trans.Maybe
import Control.Monad.Trans.Reader
import Control.Monad.Trans.RWS.Lazy as Lazy
@@ -37,6 +37,10 @@
import Control.Monad.Trans.State.Strict as Strict
import Control.Monad.Trans.Writer.Lazy as Lazy
import Control.Monad.Trans.Writer.Strict as Strict
+#if !(MIN_VERSION_transformers(0,6,0))
+import Control.Monad.Trans.Error
+import Control.Monad.Trans.List
+#endif
import Data.Binary
import Data.Complex
import Data.Constraint
@@ -199,22 +203,6 @@
instance Lifting MonadFix (ReaderT e) where lifting = Sub Dict
instance Lifting MonadIO (ReaderT e) where lifting = Sub Dict
-instance Lifting Functor (ErrorT e) where lifting = Sub Dict
-instance Lifting Foldable (ErrorT e) where lifting = Sub Dict
-instance Lifting Traversable (ErrorT e) where lifting = Sub Dict
-instance Error e => Lifting Monad (ErrorT e) where lifting = Sub Dict
-instance Error e => Lifting MonadFix (ErrorT e) where lifting = Sub Dict
-instance Error e => Lifting MonadPlus (ErrorT e) where lifting = Sub Dict --
overconstrained!
-instance Error e => Lifting MonadIO (ErrorT e) where lifting = Sub Dict
-instance Show e => Lifting Show1 (ErrorT e) where lifting = Sub Dict
-instance Eq e => Lifting Eq1 (ErrorT e) where lifting = Sub Dict
-instance Ord e => Lifting Ord1 (ErrorT e) where lifting = Sub Dict
-instance Read e => Lifting Read1 (ErrorT e) where lifting = Sub Dict
-instance (Show e, Show1 m) => Lifting Show (ErrorT e m) where lifting = Sub
Dict
-instance (Eq e, Eq1 m) => Lifting Eq (ErrorT e m) where lifting = Sub Dict
-instance (Ord e, Ord1 m) => Lifting Ord (ErrorT e m) where lifting = Sub Dict
-instance (Read e, Read1 m) => Lifting Read (ErrorT e m) where lifting = Sub
Dict
-
instance Lifting Functor (ExceptT e) where lifting = Sub Dict
instance Lifting Foldable (ExceptT e) where lifting = Sub Dict
instance Lifting Traversable (ExceptT e) where lifting = Sub Dict
@@ -290,24 +278,6 @@
instance Ord1 m => Lifting Ord (IdentityT m) where lifting = Sub Dict
instance Eq1 m => Lifting Eq (IdentityT m) where lifting = Sub Dict
-instance Lifting Functor ListT where lifting = Sub Dict
-instance Lifting Applicative ListT where lifting = Sub Dict
-instance Lifting Alternative ListT where lifting = Sub Dict -- overconstrained
-instance Lifting Monad ListT where lifting = Sub Dict
--- instance Lifting MonadFix ListT where lifting = Sub Dict
-instance Lifting MonadPlus ListT where lifting = Sub Dict -- overconstrained
-instance Lifting Foldable ListT where lifting = Sub Dict
-instance Lifting Traversable ListT where lifting = Sub Dict
-instance Lifting MonadIO ListT where lifting = Sub Dict
-instance Lifting Show1 ListT where lifting = Sub Dict
-instance Lifting Read1 ListT where lifting = Sub Dict
-instance Lifting Ord1 ListT where lifting = Sub Dict
-instance Lifting Eq1 ListT where lifting = Sub Dict
-instance Show1 m => Lifting Show (ListT m) where lifting = Sub Dict
-instance Read1 m => Lifting Read (ListT m) where lifting = Sub Dict
-instance Ord1 m => Lifting Ord (ListT m) where lifting = Sub Dict
-instance Eq1 m => Lifting Eq (ListT m) where lifting = Sub Dict
-
instance Lifting Functor MaybeT where lifting = Sub Dict
instance Lifting Monad MaybeT where lifting = Sub Dict
-- instance Lifting MonadFix MaybeT where lifting = Sub Dict
@@ -372,11 +342,9 @@
instance Lifting Read Identity where lifting = Sub Dict
instance Lifting MonadCont MaybeT where lifting = Sub Dict
-instance Lifting MonadCont ListT where lifting = Sub Dict
instance Lifting MonadCont IdentityT where lifting = Sub Dict
instance Monoid w => Lifting MonadCont (Strict.WriterT w) where lifting = Sub
Dict
instance Monoid w => Lifting MonadCont (Lazy.WriterT w) where lifting = Sub
Dict
-instance Error e => Lifting MonadCont (ErrorT e) where lifting = Sub Dict
instance Lifting MonadCont (ExceptT w) where lifting = Sub Dict
instance Lifting MonadCont (Strict.StateT s) where lifting = Sub Dict
instance Lifting MonadCont (Lazy.StateT s) where lifting = Sub Dict
@@ -385,7 +353,6 @@
instance Monoid w => Lifting MonadCont (Lazy.RWST r w s) where lifting = Sub
Dict
instance Lifting (MonadError e) MaybeT where lifting = Sub Dict
-instance Lifting (MonadError e) ListT where lifting = Sub Dict
instance Lifting (MonadError e) IdentityT where lifting = Sub Dict
instance Monoid w => Lifting (MonadError e) (Strict.WriterT w) where lifting =
Sub Dict
instance Monoid w => Lifting (MonadError e) (Lazy.WriterT w) where lifting =
Sub Dict
@@ -397,30 +364,69 @@
instance Lifting (MonadRWS r w s) MaybeT where lifting = Sub Dict
instance Lifting (MonadRWS r w s) IdentityT where lifting = Sub Dict
-instance Error e => Lifting (MonadRWS r w s) (ErrorT e) where lifting = Sub
Dict
instance Lifting (MonadRWS r w s) (ExceptT e) where lifting = Sub Dict
instance Lifting (MonadReader r) MaybeT where lifting = Sub Dict
-instance Lifting (MonadReader r) ListT where lifting = Sub Dict
instance Lifting (MonadReader r) IdentityT where lifting = Sub Dict
instance Monoid w => Lifting (MonadReader r) (Strict.WriterT w) where lifting
= Sub Dict
instance Monoid w => Lifting (MonadReader r) (Lazy.WriterT w) where lifting =
Sub Dict
instance Lifting (MonadReader r) (Strict.StateT s) where lifting = Sub Dict
instance Lifting (MonadReader r) (Lazy.StateT s) where lifting = Sub Dict
instance Lifting (MonadReader r) (ExceptT e) where lifting = Sub Dict
-instance Error e => Lifting (MonadReader r) (ErrorT e) where lifting = Sub Dict
instance Lifting (MonadReader r) (ContT r') where lifting = Sub Dict
instance Lifting (MonadState s) MaybeT where lifting = Sub Dict
-instance Lifting (MonadState s) ListT where lifting = Sub Dict
instance Lifting (MonadState s) IdentityT where lifting = Sub Dict
instance Monoid w => Lifting (MonadState s) (Strict.WriterT w) where lifting =
Sub Dict
instance Monoid w => Lifting (MonadState s) (Lazy.WriterT w) where lifting =
Sub Dict
instance Lifting (MonadState s) (ReaderT r) where lifting = Sub Dict
instance Lifting (MonadState s) (ExceptT e) where lifting = Sub Dict
-instance Error e => Lifting (MonadState s) (ErrorT e) where lifting = Sub Dict
instance Lifting (MonadState s) (ContT r') where lifting = Sub Dict
+#if !(MIN_VERSION_transformers(0,6,0))
+instance Lifting Functor (ErrorT e) where lifting = Sub Dict
+instance Lifting Foldable (ErrorT e) where lifting = Sub Dict
+instance Lifting Traversable (ErrorT e) where lifting = Sub Dict
+instance Error e => Lifting Monad (ErrorT e) where lifting = Sub Dict
+instance Error e => Lifting MonadFix (ErrorT e) where lifting = Sub Dict
+instance Error e => Lifting MonadPlus (ErrorT e) where lifting = Sub Dict --
overconstrained!
+instance Error e => Lifting MonadIO (ErrorT e) where lifting = Sub Dict
+instance Show e => Lifting Show1 (ErrorT e) where lifting = Sub Dict
+instance Eq e => Lifting Eq1 (ErrorT e) where lifting = Sub Dict
+instance Ord e => Lifting Ord1 (ErrorT e) where lifting = Sub Dict
+instance Read e => Lifting Read1 (ErrorT e) where lifting = Sub Dict
+instance (Show e, Show1 m) => Lifting Show (ErrorT e m) where lifting = Sub
Dict
+instance (Eq e, Eq1 m) => Lifting Eq (ErrorT e m) where lifting = Sub Dict
+instance (Ord e, Ord1 m) => Lifting Ord (ErrorT e m) where lifting = Sub Dict
+instance (Read e, Read1 m) => Lifting Read (ErrorT e m) where lifting = Sub
Dict
+instance Error e => Lifting MonadCont (ErrorT e) where lifting = Sub Dict
+instance Error e => Lifting (MonadRWS r w s) (ErrorT e) where lifting = Sub
Dict
+instance Error e => Lifting (MonadReader r) (ErrorT e) where lifting = Sub Dict
+instance Error e => Lifting (MonadState s) (ErrorT e) where lifting = Sub Dict
+
+instance Lifting Functor ListT where lifting = Sub Dict
+instance Lifting Applicative ListT where lifting = Sub Dict
+instance Lifting Alternative ListT where lifting = Sub Dict -- overconstrained
+instance Lifting Monad ListT where lifting = Sub Dict
+-- instance Lifting MonadFix ListT where lifting = Sub Dict
+instance Lifting MonadPlus ListT where lifting = Sub Dict -- overconstrained
+instance Lifting Foldable ListT where lifting = Sub Dict
+instance Lifting Traversable ListT where lifting = Sub Dict
+instance Lifting MonadIO ListT where lifting = Sub Dict
+instance Lifting Show1 ListT where lifting = Sub Dict
+instance Lifting Read1 ListT where lifting = Sub Dict
+instance Lifting Ord1 ListT where lifting = Sub Dict
+instance Lifting Eq1 ListT where lifting = Sub Dict
+instance Show1 m => Lifting Show (ListT m) where lifting = Sub Dict
+instance Read1 m => Lifting Read (ListT m) where lifting = Sub Dict
+instance Ord1 m => Lifting Ord (ListT m) where lifting = Sub Dict
+instance Eq1 m => Lifting Eq (ListT m) where lifting = Sub Dict
+instance Lifting MonadCont ListT where lifting = Sub Dict
+instance Lifting (MonadError e) ListT where lifting = Sub Dict
+instance Lifting (MonadReader r) ListT where lifting = Sub Dict
+instance Lifting (MonadState s) ListT where lifting = Sub Dict
+#endif
+
class Lifting2 p f where
lifting2 :: p a :- Lifting p (f a) -- (p a, p b) :- p (f a b)
