commit ghc-th-abstraction for openSUSE:Factory

2020-10-23 Thread root
Hello community,

here is the log from the commit of package ghc-th-abstraction for 
openSUSE:Factory checked in at 2020-10-23 15:15:02

Comparing /work/SRC/openSUSE:Factory/ghc-th-abstraction (Old)
 and  /work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.3463 (New)


Package is "ghc-th-abstraction"

Fri Oct 23 15:15:02 2020 rev:12 rq:842768 version:0.4.0.0

Changes:

--- /work/SRC/openSUSE:Factory/ghc-th-abstraction/ghc-th-abstraction.changes
2020-08-28 21:39:24.492838360 +0200
+++ 
/work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.3463/ghc-th-abstraction.changes
  2020-10-23 15:15:02.666154417 +0200
@@ -1,0 +2,19 @@
+Wed Sep 30 08:36:12 UTC 2020 - psim...@suse.com
+
+- Update th-abstraction to version 0.4.0.0.
+  ## 0.4.0.0 -- 2020-09-29
+  * Adapt to the `TyVarBndr` data type gaining a new `flag` type parameter
+(in `template-haskell-2.17.0.0`) to represent its specificity:
+* Introduce a new `Language.Haskell.TH.Datatype.TyVarBndr` module that
+  defines `TyVarBndr_`, a backwards-compatible type synonym for 
`TyVarBndr`,
+  as well as backporting `TyVarBndrSpec`, `TyVarBndrUnit`, and 
`Specificity`.
+  This module also defines other useful functions for constructing and
+  manipulating `TyVarBndr`s.
+* The types in `Language.Haskell.TH.Datatype` now use `TyVarBndr_`,
+  `TyVarBndrUnit`, and `TyVarBndrSpec` where appropriate. Technically, this
+  is not a breaking change, since all three are simple type synonyms around
+  `TyVarBndr`, but it is likely that you will need to update your
+  `th-abstraction`-using code anyway if it involves a `TyVarBndr`-consuming
+  function.
+
+---

Old:

  th-abstraction-0.3.2.0.tar.gz

New:

  th-abstraction-0.4.0.0.tar.gz



Other differences:
--
++ ghc-th-abstraction.spec ++
--- /var/tmp/diff_new_pack.0YbeCo/_old  2020-10-23 15:15:03.426154783 +0200
+++ /var/tmp/diff_new_pack.0YbeCo/_new  2020-10-23 15:15:03.426154783 +0200
@@ -19,7 +19,7 @@
 %global pkg_name th-abstraction
 %bcond_with tests
 Name:   ghc-%{pkg_name}
-Version:0.3.2.0
+Version:0.4.0.0
 Release:0
 Summary:Nicer interface for reified information about data types
 License:ISC

++ th-abstraction-0.3.2.0.tar.gz -> th-abstraction-0.4.0.0.tar.gz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/th-abstraction-0.3.2.0/ChangeLog.md 
new/th-abstraction-0.4.0.0/ChangeLog.md
--- old/th-abstraction-0.3.2.0/ChangeLog.md 2001-09-09 03:46:40.0 
+0200
+++ new/th-abstraction-0.4.0.0/ChangeLog.md 2001-09-09 03:46:40.0 
+0200
@@ -1,5 +1,20 @@
 # Revision history for th-abstraction
 
+## 0.4.0.0 -- 2020-09-29
+* Adapt to the `TyVarBndr` data type gaining a new `flag` type parameter
+  (in `template-haskell-2.17.0.0`) to represent its specificity:
+  * Introduce a new `Language.Haskell.TH.Datatype.TyVarBndr` module that
+defines `TyVarBndr_`, a backwards-compatible type synonym for `TyVarBndr`,
+as well as backporting `TyVarBndrSpec`, `TyVarBndrUnit`, and `Specificity`.
+This module also defines other useful functions for constructing and
+manipulating `TyVarBndr`s.
+  * The types in `Language.Haskell.TH.Datatype` now use `TyVarBndr_`,
+`TyVarBndrUnit`, and `TyVarBndrSpec` where appropriate. Technically, this
+is not a breaking change, since all three are simple type synonyms around
+`TyVarBndr`, but it is likely that you will need to update your
+`th-abstraction`-using code anyway if it involves a `TyVarBndr`-consuming
+function.
+
 ## 0.3.2.0 -- 2020-02-06
 * Support substituting into and extracting free variables from `ForallVisT`s
   on `template-haskell-2.16.0.0` (GHC 8.10) or later.
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/th-abstraction-0.3.2.0/LICENSE 
new/th-abstraction-0.4.0.0/LICENSE
--- old/th-abstraction-0.3.2.0/LICENSE  2001-09-09 03:46:40.0 +0200
+++ new/th-abstraction-0.4.0.0/LICENSE  2001-09-09 03:46:40.0 +0200
@@ -1,4 +1,4 @@
-Copyright (c) 2017 Eric Mertens
+Copyright (c) 2017-2020 Eric Mertens
 
 Permission to use, copy, modify, and/or distribute this software for any 
