bump(aiken): update to v1.1.2

[renovate]

This PR contains the following updates:

Package	Update	Change
aiken	minor	v1.0.26-alpha -> v1.1.2

---

Warning

Some dependencies could not be looked up. Check the Dependency Dashboard for more information.

---

Release Notes

aiken-lang/aiken (aiken)

v1.1.2

Compare Source

Added

• N/A

Changed

• aiken-lang: Fix issues with static recursive optimization. See #​1009 @​Microproofs
• aiken-lang: Aiken IR now interns variables while building up to ensure uniqueness for local vars. @​Microproofs
• aiken-lang: Fix reification of Data (failing to reify) & PRNG (missing variants' arguments). @​KtorZ
• aiken-lang: Adjust reification of String to be shown as plain UTF-8 text strings (instead of hex-encoded byte array). @​KtorZ
• aiken-lang: Fix formatting of long if-condition over multiline. @​KtorZ & @​Microproofs
• aiken-lang: Fix formatting of standalone logical binary chains (and & or) in functions. @​KtorZ

Removed

• N/A

v1.1.1

Compare Source

Added

• N/A

Changed

• aiken-lang: Fix validator's else handler generation. See #​1015 @​KtorZ
• aiken-lang: Fix underflow in error message reported by the validator arity. See #​1013 @​KtorZ
• aiken-lang: Fix list-pattern needlessly formatting over multiple lines. @​KtorZ
• aiken-lang: Fix formatter on long alternative patterns spanning over multiple lines. @​KtorZ
• aiken-lang: Fix needed parentheses under trace-if-false operator for todo, fail, unop & pipelines; removed when formatting. @​KtorZ
• aiken-lang: Fix formatter removing curly braces around multi-line constants. It's fine to not have curly braces, but it's the Aiken signature after all. @​KtorZ
• aiken-lang: Improve LSP suggestion for module imports. @​Riley-Kilgore

Removed

• N/A

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. @​rvcas

• aiken-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 and mk_pair_data builtins. See #​964. @​KtorZ

• aiken-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. @​KtorZ

• aiken-project: modules starting with @hidden in their docs will be skipped from docs generation. @​KtorZ

• aiken-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 and mk_nil_pair_data invokation. @​KtorZ

• aiken-lang: rename some builtins. @​KtorZ

  old name	new name
  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. @​KtorZ

• aiken-lang: allow tests to return Void. Tests that return Void are treated the same as tests that return True. See #​1000. @​KtorZ

• aiken-lang: rework traces to be (1) variadic, (2) generic in its arguments and (3) structured. @​KtorZ

  In more details:

  1. Enables the trace keyword to take one, two or any argument really separated by comma after the first. For example:

     trace @​"a classic trace"
     
     // ..
     
     trace @​"condition_1": @​"foo"
     
     // ...
     
     trace @​"condition_2": @​"foo", @​"bar"
     

  2. Enables the trace keyword to not only take strings as arguments; but any
     data-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.

     trace @​"condition_1": [1, 2, 3]
     
     // ...
     
     let my_var = Some("foo")
     trace my_var
     

  3. Changes the behavior of the --trace-level compact mode to now:

  • remove trace-if-false (? operator) traces entirely in this mode;
  • only keep the label (first trace argument) and error when it isn't a string.

  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

• aiken-lang: clause guards are no longer part of the language. See #​886. @​KtorZ.

---

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.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.