commit ghc-ghc-typelits-natnormalise for openSUSE:Factory

2017-09-15 Thread root 
Hello community,

here is the log from the commit of package ghc-ghc-typelits-natnormalise for 
openSUSE:Factory checked in at 2017-09-15 21:41:35

Comparing /work/SRC/openSUSE:Factory/ghc-ghc-typelits-natnormalise (Old)
 and  /work/SRC/openSUSE:Factory/.ghc-ghc-typelits-natnormalise.new (New)


Package is "ghc-ghc-typelits-natnormalise"

Fri Sep 15 21:41:35 2017 rev:5 rq:524567 version:0.5.3

Changes:

--- 
/work/SRC/openSUSE:Factory/ghc-ghc-typelits-natnormalise/ghc-ghc-typelits-natnormalise.changes
  2017-06-04 01:57:30.895815824 +0200
+++ 
/work/SRC/openSUSE:Factory/.ghc-ghc-typelits-natnormalise.new/ghc-ghc-typelits-natnormalise.changes
 2017-09-15 21:41:37.399503954 +0200
@@ -1,0 +2,5 @@
+Thu Aug  3 15:38:38 UTC 2017 - psim...@suse.com
+
+- Updated with latest spec-cleaner version 0.9.8-8-geadfbbf.
+
+---



Other differences:
--
++ ghc-ghc-typelits-natnormalise.spec ++
--- /var/tmp/diff_new_pack.Dpn9pA/_old  2017-09-15 21:41:38.271381115 +0200
+++ /var/tmp/diff_new_pack.Dpn9pA/_new  2017-09-15 21:41:38.275380552 +0200
@@ -23,14 +23,13 @@
 Release:0
 Summary:GHC typechecker plugin for types of kind GHC.TypeLits.Nat
 License:BSD-2-Clause
-Group:  Development/Languages/Other
-Url:https://hackage.haskell.org/package/%{pkg_name}
+Group:  Development/Libraries/Haskell
+URL:https://hackage.haskell.org/package/%{pkg_name}
 Source0:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-ghc-devel
 BuildRequires:  ghc-ghc-tcplugins-extra-devel
 BuildRequires:  ghc-rpm-macros
-BuildRoot:  %{_tmppath}/%{name}-%{version}-build
 %if %{with tests}
 BuildRequires:  ghc-tasty-devel
 BuildRequires:  ghc-tasty-hunit-devel
@@ -68,7 +67,7 @@
 
 %package devel
 Summary:Haskell %{pkg_name} library development files
-Group:  Development/Libraries/Other
+Group:  Development/Libraries/Haskell
 Requires:   %{name} = %{version}-%{release}
 Requires:   ghc-compiler = %{ghc_version}
 Requires(post): ghc-compiler = %{ghc_version}
@@ -97,11 +96,9 @@
 %ghc_pkg_recache
 
 %files -f %{name}.files
-%defattr(-,root,root,-)
 %doc LICENSE
 
 %files devel -f %{name}-devel.files
-%defattr(-,root,root,-)
 %doc CHANGELOG.md README.md
 
 %changelog

commit ghc-ghc-typelits-natnormalise for openSUSE:Factory

2017-06-03 Thread root 
Hello community,

here is the log from the commit of package ghc-ghc-typelits-natnormalise for 
openSUSE:Factory checked in at 2017-06-04 01:57:29

Comparing /work/SRC/openSUSE:Factory/ghc-ghc-typelits-natnormalise (Old)
 and  /work/SRC/openSUSE:Factory/.ghc-ghc-typelits-natnormalise.new (New)


Package is "ghc-ghc-typelits-natnormalise"

Sun Jun  4 01:57:29 2017 rev:4 rq:499700 version:0.5.3

Changes:

--- 
/work/SRC/openSUSE:Factory/ghc-ghc-typelits-natnormalise/ghc-ghc-typelits-natnormalise.changes
  2017-02-03 17:39:07.256643470 +0100
