Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR contains the following updates:
v1.0.26-alpha
->v1.1.3
Warning
Some dependencies could not be looked up. Check the Dependency Dashboard for more information.
Release Notes
aiken-lang/aiken (aiken)
v1.1.3
Compare Source
Added
Changed
Removed
v1.1.2
Compare Source
Added
Changed
Data
(failing to reify) &PRNG
(missing variants' arguments). @KtorZString
to be shown as plain UTF-8 text strings (instead of hex-encoded byte array). @KtorZand
&or
) in functions. @KtorZRemoved
v1.1.1
Compare Source
Added
Changed
Removed
v1.1.0
Compare Source
Added
aiken-lang: also authorize (complete) patterns in function arguments list instead of only variable names. @KtorZ
aiken-lang: new syntax for soft casting otherwise known as
if/is
. See #959 or Control Flow - soft casting for more details. @rvcasaiken-lang: optimization: pre-evaluate constant arguments to lambdas when safe to do so. @MicroProofs
aiken-lang: infer type when immediately possible during a patterned type-cast. See #969. @KtorZ
aiken-lang: add support for
mk_cons
andmk_pair_data
builtins. See #964. @KtorZaiken-lang: pattern-matching on bytearrays is now available. See #989. @KtorZ
aiken-project: conditional configuration and environment. See #937. @KtorZ
aiken-project: warning on compiler version mismatch. See de870e2. @rvcas
aiken-project: source links to generated documentation for types, constants and functions. @KtorZ
aiken-project: comments containing Markdown section headings (
#
,##
,###
etc.) will now be preserved and rendered in generated documentation. @KtorZaiken-project: modules starting with
@hidden
in their docs will be skipped from docs generation. @KtorZaiken-project: preserve type-aliases as titles in blueprint generated schemas. @KtorZ
uplc: support evaluation of Plutus V3 transactions, including new purposes introduced in Conway. @KtorZ
Changed
aiken-lang: zero-arg functions are no longer evaluated at compile-time. However, constants can now hold any expression and are fully evaluated at compile-time. Use
const
whenever a zero-arg function was used, unless you do want to defer execution. @KtorZ @MicroProofs.aiken-lang: fix zero-arg builtins
mk_nil_data
andmk_nil_pair_data
invokation. @KtorZaiken-lang: rename some builtins. @KtorZ
mk_nil_data
new_list
mk_pair_data
new_pair
mk_nil_pair_data
new_pairs
aiken-lang: duplicate import lines are now automatically merged instead of raising a warning. However, imports can no longer appear anywhere in the file and must come as the first definitions. @KtorZ
aiken-lang: remove warning on discarded expect, allowing to keep 'side-effects' when necessary. See #967. @KtorZ
aiken-lang: allow expect as last (or only) expression in function body, when clauses and if branches. Such expressions unify with
Void
. See #1000. @KtorZaiken-lang: allow tests to return
Void
. Tests that returnVoid
are treated the same as tests that returnTrue
. See #1000. @KtorZaiken-lang: rework traces to be (1) variadic, (2) generic in its arguments and (3) structured. @KtorZ
In more details:
Enables the
trace
keyword to take one, two or any argument really separated by comma after the first. For example:Enables the
trace
keyword to not only take strings as arguments; but anydata-type that is serialisable (i.e. that can be cast to Data). It is fundamentally identical to calling the
cbor.diagnostic
function from the standard lib; except that this is done and glued with the rest of the trace automatically.Changes the behavior of the
--trace-level compact
mode to now:?
operator) traces entirely in this mode;See also #978.
aiken-lang: rework formatter behaviour on long-lines, especially in the presence of binary operators. @KtorZ
aiken-lang: provide better errors for unknown types used in cyclic type definitions. @KtorZ
aiken-project: fix blueprint's apply truncating last character of outputs. See #987. @KtorZ
aiken-project: provide better error (include input ref) when inputs are missing during transaction evaluation. See #974. @KtorZ
aiken-project: module inhabitants are no longer alphabetically sorted when generating documentation. Instead, the order in which they are defined in the module is used. @KtorZ
aiken-project: the sidebar links to modules within a package is now fully hierarchical and (hopefully) better-looking. @KtorZ
Removed
Configuration
📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).
🚦 Automerge: Enabled.
♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.
🔕 Ignore: Close this PR and you won't be reminded about this update again.
This PR was generated by Mend Renovate. View the repository job log.