Release v0.7.0.0

polysemy-research · Oct 16, 2021 · 515344e · 515344e
1 parent bda6de9
commit 515344e
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/ChangeLog.md b/ChangeLog.md
@@ -1,5 +1,10 @@
 # Changelog for polysemy-check
 
+## v0.7.0.0 (2021-10-16)
+
+- Removed the `x` type variable from `prepropEquivalent`, since it is safe to
+    instantiate arbitrarily, and leads to aggressive type errors if forgotten.
+
 ## v0.6.0.0 (2021-10-16)
 
 - Changed the frequencies of `Sem`'s `Arbitrary` instance, to create more

diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name:                polysemy-check
-version:             0.6.0.0
+version:             0.7.0.0
 github:              "polysemy-research/polysemy-check"
 license:             BSD3
 author:              "Sandy Maguire"

diff --git a/polysemy-check.cabal b/polysemy-check.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           polysemy-check
-version:        0.6.0.0
+version:        0.7.0.0
 synopsis:       QuickCheck for Polysemy
 description:    Please see the README on GitHub at <https://github.com/polysemy-research/polysemy-check#readme>
 category:       Polysemy