# Releases
All notable changes to this project will be documented in this file.
The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
and this project adheres to the [Haskell Package Versioning Policy](https://pvp.haskell.org/).
## [0.4.0] - 2025-08-30
- Compatibility with GHC 9.2 - 9.12
- Add `Shaped` and `Produce` instances for `NonEmpty`
- Fix output for non-Unicode locales
## [0.3.0] - 2019-11-01
- Add `Show` instance for `Demand`
## [0.2.0] - 2018-10-08
### Added
- Expose instrumentation of data structures as a safe interface in the `IO` monad.
- Add monadic folds and unfolds `translateA`, `foldM`, `unfoldM`, and `unzipWithM` to `Test.StrictCheck.Shaped`.
### Removed
- Remove the referentially opaque observation primitives in `Test.StrictCheck.Unsafe`.
### Changed
- Improve type inference by making `Shape` an injective type family.
## [0.1.1] - 2018-10-01
### Fixed
- Fix critical semantic [bug #2](https://github.com/kwf/StrictCheck/issues/2) which caused violation of referential transparency when compiling with optimizations on GHC 8.6.
## [0.1.0] - 2018-06-22
First release of StrictCheck. This version matches the reviewed artifact submitted to ICFP, archived on the ACM DL, with the exception of some small documentation tweaks.