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-12-19 17:34:28
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/ghc-constraints (Old)
and /work/SRC/openSUSE:Factory/.ghc-constraints.new.2520 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ghc-constraints"
Sun Dec 19 17:34:28 2021 rev:13 rq:933322 version:0.13.2
Changes:
--------
--- /work/SRC/openSUSE:Factory/ghc-constraints/ghc-constraints.changes
2021-11-11 21:36:30.368892334 +0100
+++
/work/SRC/openSUSE:Factory/.ghc-constraints.new.2520/ghc-constraints.changes
2021-12-19 17:34:42.864276684 +0100
@@ -1,0 +2,14 @@
+Tue Nov 16 19:51:32 UTC 2021 - [email protected]
+
+- Update constraints to version 0.13.2 revision 1.
+ Upstream has revised the Cabal build instructions on Hackage.
+
+-------------------------------------------------------------------
+Thu Nov 11 12:32:20 UTC 2021 - [email protected]
+
+- Update constraints to version 0.13.2.
+ 0.13.2 [2021.11.10]
+ -------------------
+ * Allow building on GHC HEAD.
+
+-------------------------------------------------------------------
Old:
----
constraints-0.13.1.tar.gz
New:
----
constraints-0.13.2.tar.gz
constraints.cabal
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ ghc-constraints.spec ++++++
--- /var/tmp/diff_new_pack.BkGeZu/_old 2021-12-19 17:34:43.384277050 +0100
+++ /var/tmp/diff_new_pack.BkGeZu/_new 2021-12-19 17:34:43.392277056 +0100
@@ -19,12 +19,13 @@
%global pkg_name constraints
%bcond_with tests
Name: ghc-%{pkg_name}
-Version: 0.13.1
+Version: 0.13.2
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
@@ -57,6 +58,7 @@
%prep
%autosetup -n %{pkg_name}-%{version}
+cp -p %{SOURCE1} %{pkg_name}.cabal
%build
%ghc_lib_build
++++++ constraints-0.13.1.tar.gz -> constraints-0.13.2.tar.gz ++++++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/constraints-0.13.1/CHANGELOG.markdown
new/constraints-0.13.2/CHANGELOG.markdown
--- old/constraints-0.13.1/CHANGELOG.markdown 2001-09-09 03:46:40.000000000
+0200
+++ new/constraints-0.13.2/CHANGELOG.markdown 2001-09-09 03:46:40.000000000
+0200
@@ -1,3 +1,7 @@
+0.13.2 [2021.11.10]
+-------------------
+* Allow building on GHC HEAD.
+
0.13.1 [2021.10.31]
-------------------
* Allow building with GHC 9.2.
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/constraints-0.13.1/constraints.cabal
new/constraints-0.13.2/constraints.cabal
--- old/constraints-0.13.1/constraints.cabal 2001-09-09 03:46:40.000000000
+0200
+++ new/constraints-0.13.2/constraints.cabal 2001-09-09 03:46:40.000000000
+0200
@@ -1,6 +1,6 @@
name: constraints
category: Constraints
-version: 0.13.1
+version: 0.13.2
license: BSD2
cabal-version: >= 1.10
license-file: LICENSE
@@ -55,7 +55,7 @@
binary >= 0.7.1 && < 0.9,
deepseq >= 1.3 && < 1.5,
ghc-prim,
- hashable >= 1.2 && < 1.4,
+ hashable >= 1.2 && < 1.5,
mtl >= 2.1.2 && < 2.3,
transformers >= 0.3.0.0 && < 0.6,
transformers-compat >= 0.5 && < 1,
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/constraints-0.13.1/src/Data/Constraint/Nat.hs
new/constraints-0.13.2/src/Data/Constraint/Nat.hs
--- old/constraints-0.13.1/src/Data/Constraint/Nat.hs 2001-09-09
03:46:40.000000000 +0200
+++ new/constraints-0.13.2/src/Data/Constraint/Nat.hs 2001-09-09
03:46:40.000000000 +0200
@@ -74,8 +74,8 @@
magic :: forall n m o. (Integer -> Integer -> Integer) -> (KnownNat n,
KnownNat m) :- KnownNat o
magic f = Sub $ unsafeCoerce (Magic Dict) (natVal (Proxy :: Proxy n) `f`
natVal (Proxy :: Proxy m))
-axiom :: forall a b. Dict (a ~ b)
-axiom = unsafeCoerce (Dict :: Dict (a ~ a))
+axiom :: Dict c
+axiom = unsafeCoerce (Dict :: Dict ())
axiomLe :: forall (a :: Nat) (b :: Nat). Dict (a <= b)
axiomLe = axiom
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/constraints-0.13.1/src/Data/Constraint/Symbol.hs
new/constraints-0.13.2/src/Data/Constraint/Symbol.hs
--- old/constraints-0.13.1/src/Data/Constraint/Symbol.hs 2001-09-09
03:46:40.000000000 +0200
+++ new/constraints-0.13.2/src/Data/Constraint/Symbol.hs 2001-09-09
03:46:40.000000000 +0200
@@ -68,8 +68,8 @@
magicSN :: forall a n. (String -> Int) -> KnownSymbol a :- KnownNat n
magicSN f = Sub $ unsafeCoerce (Magic Dict) (toInteger (f (symbolVal (Proxy ::
Proxy a))))
-axiom :: forall a b. Dict (a ~ b)
-axiom = unsafeCoerce (Dict :: Dict (a ~ a))
+axiom :: Dict c
+axiom = unsafeCoerce (Dict :: Dict ())
-- axioms and operations
++++++ constraints.cabal ++++++
name: constraints
category: Constraints
version: 0.13.2
x-revision: 1
license: BSD2
cabal-version: >= 1.10
license-file: LICENSE
author: Edward A. Kmett
maintainer: Edward A. Kmett <[email protected]>
stability: experimental
homepage: http://github.com/ekmett/constraints/
bug-reports: http://github.com/ekmett/constraints/issues
copyright: Copyright (C) 2011-2015 Edward A. Kmett
synopsis: Constraint manipulation
description:
GHC 7.4 gave us the ability to talk about @ConstraintKinds@. They stopped
crashing the compiler in GHC 7.6.
.
This package provides a vocabulary for working with them.
build-type: Simple
tested-with: GHC == 7.8.4
, GHC == 7.10.3
, GHC == 8.0.2
, GHC == 8.2.2
, GHC == 8.4.4
, GHC == 8.6.5
, GHC == 8.8.4
, GHC == 8.10.7
, GHC == 9.0.1
, GHC == 9.2.1
extra-source-files: README.markdown
, CHANGELOG.markdown
source-repository head
type: git
location: git://github.com/ekmett/constraints.git
library
hs-source-dirs: src
default-language: Haskell2010
other-extensions:
FunctionalDependencies,
ScopedTypeVariables,
StandaloneDeriving,
FlexibleInstances,
FlexibleContexts,
ConstraintKinds,
KindSignatures,
TypeOperators,
Rank2Types,
GADTs
build-depends:
base >= 4.7 && < 5,
binary >= 0.7.1 && < 0.9,
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,
transformers-compat >= 0.5 && < 1,
type-equality >= 1 && < 2
if impl(ghc < 8.0)
build-depends: semigroups >= 0.17 && < 0.21
exposed-modules:
Data.Constraint
Data.Constraint.Deferrable
Data.Constraint.Forall
Data.Constraint.Lifting
Data.Constraint.Unsafe
if impl(ghc >= 8)
exposed-modules:
Data.Constraint.Nat
Data.Constraint.Symbol
ghc-options: -Wall
if impl(ghc >= 8.6)
ghc-options: -Wno-star-is-type
test-suite spec
type: exitcode-stdio-1.0
default-language: Haskell2010
hs-source-dirs: tests
main-is: Spec.hs
other-modules: GH55Spec
ghc-options: -Wall -threaded -rtsopts
build-tool-depends: hspec-discover:hspec-discover >= 2
build-depends:
base >= 4.7 && < 5,
constraints,
hspec >= 2
