135dbd8335
This improves error messages for `a |> b(x)`. We need to do a special check when looping over the args and unifying. This information is within a function that does not belong to pipe typer so I used a closure to forward along a way to add metadata to the error when the first argument in the loop has a unification error. Simply adding the metadata at the pipe typer level is not good enough because then we may annotate regular unification errors from the args.
Hello, World!
An example of an Hello, World! contract using Aiken and Lucid.
See the full tutorial on aiken-lang.org.
Building
aiken build
Generating Credentials
deno run --allow-net --allow-write generate-credentials.ts
Locking Funds
Warning
Require
BLOCKFROST_API_KEYenvironment variable to be set.
deno run --allow-net --allow-read --allow-env hello_world-lock.ts
Unlocking Funds
Warning
Require
BLOCKFROST_API_KEYenvironment variable to be set.
deno run --allow-net --allow-read --allow-env hello_world-unlock.ts TRANSACTION_ID_FROM_LOCK