From 37ab073c6f5dd047e6a16ab57463f74a352f66a7 Mon Sep 17 00:00:00 2001 From: Danila Danko Date: Fri, 29 Nov 2024 20:01:32 +0300 Subject: [PATCH 1/3] chore(eo-phi-normalizer): bump version 2.2.1 -> 2.2.2 --- eo-phi-normalizer/eo-phi-normalizer.cabal | 2 +- eo-phi-normalizer/package.yaml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/eo-phi-normalizer/eo-phi-normalizer.cabal b/eo-phi-normalizer/eo-phi-normalizer.cabal index 214dba1a2..5c9df3b0b 100644 --- a/eo-phi-normalizer/eo-phi-normalizer.cabal +++ b/eo-phi-normalizer/eo-phi-normalizer.cabal @@ -5,7 +5,7 @@ cabal-version: 1.24 -- see: https://github.com/sol/hpack name: eo-phi-normalizer -version: 2.2.1 +version: 2.2.2 synopsis: Command line normalizer of 𝜑-calculus expressions. description: Please see the README on GitHub at homepage: https://github.com/objectionary/eo-phi-normalizer#readme diff --git a/eo-phi-normalizer/package.yaml b/eo-phi-normalizer/package.yaml index fbd0ce0bf..cf6209ac8 100644 --- a/eo-phi-normalizer/package.yaml +++ b/eo-phi-normalizer/package.yaml @@ -22,7 +22,7 @@ name: eo-phi-normalizer synopsis: "Command line normalizer of 𝜑-calculus expressions." -version: 2.2.1 +version: 2.2.2 github: "objectionary/eo-phi-normalizer" license: BSD3 author: "EO/Polystat Development Team" From 9f1c0110121c73938d556497f08f729a8e77bbb6 Mon Sep 17 00:00:00 2001 From: Danila Danko Date: Fri, 29 Nov 2024 20:02:18 +0300 Subject: [PATCH 2/3] feat(eo-phi-normalizer): add section for v2.2.2 --- eo-phi-normalizer/CHANGELOG.md | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/eo-phi-normalizer/CHANGELOG.md b/eo-phi-normalizer/CHANGELOG.md index b2ed38109..2f21d5c1d 100644 --- a/eo-phi-normalizer/CHANGELOG.md +++ b/eo-phi-normalizer/CHANGELOG.md @@ -6,6 +6,27 @@ 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/). +## v2.2.2 - 2024-11-29 + +### New + +- Add `--single-line` option to the `rewrite` command ([#588](https://github.com/objectionary/eo-phi-normalizer/pull/588)) + +### Changes and fixes + +- Fix pretty printing ([#577](https://github.com/objectionary/eo-phi-normalizer/pull/577), [#586](https://github.com/objectionary/eo-phi-normalizer/pull/586), [#589](https://github.com/objectionary/eo-phi-normalizer/pull/589)) +- Allow optional `when` and `tests` keys in rule files ([#578](https://github.com/objectionary/eo-phi-normalizer/pull/578)) +- Improve TeX output ([#579](https://github.com/objectionary/eo-phi-normalizer/pull/579)) +- Fix typo in rule `R_rho` and add more tests ([#587](https://github.com/objectionary/eo-phi-normalizer/pull/587)) + +### Documentation and maintenance + +- Update haskell-actions/run-fourmolu action to v11 ([#516](https://github.com/objectionary/eo-phi-normalizer/pull/516)) +- Update dependency prettier to v3.4.1 ([#552](https://github.com/objectionary/eo-phi-normalizer/pull/552)) +- Update dependency pre-commit to v4 - autoclosed ([#503](https://github.com/objectionary/eo-phi-normalizer/pull/503)) +- Update dependency eolang to ^0.24.0 ([#520](https://github.com/objectionary/eo-phi-normalizer/pull/520)) +- Add `CONTRIBUTE.md` ([#576](https://github.com/objectionary/eo-phi-normalizer/pull/576)) + ## v2.2.1 - 2024-11-27 ### Changes and fixes From a275f05ae5e9d02b8c9562384ad05fa1fcd0c4b9 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Fri, 29 Nov 2024 17:18:17 +0000 Subject: [PATCH 3/3] Update Markdown files --- site/docs/src/installation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/site/docs/src/installation.md b/site/docs/src/installation.md index 0e03a08a7..f885c1bad 100644 --- a/site/docs/src/installation.md +++ b/site/docs/src/installation.md @@ -32,7 +32,7 @@ Use the necessary version in the `stack install` command. ```sh stack update export LC_ALL=C.UTF-8 -stack install --resolver lts-22.16 eo-phi-normalizer-2.2.1 +stack install --resolver lts-22.16 eo-phi-normalizer-2.2.2 ``` ## Update `eo-phi-normalizer`