Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Backports:SLE-15-SP3
ghc-constraints
ghc-constraints.changes
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
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.
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor