dependent-sum 0.6.2.2 → 0.7.2.0
raw patch · 2 files changed
Files
- ChangeLog.md +17/−0
- dependent-sum.cabal +8/−8
ChangeLog.md view
@@ -1,11 +1,28 @@ # Revision history for dependent-sum +## 0.7.2.0 - 2022-12-22++* Update to some-1.0.4.*++## 0.7.1.1 - 2022-12-12++* Support constraints-extras 0.4++## 0.7.1.0 - 2020-03-25++* Shift version bounds for `some` to 1.0.1.* versions.++## 0.7.0.0 - 2020-03-24++* Fix ChangeLog to include the breaking change in 0.6.2.1/0.6.2.2 and properly do *major* version bump to reflect the breaking change.+ ## 0.6.2.2 - 2020-03-23 * Update GitHub repository in cabal metadata. ## 0.6.2.1 - 2020-03-21 +* (Breaking change) Removed modules `Data.GADT.Compare`, `Data.GADT.Show`, `Data.Some` and now re-export them from the `some` package. This forced some deprecations to be fully realized. * Update cabal meta-information (tested with GHC 8.8). ## 0.6.2.0 - 2019-08-04
dependent-sum.cabal view
@@ -1,5 +1,5 @@ name: dependent-sum-version: 0.6.2.2+version: 0.7.2.0 stability: provisional cabal-version: 1.22@@ -24,11 +24,11 @@ dependent sum types by using your own \"tag\" types. -tested-with: GHC == 8.0.2,- GHC == 8.2.2,- GHC == 8.4.4,- GHC == 8.6.5,- GHC == 8.8.3+tested-with: GHC == 8.6.5,+ GHC == 8.8.4,+ GHC == 8.10.7,+ GHC == 9.0.1,+ GHC == 9.4.3 extra-source-files: ChangeLog.md , examples/*.hs@@ -46,10 +46,10 @@ Data.Some other-extensions: PatternSynonyms build-depends: base >= 4.9 && <5- , constraints-extras >= 0.2 && < 0.4+ , constraints-extras >= 0.2 && < 0.5 -- tight bounds, so re-exported API is versioned properly.- build-depends: some >= 1.0.0.3 && <1.0.1+ build-depends: some >= 1.0.4 && < 1.0.5 if impl(ghc >= 7.2) ghc-options: -trust base