waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

chore: update changelog

This commit is contained in:
rvcas 2024-05-23 16:20:09 -04:00
parent 2c8abe4a69
commit 3f46559dbe
No known key found for this signature in database
GPG Key ID: C09B64E263F7D68C
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
CHANGELOG.md
View File

@ -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 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<a, b>` to the language. So any existing program can be migrated by switching any occurences of `(a, b)` to `Pair<a, b>`.
>
> 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