purpose
 with or without fee is hereby granted, provided that the above copyright notice
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' 
old/th-abstraction-0.3.2.0/src/Language/Haskell/TH/Datatype/Internal.hs 
new/th-abstraction-0.4.0.0/src/Language/Haskell/TH/Datatype/Internal.hs
--- old/th-abstraction-0.3.2.0/src/Language/Haskell/TH/Datatype/Internal.hs 
2001-09-09 03:46:40.0 +0200
+++ 

commit ghc-th-abstraction for openSUSE:Factory

2020-08-28 Thread root
Hello community,

here is the log from the commit of package ghc-th-abstraction for 
openSUSE:Factory checked in at 2020-08-28 21:39:24

Comparing /work/SRC/openSUSE:Factory/ghc-th-abstraction (Old)
 and  /work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.3399 (New)


Package is "ghc-th-abstraction"

Fri Aug 28 21:39:24 2020 rev:11 rq:829447 version:0.3.2.0

Changes:

--- /work/SRC/openSUSE:Factory/ghc-th-abstraction/ghc-th-abstraction.changes
2020-06-19 17:19:43.747266048 +0200
+++ 
/work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.3399/ghc-th-abstraction.changes
  2020-08-28 21:39:24.492838360 +0200
@@ -1,0 +2,5 @@
+Tue Aug 18 10:46:15 UTC 2020 - Peter Simons 
+
+- Replace %setup -q with the more modern %autosetup macro.
+
+---



Other differences:
--
++ ghc-th-abstraction.spec ++
--- /var/tmp/diff_new_pack.Cj5WSz/_old  2020-08-28 21:39:24.940838572 +0200
+++ /var/tmp/diff_new_pack.Cj5WSz/_new  2020-08-28 21:39:24.940838572 +0200
@@ -47,7 +47,7 @@
 This package provides the Haskell %{pkg_name} library development files.
 
 %prep
-%setup -q -n %{pkg_name}-%{version}
+%autosetup -n %{pkg_name}-%{version}
 
 %build
 %ghc_lib_build




commit ghc-th-abstraction for openSUSE:Factory

2020-06-19 Thread root
Hello community,

here is the log from the commit of package ghc-th-abstraction for 
openSUSE:Factory checked in at 2020-06-19 17:19:41

Comparing /work/SRC/openSUSE:Factory/ghc-th-abstraction (Old)
 and  /work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.3606 (New)


Package is "ghc-th-abstraction"

Fri Jun 19 17:19:41 2020 rev:10 rq:815191 version:0.3.2.0

Changes:

--- /work/SRC/openSUSE:Factory/ghc-th-abstraction/ghc-th-abstraction.changes
2020-03-09 14:17:06.754654080 +0100
+++ 
/work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.3606/ghc-th-abstraction.changes
  2020-06-19 17:19:43.747266048 +0200
@@ -1,0 +2,5 @@
+Tue Jun 16 11:14:41 UTC 2020 - Peter Simons 
+
+- Re-generate file with latest version of spec-cleaner.
+
+---



Other differences:
--
++ ghc-th-abstraction.spec ++
--- /var/tmp/diff_new_pack.yT50R5/_old  2020-06-19 17:19:44.343267615 +0200
+++ /var/tmp/diff_new_pack.yT50R5/_new  2020-06-19 17:19:44.343267615 +0200
@@ -1,7 +1,7 @@
 #
 # spec file for package ghc-th-abstraction
 #
-# Copyright (c) 2020 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2020 SUSE LLC
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed




commit ghc-th-abstraction for openSUSE:Factory

2020-03-09 Thread root
Hello community,

here is the log from the commit of package ghc-th-abstraction for 
openSUSE:Factory checked in at 2020-03-09 14:17:02

Comparing /work/SRC/openSUSE:Factory/ghc-th-abstraction (Old)
 and  /work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.26092 (New)


Package is "ghc-th-abstraction"

Mon Mar  9 14:17:02 2020 rev:9 rq:780037 version:0.3.2.0

Changes:

--- /work/SRC/openSUSE:Factory/ghc-th-abstraction/ghc-th-abstraction.changes
2019-12-27 13:58:18.568801552 +0100
+++ 
/work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.26092/ghc-th-abstraction.changes
 2020-03-09 14:17:06.754654080 +0100
@@ -1,0 +2,14 @@
+Fri Feb  7 08:06:47 UTC 2020 - psim...@suse.com
+
+- Update th-abstraction to version 0.3.2.0.
+  ## 0.3.2.0 -- 2020-02-06
+  * Support substituting into and extracting free variables from `ForallVisT`s
+on `template-haskell-2.16.0.0` (GHC 8.10) or later.
+  * Fix a bug in which `freeVariables` could report duplicate kind variables 
when
+they occur in the kinds of the type variable binders in a `ForallT`.
+  * Fix a bug in which `resolveInfixT` would not resolve `UInfixT`s occurring 
in
+the kinds of type variable binders in a `ForallT`.
+  * Fix a bug in which the `TypeSubstitution ConstructorInfo` instance would 
not
+detect free kind variables in the `constructorVars`.
+
+---

Old:

  th-abstraction-0.3.1.0.tar.gz
  th-abstraction.cabal

New:

  th-abstraction-0.3.2.0.tar.gz



Other differences:
--
++ ghc-th-abstraction.spec ++
--- /var/tmp/diff_new_pack.Ugj5jg/_old  2020-03-09 14:17:07.422654520 +0100
+++ /var/tmp/diff_new_pack.Ugj5jg/_new  2020-03-09 14:17:07.426654523 +0100
@@ -1,7 +1,7 @@
 #
 # spec file for package ghc-th-abstraction
 #
-# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2020 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,13 +19,12 @@
 %global pkg_name th-abstraction
 %bcond_with tests
 Name:   ghc-%{pkg_name}
-Version:0.3.1.0
+Version:0.3.2.0
 Release:0
 Summary:Nicer interface for reified information about data types
 License:ISC
 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-containers-devel
 BuildRequires:  ghc-rpm-macros
@@ -49,7 +48,6 @@
 
 %prep
 %setup -q -n %{pkg_name}-%{version}
-cp -p %{SOURCE1} %{pkg_name}.cabal
 
 %build
 %ghc_lib_build

++ th-abstraction-0.3.1.0.tar.gz -> th-abstraction-0.3.2.0.tar.gz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/th-abstraction-0.3.1.0/ChangeLog.md 
new/th-abstraction-0.3.2.0/ChangeLog.md
--- old/th-abstraction-0.3.1.0/ChangeLog.md 2001-09-09 03:46:40.0 
+0200
+++ new/th-abstraction-0.3.2.0/ChangeLog.md 2001-09-09 03:46:40.0 
+0200
@@ -1,5 +1,15 @@
 # Revision history for th-abstraction
 
+## 0.3.2.0 -- 2020-02-06
+* Support substituting into and extracting free variables from `ForallVisT`s
+  on `template-haskell-2.16.0.0` (GHC 8.10) or later.
+* Fix a bug in which `freeVariables` could report duplicate kind variables when
+  they occur in the kinds of the type variable binders in a `ForallT`.
+* Fix a bug in which `resolveInfixT` would not resolve `UInfixT`s occurring in
+  the kinds of type variable binders in a `ForallT`.
+* Fix a bug in which the `TypeSubstitution ConstructorInfo` instance would not
+  detect free kind variables in the `constructorVars`.
+
 ## 0.3.1.0 -- 2019-04-28
 * Fix a bug which would cause data family information to be reified incorrectly
   with GHC 8.8+ in some situations.
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' 
old/th-abstraction-0.3.1.0/src/Language/Haskell/TH/Datatype.hs 
new/th-abstraction-0.3.2.0/src/Language/Haskell/TH/Datatype.hs
--- old/th-abstraction-0.3.1.0/src/Language/Haskell/TH/Datatype.hs  
2001-09-09 03:46:40.0 +0200
+++ new/th-abstraction-0.3.2.0/src/Language/Haskell/TH/Datatype.hs  
2001-09-09 03:46:40.0 +0200
@@ -1168,7 +1168,6 @@
 kindsOfFVsOfTypes = foldMap go
   where
 go :: Type -> Map Name Kind
-go (ForallT {}) = error "`forall` type used in data family pattern"
 go (AppT t1 t2) = go t1 `Map.union` go t2
 go (SigT t k) =
   let kSigs =
@@ -1180,8 +1

commit ghc-th-abstraction for openSUSE:Factory

2019-12-27 Thread root
Hello community,

here is the log from the commit of package ghc-th-abstraction for 
openSUSE:Factory checked in at 2019-12-27 13:58:15

Comparing /work/SRC/openSUSE:Factory/ghc-th-abstraction (Old)
 and  /work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.6675 (New)


Package is "ghc-th-abstraction"

Fri Dec 27 13:58:15 2019 rev:8 rq:759530 version:0.3.1.0

Changes:

--- /work/SRC/openSUSE:Factory/ghc-th-abstraction/ghc-th-abstraction.changes
2019-05-09 10:10:26.949206552 +0200
+++ 
/work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.6675/ghc-th-abstraction.changes
  2019-12-27 13:58:18.568801552 +0100
@@ -1,0 +2,5 @@
+Fri Nov  8 16:14:57 UTC 2019 - Peter Simons 
+
+- Drop obsolete group attributes.
+
+---

New:

  th-abstraction.cabal



Other differences:
--
++ ghc-th-abstraction.spec ++
--- /var/tmp/diff_new_pack.cRl06L/_old  2019-12-27 13:58:18.972801747 +0100
+++ /var/tmp/diff_new_pack.cRl06L/_new  2019-12-27 13:58:18.972801747 +0100
@@ -23,9 +23,9 @@
 Release:0
 Summary:Nicer interface for reified information about data types
 License:ISC
-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
+Source1:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/1.cabal#/%{pkg_name}.cabal
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-containers-devel
 BuildRequires:  ghc-rpm-macros
@@ -39,7 +39,6 @@
 
 %package devel
 Summary:Haskell %{pkg_name} library development files
-Group:  Development/Libraries/Haskell
 Requires:   %{name} = %{version}-%{release}
 Requires:   ghc-compiler = %{ghc_version}
 Requires(post): ghc-compiler = %{ghc_version}
@@ -50,6 +49,7 @@
 
 %prep
 %setup -q -n %{pkg_name}-%{version}
