commit ghc-th-abstraction for openSUSE:Factory
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
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
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
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
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
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
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
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
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
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
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.
