From cea45e396a30b0ba500479c7d2e14c7b9beaee07 Mon Sep 17 00:00:00 2001 From: Nikolai Kudasov Date: Sat, 23 Sep 2023 20:00:06 +0200 Subject: [PATCH] Bump version and update changelogs --- docs/docs/getting-started/changelog.md | 8 ++++++++ rzk/ChangeLog.md | 8 ++++++++ rzk/package.yaml | 2 +- rzk/rzk.cabal | 2 +- rzk/rzk.nix | 2 +- 5 files changed, 19 insertions(+), 3 deletions(-) diff --git a/docs/docs/getting-started/changelog.md b/docs/docs/getting-started/changelog.md index 0d5f09e2e..4c4b1bfbe 100644 --- a/docs/docs/getting-started/changelog.md +++ b/docs/docs/getting-started/changelog.md @@ -6,6 +6,14 @@ 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/). +## v0.6.0 — 2023-09-23 + +This version introduces a proper LSP server with basic support for incremental typechecking +and some minor improvements: + +1. LSP server with incremental typechecking (see [#95](https://github.com/rzk-lang/rzk/pull/95)); +2. Improve error messages for unclosed `#section` and extra `#end` (see [#91](https://github.com/rzk-lang/rzk/pull/91)). + ## v0.5.7 — 2023-09-21 This version contains two fixes (see [#88](https://github.com/rzk-lang/rzk/pull/88)) for issues discovered in [rzk-lang/sHoTT#30](https://github.com/rzk-lang/sHoTT/pull/30#issuecomment-1729212862): diff --git a/rzk/ChangeLog.md b/rzk/ChangeLog.md index 0d5f09e2e..4c4b1bfbe 100644 --- a/rzk/ChangeLog.md +++ b/rzk/ChangeLog.md @@ -6,6 +6,14 @@ 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/). +## v0.6.0 — 2023-09-23 + +This version introduces a proper LSP server with basic support for incremental typechecking +and some minor improvements: + +1. LSP server with incremental typechecking (see [#95](https://github.com/rzk-lang/rzk/pull/95)); +2. Improve error messages for unclosed `#section` and extra `#end` (see [#91](https://github.com/rzk-lang/rzk/pull/91)). + ## v0.5.7 — 2023-09-21 This version contains two fixes (see [#88](https://github.com/rzk-lang/rzk/pull/88)) for issues discovered in [rzk-lang/sHoTT#30](https://github.com/rzk-lang/sHoTT/pull/30#issuecomment-1729212862): diff --git a/rzk/package.yaml b/rzk/package.yaml index 4ac4880e9..40661763a 100644 --- a/rzk/package.yaml +++ b/rzk/package.yaml @@ -1,5 +1,5 @@ name: rzk -version: 0.5.7 +version: 0.6.0 github: 'rzk-lang/rzk' license: BSD3 author: 'Nikolai Kudasov' diff --git a/rzk/rzk.cabal b/rzk/rzk.cabal index 4ff591e42..1ccf3b1d5 100644 --- a/rzk/rzk.cabal +++ b/rzk/rzk.cabal @@ -5,7 +5,7 @@ cabal-version: 1.12 -- see: https://github.com/sol/hpack name: rzk -version: 0.5.7 +version: 0.6.0 synopsis: An experimental proof assistant for synthetic ∞-categories description: Please see the README on GitHub at category: Dependent Types diff --git a/rzk/rzk.nix b/rzk/rzk.nix index de685c8c9..5c601676a 100644 --- a/rzk/rzk.nix +++ b/rzk/rzk.nix @@ -4,7 +4,7 @@ }: mkDerivation { pname = "rzk"; - version = "0.5.7"; + version = "0.6.0"; src = ./.; isLibrary = true; isExecutable = true;