+cp -p %{SOURCE1} %{pkg_name}.cabal
 
 %build
 %ghc_lib_build

++ th-abstraction.cabal ++
name:th-abstraction
version: 0.3.1.0
x-revision: 1
synopsis:Nicer interface for reified information about data types
description: This package normalizes variations in the interface for
 inspecting datatype information via Template Haskell
 so that packages and support a single, easier to use
 informational datatype while supporting many versions
 of Template Haskell.
license: ISC
license-file:LICENSE
author:  Eric Mertens
maintainer:  emert...@gmail.com
copyright:   2017 Eric Mertens
homepage:https://github.com/glguy/th-abstraction
bug-reports: https://github.com/glguy/th-abstraction/issues
category:Development
build-type:  Simple
extra-source-files:  ChangeLog.md README.md
cabal-version:   >=1.10
tested-with: GHC==8.8.1, GHC==8.6.4, GHC==8.4.4, GHC==8.2.2, 
GHC==8.0.2, GHC==7.10.3, GHC==7.8.4, GHC==7.6.3, GHC==7.4.2, GHC==7.2.2, 
GHC==7.0.4

source-repository head
  type: git
  location: https://github.com/glguy/th-abstraction.git

library
  exposed-modules: Language.Haskell.TH.Datatype
  other-modules:   Language.Haskell.TH.Datatype.Internal
  build-depends:   base >=4.3   && <5,
   ghc-prim,
   template-haskell >=2.5   && <2.17,
   containers   >=0.4   && <0.7
  hs-source-dirs:  src
  default-language:Haskell2010

test-suite unit-tests
  other-modules:   Harness
   Types
  type:exitcode-stdio-1.0
  main-is: Main.hs
  build-depends:   th-abstraction, base, containers, template-haskell
  hs-source-dirs:  test
  default-language:Haskell2010



commit ghc-th-abstraction for openSUSE:Factory

2019-05-09 Thread root
Hello community,

here is the log from the commit of package ghc-th-abstraction for 
openSUSE:Factory checked in at 2019-05-09 10:10:21

Comparing /work/SRC/openSUSE:Factory/ghc-th-abstraction (Old)
 and  /work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.5148 (New)


Package is "ghc-th-abstraction"

Thu May  9 10:10:21 2019 rev:7 rq:700204 version:0.3.1.0

Changes:

--- /work/SRC/openSUSE:Factory/ghc-th-abstraction/ghc-th-abstraction.changes
2019-03-06 15:47:29.196449234 +0100
+++ 
/work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.5148/ghc-th-abstraction.changes
  2019-05-09 10:10:26.949206552 +0200
@@ -1,0 +2,23 @@
+Tue Apr 30 09:23:09 UTC 2019 - psim...@suse.com
+
+- Update th-abstraction to version 0.3.1.0.
+  ## 0.3.1.0 -- 2019-04-28
+  * Fix a bug which would cause data family information to be reified 
incorrectly
+with GHC 8.8+ in some situations.
+
+  ## 0.3.0.0 -- 2019-04-26
+  * Breaking change: the `datatypeVars` field of `DatatypeInfo` is now of type
+`[TyVarBndr]` instead of `[Type]`, as it now refers to all of the bound 
type
+variables in the data type. The old `datatypeVars` field has been renamed 
to
+`datatypeInstTypes` to better reflect its purpose.
+
+In addition, the type of `normalizeCon` now has an additional `[TyVarBndr]`
+argument, since `DatatypeInfo` now requires it.
+  * Support `template-haskell-2.15`.
+  * Fix a bug in which `normalizeDec` would not detect existential type 
variables
+in a GADT constructor if they were implicitly quantified.
+  * Fix a bug in which `normalizeDec` would report an incorrect number of
+`datatypeVars` for GADT declarations with explicit return kinds (such as
+`data Foo :: * -> * where`).
+
+---

Old:

  th-abstraction-0.2.11.0.tar.gz

New:

  th-abstraction-0.3.1.0.tar.gz



Other differences:
--
++ ghc-th-abstraction.spec ++
--- /var/tmp/diff_new_pack.e0W6nE/_old  2019-05-09 10:10:27.761208877 +0200
+++ /var/tmp/diff_new_pack.e0W6nE/_new  2019-05-09 10:10:27.761208877 +0200
@@ -19,7 +19,7 @@
 %global pkg_name th-abstraction
 %bcond_with tests
 Name:   ghc-%{pkg_name}
-Version:0.2.11.0
+Version:0.3.1.0
 Release:0
 Summary:Nicer interface for reified information about data types
 License:ISC

++ th-abstraction-0.2.11.0.tar.gz -> th-abstraction-0.3.1.0.tar.gz ++
 1729 lines of diff (skipped)




commit ghc-th-abstraction for openSUSE:Factory

2019-03-06 Thread root
Hello community,

here is the log from the commit of package ghc-th-abstraction for 
openSUSE:Factory checked in at 2019-03-06 15:47:27

Comparing /work/SRC/openSUSE:Factory/ghc-th-abstraction (Old)
 and  /work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.28833 (New)


Package is "ghc-th-abstraction"

Wed Mar  6 15:47:27 2019 rev:6 rq:681688 version:0.2.11.0

Changes:

