Aiken Files

Release Notes

Added

• aiken: New --property-coverage flag to the check command, to switch the coverage denominator between the number of iterations and the total number of labels. @KtorZ

``` -P, --property-coverage <COVERAGE_MODE> Display options for the coverage. - relative-to-labels: Ratio of each label over the total number of labels. Better when labels are mutually-exclusive and present in each test.

        - relative-to-tests:
            Ratio of each label over the total number of tests/iterations.
            Better when labels are occasional and non-exclusive per test.

      [default: relative-to-labels]

• aiken: New --script-override flag added to the tx simulate command, to override script hashes with another script without modifying the transaction CBOR. @yHSJ

--script-override [<SCRIPT_OVERRIDES>...] The "from" hash which is being replaced and the hash "to" hash which is being overriden in the form "FROM:TO"

• aiken-lang: New prelude function to conveniently upcast any serialisable type into Data in places where the compiler cannot do it implicitly.

aiken pub fn as_data(data: Data) -> Data

• aiken-lsp: New quickfix to pluck inferred types in holes within annotations. @KtorZ
• aiken-lsp: New quickfix to make private functions, types or constants public when detected unused. @KtorZ
• aiken-lsp: New quickfix to make types public when 'leaking' from a public function (e.g. validator handlers). @KtorZ

Fixed

• aiken: Allow blueprint 'apply' to be called from outside an Aiken project. @mpizenberg
• aiken-lang: Correctly infer Fuzzer & Sampler via type annotations when referring to foreign types. @KtorZ
• aiken-lang: Allow type reification to pierce through Data aliases (e.g. Redeemer) holding lists, tuples or pairs, instead of crashing the compiler. @KtorZ
• aiken-lang: Allow Pair to be used inline in Fuzzer's eDSL. @KtorZ
• aiken-lang: Do not mark imported types as unused when used only as namespace in patterns. @KtorZ
• aiken-lang: Do not warn about unused constructors when already warning about unused type. @KtorZ
• aiken-lsp: Fix module's inhabitant import quickfix for renamed modules. @KtorZ
• aiken-lsp: Fix quickfix suggestion to use qualified for renamed modules. @KtorZ

Install aiken 1.1.17

Install prebuilt binaries via shell script

:::sh
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/aiken-lang/aiken/releases/download/v1.1.17/aiken-installer.sh | sh

Install prebuilt binaries via powershell script

:::sh
powershell -ExecutionPolicy ByPass -c "irm https://github.com/aiken-lang/aiken/releases/download/v1.1.17/aiken-installer.ps1 | iex"

Install prebuilt binaries into your npm project

:::sh
npm install @aiken-lang/aiken@1.1.17

Install prebuilt binaries via Homebrew

:::sh
brew install aiken-lang/tap/aiken

Download aiken 1.1.17