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 - psim...@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
