📝 Update README.d, CHANGELOG.md and bump version

lsrcz · Aug 16, 2024 · 7dff523 · 7dff523
1 parent 104eed2
commit 7dff523
Show file tree

Hide file tree

Showing 6 changed files with 19 additions and 8 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -6,6 +6,17 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic
 Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [Unreleased]
+
+### Added
+- Added missing instances for concrete general and tabular functions.
+  ([#249](https://github.com/lsrcz/grisette/pull/249))
+
+### Changed
+- Moved the constraints for the general and tabular functions and simplified
+  their instances declaration.
+  ([#249](https://github.com/lsrcz/grisette/pull/249))
+
 ## [0.8.0.0] - 2024-08-13
 
 ### Added

diff --git a/README.md b/README.md
@@ -49,7 +49,7 @@ packages. You can add it to your project's `.cabal` file:
 ```cabal
 library
   ...
-  build-depends: grisette >= 0.8 < 0.9
+  build-depends: grisette >= 0.9 < 0.10
 ```
 
 #### Quick start template with `stack new`

diff --git a/examples/grisette-examples.cabal b/examples/grisette-examples.cabal
@@ -1,11 +1,11 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.36.0.
+-- This file has been generated from package.yaml by hpack version 0.36.1.
 --
 -- see: https://github.com/sol/hpack
 
 name:           grisette-examples
-version:        0.8.0.0
+version:        0.9.0.0
 synopsis:       Examples for Grisette
 description:    More examples are available in the
                 [tutorials](https://github.com/lsrcz/grisette/tree/main/tutorials) of
@@ -32,5 +32,5 @@ executable basic
       basic
   build-depends:
       base >=4.14 && <5
-    , grisette ==0.8.*
+    , grisette ==0.9.*
   default-language: Haskell2010
diff --git a/examples/package.yaml b/examples/package.yaml
@@ -1,5 +1,5 @@
 name: grisette-examples
-version: 0.8.0.0
+version: 0.9.0.0
 synopsis: Examples for Grisette
 description: |
   More examples are available in the
@@ -15,7 +15,7 @@ extra-source-files:
 
 dependencies:
   - base >= 4.14 && < 5
-  - grisette >= 0.8 && < 0.9
+  - grisette >= 0.9 && < 0.10
 
 executables:
   basic:

diff --git a/grisette.cabal b/grisette.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           grisette
-version:        0.8.0.0
+version:        0.9.0.0
 synopsis:       Symbolic evaluation as a library
 description:    Grisette is a reusable symbolic evaluation library for Haskell. By
                 translating programs into constraints, Grisette can help the development of

diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name: grisette
-version: 0.8.0.0
+version: 0.9.0.0
 synopsis: Symbolic evaluation as a library
 description: |
   Grisette is a reusable symbolic evaluation library for Haskell. By