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 2021-11-11 21:36:21
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/ghc-constraints (Old)
and /work/SRC/openSUSE:Factory/.ghc-constraints.new.1890 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-constraints"
Thu Nov 11 21:36:21 2021 rev:12 rq:930319 version:0.13.1
Changes:
--------
--- /work/SRC/openSUSE:Factory/ghc-constraints/ghc-constraints.changes
2021-03-10 08:56:41.110853675 +0100
+++
/work/SRC/openSUSE:Factory/.ghc-constraints.new.1890/ghc-constraints.changes
2021-11-11 21:36:30.368892334 +0100
@@ -1,0 +2,14 @@
+Mon Nov 1 08:24:20 UTC 2021 - [email protected]
+
+- Update constraints to version 0.13.1.
+ 0.13.1 [2021.10.31]
+ -------------------
+ * Allow building with GHC 9.2.
+
+-------------------------------------------------------------------
+Tue Oct 19 07:21:55 UTC 2021 - [email protected]
+
+- Update constraints to version 0.13 revision 1.
+ Upstream has revised the Cabal build instructions on Hackage.
+
+-------------------------------------------------------------------
Old:
----
constraints-0.13.tar.gz
New:
----
constraints-0.13.1.tar.gz
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ ghc-constraints.spec ++++++
--- /var/tmp/diff_new_pack.SyOS7h/_old 2021-11-11 21:36:31.000892795 +0100
+++ /var/tmp/diff_new_pack.SyOS7h/_new 2021-11-11 21:36:31.000892795 +0100
@@ -19,7 +19,7 @@
%global pkg_name constraints
%bcond_with tests
Name: ghc-%{pkg_name}
-Version: 0.13
+Version: 0.13.1
Release: 0
Summary: Constraint manipulation
License: BSD-2-Clause
++++++ constraints-0.13.tar.gz -> constraints-0.13.1.tar.gz ++++++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/constraints-0.13/CHANGELOG.markdown
new/constraints-0.13.1/CHANGELOG.markdown
--- old/constraints-0.13/CHANGELOG.markdown 2001-09-09 03:46:40.000000000
+0200
+++ new/constraints-0.13.1/CHANGELOG.markdown 2001-09-09 03:46:40.000000000
+0200
@@ -1,3 +1,7 @@
+0.13.1 [2021.10.31]
+-------------------
+* Allow building with GHC 9.2.
+
0.13 [2021.02.17]
-----------------
* `Data.Constraint.Symbol` now reexports the `GHC.TypeLits.AppendSymbol` type
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/constraints-0.13/constraints.cabal
new/constraints-0.13.1/constraints.cabal
--- old/constraints-0.13/constraints.cabal 2001-09-09 03:46:40.000000000
+0200
+++ new/constraints-0.13.1/constraints.cabal 2001-09-09 03:46:40.000000000
+0200
@@ -1,6 +1,6 @@
name: constraints
category: Constraints
-version: 0.13
+version: 0.13.1
license: BSD2
cabal-version: >= 1.10
license-file: LICENSE
@@ -23,8 +23,10 @@
, GHC == 8.2.2
, GHC == 8.4.4
, GHC == 8.6.5
- , GHC == 8.8.3
- , GHC == 8.10.1
+ , GHC == 8.8.4
+ , GHC == 8.10.7
+ , GHC == 9.0.1
+ , GHC == 9.2.1
extra-source-files: README.markdown
, CHANGELOG.markdown
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/constraints-0.13/src/Data/Constraint/Nat.hs
new/constraints-0.13.1/src/Data/Constraint/Nat.hs
--- old/constraints-0.13/src/Data/Constraint/Nat.hs 2001-09-09
03:46:40.000000000 +0200
+++ new/constraints-0.13.1/src/Data/Constraint/Nat.hs 2001-09-09
03:46:40.000000000 +0200
@@ -77,10 +77,10 @@
axiom :: forall a b. Dict (a ~ b)
axiom = unsafeCoerce (Dict :: Dict (a ~ a))
-axiomLe :: forall a b. Dict (a <= b)
+axiomLe :: forall (a :: Nat) (b :: Nat). Dict (a <= b)
axiomLe = axiom
-eqLe :: (a ~ b) :- (a <= b)
+eqLe :: forall (a :: Nat) (b :: Nat). (a ~ b) :- (a <= b)
eqLe = Sub Dict
dividesGcd :: forall a b c. (Divides a b, Divides a c) :- Divides a (Gcd b c)
@@ -150,10 +150,18 @@
timesOne = Dict
minZero :: forall n. Dict (Min n 0 ~ 0)
+#if MIN_VERSION_base(4,16,0)
+minZero = axiom
+#else
minZero = Dict
+#endif
maxZero :: forall n. Dict (Max n 0 ~ n)
+#if MIN_VERSION_base(4,16,0)
+maxZero = axiom
+#else
maxZero = Dict
+#endif
powZero :: forall n. Dict ((n ^ 0) ~ 1)
powZero = Dict
@@ -161,8 +169,12 @@
leZero :: forall a. (a <= 0) :- (a ~ 0)
leZero = Sub axiom
-zeroLe :: forall a. Dict (0 <= a)
+zeroLe :: forall (a :: Nat). Dict (0 <= a)
+#if MIN_VERSION_base(4,16,0)
+zeroLe = axiom
+#else
zeroLe = Dict
+#endif
plusMinusInverse1 :: forall n m. Dict (((m + n) - n) ~ m)
plusMinusInverse1 = axiom
@@ -346,11 +358,11 @@
-- (<=) is an internal category in the category of constraints.
-leId :: forall a. Dict (a <= a)
+leId :: forall (a :: Nat). Dict (a <= a)
leId = Dict
-leEq :: forall a b. (a <= b, b <= a) :- (a ~ b)
+leEq :: forall (a :: Nat) (b :: Nat). (a <= b, b <= a) :- (a ~ b)
leEq = Sub axiom
-leTrans :: forall a b c. (b <= c, a <= b) :- (a <= c)
+leTrans :: forall (a :: Nat) (b :: Nat) (c :: Nat). (b <= c, a <= b) :- (a <=
c)
leTrans = Sub (axiomLe @a @c)
