From 7bac88a206c92e0a24fac78305527c62bce223b1 Mon Sep 17 00:00:00 2001 From: Jesper Cockx Date: Mon, 11 Dec 2023 16:11:26 +0100 Subject: [PATCH] Update version number to 1.3 fixes #233 --- CHANGELOG.md | 16 +++------------- agda2hs.cabal | 2 +- 2 files changed, 4 insertions(+), 14 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 0221049e..b1a82e51 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,22 +1,12 @@ -Release notes for agda2hs v1.2 +Release notes for agda2hs v1.3 ============================== Changes ------- -- Increased bounds to support GHC 9.6.3 -- Changed flag `--rewrite-rules` to `--config`. -- Deprecated `Tuple` (#228). Now there are distinct 2-uples (`_×_`) and 3-uples (`_×_×_`). - Only 2-uples can be pattern-matched inside of let bindings. -- Experimental support for *erased module parameters* (#229). -- Support for erased hidden type parameters. -- Functions with no clause throw a hard error when getting compiled. -- Unboxed records can preserve any field -- not only the first one. -- Improved documentation. - -See https://github.com/agda/agda2hs/issues?q=milestone%3A1.2+is%3Apr for the full list of changes. +See https://github.com/agda/agda2hs/issues?q=milestone%3A1.3+is%3Apr for the full list of changes. Fixed issues ------------ -See https://github.com/agda/agda2hs/issues?q=milestone%3A1.2+is%3Aissue for the full list of fixed issues. +See https://github.com/agda/agda2hs/issues?q=milestone%3A1.3+is%3Aissue for the full list of fixed issues. diff --git a/agda2hs.cabal b/agda2hs.cabal index 2ac496ed..2078ca88 100644 --- a/agda2hs.cabal +++ b/agda2hs.cabal @@ -1,6 +1,6 @@ cabal-version: 2.2 name: agda2hs -version: 1.2 +version: 1.3 license: BSD-3-Clause license-file: LICENSE author: Ulf Norell, Jesper Cockx, Orestis Melkonian, Sára Juhošová, James Chapman, Lucas Escot, Henry Blanchette