release 0.7.1

raehik · May 27, 2024 · 1d57184 · 1d57184
1 parent 303f161
commit 1d57184
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,6 @@
+## 0.7.1 (2024-05-27)
+* bump meta/dependencies
+
 ## 0.7.0 (2024-05-11)
 * replaced refined1 with rerefined
 * simplify failures

diff --git a/TODO.md b/TODO.md
@@ -5,6 +5,8 @@
 * clean up Validation. I don't think we need it any more-- except it might be
   handy in generic strengthening. but probably we can and should just do some
   casing there to save on dependencies
+  * if we do need it, consider instead:
+    https://hackage.haskell.org/package/validation-selective
 
 ## Failures: Pretty refinement failures require exposing `Doc` early
 rerefined refinement failures return an ADT, which is something. But we can't

diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name: strongweak
-version: 0.7.0
+version: 0.7.1
 synopsis: Convert between strong and weak representations of types
 description: Please see README.md.
 extra-source-files:

diff --git a/strongweak.cabal b/strongweak.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           strongweak
-version:        0.7.0
+version:        0.7.1
 synopsis:       Convert between strong and weak representations of types
 description:    Please see README.md.
 category:       Data