diff --git a/CHANGELOG.md b/CHANGELOG.md index f582db03..cd19ff87 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,6 +8,7 @@ - **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 +- **aiken-lang**: Codegen now generates uplc version 1.1.0 scripts when running build with plutus v3. ### Fixed @@ -17,6 +18,7 @@ - **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 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