File ghc-constraints.changes of Package ghc-constraints
-------------------------------------------------------------------
Fri Feb 7 08:04:07 UTC 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 8 16:13:29 UTC 2019 - Peter Simons <psimons@suse.com>
- Drop obsolete group attributes.
-------------------------------------------------------------------
Sat Sep 7 02:01:41 UTC 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 02:02:27 UTC 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 02:00:35 UTC 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
-------------------------------------------------------------------
Sat Oct 20 11:31:20 UTC 2018 - Peter Simons <psimons@suse.com>
- Use https URL to refer to bugs.opensuse.org.
-------------------------------------------------------------------
Mon Jul 9 19:45:03 UTC 2018 - psimons@suse.com
- Add constraints at version 0.10.1.
