Package Release Info

ghc-constraints-0.12-bp152.1.9

Update Info: Base Release
Available in Package Hub : 15 SP2

platforms

AArch64
ppc64le
s390x
x86-64

subpackages

ghc-constraints
ghc-constraints-devel

Change Logs

* Fri Feb 07 2020 psimons@suse.com
- Update constraints to version 0.12.
  0.12 [2020.02.03]
  - ----------------
  * Relax the type signature for `divideTimes`:
    ```diff
  - dividesTimes :: (Divides a b, Divides a c) :- Divides a (b * c)
    +dividesTimes ::  Divides a b               :- Divides a (b * c)
    ```
  * Simplify the type signature of `dividesDef`:
    ```diff
  - dividesDef :: forall a b. Divides a b :- ((a * Div b a) ~ b)
    +dividesDef :: forall a b. Divides a b :- (Mod b a ~ 0)
    ```
    The original type of `diviesDef` can be (partially) recovered by defining
    it in terms of the new `dividesDef`:
    ```hs
    dividesDef' :: forall a b. (1 <= a, Divides a b) :- ((a * Div b a) ~ b)
    dividesDef' = Sub $ case (dividesDef @a @b, euclideanNat @a @b) of
    (Sub Dict, Sub Dict) -> Dict
    ```
* Fri Nov 08 2019 Peter Simons <psimons@suse.com>
- Drop obsolete group attributes.
* Sat Sep 07 2019 psimons@suse.com
- Update constraints to version 0.11.2.
  0.11.2 [2019.09.06]
  - ------------------
  * Depend on the `type-equality` compatibility library so that `(:~~:)` may be
    used when compiling this library with GHC 8.0. This avoids having to redefine
    `(:~~:)` directly in the internals of `constraints` itself.
* Wed Aug 28 2019 psimons@suse.com
- Update constraints to version 0.11.1.
  0.11.1 [2019.08.27]
  - ------------------
  * Make `Data.Constraint.Deferrable.UnsatisfiedConstraint` a newtype.
* Sat May 11 2019 psimons@suse.com
- Update constraints to version 0.11.
  Upstream has edited the change log file since the last release in
  a non-trivial way, i.e. they did more than just add a new entry
  at the top. You can review the file at:
  http://hackage.haskell.org/package/constraints-0.11/src/CHANGELOG.markdown
Version: 0.10.1-bp151.1.10
* Sat Oct 20 2018 Peter Simons <psimons@suse.com>
- Use https URL to refer to bugs.opensuse.org.
* Mon Jul 09 2018 psimons@suse.com
- Add constraints at version 0.10.1.