Hello community, here is the log from the commit of package ghc-constraints for openSUSE:Factory checked in at 2019-10-18 14:34:02 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ghc-constraints (Old) and /work/SRC/openSUSE:Factory/.ghc-constraints.new.2352 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Package is "ghc-constraints" Fri Oct 18 14:34:02 2019 rev:5 rq:737198 version:0.11.2 Changes: -------- --- /work/SRC/openSUSE:Factory/ghc-constraints/ghc-constraints.changes 2019-08-29 17:20:40.315335927 +0200 +++ /work/SRC/openSUSE:Factory/.ghc-constraints.new.2352/ghc-constraints.changes 2019-10-18 14:34:04.228139851 +0200 @@ -1,0 +2,10 @@ +Sat Sep 7 02:01:41 UTC 2019 - psimons@suse.com + +- Update constraints to version 0.11.2. + 0.11.2 [2019.09.06] + ------------------- + * Depend on the `type-equality` compatibility library so that `(:~~:)` may be + used when compiling this library with GHC 8.0. This avoids having to redefine + `(:~~:)` directly in the internals of `constraints` itself. + +------------------------------------------------------------------- Old: ---- constraints-0.11.1.tar.gz New: ---- constraints-0.11.2.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ghc-constraints.spec ++++++ --- /var/tmp/diff_new_pack.vcJZc1/_old 2019-10-18 14:34:04.768138445 +0200 +++ /var/tmp/diff_new_pack.vcJZc1/_new 2019-10-18 14:34:04.776138424 +0200 @@ -19,7 +19,7 @@ %global pkg_name constraints %bcond_with tests Name: ghc-%{pkg_name} -Version: 0.11.1 +Version: 0.11.2 Release: 0 Summary: Constraint manipulation License: BSD-2-Clause @@ -35,6 +35,7 @@ BuildRequires: ghc-semigroups-devel BuildRequires: ghc-transformers-compat-devel BuildRequires: ghc-transformers-devel +BuildRequires: ghc-type-equality-devel %if %{with tests} BuildRequires: ghc-hspec-devel %endif ++++++ constraints-0.11.1.tar.gz -> constraints-0.11.2.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/constraints-0.11.1/CHANGELOG.markdown new/constraints-0.11.2/CHANGELOG.markdown --- old/constraints-0.11.1/CHANGELOG.markdown 2001-09-09 03:46:40.000000000 +0200 +++ new/constraints-0.11.2/CHANGELOG.markdown 2001-09-09 03:46:40.000000000 +0200 @@ -1,3 +1,9 @@ +0.11.2 [2019.09.06] +------------------- +* Depend on the `type-equality` compatibility library so that `(:~~:)` may be + used when compiling this library with GHC 8.0. This avoids having to redefine + `(:~~:)` directly in the internals of `constraints` itself. + 0.11.1 [2019.08.27] ------------------- * Make `Data.Constraint.Deferrable.UnsatisfiedConstraint` a newtype. diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/constraints-0.11.1/constraints.cabal new/constraints-0.11.2/constraints.cabal --- old/constraints-0.11.1/constraints.cabal 2001-09-09 03:46:40.000000000 +0200 +++ new/constraints-0.11.2/constraints.cabal 2001-09-09 03:46:40.000000000 +0200 @@ -1,6 +1,6 @@ name: constraints category: Constraints -version: 0.11.1 +version: 0.11.2 license: BSD2 cabal-version: >= 1.10 license-file: LICENSE @@ -56,7 +56,8 @@ mtl >= 2.1.2 && < 2.3, semigroups >= 0.17 && < 0.20, transformers >= 0.3.0.0 && < 0.6, - transformers-compat >= 0.5 && < 1 + transformers-compat >= 0.5 && < 1, + type-equality >= 1 && < 2 exposed-modules: Data.Constraint diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/constraints-0.11.1/src/Data/Constraint/Deferrable.hs new/constraints-0.11.2/src/Data/Constraint/Deferrable.hs --- old/constraints-0.11.1/src/Data/Constraint/Deferrable.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/constraints-0.11.2/src/Data/Constraint/Deferrable.hs 2001-09-09 03:46:40.000000000 +0200 @@ -49,10 +49,7 @@ #if __GLASGOW_HASKELL__ >= 800 import GHC.Types (type (~~)) -#endif - -#if __GLASGOW_HASKELL__ >= 801 -import Data.Type.Equality ((:~~:)(HRefl)) +import Data.Type.Equality.Hetero ((:~~:)(HRefl)) #endif newtype UnsatisfiedConstraint = UnsatisfiedConstraint String @@ -86,16 +83,6 @@ deferEither_ r = deferEither @p Proxy r #endif -#if __GLASGOW_HASKELL__ >= 800 && __GLASGOW_HASKELL__ < 801 --- | Kind heterogeneous propositional equality. Like '(:~:)', @a :~~: b@ is --- inhabited by a terminating value if and only if @a@ is the same type as @b@. --- --- Only available on GHC 8.0 or later. -data (a :: i) :~~: (b :: j) where - HRefl :: a :~~: a - deriving Typeable -#endif - showTypeRep :: Typeable t => Proxy t -> String showTypeRep = show . typeRep diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/constraints-0.11.1/src/Data/Constraint.hs new/constraints-0.11.2/src/Data/Constraint.hs --- old/constraints-0.11.1/src/Data/Constraint.hs 2001-09-09 03:46:40.000000000 +0200 +++ new/constraints-0.11.2/src/Data/Constraint.hs 2001-09-09 03:46:40.000000000 +0200 @@ -105,8 +105,11 @@ #endif import Data.Coerce (Coercible) import Data.Type.Coercion(Coercion(..)) -#if MIN_VERSION_base(4,10,0) +#if MIN_VERSION_base(4,9,0) import Data.Type.Equality (type (~~)) +import qualified Data.Type.Equality.Hetero as Hetero +#endif +#if MIN_VERSION_base(4,10,0) import Type.Reflection (TypeRep, typeRepKind, withTypeable) #endif @@ -170,10 +173,12 @@ instance HasDict (a ~ b) (a :~: b) where evidence Refl = Dict -#if MIN_VERSION_base(4,10,0) -instance HasDict (a ~~ b) (a :~~: b) where - evidence HRefl = Dict +#if MIN_VERSION_base(4,9,0) +instance HasDict (a ~~ b) (a Hetero.:~~: b) where + evidence Hetero.HRefl = Dict +#endif +#if MIN_VERSION_base(4,10,0) instance HasDict (Typeable k, Typeable a) (TypeRep (a :: k)) where evidence tr = withTypeable tr $ withTypeable (typeRepKind tr) Dict #endif