--- /work/SRC/openSUSE:Factory/ghc-th-abstraction/ghc-th-abstraction.changes
2018-12-28 12:35:29.643956260 +0100
+++ 
/work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.28833/ghc-th-abstraction.changes
 2019-03-06 15:47:29.196449234 +0100
@@ -1,0 +2,8 @@
+Wed Feb 27 03:02:53 UTC 2019 - psim...@suse.com
+
+- Update th-abstraction to version 0.2.11.0.
+  ## 0.2.11.0 -- 2019-02-26
+  * Fix a bug in which `freeVariablesWellScoped` would sometimes not preserve
+the left-to-right ordering of `Name`s generated with `newName`.
+
+---

Old:

  th-abstraction-0.2.10.0.tar.gz

New:

  th-abstraction-0.2.11.0.tar.gz



Other differences:
--
++ ghc-th-abstraction.spec ++
--- /var/tmp/diff_new_pack.YZ4473/_old  2019-03-06 15:47:30.080449000 +0100
+++ /var/tmp/diff_new_pack.YZ4473/_new  2019-03-06 15:47:30.080449000 +0100
@@ -1,7 +1,7 @@
 #
 # spec file for package ghc-th-abstraction
 #
-# Copyright (c) 2018 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2019 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 th-abstraction
 %bcond_with tests
 Name:   ghc-%{pkg_name}
-Version:0.2.10.0
+Version:0.2.11.0
 Release:0
 Summary:Nicer interface for reified information about data types
 License:ISC

++ th-abstraction-0.2.10.0.tar.gz -> th-abstraction-0.2.11.0.tar.gz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/th-abstraction-0.2.10.0/ChangeLog.md 
new/th-abstraction-0.2.11.0/ChangeLog.md
--- old/th-abstraction-0.2.10.0/ChangeLog.md2001-09-09 03:46:40.0 
+0200
+++ new/th-abstraction-0.2.11.0/ChangeLog.md2001-09-09 03:46:40.0 
+0200
@@ -1,5 +1,9 @@
 # Revision history for th-abstraction
 
+## 0.2.11.0 -- 2019-02-26
+* Fix a bug in which `freeVariablesWellScoped` would sometimes not preserve
+  the left-to-right ordering of `Name`s generated with `newName`.
+
 ## 0.2.10.0 -- 2018-12-20
 * Optimization: `quantifyType` now collapses consecutive `forall`s. For
   instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' 
old/th-abstraction-0.2.10.0/src/Language/Haskell/TH/Datatype.hs 
new/th-abstraction-0.2.11.0/src/Language/Haskell/TH/Datatype.hs
--- old/th-abstraction-0.2.10.0/src/Language/Haskell/TH/Datatype.hs 
2001-09-09 03:46:40.0 +0200
+++ new/th-abstraction-0.2.11.0/src/Language/Haskell/TH/Datatype.hs 
2001-09-09 03:46:40.0 +0200
@@ -119,11 +119,12 @@
 
 import   Data.Data (Typeable, Data)
 import   Data.Foldable (foldMap, foldl')
-import   Data.Graph
 import   Data.List (nub, find, union, (\\))
 import   Data.Map (Map)
 import qualified Data.Map as Map
 import   Data.Maybe
+import qualified Data.Set as Set
+import   Data.Set (Set)
 import qualified Data.Traversable as T
 import   Control.Monad
 import   Language.Haskell.TH
@@ -1373,6 +1374,16 @@
 -- 'TyVarBndr's instead of 'Name's, since it must make it explicit that @k@
 -- is the kind of @a@.)
 --
+-- 'freeVariablesWellScoped' guarantees the free variables returned will be
+-- ordered such that:
+--
+-- 1. Whenever an explicit kind signature of the form @(A :: K)@ is
+--encountered, the free variables of @K@ will always appear to the left of
+--the free variables of @A@ in the returned result.
+--
+-- 2. The constraint in (1) notwithstanding, free variables will appear in
+--left-to-right order of their original appearance.
+--
 -- On older GHCs, this takes measures to avoid returning explicitly bound
 -- kind variables, which was not possible before @TypeInType@.
 freeVariablesWellScoped :: [Type] -> [TyVarBndr]
@@ -1408,25 +1419,58 @@
   go_pred (EqualP t1 t2) = go_ty t1 `mappend` go_ty t2
 #endif
 
