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.md 2017-01-15
18:27:34.000000000 +0100
+++ new/ghc-typelits-natnormalise-0.5.3/CHANGELOG.md 2017-05-15
10:10:06.000000000 +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.000000000 +0100
+++ new/ghc-typelits-natnormalise-0.5.3/ghc-typelits-natnormalise.cabal
2017-05-15 10:10:06.000000000 +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.000000000 +0100
+++ new/ghc-typelits-natnormalise-0.5.3/src/GHC/TypeLits/Normalise.hs
2017-05-15 10:10:06.000000000 +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 MIN_VERSION_ghc(8,2,0)
+ WDeriv
+#endif
+ loc)
