From 5e52d21640ed917bf4663571d08a3afa0e1d6191 Mon Sep 17 00:00:00 2001 From: Ben Orchard Date: Fri, 11 Oct 2024 03:21:22 +0100 Subject: [PATCH] release 0.7.0 --- CHANGELOG.md | 2 +- TODO.md | 3 +++ package.yaml | 2 +- rerefined.cabal | 2 +- 4 files changed, 6 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 0f1bbe5..4882567 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,4 +1,4 @@ -## 0.7.0 (unreleased) +## 0.7.0 (2024-10-11) * add predicate simplifier at `Rerefined.Simplify` * old "normalizer" stuff removed diff --git a/TODO.md b/TODO.md index a4a1715..6db1a6c 100644 --- a/TODO.md +++ b/TODO.md @@ -12,6 +12,9 @@ the predicate nicely and slots the value in! * hrmmmmm idk exactly how it'll look. maybe leave till later. +## Simplifier +Really need to write a bunch of tests. See Symparsec for type-spec example. + ## Predicates * `All ps`, `And` a list of predicates? My errors work for it. Seems fun. diff --git a/package.yaml b/package.yaml index 82594ee..926bf4b 100644 --- a/package.yaml +++ b/package.yaml @@ -1,5 +1,5 @@ name: rerefined -version: 0.6.0 +version: 0.7.0 synopsis: Refinement types, again description: Please see README.md. extra-source-files: diff --git a/rerefined.cabal b/rerefined.cabal index 6dd0568..61e52be 100644 --- a/rerefined.cabal +++ b/rerefined.cabal @@ -5,7 +5,7 @@ cabal-version: 1.12 -- see: https://github.com/sol/hpack name: rerefined -version: 0.6.0 +version: 0.7.0 synopsis: Refinement types, again description: Please see README.md. category: Types, Data