0dec4dc533
Move script context e2e tests under a nested 'v2' directory.
...
And rework scripts to run them in anticipation of new v3 contexts.
2024-08-13 10:55:21 +02:00
72059eacee
Fix: Recursion issue where the static param optimization on recursive functions that were passed as arguments to other functions
2024-08-08 19:36:16 -04:00
6e4a16d8e0
Illustrate new failing scenario with multi-arg function identifiers
...
As far as I could tell, this behavior is only observed when the arity
of the function is higher than 1. It's fine for single-arg functions
somehow.
2024-08-08 14:52:19 -04:00
53c461294b
Fix example that was throwing an error
2024-08-08 00:39:44 -04:00
0a1992acd2
Run acceptance tests
2024-08-08 00:39:44 -04:00
8a461d5bd5
Few minor changes, clippy fixes, and test fixes
2024-08-08 00:39:44 -04:00
9ea54afd12
Add on more example illustrating if/is issue.
2024-08-08 00:39:44 -04:00
c4abf2e8f4
Add acceptance test 106 showing issue with if/is implicit casting.
2024-08-08 00:39:44 -04:00
bf5a406ffb
Remove clause guards.
...
Closes #886 .
2024-08-02 00:16:27 -04:00
1001e83374
Updated acceptance test runs
2024-07-24 10:34:29 -04:00
dfce9c1d96
feat: Add multivalidator as an AIR tree opcode.
...
feat: Add uplc eval optimization
2024-07-24 10:00:08 -04:00
fe7d744946
Split continuous workflow in three jobs.
...
Doing all steps sequentially is starting to get long. Several of those checks are unrelated and can be done in parallel.
2024-07-16 17:41:14 +02:00
f1cfc84e67
Fix tree traversal node selection for a few of the enum variants
2024-06-25 18:50:00 -04:00
7da35d5d73
chore: add acceptance tests for if/is
2024-06-25 18:50:00 -04:00
858dfccc82
Authorize complete patterns as function args.
...
This is mainly a syntactic trick/sugar, but it's been pretty annoying
to me for a while that we can't simply pattern-match/destructure
single-variant constructors directly from the args list. A classic
example is when writing property tests:
```ak
test foo(params via both(bytearray(), int())) {
let (bytes, ix) = params
...
}
```
Now can be replaced simply with:
```
test foo((bytes, ix) via both(bytearray(), int())) {
...
}
```
If feels natural, especially coming from the JavaScript, Haskell or
Rust worlds and is mostly convenient. Behind the scene, the compiler
does nothing more than re-writing the AST as the first form, with
pre-generated arg names. Then, we fully rely on the existing
type-checking capabilities and thus, works in a seamless way as if we
were just pattern matching inline.
2024-06-07 15:42:25 +02:00
e1f39ae539
Oversight: fix missing 'AList' -> 'Pairs' conversion.
2024-05-23 17:08:33 +02:00
5ce30b2632
Rename AList -> Pairs due to popular demand.
2024-05-23 16:45:40 +02:00
3d06129d9b
add test for curry optimization that is a reduced case of #945
2024-05-22 15:46:32 -04:00
c1a913f420
fix(config): add default for plutus version
2024-05-22 13:59:56 -04:00
c1c2cd97b7
New test 103 and clippy fixes
2024-05-21 11:56:12 -04:00
b546e42766
FML.
2024-05-14 15:27:08 +02:00
8881a88ae3
Also fix multi-validator for gift_card.
2024-05-14 13:28:24 +02:00
ff0407a245
Fix stdlib adjustment in gift_card.
2024-05-14 10:44:48 +02:00
6d7b851c70
Fix 077 after yet-another-breaking-change in stdlib.
2024-05-10 19:05:00 +02:00
8a6957dfd0
Update fresh
2024-05-10 10:37:35 -04:00
893e9c9855
activate test 75
2024-05-06 15:17:01 -04:00
967f4348ed
Add new acceptance test 101 capturing type mismatch at runtime.
2024-05-06 15:17:01 -04:00
0a660c6a21
Add new acceptance test illustrating need for fn call ordering
2024-05-06 15:17:01 -04:00
99c35a6459
Add now-necessary type-annotations in tests
2024-05-06 15:17:01 -04:00
0e9baf4944
test should fail
2024-05-06 11:35:55 -04:00
2f61f59b60
Closes #909
2024-05-06 11:35:05 -04:00
14903f7352
update gift card example
2024-05-04 16:08:08 -04:00
b669db8516
update tests
2024-05-04 15:58:14 -04:00
b3d0c3ec04
fix: fixing tests to account for the new stdlib main. Also added test 75 but commented out for now until a fix is merged
2024-05-04 14:26:06 -04:00
a44ed4c1a8
Change prelude Map to AList
2024-05-04 14:04:12 -04:00
d8d2fb0ebc
fix example error
2024-05-04 14:04:12 -04:00
fc0e88018e
Chore:
...
Refactor get_uplc_type to account for constr types that don't exactly resolve to a uplc type
Check arg_stack in uplc generator has only 1 argument at the end of the generation
warning fixes
2024-05-04 14:04:12 -04:00
1091eba3c3
Review & fix acceptance tests
...
Temporarily using the 'specialize-dict-key' branch from the stdlib
which makes use of Pair where relevant. Once this is merged back into
'main' we should update the acceptance test toml files to keep getting
them automatically upgraded.
This commit also fixes an oversight in the reification of data-types
now properly distinguishing between pairs and 2-tuples.
Co-authored-by: Microproofs <kasey.white@cardanofoundation.org>
2024-05-04 14:04:12 -04:00
7b5ad961e2
fix: found issue with record access on Pairs
2024-05-04 14:04:12 -04:00
a6003c3be9
chore: push changes in blueprint snapshot test
2024-03-27 15:57:29 -04:00
a5a0734629
fix: casting a field type to Data with expect and traces on was assuming the raw Data was of type constr
2024-03-27 15:52:23 -04:00
61936cb91e
fix(codegen): Add tracing when checking for a constr vs another primitive
2024-03-17 16:25:17 -04:00
37627e3527
Fix indentation of pipelines.
2024-03-09 20:44:51 +01:00
c7dcb2c256
Add tests for zero arg cyclic functions and renamed function aliases
2024-03-09 13:23:27 -05:00
d6cc9bdfbe
Allow implicit discard when right-hand side is Void.
...
This is the most intuitive/expected behavior. Otherwise, it forces a pointless let-binding to 'Void' or into a discard.
2024-03-09 01:28:29 +01:00
c906501836
add one more test
2024-03-08 12:25:26 -05:00
eb07365e73
fix tests
2024-03-08 00:12:44 -05:00
ae396c0224
Fix opaque type destructuring in code gen
2024-03-08 00:12:44 -05:00
a3fbe6c155
fix tests
2024-03-06 23:27:10 -05:00
25ebdc2527
fix: validator args unexpectedly unbound
...
closes #852
2024-03-06 14:15:00 -05:00
KtorZ