Changelog for
ghc-constraints-devel-0.13.4-8.215.x86_64.rpm :
* Tue Aug 08 2023 Peter Simons
- Update constraints to version 0.13.4 revision 1. Upstream has revised the Cabal build instructions on Hackage.
* Thu Mar 30 2023 Peter Simons - Updated spec file to conform with ghc-rpm-macros-2.5.2.
* Fri May 20 2022 Peter Simons - Update constraints to version 0.13.4. 0.13.4 [2022.05.19] - ------------------
* Correct the CPP introduced in `constraints-0.13.3` such that it works when building with `mtl-2.3.
*` or later combined with `transformers < 0.6`.
* Mon Jan 31 2022 Peter Simons - Update constraints to version 0.13.3. 0.13.3 [2022.01.31] - ------------------
* Allow building with `transformers-0.6.
*` and `mtl-2.3.
*`.
* Tue Nov 16 2021 psimonsAATTsuse.com- Update constraints to version 0.13.2 revision 1. Upstream has revised the Cabal build instructions on Hackage.
* Thu Nov 11 2021 psimonsAATTsuse.com- Update constraints to version 0.13.2. 0.13.2 [2021.11.10] - ------------------
* Allow building on GHC HEAD.
* Mon Nov 01 2021 psimonsAATTsuse.com- Update constraints to version 0.13.1. 0.13.1 [2021.10.31] - ------------------
* Allow building with GHC 9.2.
* Tue Oct 19 2021 psimonsAATTsuse.com- Update constraints to version 0.13 revision 1. Upstream has revised the Cabal build instructions on Hackage.
* Fri Feb 19 2021 psimonsAATTsuse.com- Update constraints to version 0.13. 0.13 [2021.02.17] - ----------------
* `Data.Constraint.Symbol` now reexports the `GHC.TypeLits.AppendSymbol` type family from recent versions of `base` (or, on old versions of `base`, it defines a backwards-compatibile version of `AppendSymbol`). The existing `(++)` type family for `Data.Constraint.Symbol` is now a synonym for `AppendSymbol`. This is technically a breaking change, as `(++)` was previously defined like so: ```hs type family (++) :: Symbol -> Symbol -> Symbol ``` This meant that `(++)` could be partially applied. However, for compatibility with the way that `AppendSymbol` is defined, `(++)` is now defined like so: ```hs type m ++ n = AppendSymbol m n ``` As a result, `(++)` can no longer be partially applied.
* Make the `(++)` type family in `Data.Constraint.Symbol` be `infixr 5`.
* Add `implied :: (a => b) -> (a :- b)` to `Data.Constraint`, which converts a quantified constraint into an entailment. This is only available when compiled with GHC 8.6 or later.
* Thu Dec 17 2020 Ondřej Súkup - disable %{ix86} build
