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.