From 56871a204c90c605944efbe0f551f58362eb5f12 Mon Sep 17 00:00:00 2001 From: Jonathan Cubides Date: Thu, 24 Aug 2023 14:52:24 +0200 Subject: [PATCH] Bump version to v0.4.3 --- CHANGELOG.md | 35 +++++++++++++++++++ package.yaml | 2 +- .../Commands/version-help-doctor.smoke.yaml | 2 +- 3 files changed, 37 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index a365145c0d..bec834dc8a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +4,41 @@ Juvix Mascot +## [v0.4.3](https://github.com/anoma/juvix/tree/.v0.4.3) + +[Full Changelog](https://github.com/anoma/juvix/compare/v0.4.2....v0.4.3) + +**Implemented enhancements:** + +- Allow wildcard arguments in new function definition syntax [\#2295](https://github.com/anoma/juvix/pull/2295) ([lukaszcz](https://github.com/lukaszcz)) +- Allow omitting `: Type` in implicit function argument definitions and in type definitions [\#2291](https://github.com/anoma/juvix/pull/2291) ([lukaszcz](https://github.com/lukaszcz)) +- Record patterns [\#2271](https://github.com/anoma/juvix/pull/2271) ([janmasrovira](https://github.com/janmasrovira)) +- User-friendly operator declaration syntax [\#2270](https://github.com/anoma/juvix/pull/2270) ([lukaszcz](https://github.com/lukaszcz)) +- Record updates [\#2263](https://github.com/anoma/juvix/pull/2263) ([janmasrovira](https://github.com/janmasrovira)) +- Add field projections for records [\#2260](https://github.com/anoma/juvix/pull/2260) ([janmasrovira](https://github.com/janmasrovira)) + +**Merged pull requests:** + +- Fix shell variables in linux static build stack install [\#2309](https://github.com/anoma/juvix/pull/2309) ([paulcadman](https://github.com/paulcadman)) +- Replace gitrev with githash for obtaining build-time git info [\#2308](https://github.com/anoma/juvix/pull/2308) ([paulcadman](https://github.com/paulcadman)) +- Check that type functions are supported [\#2306](https://github.com/anoma/juvix/pull/2306) ([janmasrovira](https://github.com/janmasrovira)) +- Minor comment updates [\#2303](https://github.com/anoma/juvix/pull/2303) ([lukaszcz](https://github.com/lukaszcz)) +- Update stdlib to use new ADT and record syntax [\#2302](https://github.com/anoma/juvix/pull/2302) ([paulcadman](https://github.com/paulcadman)) +- Fix bug in arity checker with pi types [\#2300](https://github.com/anoma/juvix/pull/2300) ([janmasrovira](https://github.com/janmasrovira)) +- Error on duplicate keys in YAML [\#2290](https://github.com/anoma/juvix/pull/2290) ([lukaszcz](https://github.com/lukaszcz)) +- Check for incomparable precedences [\#2289](https://github.com/anoma/juvix/pull/2289) ([lukaszcz](https://github.com/lukaszcz)) +- Prettyprint aggregate ADT constructor types with parentheses [\#2284](https://github.com/anoma/juvix/pull/2284) ([paulcadman](https://github.com/paulcadman)) +- Fixes behaviour of default stdlib when internal-build-flag is set [\#2283](https://github.com/anoma/juvix/pull/2283) ([paulcadman](https://github.com/paulcadman)) +- Enable builtin list syntax in the standard library [\#2282](https://github.com/anoma/juvix/pull/2282) ([lukaszcz](https://github.com/lukaszcz)) +- Improve iterator and named arguments parsing [\#2278](https://github.com/anoma/juvix/pull/2278) ([lukaszcz](https://github.com/lukaszcz)) +- Update stackage resolver to LTS 21.6 [\#2275](https://github.com/anoma/juvix/pull/2275) ([paulcadman](https://github.com/paulcadman)) +- Fix benchmark wasmer command [\#2268](https://github.com/anoma/juvix/pull/2268) ([paulcadman](https://github.com/paulcadman)) +- Disallow iterators with zero ranges [\#2267](https://github.com/anoma/juvix/pull/2267) ([lukaszcz](https://github.com/lukaszcz)) +- Don't print pragmas in documentation [\#2266](https://github.com/anoma/juvix/pull/2266) ([lukaszcz](https://github.com/lukaszcz)) +- Adt syntax [\#2262](https://github.com/anoma/juvix/pull/2262) ([janmasrovira](https://github.com/janmasrovira)) +- Minor refactor and script update [\#2261](https://github.com/anoma/juvix/pull/2261) ([lukaszcz](https://github.com/lukaszcz)) +- Separate modules namespace [\#2257](https://github.com/anoma/juvix/pull/2257) ([janmasrovira](https://github.com/janmasrovira)) + ## [v0.4.2](https://github.com/anoma/juvix/tree/v0.4.2) (2023-07-25) [Full Changelog](https://github.com/anoma/juvix/compare/v0.4.1...v0.4.2) diff --git a/package.yaml b/package.yaml index 2bbe4f6994..3106b993e1 100644 --- a/package.yaml +++ b/package.yaml @@ -1,5 +1,5 @@ name: juvix -version: 0.4.2 +version: 0.4.3 license: GPL-3.0-only license-file: LICENSE.md copyright: (c) 2022- Heliax AG. diff --git a/tests/smoke/Commands/version-help-doctor.smoke.yaml b/tests/smoke/Commands/version-help-doctor.smoke.yaml index 8d09d5c5db..9f0304e996 100644 --- a/tests/smoke/Commands/version-help-doctor.smoke.yaml +++ b/tests/smoke/Commands/version-help-doctor.smoke.yaml @@ -7,7 +7,7 @@ tests: stdout: matches: regex: |- - ^Juvix version 0.4.2-([a-f0-9]{7}).* + ^Juvix version 0.4.3-([a-f0-9]{7}).* - name: cli-numeric-version command: