From 3f46559dbe3eab26d9e6596cb38913639676ff49 Mon Sep 17 00:00:00 2001 From: rvcas Date: Thu, 23 May 2024 16:20:09 -0400 Subject: [PATCH] chore: update changelog --- CHANGELOG.md | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index cd19ff87..57bf4814 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,7 +4,10 @@ ### Added -- **aiken**: added export command that exporting of regular function definitons. @rvcas +- **aiken**: install shell completions automatically. @freexploit +- **aiken**: added export command that exports regular function definitons. @rvcas +- **aiken-project**: compiler version field to `aiken.toml` @rvcas +- **aiken-project**: plutus version field to `aiken.toml` @rvcas - **aiken-lsp**: hover and goto definition support on list tail. @rvcas - **aiken-lsp**: hover on prop test via expression. @rvcas - **aiken-lang**: new builtin types in the prelude `Pair` and `Pairs`. @KtorZ @Microproofs @@ -14,11 +17,12 @@ - **aiken-lang**: formatter should not erase `pub` on validators. @rvcas - **aiken-lang**: error on using tuple index when a tuple is returned by a generic function. @rvcas +- **aiken-lang**: backpassing with expect gives a warning on pattern matches. @rvcas - **aiken-lang**: fix a regression in the Type-checker introduced in v1.0.25-alpha regarding types comparison. See #917. @KtorZ - **aiken-lang**: fix incongruous generics after type-checking which caused [] to be treated as a list in cases where it needed to be an empty map primitive. See #922. @KtorZ - **aiken-lang**: fix for generic constrs being used as functions causing type mismatch errors. @Microproofs -- **aiken-lang**: fix for error occuring when a field holds Data that is not a constr type when compiler traces are on. @Microproofs -- **aiken-lang**: fix for curry optimization involving 2 constants #945. +- **aiken-lang**: fix for error occuring when a field holds Data that is not a constr type when compiler traces are on. @Microproofs +- **aiken-lang**: fix for curry optimization involving 2 constants #945. @MicroProofs - **aiken-lang**: fix compiler wrongly requiring MillerLoopResult to be 'serialisable' when manipulated as a top-level value. See #921. @KtorZ - **aiken-lang**: fix type-checker oversight regarding serialisation of generics. See #939. @KtorZ - **aiken-lang**: fix type-checker not raising error when comparing non-serialisable types. See #940. @KtorZ @@ -34,7 +38,6 @@ > > To deserialize into a list of 2-tuple (`List<(a, b)>`), one is now expected to provide a CBOR array of arrays (of 2 elements). Previously, this would require to provide a CBOR map! The downside of the latter is that CBOR serialization libraries do not necessarily preserve the order of keys in a map which could cause issues down the line, in particular with Aiken's dictionnaries. > -> > To recover the old behavior when desired, Aiken introduces a new type `Pair` to the language. So any existing program can be migrated by switching any occurences of `(a, b)` to `Pair`. > > However, it is often preferable to use 2-tuples where possible. The main place you will see usage of `Pair` is in the script context because its form is imposed by the ledger. @@ -44,7 +47,6 @@ - **aiken-lang**: new optimization for wrapped builtins found in the stdlib. @Microproofs - **aiken-project**: slightly restyle warnings to be less noisy. @KtorZ - ## v1.0.26-alpha - 2024-03-25 ### Fixed