+++ 
/work/SRC/openSUSE:Factory/.ghc-ghc-typelits-natnormalise.new/ghc-ghc-typelits-natnormalise.changes
 2017-06-04 01:57:30.895815824 +0200
@@ -1,0 +2,5 @@
+Thu May 18 09:52:28 UTC 2017 - psim...@suse.com
+
+- Update to version 0.5.3 with cabal2obs.
+
+---

Old:

  ghc-typelits-natnormalise-0.5.2.tar.gz

New:

  ghc-typelits-natnormalise-0.5.3.tar.gz



Other differences:
--
++ ghc-ghc-typelits-natnormalise.spec ++
--- /var/tmp/diff_new_pack.Dran3n/_old  2017-06-04 01:57:31.431740111 +0200
+++ /var/tmp/diff_new_pack.Dran3n/_new  2017-06-04 01:57:31.435739545 +0200
@@ -19,7 +19,7 @@
 %global pkg_name ghc-typelits-natnormalise
 %bcond_with tests
 Name:   ghc-%{pkg_name}
-Version:0.5.2
+Version:0.5.3
 Release:0
 Summary:GHC typechecker plugin for types of kind GHC.TypeLits.Nat
 License:BSD-2-Clause

++ ghc-typelits-natnormalise-0.5.2.tar.gz -> 
ghc-typelits-natnormalise-0.5.3.tar.gz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/ghc-typelits-natnormalise-0.5.2/CHANGELOG.md 
new/ghc-typelits-natnormalise-0.5.3/CHANGELOG.md
--- old/ghc-typelits-natnormalise-0.5.2/CHANGELOG.md2017-01-15 
18:27:34.0 +0100
+++ new/ghc-typelits-natnormalise-0.5.3/CHANGELOG.md2017-05-15 
10:10:06.0 +0200
@@ -1,5 +1,8 @@
 # Changelog for the 
[`ghc-typelits-natnormalise`](http://hackage.haskell.org/package/ghc-typelits-natnormalise)
 package
 
+## 0.5.3 *May 15th 2017*
+* Add support for GHC 8.2
+
 ## 0.5.2 *January 15th 2017*
 * Fixes bugs:
   * Reification from SOP to Type sometimes loses product terms
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' 
old/ghc-typelits-natnormalise-0.5.2/ghc-typelits-natnormalise.cabal 
new/ghc-typelits-natnormalise-0.5.3/ghc-typelits-natnormalise.cabal
--- old/ghc-typelits-natnormalise-0.5.2/ghc-typelits-natnormalise.cabal 
2017-01-15 18:27:34.0 +0100
+++ new/ghc-typelits-natnormalise-0.5.3/ghc-typelits-natnormalise.cabal 
2017-05-15 10:10:06.0 +0200
@@ -1,5 +1,5 @@
 name:ghc-typelits-natnormalise
-version: 0.5.2
+version: 0.5.3
 synopsis:GHC typechecker plugin for types of kind GHC.TypeLits.Nat
 description:
   A type checker plugin for GHC that can solve /equalities/ of types of kind
@@ -63,7 +63,7 @@
GHC.TypeLits.Normalise.SOP,
GHC.TypeLits.Normalise.Unify
   build-depends:   base>=4.9   && <5,
-   ghc >=8.0.1 && <8.2,
+   ghc >=8.0.1 && <8.4,
ghc-tcplugins-extra >=0.2,
integer-gmp >=1.0   && <1.1
   hs-source-dirs:  src
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' 
old/ghc-typelits-natnormalise-0.5.2/src/GHC/TypeLits/Normalise.hs 
new/ghc-typelits-natnormalise-0.5.3/src/GHC/TypeLits/Normalise.hs
--- old/ghc-typelits-natnormalise-0.5.2/src/GHC/TypeLits/Normalise.hs   
2017-01-15 18:27:34.0 +0100
+++ new/ghc-typelits-natnormalise-0.5.3/src/GHC/TypeLits/Normalise.hs   
2017-05-15 10:10:06.0 +0200
@@ -38,6 +38,7 @@
 To the header of your file.
 -}
 
