refined 0.6 → 0.6.1

raw patch · 2 files changed

+7/−3 lines, 2 filesdep ~QuickCheck

Dependency ranges changed: QuickCheck

Files

changelog.md +5/−1
refined.cabal +2/−2

changelog.md view

@@ -4,7 +4,11 @@ The format is based on [Keep a Changelog](http://keepachangelog.com/en/1.0.0/) and this project adheres to the [Haskell Package Versioning Policy](https://pvp.haskell.org/). -## [0.6] - TBD+## [0.6.1] - 2020-08-02+### Changed+- upper bound on QuickCheck: <2.14 -> <2.15++## [0.6] - 2020-07-21 ### Changed - `strengthen` no longer returns an `Either`, since the proof   that it should always succeed is in its constraints.

refined.cabal view

@@ -3,7 +3,7 @@ name:   refined version:-  0.6+  0.6.1 synopsis:   Refinement types with static and runtime checking description:@@ -82,7 +82,7 @@     build-depends: aeson >= 0.9 && < 1.6     cpp-options: -DHAVE_AESON   if flag(QuickCheck)-    build-depends: QuickCheck >= 2.1 && < 2.14+    build-depends: QuickCheck >= 2.1 && < 2.15     cpp-options: -DHAVE_QUICKCHECK  test-suite doctest