3a7aac0a33
Make blueprint code slightly more resilient to changes.
...
Leverage traits instead of hard-coded type parameters.
2023-03-12 12:44:49 -04:00
e44f18bae5
Add failing test scenario for recursive types.
2023-03-12 12:44:49 -04:00
31c280552d
add another validator
2023-03-12 00:25:26 -05:00
4a7bbc23df
fix: change in scope was applied in wrong place in pattern_ir for constr expect
2023-03-12 00:25:26 -05:00
4b9ccc8592
Merge pull request #426 from waalge/waalge/bump-cargo2nix
...
chore: bump rust version in nix
2023-03-11 12:05:07 +01:00
6440c4f498
fix(codegen): tuple pattern scopes
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-03-09 19:30:52 -05:00
fa55a4173c
fix: gh actions bump cargo2nix unstable
2023-03-09 09:48:38 +00:00
6817510e2d
Merge branch 'main' into waalge/bump-cargo2nix
2023-03-09 09:44:11 +00:00
993d1f1187
merge
2023-03-09 09:41:33 +00:00
f377d60085
ChooseData is now lazy with its branch arguments.
...
This enables calling the un_data builtins directly from choose_data args
2023-03-09 00:31:57 -05:00
dbef4474fa
Add new acceptance scenario: 065
...
-> The provided Plutus code called 'error'.
This scenario _could_ work if `choose_data` was lazy in its arguments.
Which is a reasonable thing to expect from `choose_data`. Since we
don't have any way to introduce on-demand lazyness in the language
(and we are not looking for ways), we need to make a special case for
`choose_data` which is a perfect (and singular) use case for it.
2023-03-09 00:31:57 -05:00
553eb88d3d
fix(check): record field access properly restricted to single constr types
2023-03-08 23:50:16 -05:00
ba4635a8b0
chore: update changelog
2023-03-08 22:50:03 -05:00
41e725152e
feat(unify): cannot cast between string and data closes #432
2023-03-08 22:47:38 -05:00
c85240cbed
Fix exception when doing expect boolean = ..
...
Add new Air Assert Bool
Add acceptance test 76
2023-03-08 22:31:30 -05:00
6cde0628a7
fix(check): filter tests before code gen
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-03-08 20:58:27 -05:00
a66c9bd2c3
Remove redundant match on tuple blueprint generation.
2023-03-08 16:40:03 +01:00
2c987e289d
Fix 'find_modules_prefix' when generating docs.
2023-03-08 12:28:01 +01:00
e8feb10505
chore: bump rust version in nix
...
- Had to move to cargo2nix/unstable;
the previous release topped out at 1.61.0,
but dependency `clap_lex v0.3.2` requires >= 1.64.0
2023-03-08 11:03:50 +00:00
ab32302117
Only generate documentation of current package with 'docs'
...
This was generating documentation for ALL packages including dependencies.
2023-03-08 12:00:59 +01:00
0ea4538cac
Fix typo and pluralize message for invalid field arity error.
2023-03-08 11:44:54 +01:00
2aa8a7f973
Merge pull request #424 from aiken-lang/patch/cargo.nix
...
Update Cargo.nix
2023-03-08 11:40:05 +01:00
d8934b3d8d
Merge pull request #421 from aiken-lang/monomorph-panic-fix
...
Functions with only a generic return weren't being properly monomorph…
2023-03-08 11:39:50 +01:00
89373c32e6
Functions with only a generic return weren't being properly monomorphized. Fixed that.
2023-03-08 10:31:05 +01:00
4a8e756f88
[create-pull-request] automated change
2023-03-08 09:26:01 +00:00
95997822dc
Merge pull request #422 from aiken-lang/rvcas/json_output_cmds
...
JSON output for `uplc` cmds
2023-03-08 10:24:05 +01:00
f8545854fc
feat: json output for uplc eval
2023-03-08 10:19:36 +01:00
bd7b8792bf
feat: introduce EvalResult type
2023-03-08 10:19:36 +01:00
4f1d14f2a0
feat: introduce miette into uplc
2023-03-08 10:19:35 +01:00
cb11b21c9f
Update dependencies
...
In particular, tempfile >= 3.4.0 to remove the vulnerability on remove_dir_all
2023-03-08 10:17:22 +01:00
7257c2d89e
Small tweaks on the hello_world examples.
2023-03-08 09:47:08 +01:00
4ea50ca9ab
Remove editor configuration file.
...
Editor configurations and other system-specific files aren't meant to
be committed to public repository. This belongs to a dev environment
and should be handled by developers themselves though local git
configurations.
2023-03-08 09:42:03 +01:00
e3179c06ac
[create-pull-request] automated change
2023-03-07 19:53:17 -05:00
6ec37778d7
change var to utxo from lockOutRef
2023-03-07 19:15:03 -05:00
2cfa0aeda9
add missing types, update log descriptions, deno fmt
2023-03-07 19:15:03 -05:00
80afb5fc2d
update cli documentation
2023-03-07 19:15:03 -05:00
6aa51213e4
add deno settings
2023-03-07 19:15:03 -05:00
9b96f7bb2e
chore: commit acceptance test plutus files
2023-03-06 13:26:36 -05:00
8f765bfd52
fix: some breaking changes from pallas v0.18
2023-03-06 13:17:14 -05:00
c3175e2fc9
fix: some breaking changes from clap v4
2023-03-06 13:16:33 -05:00
79c2cb3062
fix: toml now have a better way to capture error spans
2023-03-06 13:15:48 -05:00
92161bed43
fix: From<&str> for GlobPattern does not exist need to use string
2023-03-06 13:15:12 -05:00
1902a2d56c
chore: update all deps
2023-03-06 13:13:59 -05:00
1f8535e76e
chore: update some deps
2023-03-06 11:09:44 -05:00
4688bfaaca
chore: start next section of changelog
2023-03-06 10:42:53 -05:00
9f587e802c
chore: update comment
2023-03-03 20:57:20 -05:00
e2dc4ec6c8
feat: implement convert command
2023-03-03 20:57:20 -05:00
812ffb30f0
feat(cli): wire together a new command for convert
2023-03-03 20:57:20 -05:00
f230af436c
fix: scope issue with expect and function calls
...
Add acceptance test 72
2023-03-03 01:00:35 -05:00
60bc2ab61d
clippy
2023-03-02 21:49:20 -05:00
KtorZ