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

689 lines
23 KiB
Markdown
Raw Blame History

# Changelog
## v1.0.24-alpha - 2024-01-31
### Added
- **aiken**: New aliases for `check` (aiken c) and `build` (aiken b) commands. @Kuly14
### Fixed
- **aiken-lang**: Fixed an issue with expects on lists that used discards. This fixes
the validator issues being seen for previously succeeding validators on 1.0.21-alpha. @MicroProofs
- **aiken-lang**: Out of Span issue is now solved. This also fixes incorrectly selected
traces from the wrong module, which in some cases lead to the out of span issue. @MicroProofs
## v1.0.23-alpha - 2024-01-24
### Fixed
- **aiken-lang**: Now using correct discard match for constructor field access.
- **aiken-lang**: The list_access_to_uplc now always returns a lambda wrapped
term even with only discards. This fixes an apply error being seen by a few
people.
## v1.0.22-alpha - 2024-01-24
### Added
- **aiken**: New `--trace-level` option for the `check` and `build` commands to
allow chosing the verbosity level of traces amongst three levels: silent,
compact & verbose. @MicroProofs @KtorZ
- **aiken**: New `--filter-traces` option for the `check` and `build` commands
to enable restricting traces with more granularity between user-defined
- **aiken-lang**: Most builtin errors are now caught and instead catched trace
errors are thrown. The exception is BLS primitives.
### Fixed
- **aiken-lang**: Fix flat encoding and decoding of large integer values. @KtorZ
- **aiken-lang**: Traces should not have following expressions formatted into a
block. @rvcas
- **aiken-lang**: Sequences should not be erased if the sole expression is an
assignment. @rvcas
- **aiken-lang**: Should not be able to assign an assignment to an assignment.
@rvcas
- **aiken-lang**: Should not be able to have an assignment in a logical op
chain. @rvcas
- **aiken**: Ensures that test expected to fail that return `False` are
considered to pass & improve error reporting when they fail. @KtorZ
- **aiken-lang**: Fix generic edge case involving tuples.
- **aiken**: `aiken new` now uses the current version for the github action.
- **aiken-lang**: Using the head_list builtin on assoc lists now works.
### Removed
- **aiken**: The options `--keep-traces` (on the `build` command) and
`--no-traces` (on the `check` command) have been removed; superseded by the
new options. @MicroProofs @KtorZ
> [!TIP]
>
> - If you've been using `aiken check --no-traces`, you can recover the old
> behavior by doing `aiken check --trace-level silent`.
> - If you've been using `aiken build --keep-traces`, you can recover the old
> behavior by doing `aiken build --trace-level verbose`.
## v1.0.21-alpha - 2023-12-04
### Added
- **aiken**: `--watch` flag on the `build`, `check` and `docs` commands to
automatically watch and re-execute the command on file changes.
@Quantumplation & @KtorZ
- acceptance tests 28-30 @MicroProofs
- **aiken-lang**: expose BLS builtins and types @MicroProofs & @rvcas
- **aiken-lsp**: implement hover info for tuples, lists, and contructor pattern
elements @rvcas
- **aiken-lsp**: implement hover on when clause patterns @rvcas
- **aiken-lsp**: hover support for the optional multi validator fn @rvcas
- **aiken-lsp**: implement quickfix for "utf8 byte array is valid hex string"
warning @rvcas
- **uplc**: add all BLS builtins and types @MicroProofs & @rvcas
- **uplc**: add plutus conformance tests from
[here](https://github.com/input-output-hk/plutus/tree/master/plutus-conformance/test-cases/uplc/evaluation).
@MicroProofs & @rvcas
- **uplc**: case and constr cost models @MicroProofs
### Changed
- **aiken**: update to pallas v0.20.0 @rvcas
- **aiken-project**: switch blueprint validator tests now uses insta
@MicroProofs
- **aiken-project**: update to pallas v0.20.0 @rvcas
- **aiken-lang**: use a better algorithm for inlining single occurrences
@MicroProofs
- **uplc**: update to pallas v0.20.0 @rvcas
- **uplc**: remove `flat-rs` crate and use it through pallas_codec instead
### Fixed
- **aiken-lang**: formatting unable to have newline after expect bool shortcut
@rvcas
- **aiken-lang**: formatter incorrectly erasing blocks in certain situations
@rvcas
- **aiken-lang**: use a distinct warning for discarded let assignments to avoid
confusion @rvcas
- **aiken-lang**: allow spread operator on positional constructor arguments
@rvcas
- **aiken-lsp**: and/or chains hovering on nested elements not working @rvcas
- **uplc**: delay typemismatch errors in the machine runtime (caught by
conformance tests) @rvcas
## v1.0.20-alpha - 2023-10-25
### Added
- **aiken-project**: The `plutus.json` blueprint now contains a `compiler.name`
and `compiler.version` fields.
- **aiken-prokect**: Added compiler and system information to panic error
report.
- **aiken-lsp**: Added quickfix suggestions for unknown variables, modules and
constructors.
### Changed
- **aiken-lang**: Added validator specific error when validator returns false
- **aiken-lang**: Running a multi-validator with traces on will let you know
which validator function is running
- **aiken-lang**: Multi-validator with traces will give a better error when the
'spend' redeemer is not properly wrapped with a constr
- **aiken-lang**: Code gen traces are referenced instead of being inlined
leading to smaller validators
### Fixed
- **aiken-lang**: improved error messages for `a |> b(x)`.
- **uplc**: Fixed cost model issue when using div, quot, rem, mod.
- **aiken-lsp**: Improved hovering suggestions and type annotations.
## v1.0.19-alpha - 2023-09-29
### Fixed
- **aiken-lang**: Fixed small typo in `hoist_dependent_functions` lead to
internal cyclic calls not being recognized.
## v1.0.18-alpha - 2023-09-29
### Added
- **aiken-lang**: Code gen now allows for mutual recursion
### Fixed
- **aiken-lang**: fixed stack overflow with unbound typing being passed into a
function with inferred types
- **aiken-lang**: expect on tuples greater than 2 checks the length to ensure
tuple lists are the same length as the type.
### Changed
- **aiken-lang**: (Code Gen): Rename some of the types to use aliases
- **aiken-lang**: (Code Gen): Remove the use of Air::RecordAccess and TupleIndex
and replace them with functions that directly get the item at the specified
index. Also improves performance.
- **uplc**: Added more cases to the inline optimization function to allow the
removal of further unnecessary lambda bindings.
## v1.0.17-alpha - 2023-09-20
### Added
- **aiken**: add ability to force warnings to cause a failing exit code on
check, build, and docs
- **aiken-lang**: automatically resolve and fetch latest revision of a package
on build when a branch is specified as version
- **uplc**: Add Case and Constr Terms; This includes their flat serialization
and evaluation
### Fixed
- **uplc**: trim whitespace when loading files with hex strings to avoid
confusing errors #720
- **uplc**: uplc `Constant::Data` formatting
- **aiken-lang**: code gen fixes including nested constr when matches and expect
on None
- **aiken-lang**: empty records properly parse as record sugar
- **aiken-lang**: escape sequences are now properly preserved after formatting
- **aiken-lang**: fixed parser ambiguity when using record constructor in if
conditions followed by single-line var expressions #735
- **aiken-project**: when a module name has a hyphen we should behave like rust
and force an underscore
## v1.0.16-alpha - 2023-08-24
### Removed
- **aiken**: `aiken new` no longer accept an `--empty` flag. Projects are
generated empty by default.
## v1.0.15-alpha - 2023-08-19
### Added
- **aiken**: Parameters for `blueprint apply` can now be built interactively.
### Changed
- **aiken-lang**: Opaque types are now properly handled in code gen (i.e. in
code gen functions, in datums/redeemers, in from data casts).
- **aiken**: `blueprint apply` now expects only one OPTIONAL argument. When not
provided, the parameter will be prompted interactively.
- **aiken-lang**: New tests for code gen around opaque types.
- **aiken-lang**: `traverse_with_tree` now has a boolean parameter to determine
when `with` is called.
### Removed
- **aiken**: `blueprint apply` no longer accept a target directory. The command
has to be executed within the same directory as the `aiken.toml`.
## v1.0.14-alpha - 2023-08-16
### Added
- **aiken**: `new` command now fetches latest stdlib version
- **aiken-lang**: new `and` and `or` chaining
```
and {
1 == 1,
or {
2 == 2,
3 != 2,
True,
},
}
```
### Changed
- **aiken-lang**: significantly improved pattern matching exhuastiveness
checking
- **aiken-lang**: Tx Simulate now returns a list of execution budgets for each
redeemer instead of calculating the total units required to run all the
scripts.
- **aiken-lang**: Now code gen uses a tree abstraction to build the Aiken
Intermediary Representation. This now fixes quite a number of minor issues
while making the code more maintainable. This is a large leap towards a stable
version and future updates will be on further simplifying and stabilizing the
tree abstraction.
- **aiken-lang**: Zero argument anonymous functions now are implemted as a
delayed function body and calling them simply does force
- **aiken-lang**: Matching on int in expect and when cases is now implemented
- **aiken-lang**: Using assign in nested pattern matches is now implemented
- **aiken-lang**: Using List<Data> as a validator params only checks the type is
a list and does not attempt to check each item
- **aiken-lang**: Recursion optimization to prevent static parameters from being
passed through every recursion
- **aiken-lang**: aliased import of single type throws compiler error
- **aiken-lsp**: fix diagnostics and formatting on windows vscode
- **aiken**: decode should always print to textual
- **uplc**: pair type formatting
## v1.0.13-alpha - 2023-07-15
### Added
- **aiken-lang**: `expect foo == bar` desugars into `expect True = foo == bar`
### Fixed
- **aiken-lang**: fail, todo, and trace had issues with sequences and
expressions
## v1.0.12-alpha - 2023-07-14
### Added
- **aiken**: added a `blueprint policy` command to compute the policy ID of a
minting script
- **uplc**: parsing and pretty printing for PlutusData
### Fixed
- **aiken-lang**: Prevent mutual recursion caused by conflicting function names
for generic expect type
- **aiken-lang**: UPLC evaluation of large integers literals (> max u64)
- **aiken-lang**: Parsing of error / todo keywords in when cases
- **aiken-lang**: Parsing of negative integer patterns and constants
- **aiken-lang**: automatically infer unused validator args as `Data`
- **aiken-lang**: test crashing when referencing validators
- **aiken**: mem and cpu values were not showing in white terminals, switched to
cyan
### Changed
- **uplc**: make list type and pair type parsing match the plutus core spec
- **aiken-lang**: rename `error` to `fail`
- **aiken-lang**: new failing test syntax `test name() fail {`
### Removed
## v1.0.11-alpha - 2023-06-23
### Added
- **aiken**: enhance `aiken new`
- **aiken-lang**: Binary operator are now treated like first-class citizen in
expressions. In particular, they can be used as function arguments directly:
```
compare_with(a, >=, b) == compare_with(a, fn(l, r) { l >= r }, b)
```
- **aiken-lang**: Make traces produced by expect dependent on the value of the
tracing flag.
### Fixed
- **aiken-lang**: Explain discards and expect a bit better in the unused var
warning
- **aiken-lang**: Fix expect \_ = ... not including the cast from data logic if
the type is data and right hand has a type annotation
- **aiken-lang**: Fix for the final clause of a when expecting another clause
afterwards in nested list cases.
- **aiken-lang**: Fix for all elements were being destructured in tuple clauses
even if not used.
- **aiken-lang**: Fix for tuple clause not consuming the next case causing
incomplete contracts. Now tuple clause will always consume the next case
unless it is the final clause
- **aiken-lang**: Fix for builtins using the incorrect data to type conversion
when used as a function param.
## v1.0.10-alpha - 2023-06-13
### Added
- **aiken**: added panic hook to present a link to make a bug report
### Fixed
- **aiken-lang**: fmt for `module.Constr { field: value }`
- **aiken-lang**: Issue where using var pattern in a when was passing the constr
index instead of the constr
- **aiken-lang**: Issue where expecting on a list had unexpected behaviors based
on list length.
- **aiken-lang**: Issue where expecting on a list from data was using the wrong
expect cast for the list tail.
### Removed
N/A
## v1.0.8-alpha - 2023-06-08
### Added
- **aiken-lang**: numbers can now be written as hexadecimal digits (e.g. `0x42`)
- **aiken-lang**: numbers can now be written using numeric underscores as
separator (e.g. `1_000_000`)
### Fixed
- **aiken-lang**: fixed operator precedences, in particular the pipe operator
(`|>`) which is now of the lowest precedence.
- **aiken-project**: need to convert to Program<Name> before dumping to uplc
- **aiken-lang**: fmt crashing when comment at end of file with no newline
- **aiken-lang**: Fixed error when using nested boolean checks in when
conditions
- **aiken-lang**: Had the wrong conversion for constant maps to plutus data.
Fixed to check for right conversion
- **aiken-lang**: Zero arg functions were grabbing extra dependencies they
didn't need to
- **aiken-lang**: Rearrange list clauses and fill in gaps now handles nested
patterns in a uniform way
- **aiken-lang**: Fixed discards in records that were being sorted incorrectly
leading to type issues
### Removed
N/A
## v1.0.7-alpha - 2023-06-02
### Added
- **aiken-lang**: Add a way to express that tests can return an error
### Fixed
- **uplc**: Fix pair formatting
- **aiken-lang**: forced new line in formatter for assignments
- **aiken-lang**: Incorrect parsing of generic type annotation prefixed with
module
- **aiken-lang**: Incorrect handling of comments at end of a file when newline
not present
- **aiken-lang**: Record update in code gen is now flexible enough to support
fields being passed in any order.
- **aiken-lang**: Record update now produces better uplc code then creating a
record by the normal instantiation.
- **aiken-lang**: Issue with Constructors being passed as functions to other
function arguments was fixed.
- **aiken-lang**: show module name when type mismatch names are the same
- **aiken**: make `uplc flat` and `uplc unflat` subcommands more consistent and
flexible
## v1.0.6-alpha - 2023-05-17
### Fixed
- **aiken-lang**: Fix for cases where identity function is used as a param to a
function or assigned to a var.
- **aiken-lang**: Fix for free unique caused by code gen function having a
missing dependency.
## v1.0.5-alpha - 2023-05-14
### Added
- **aiken-lang**: Add Record Module support for records with 0 fields
- **aiken-lang**: Added some optimization tests
- **aiken-lang**: Added an Aiken to uplc conversion tests on validators
- **aiken-lang**: Added some uplc builder functions for builtin creation
- **aiken-lang**: Added optimization where identity functions called on an arg
are reduced to just the arg.
### Fixed
- **aiken-lang**: Fix for nested constructors where the type had a single
constructor. The fields exposed were not being added to the Air.
## v1.0.4-alpha - 2023-05-09
### Added
- **aiken-lang**: ChooseUnit builtin uses a more efficient way of handling the
first arg (unit) by just assigning to lambda
### Fixed
- **aiken-lang**: Negative numbers now show up as a constant instead of 0 - that
number
- **aiken-lang**: Expect on constructors without field maps no longer panics
- **aiken-lang**: Expect on constructors with discard as assigned field names
now no longer throws free unique
### Changed
- **aiken-lang**: Refactor how builtins are processed to uplc in code gen
## v1.0.3-alpha - 2023-04-28
### Added
- **aiken-lang**: added optimization to help prevent unnecessary data wraps or
unwraps
- **aiken-lang**: optimization to strip unnecessary lambdas
- **aiken-lang**: implement Clone for ParseError and tipo::Error for the
playground
- **aiken-project**: added end to end tests on conversion from aiken lang to
uplc
### Fixed
- **aiken**: fixed 'new' instructions to properly show project name and folder
- **aiken-lang**: Add name of var to the unused var warning
- **aiken-lang**: fix expect on an empty list
- **aiken-lang**: pattern match on boolean with simple clause bodies
- **aiken-lang**: fix for inline_direct_reduce to be applied to pattern match
function instead of argument
- **aiken-lang**: code gen function dependencies won't be hoisted to the top,
instead hoisted at the location depended on.
## v1.0.2-alpha - 2023-04-17
### Fixed
- **aiken-lang**: needed to assert_no_assignment in when and if blocks
- **uplc**: need to return deserialization error in some cases for the machine
builtins
## v1.0.1-alpha - 2023-04-16
### Fixed
- **aiken-lang**: incorrect scoping for anonymous functions
- **aiken-lang**: duplicate arguments were allowed in anonymous functions
## v1.0.0-alpha - 2023-04-13
### Added
- **aiken**: new command `blueprint convert`
### Changed
- **aiken-project**: tests filtering with `-m` during check now happens in
`Project::collect_tests`
- **aiken-project**: fixed generation of blueprints for recursive and mutually
recursive data-types
- **aiken-project**: perform validation of parameters on `blueprint apply`
- **aiken-lang**: block `Data` and `String` from unifying when casting
- **aiken-lang**: remove ability for a type with many variants with matching
field labels and types to support field access
- **aiken-lang**: various uplc code gen fixes
- **aiken-lang**: update todo warning to include type
- **aiken-lang**: `|>` operator can now be formatted as a single (short) line or
forced over multiline in a flexible manner
- **aiken-lang**: the compiler now provides better feedback for type holes (i.e.
`_`) in type annotations
- **aiken-lang**: assignment and clause guard are now always formatted on a new
line
- **aiken-lang**: unused let-bindings are now fully removed from generated code
and discarded unused let-binding now raise a warning
- **aiken-lang**: support multi-clause patterns (only as a syntactic sugar)
- **aiken-lang**: fix lexer panic when parsing too large (> u32) tuple-indexes
- **uplc**: Greatly improved the Plutus virtual machine performances for script
evaluation
## v0.0.29 - 2023-02-23
### Added
- **aiken-project**: new dep rayon for parallel test execution
- **aiken**: new blueprint command
- **aiken-lang**: new syntax for defining validators
- **aiken**: new address command for deriving addresses out of `plutus.json`
- **aiken-lang**: Add missing Plutus builtins to Aiken's lang.
- **aiken**: fancy nix stuff
- **aiken-lsp**: go to definition
- **aiken-lsp**: docs on hover
- **aiken-lsp**: enable compiler a project
### Changed
- **aiken-lang**: `assert` renamed to `expect`
- **aiken-lang**: new syntax for strings and byte array literals
- **aiken-lang**: lots of code gen improvements
- **aiken-lang**: validator checks now happen during infer instead of in project
- **aiken-lang**: fixed unicode parsing
- **aiken-lang**: update default costs models
- **aiken-lang**: Use variable-length threshold for levenshtein distance
- **aiken-project**: Move module name validation outside of type-checking
- **aiken-project**: Add 'plutusVersion' to blueprints
### Removed
- **aiken-project**: remove assets folder in favor of `plutus.json`
- **aiken-lang**: removed some unused constant related data types
## v0.0.28 - 2023-01-06
### Added
N/A
### Changed
- **uplc**: Reward accounts are now correctly turned into script credentials in
ScriptContext.
- **all**: bump pallas version to `v0.16.0`
### Removed
N/A
## v0.0.27 - 2022-MM-DD
### Added
- **aiken-lang**: integrated unit tests
Aiken now supports writing unit tests directly in source files using the new
`test` keyword. Tests are functions with no arguments that are implicitly
typed to `bool`. For example:
```gleam
test foo () {
1 + 1 == 2
}
```
- **aiken**: new `--skip-tests` flag for the `check` command
### Changed
- **aiken**: `check` now also runs and reports on any `test` found in the
project
- **aiken**: fix Plutus V1 `to_plutus_data()` for post-alonzo txout with no
datum hash
### Removed
N/A
## v0.0.26 - 2022-11-23
### Added
- **aiken-lsp**: handle `DidSaveTextDocument` notification
- **aiken-lsp**: convert errors into `lsp_types::Diagnostic`
- **aiken-lang**: doc comment parsing
- **aiken-lang**: code generation for pattern matching expressions
- **aiken-lang**: extended script context
- **aiken-lang**: added Option to builtins
- **aiken-lang**: properly handle record parsing and sugar in patterns
## v0.0.25 - 2022-11-14
### Added
- **aiken**: new `lsp` command
- **aiken**: new `fmt` command
- **aiken**: `build` command now works and outputs assets
- **aiken**: validate project name on `aiken new`
- **aiken-lang**: formatter for `UntypedExpr`
- **aiken-lang**: uplc code gen
- **aiken-lang**: add `Data` to prelude
- **aiken-lang**: allow `Data` to unify with anything that's not in the prelude
- **aiken-project**: validate if validator function return bool
- **aiken-project**: validate if validator function has minimum number of
arguments
- **aiken-lsp**: new crate that contains the aiken language server
### Changed
- **uplc**: `Converter::get_index` now takes the full name to provide better
error messages for `Error::FreeUnique`
## v0.0.24 - 2022-11-04
### Changed
- **uplc**: Sorted remaining structured in the ScriptContext (Value, Wdrl, (Ref)
Inputs, Mint, Required signers, Data, Redeemers)
## v0.0.23 - 2022-11-03
### Changed
- **uplc**: sort inputs for script context fixes an issue in lucid
https://github.com/spacebudz/lucid/issues/109
## v0.0.22 - 2022-10-31
### Added
- **aiken**: Fancy errors using [miette](https://github.com/zkat/miette)
- **aiken**: Typechecking
- **aiken**: Inject `aiken/builtin` module with some functions from
`DefaultFunction` in UPLC directly exposed
- **aiken-lang**: add `infer` method to `UntypedModule` which returns a
`TypedModule`
- **uplc**: Expose various Pallas primitives from UPLC to make constructing UPLC
types possible for consumers
### Changed
- **aiken**: Project structure is now a bit different. See
[examples/sample](https://github.com/aiken-lang/aiken/tree/main/examples/sample)
for more
## v0.0.21 - 2022-10-23
### Added
- **flat-rs**: New errors for debugging flat decoding issues
### Changed
- **uplc**: Fixed overflow issue by changing `i64` to `i128` in `BigInt::Int`
instances
- **uplc**: Added `apply_params_to_script` function (applies params to script
and serializes the new script).
## v0.0.20 - 2022-10-17
### Added
- **aiken**: `Project` module which is responsible loading modules and running
the compilation steps
- **aiken**: `UplcCommand::Flat` flip the cbor_hex if condition so that the
correct logic runs when using the flag
- **uplc**: use i128 for `Constant::Integer`
- **flat-rs**: add support for i128 encode and decode
- **flat-rs**: add i128 zigzag function
Reference in New Issue View Git Blame Copy Permalink