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