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.000000000 +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 - psimons@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.md 2016-09-29 15:48:34.000000000 +0200 +++ new/ghc-typelits-natnormalise-0.5.2/CHANGELOG.md 2017-01-15 18:27:34.000000000 +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.000000000 +0200 +++ new/ghc-typelits-natnormalise-0.5.2/ghc-typelits-natnormalise.cabal 2017-01-15 18:27:34.000000000 +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.000000000 +0200 +++ new/ghc-typelits-natnormalise-0.5.2/src/GHC/TypeLits/Normalise/Unify.hs 2017-01-15 18:27:34.000000000 +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