+{-# LANGUAGE CPP #-}
 {-# LANGUAGE LambdaCase  #-}
 {-# LANGUAGE RecordWildCards #-}
 {-# LANGUAGE TupleSections   #-}
@@ -70,6 +71,9 @@
mkNomReflCo, mkUnivCo)
 import TcPluginM  (newCoercionHole, newFlexiTyVar)
 import TcRnTypes  (CtEvidence (..), CtLoc, TcEvDest (..), ctLoc)
+#if MIN_VERSION_ghc(8,2,0)
+import TcRnTypes  (ShadowInfo (WDeriv))
+#endif
 import TyCoRep(UnivCoProvenance (..))
 import Type   (mkPrimEqPred)
 import TcType (typeKind)
@@ -234,4 +238,12 @@
   -> PredType
   -> CoercionHole
   -> Ct
-unifyItemToCt loc pred_type hole = mkNonCanonical (CtWanted pred_type 
(HoleDest hole) loc)
+unifyItemToCt loc pred_type hole =
+  mkNonCanonical
+(CtWanted
+  pred_type
+  (HoleDest hole)
+#if

commit ghc-ghc-typelits-natnormalise for openSUSE:Factory

2017-02-03 Thread root 
Hello community,

here is the log from the commit of package ghc-ghc-typelits-natnormalise for 
openSUSE:Factory checked in at 2017-01-31 12:44:03

Comparing /work/SRC/openSUSE:Factory/ghc-ghc-typelits-natnormalise (Old)
 and  /work/SRC/openSUSE:Factory/.ghc-ghc-typelits-natnormalise.new (New)


Package is "ghc-ghc-typelits-natnormalise"

Changes:

--- 
/work/SRC/openSUSE:Factory/ghc-ghc-typelits-natnormalise/ghc-ghc-typelits-natnormalise.changes
  2016-11-10 13:21:49.0 +0100
+++ 
/work/SRC/openSUSE:Factory/.ghc-ghc-typelits-natnormalise.new/ghc-ghc-typelits-natnormalise.changes
 2017-02-03 17:39:07.256643470 +0100
@@ -1,0 +2,5 @@
+Wed Jan 18 09:00:25 UTC 2017 - psim...@suse.com
+
+- Update to version 0.5.2 with cabal2obs.
+
+---

Old:

  ghc-typelits-natnormalise-0.5.1.tar.gz

New:

  ghc-typelits-natnormalise-0.5.2.tar.gz



Other differences:
--
++ ghc-ghc-typelits-natnormalise.spec ++
--- /var/tmp/diff_new_pack.ZWJRoV/_old  2017-02-03 17:39:07.588596485 +0100
+++ /var/tmp/diff_new_pack.ZWJRoV/_new  2017-02-03 17:39:07.592595919 +0100
@@ -1,7 +1,7 @@
 #
 # spec file for package ghc-ghc-typelits-natnormalise
 #
-# Copyright (c) 2016 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -19,7 +19,7 @@
 %global pkg_name ghc-typelits-natnormalise
 %bcond_with tests
 Name:   ghc-%{pkg_name}
-Version:0.5.1
+Version:0.5.2
 Release:0
 Summary:GHC typechecker plugin for types of kind GHC.TypeLits.Nat
 License:BSD-2-Clause

++ ghc-typelits-natnormalise-0.5.1.tar.gz -> 
ghc-typelits-natnormalise-0.5.2.tar.gz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/ghc-typelits-natnormalise-0.5.1/CHANGELOG.md 
new/ghc-typelits-natnormalise-0.5.2/CHANGELOG.md
--- old/ghc-typelits-natnormalise-0.5.1/CHANGELOG.md2016-09-29 
15:48:34.0 +0200
+++ new/ghc-typelits-natnormalise-0.5.2/CHANGELOG.md2017-01-15 
18:27:34.0 +0100
@@ -1,5 +1,9 @@
 # Changelog for the 
[`ghc-typelits-natnormalise`](http://hackage.haskell.org/package/ghc-typelits-natnormalise)
 package
 
+## 0.5.2 *January 15th 2017*
+* Fixes bugs:
+  * Reification from SOP to Type sometimes loses product terms
+
 ## 0.5.1 *September 29th 2016*
 * Fixes bugs:
   * Cannot solve an equality for the second time in a definition group
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' 
old/ghc-typelits-natnormalise-0.5.1/ghc-typelits-natnormalise.cabal 
new/ghc-typelits-natnormalise-0.5.2/ghc-typelits-natnormalise.cabal
--- old/ghc-typelits-natnormalise-0.5.1/ghc-typelits-natnormalise.cabal 
2016-08-22 13:52:16.0 +0200
+++ new/ghc-typelits-natnormalise-0.5.2/ghc-typelits-natnormalise.cabal 
2017-01-15 18:27:34.0 +0100
@@ -1,5 +1,5 @@
 name:ghc-typelits-natnormalise
-version: 0.5.1
+version: 0.5.2
 synopsis:GHC typechecker plugin for types of kind GHC.TypeLits.Nat
 description:
   A type checker plugin for GHC that can solve /equalities/ of types of kind
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' 
old/ghc-typelits-natnormalise-0.5.1/src/GHC/TypeLits/Normalise/Unify.hs 
new/ghc-typelits-natnormalise-0.5.2/src/GHC/TypeLits/Normalise/Unify.hs
--- old/ghc-typelits-natnormalise-0.5.1/src/GHC/TypeLits/Normalise/Unify.hs 
2016-08-22 13:52:16.0 +0200
+++ new/ghc-typelits-natnormalise-0.5.2/src/GHC/TypeLits/Normalise/Unify.hs 
2017-01-15 18:27:34.0 +0100
@@ -151,7 +151,7 @@
   , s1 == s2
   = Right (s1,(p1:p2)) : ys
   | otherwise
-  = Right (s1,[p1]) : ys
+  = Right (s1,[p1]) : y : ys
 mergeExp x ys = Left x : ys
 
 reifySymbol :: Either CoreSymbol (CoreSOP,[CoreProduct]) -> Type

commit ghc-ghc-typelits-natnormalise for openSUSE:Factory

2016-11-10 Thread h_root 
Hello community,

here is the log from the commit of package ghc-ghc-typelits-natnormalise for 
openSUSE:Factory checked in at 2016-11-10 13:21:47

Comparing /work/SRC/openSUSE:Factory/ghc-ghc-typelits-natnormalise (Old)
 and  /work/SRC/openSUSE:Factory/.ghc-ghc-typelits-natnormalise.new (New)


Package is "ghc-ghc-typelits-natnormalise"

Changes:

--- 
/work/SRC/openSUSE:Factory/ghc-ghc-typelits-natnormalise/ghc-ghc-typelits-natnormalise.changes
  2016-11-01 09:53:26.0 +0100
+++ 
/work/SRC/openSUSE:Factory/.ghc-ghc-typelits-natnormalise.new/ghc-ghc-typelits-natnormalise.changes
 2016-11-10 13:21:49.0 +0100
@@ -1,0 +2,15 @@
+Sat Oct  1 17:18:11 UTC 2016 - psim...@suse.com
+
+- Update to version 0.5.1 with cabal2obs.
+
+---
+Thu Sep 15 06:51:48 UTC 2016 - psim...@suse.com
+
+- Update to version 0.5 revision 0 with cabal2obs.
+
+---
+Mon Jul 25 11:22:57 UTC 2016 - psim...@suse.com
+
+- Update to version 0.4.6 revision 0 with cabal2obs.
+
+---

Old:

  ghc-typelits-natnormalise-0.4.5.tar.gz

New:

  ghc-typelits-natnormalise-0.5.1.tar.gz



Other differences:
--
++ ghc-ghc-typelits-natnormalise.spec ++
--- /var/tmp/diff_new_pack.My19z6/_old  2016-11-10 13:21:50.0 +0100
+++ /var/tmp/diff_new_pack.My19z6/_new  2016-11-10 13:21:50.0 +0100
@@ -19,11 +19,11 @@
 %global pkg_name ghc-typelits-natnormalise
 %bcond_with tests
 Name:   ghc-%{pkg_name}
-Version:0.4.5
+Version:0.5.1
 Release:0
 Summary:GHC typechecker plugin for types of kind GHC.TypeLits.Nat
 License:BSD-2-Clause
-Group:  System/Libraries
+Group:  Development/Languages/Other
 Url:https://hackage.haskell.org/package/%{pkg_name}
 Source0:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
 BuildRequires:  ghc-Cabal-devel
@@ -34,6 +34,7 @@
 %if %{with tests}
 BuildRequires:  ghc-tasty-devel
 BuildRequires:  ghc-tasty-hunit-devel
+BuildRequires:  ghc-template-haskell-devel
 %endif
 
 %description
@@ -80,19 +81,15 @@
 %prep
 %setup -q -n %{pkg_name}-%{version}
 
-
 %build
 %ghc_lib_build
 
-
 %install
 %ghc_lib_install
 
-
 %check
 %cabal_test
 
-
 %post devel
 %ghc_pkg_recache
 

++ ghc-typelits-natnormalise-0.4.5.tar.gz -> 
ghc-typelits-natnormalise-0.5.1.tar.gz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/ghc-typelits-natnormalise-0.4.5/CHANGELOG.md 
new/ghc-typelits-natnormalise-0.5.1/CHANGELOG.md
--- old/ghc-typelits-natnormalise-0.4.5/CHANGELOG.md2016-07-20 
11:52:52.0 +0200
+++ new/ghc-typelits-natnormalise-0.5.1/CHANGELOG.md2016-09-29 
15:48:34.0 +0200
@@ -1,5 +1,20 @@
 # Changelog for the 
[`ghc-typelits-natnormalise`](http://hackage.haskell.org/package/ghc-typelits-natnormalise)
 package
 
+## 0.5.1 *September 29th 2016*
+* Fixes bugs:
+  * Cannot solve an equality for the second time in a definition group
+
+## 0.5 *August 17th 2016*
+* Solve simple inequalities, i.e.:
+  * `a  <= a + 1`
+  * `2a <= 3a`
+  * `1  <= a^b`
+
+## 0.4.6 *July 21th 2016*
+* Reduce "x^(-y) * x^y" to 1
+* Fixes bugs:
+  * Subtraction in exponent induces infinite loop
+
 ## 0.4.5 *July 20th 2016*
 * Fixes bugs:
   * Reifying negative exponent causes GHC panic
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/ghc-typelits-natnormalise-0.4.5/README.md 
new/ghc-typelits-natnormalise-0.5.1/README.md
--- old/ghc-typelits-natnormalise-0.4.5/README.md   2016-07-19 
14:10:15.0 +0200
+++ new/ghc-typelits-natnormalise-0.5.1/README.md   2016-08-17 
11:17:31.0 +0200
@@ -1,6 +1,6 @@
 # ghc-typelits-natnormalise
 
-[![Build 
Status](https://secure.travis-ci.org/clash-lang/ghc-typelits-natnormalise.png?branch=master)](http://travis-ci.org/clash-lang/ghc-typelits-natnormalise)
+[![Build 
Status](https://secure.travis-ci.org/clash-lang/ghc-typelits-natnormalise.svg?branch=master)](http://travis-ci.org/clash-lang/ghc-typelits-natnormalise)
 
[![Hackage](https://img.shields.io/hackage/v/ghc-typelits-natnormalise.svg)](https://hackage.haskell.org/package/ghc-typelits-natnormalise)
 [![Hackage 
Dependencies](https://img.shields.io/hackage-deps/v/ghc-typelits-natnormalise.svg?style=flat)](http://packdeps.haskellers.com/feed?needle=exact%3Aghc-typelits-natnormalise)
 
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' 
old/ghc-typelits-natnormalise-0.4.5/ghc-typelits-natnormalise.cabal