-  (g, gLookup, _)
-= graphFromEdges [ (fv, fv, kindVars)
- | fv <- fvs
- , let kindVars =
- case Map.lookup fv varKindSigs of
-   Nothi

commit ghc-th-abstraction for openSUSE:Factory

2018-12-28 Thread root
Hello community,

here is the log from the commit of package ghc-th-abstraction for 
openSUSE:Factory checked in at 2018-12-28 12:35:19

Comparing /work/SRC/openSUSE:Factory/ghc-th-abstraction (Old)
 and  /work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.28833 (New)


Package is "ghc-th-abstraction"

Fri Dec 28 12:35:19 2018 rev:5 rq:661501 version:0.2.10.0

Changes:

--- /work/SRC/openSUSE:Factory/ghc-th-abstraction/ghc-th-abstraction.changes
2018-10-25 09:05:59.110517703 +0200
+++ 
/work/SRC/openSUSE:Factory/.ghc-th-abstraction.new.28833/ghc-th-abstraction.changes
 2018-12-28 12:35:29.643956260 +0100
@@ -1,0 +2,22 @@
+Fri Dec 21 03:02:45 UTC 2018 - psim...@suse.com
+
+- Update th-abstraction to version 0.2.10.0.
+  ## 0.2.10.0 -- 2018-12-20
+  * Optimization: `quantifyType` now collapses consecutive `forall`s. For
+instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
+`forall a b. a -> b -> T a` instead of `forall a. forall b. a -> b -> T a`.
+
+  ## 0.2.9.0 -- 2018-12-20
+  * Fix a bug in which `resolveTypeSynonyms` would not look into `ForallT`s,
+`SigT`s, `InfixT`s, or `ParensT`s.
+  * Fix a bug in which `quantifyType` would not respect the dependency order of
+type variables (e.g., `Proxy (a :: k)` would have erroneously been 
quantified
+as `forall a k. Proxy (a :: k)`).
+  * Fix a bug in which `asEqualPred` would return incorrect results with GHC 
8.7.
+  * Add a `freeVariablesWellScoped` function which computes the free variables 
of
+a list of types and sorts them according to dependency order.
+  * Add a `resolveKindSynonyms` function which expands all type synonyms in a
+`Kind`. This is mostly useful for supporting old GHCs where `Type` and 
`Kind`
+were not the same.
+
+---

Old:

  th-abstraction-0.2.8.0.tar.gz
  th-abstraction.cabal

New:

  th-abstraction-0.2.10.0.tar.gz



Other differences:
--
++ ghc-th-abstraction.spec ++
--- /var/tmp/diff_new_pack.WEc6ek/_old  2018-12-28 12:35:30.099955941 +0100
+++ /var/tmp/diff_new_pack.WEc6ek/_new  2018-12-28 12:35:30.103955938 +0100
@@ -19,14 +19,13 @@
 %global pkg_name th-abstraction
 %bcond_with tests
 Name:   ghc-%{pkg_name}
-Version:0.2.8.0
+Version:0.2.10.0
 Release:0
 Summary:Nicer interface for reified information about data types
 License:ISC
 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
-Source1:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/1.cabal#/%{pkg_name}.cabal
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-containers-devel
 BuildRequires:  ghc-rpm-macros
@@ -51,7 +50,6 @@
 
 %prep
 %setup -q -n %{pkg_name}-%{version}
-cp -p %{SOURCE1} %{pkg_name}.cabal
 
 %build
 %ghc_lib_build

++ th-abstraction-0.2.8.0.tar.gz -> th-abstraction-0.2.10.0.tar.gz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/th-abstraction-0.2.8.0/ChangeLog.md 
new/th-abstraction-0.2.10.0/ChangeLog.md
--- old/th-abstraction-0.2.8.0/ChangeLog.md 2018-06-29 18:03:23.0 
+0200
+++ new/th-abstraction-0.2.10.0/ChangeLog.md2001-09-09 03:46:40.0 
+0200
@@ -1,5 +1,23 @@
 # Revision history for th-abstraction
 
+## 0.2.10.0 -- 2018-12-20
+* Optimization: `quantifyType` now collapses consecutive `forall`s. For
+  instance, calling `quantifyType` on `forall b. a -> b -> T a` now produces
+  `forall a b. a -> b -> T a` instead of `forall a. forall b. a -> b -> T a`.
+
+## 0.2.9.0 -- 2018-12-20
+* Fix a bug in which `resolveTypeSynonyms` would not look into `ForallT`s,
+  `SigT`s, `InfixT`s, or `ParensT`s.
+* Fix a bug in which `quantifyType` would not respect the dependency order of
+  type variables (e.g., `Proxy (a :: k)` would have erroneously been quantified
+  as `forall a k. Proxy (a :: k)`).
+* Fix a bug in which `asEqualPred` would return incorrect results with GHC 8.7.
+* Add a `freeVariablesWellScoped` function which computes the free variables of
+  a list of types and sorts them according to dependency order.
+* Add a `resolveKindSynonyms` function which expands all type synonyms in a
+  `Kind`. This is mostly useful for supporting old GHCs where `Type` and `Kind`
+  were not the same.
+
 ## 0.2.8.0 -- 2018-06-29
 * GADT reification is now much more robust with respect to `PolyKinds`:
   * A bug in which universally quantified kind variables were mistakenly
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' 
old/th-abstr

commit ghc-th-abstraction for openSUSE:Factory

2018-10-25 Thread root
Hello community,

here is the log from the commit of package ghc-th-abstraction for 
openSUSE:Factory checked in at 2018-10-25 09:05:54

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


Package is "ghc-th-abstraction"

Thu Oct 25 09:05:54 2018 rev:4 rq:643469 version:0.2.8.0

Changes:

--- /work/SRC/openSUSE:Factory/ghc-th-abstraction/ghc-th-abstraction.changes
2018-07-24 17:22:56.323342430 +0200
+++ 
/work/SRC/openSUSE:Factory/.ghc-th-abstraction.new/ghc-th-abstraction.changes   
2018-10-25 09:05:59.110517703 +0200
@@ -1,0 +2,5 @@
+Sat Oct 20 11:32:05 UTC 2018 - Peter Simons 
+
+- Use https URL to refer to bugs.opensuse.org.
+
+---



Other differences:
--
++ ghc-th-abstraction.spec ++
--- /var/tmp/diff_new_pack.wZKmk4/_old  2018-10-25 09:06:00.610516808 +0200
+++ /var/tmp/diff_new_pack.wZKmk4/_new  2018-10-25 09:06:00.614516806 +0200
@@ -12,7 +12,7 @@
 # license that conforms to the Open Source Definition (Version 1.9)
 # published by the Open Source Initiative.
 
-# Please submit bugfixes or comments via http://bugs.opensuse.org/
+# Please submit bugfixes or comments via https://bugs.opensuse.org/
 #
 
 




commit ghc-th-abstraction for openSUSE:Factory

2018-07-24 Thread root
Hello community,

here is the log from the commit of package ghc-th-abstraction for 
openSUSE:Factory checked in at 2018-07-24 17:22:48

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


Package is "ghc-th-abstraction"

Tue Jul 24 17:22:48 2018 rev:3 rq:623871 version:0.2.8.0

Changes:

--- /work/SRC/openSUSE:Factory/ghc-th-abstraction/ghc-th-abstraction.changes
2018-05-30 12:27:31.997804721 +0200
+++ 
/work/SRC/openSUSE:Factory/.ghc-th-abstraction.new/ghc-th-abstraction.changes   
2018-07-24 17:22:56.323342430 +0200
@@ -1,0 +2,34 @@
+Wed Jul 18 14:26:43 UTC 2018 - psim...@suse.com
+
+- Cosmetic: replace tabs with blanks, strip trailing white space,
+  and update copyright headers with spec-cleaner.
+
+---
+Fri Jul 13 14:31:53 UTC 2018 - psim...@suse.com
+
+- Update th-abstraction to version 0.2.8.0.
+  ## 0.2.8.0 -- 2018-06-29
+  * GADT reification is now much more robust with respect to `PolyKinds`:
+* A bug in which universally quantified kind variables were mistakenly
+  flagged as existential has been fixed.
+* A bug in which the kinds of existentially quantified type variables
+  were not substituted properly has been fixed.
+* More kind equalities are detected than before. For example, in the
+  following data type:
+
+  ```haskell
+  data T (a :: k) where
+MkT :: forall (a :: Bool). T a
+  ```
+
+  We now catch the `k ~ Bool` equality.
+  * Tweak `resolveTypeSynonyms` so that failing to reify a type constructor
+name so longer results in an error. Among other benefits, this makes
+it possible to pass data types with GADT syntax to `normalizeDec`.
+
+  ## 0.2.7.0 -- 2018-06-17
+  * Fix bug in which data family instances with duplicate occurrences of type
+variables in the left-hand side would have redundant equality constraints
+in their contexts.
+
+---
@@ -34 +67,0 @@
-

Old:

  th-abstraction-0.2.6.0.tar.gz

New:

  th-abstraction-0.2.8.0.tar.gz



Other differences:
--
++ ghc-th-abstraction.spec ++
--- /var/tmp/diff_new_pack.zA8LiY/_old  2018-07-24 17:22:58.883345702 +0200
+++ /var/tmp/diff_new_pack.zA8LiY/_new  2018-07-24 17:22:58.883345702 +0200
@@ -19,7 +19,7 @@
 %global pkg_name th-abstraction
 %bcond_with tests
 Name:   ghc-%{pkg_name}
-Version:0.2.6.0
+Version:0.2.8.0
 Release:0
 Summary:Nicer interface for reified information about data types
 License:ISC

++ th-abstraction-0.2.6.0.tar.gz -> th-abstraction-0.2.8.0.tar.gz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/th-abstraction-0.2.6.0/ChangeLog.md 
new/th-abstraction-0.2.8.0/ChangeLog.md
--- old/th-abstraction-0.2.6.0/ChangeLog.md 2017-09-05 04:55:33.0 
+0200
+++ new/th-abstraction-0.2.8.0/ChangeLog.md 2018-06-29 18:03:23.0 
+0200
@@ -1,5 +1,29 @@
 # Revision history for th-abstraction
 
+## 0.2.8.0 -- 2018-06-29
+* GADT reification is now much more robust with respect to `PolyKinds`:
+  * A bug in which universally quantified kind variables were mistakenly
+flagged as existential has been fixed.
+  * A bug in which the kinds of existentially quantified type variables
+were not substituted properly has been fixed.
+  * More kind equalities are detected than before. For example, in the
+following data type:
+
+```haskell
+data T (a :: k) where
+  MkT :: forall (a :: Bool). T a
+```
+
+We now catch the `k ~ Bool` equality.
+* Tweak `resolveTypeSynonyms` so that failing to reify a type constructor
+  name so longer results in an error. Among other benefits, this makes
+  it possible to pass data types with GADT syntax to `normalizeDec`.
+
+## 0.2.7.0 -- 2018-06-17
+* Fix bug in which data family instances with duplicate occurrences of type
+  variables in the left-hand side would have redundant equality constraints
+  in their contexts.
+
 ## 0.2.6.0 -- 2017-09-04
 * Fix bug in which `applySubstitution` and `freeVariables` would ignore
   type variables in the kinds of type variable binders.
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' 
old/th-abstraction-0.2.6.0/src/Language/Haskell/TH/Datatype.hs 
new/th-abstraction-0.2.8.0/src/Language/Haskell/TH/Datatype.hs
--- old/th-abstraction-0.2.6.0/src/Language/Haskell/TH/Datatype.hs  
2017-09-05 04:55:33.0 +0200
+++ new/th-abstraction-0.2.8.0/src/Language/Haskell/TH/Datatype.hs  
2018-06-29 18:03:23.0 +0200
@@ -776,16 +776,9 @@
   

commit ghc-th-abstraction for openSUSE:Factory

2018-05-30 Thread root
Hello community,

here is the log from the commit of package ghc-th-abstraction for 
openSUSE:Factory checked in at 2018-05-30 12:14:29

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


Package is "ghc-th-abstraction"

Wed May 30 12:14:29 2018 rev:2 rq:607901 version:0.2.6.0

Changes:

--- /work/SRC/openSUSE:Factory/ghc-th-abstraction/ghc-th-abstraction.changes
2017-08-31 21:03:23.109065906 +0200
+++ 
/work/SRC/openSUSE:Factory/.ghc-th-abstraction.new/ghc-th-abstraction.changes   
2018-05-30 12:27:31.997804721 +0200
@@ -1,0 +2,24 @@
+Mon May 14 17:02:11 UTC 2018 - psim...@suse.com
+
+- Update th-abstraction to version 0.2.6.0 revision 1.
+  * Fix bug in which `applySubstitution` and `freeVariables` would ignore
+type variables in the kinds of type variable binders.
+  * Added `pragLineDCompat`, `newtypeDCompat` and `tySynInstDCompat`
+  * Fix bug that caused GADT equality constraints to be incorrect in some 
cases.
+  * Expose `Unpackedness` and `Strictness` (which were unexported by accident).
+  * Add `resolvePredSynonyms`
+  * Add `reifyConstructor`, which allows reification of `ConstructorInfo` from
+a constructor name, and `lookupByConstructorName`, which allows directly
+looking up a `ConstructorInfo` from a `DatatypeInfo` value for a given
+constructor `Name`.
+  * Augment `reifyDatatype` to be able to look up `DatatypeInfo` from the 
`Name`
+of a record selector for one of its constructors. Also add `reifyRecord` 
for
+reification of of `ConstructorInfo` from a record name, and
+`lookupByRecordName`, which allows directly looking up a `ConstructorInfo`
+from a `DatatypeInfo` value for a given record `Name`.
+  * Fix bug that caused `th-abstraction` to fail on GHC 7.0 and 7.2 when 
passing
+a vanilla constructor name to `reifyDatatype`
+  * Make `normalizeDec` and `normalizeCon` more robust with respect to
+data family instances on GHC 7.6 and 7.8
+
+---

Old:

  th-abstraction-0.2.3.0.tar.gz

New:

  th-abstraction-0.2.6.0.tar.gz
  th-abstraction.cabal



Other differences:
--
++ ghc-th-abstraction.spec ++
--- /var/tmp/diff_new_pack.EL9KSv/_old  2018-05-30 12:27:32.853774844 +0200
+++ /var/tmp/diff_new_pack.EL9KSv/_new  2018-05-30 12:27:32.857774704 +0200
@@ -1,7 +1,7 @@
 #
 # spec file for package ghc-th-abstraction
 #
-# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2018 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,18 +19,18 @@
 %global pkg_name th-abstraction
 %bcond_with tests
 Name:   ghc-%{pkg_name}
-Version:0.2.3.0
+Version:0.2.6.0
 Release:0
 Summary:Nicer interface for reified information about data types
 License:ISC
-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
+Source1:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/1.cabal#/%{pkg_name}.cabal
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-containers-devel
 BuildRequires:  ghc-rpm-macros
 BuildRequires:  ghc-template-haskell-devel
-BuildRoot:  %{_tmppath}/%{name}-%{version}-build
 
 %description
 This package normalizes variations in the interface for inspecting datatype
@@ -40,7 +40,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}
@@ -51,6 +51,7 @@
 
 %prep
 %setup -q -n %{pkg_name}-%{version}
+cp -p %{SOURCE1} %{pkg_name}.cabal
 
 %build
 %ghc_lib_build
@@ -68,11 +69,9 @@
 %ghc_pkg_recache
 
 %files -f %{name}.files
-%defattr(-,root,root,-)
-%doc LICENSE
+%license LICENSE
 
 %files devel -f %{name}-devel.files
-%defattr(-,root,root,-)
 %doc ChangeLog.md README.md
 
 %changelog

++ th-abstraction-0.2.3.0.tar.gz -> th-abstraction-0.2.6.0.tar.gz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' 
'--exclude=.svnignore' old/th-abstraction-0.2.3.0/ChangeLog.md 
new/th-abstraction-0.2.6.0/ChangeLog.md
--- old/th-abstraction-0.2.3.0/ChangeLog.md 2017-06-26 23:04:22.