Changelog for StrictCheck-0.4.0

Releases

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to the Haskell Package Versioning Policy.

[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 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.