Changelog for ghc-th-abstraction-devel-0.2.8.0-1.3.x86_64.rpm :
Wed Jul 18 14:00:00 2018 psimonsAATTsuse.com
- Cosmetic: replace tabs with blanks, strip trailing white space,
and update copyright headers with spec-cleaner.

Fri Jul 13 14:00:00 2018 psimonsAATTsuse.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.

Mon May 14 14:00:00 2018 psimonsAATTsuse.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

Fri Jun 30 14:00:00 2017 psimonsAATTsuse.com
- Update to version 0.2.3.0.

Mon Jun 19 14:00:00 2017 psimonsAATTsuse.com
- Update to version 0.2.2.0.