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

update changelog

This commit is contained in:
microproofs 2024-05-23 16:15:30 -04:00
parent 59cfa209d7
commit 2c8abe4a69
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
CHANGELOG.md
View File

@ -8,6 +8,7 @@
- **aiken-lsp**: hover and goto definition support on list tail. @rvcas - **aiken-lsp**: hover and goto definition support on list tail. @rvcas
- **aiken-lsp**: hover on prop test via expression. @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**: 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 ### 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 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 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 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 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 oversight regarding serialisation of generics. See #939. @KtorZ
- **aiken-lang**: fix type-checker not raising error when comparing non-serialisable types. See #940. @KtorZ - **aiken-lang**: fix type-checker not raising error when comparing non-serialisable types. See #940. @KtorZ