ed73df302a
fix: completions should not work on windows
2024-05-23 16:43:56 -04:00
ff50d4d2cf
chore: Release
2024-05-23 16:23:59 -04:00
3f46559dbe
chore: update changelog
2024-05-23 16:21:16 -04:00
2c8abe4a69
update changelog
2024-05-23 16:15:30 -04:00
59cfa209d7
change uplc version number based on plutus version
2024-05-23 15:04:59 -04:00
e2bc3a9fc4
Update blueprint generation to work with Pairs.
...
Closes #938 .
2024-05-23 18:15:46 +02:00
c48f15a957
revert #903 'feat: Emit keyword'
...
While we agree on the idea of having some ways of emitting events, the
design hasn't been completely fleshed out and it is unclear whether
events should have a well-defined format independent of the framework
/ compiler and what this format should be.
So we need more time discussing and agreeing about what use case we
are actually trying to solve with that.
Irrespective of that, some cleanup was also needed on the UPLC side
anyway since the PR introduced a lot of needless duplications.
2024-05-23 17:22:12 +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
8e0f32a577
Fix negative evaluation costs
...
Whoopsie.
2024-05-23 11:21:47 +02:00
3d06129d9b
add test for curry optimization that is a reduced case of #945
2024-05-22 15:46:32 -04:00
c3ad52b50f
feat: add compiler version to aiken.toml
2024-05-22 15:35:57 -04:00
d6cc450ce4
The actual issue with #945 is that the curry builtin reducer could sometimes place fully applied builtins that could evaluate and fail above where they were actually used. This happened with builtins that were called with the same constants enough times for the curry builtin to try hoist to a higher scope. This is now fixed by detecting which builtins are safe to evaluate in advance before we hoist fully applied builtins
2024-05-22 15:22:31 -04:00
c1a913f420
fix(config): add default for plutus version
2024-05-22 13:59:56 -04:00
7f38b55c1c
fix: comments in record patterns closes #946
2024-05-22 12:26:36 -04:00
c16bd06e97
make sure traverse_uplc_with_helper is always passing the arg to lambda before running the with function.
...
Breaks #945 again
2024-05-22 11:58:05 -04:00
edf82f773c
chore: update snapshots
2024-05-22 11:30:02 -04:00
f5c4f4cb37
chore(plutus_version): use a cuter name in the config field
2024-05-21 17:13:12 -04:00
489eff7f5b
Closes #945
...
Switch to depth first optimization passes instead of breadth first for inlining. Need to think more on how to do breadth first optimization passes
2024-05-21 17:12:57 -04:00
e28b0df840
fix: add v3 mapping for builtin semantics relates to #907
2024-05-21 17:06:18 -04:00
050d003b27
feat: use plutus version in convert command
...
relates to #907
2024-05-21 17:05:02 -04:00
f306f1715a
feat: use plutus version in address command
...
relates to #907
2024-05-21 17:04:25 -04:00
3bc3792aa3
feat: add plutus version to aiken.toml
...
relates to #907
2024-05-21 17:02:20 -04:00
4ca73c4cdf
fix: closes #898
...
This is the best we can do for this without
rearchitecting when we rewrite backpassing to
plain ol' assignments. In this case, if we see
a var and there is no annotation (thus probably not a cast),
then it's safe to rewrite to a `let` instead of an `expect`.
This way, we don't get a warning that is **unfixable**.
We are not trying to solve every little warning edge
case with this fix. We simply just can't allow there
to be a warning that the user can't make go away through
some means. All other edge cases like pattern matching on
a single contructor type with expect warnings can be fixed
via other means.
2024-05-21 15:21:24 -04:00
c1c2cd97b7
New test 103 and clippy fixes
2024-05-21 11:56:12 -04:00
a3c14d881d
Merge branch 'fix/scope-when-backtracking'
2024-05-16 23:43:00 +02:00
7ff6eba869
Prefer '.clone_from' over mutating a clone.
...
Clippy says it's more efficient. I trust clippy. Clippy good.
2024-05-16 23:42:53 +02:00
ea3e79c132
Renamed 'unseed' -> 'not_yet_inferred'
2024-05-16 23:33:23 +02:00
27b3536f09
Also preserve warnings when resetting scope for backtracking.
...
This is crucial as some checks regarding variable usages depends on
warnings; so we may accidentally remove variables from the AST as a
consequence of backtracking for deep inferrence.
2024-05-16 23:20:52 +02:00
e87063824c
Fix pretty-printing of recursive type-alias causing stack overflow.
...
Fixes #942 .
2024-05-16 17:20:26 +02:00
eadf709411
Fix scope management issue when deep-inferring callee.
...
Fixes #941 .
However, this currently breaks the stdlib somehow with some FreeUnique on the shrinker step of the optimizer.
2024-05-15 13:18:51 +02: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
1ed4fa1c69
Show warning when ignoring modules + restyle warnings slightly
...
Fixes #916 .
2024-05-14 13:27:19 +02:00
81219cfbdd
Check for data-type serialisability after generic instantiation
...
Fixes #939 .
2024-05-14 10:58:58 +02:00
26ef25ba8d
Make comparison of non-serialisable types illegal.
...
Fixes #940 .
2024-05-14 10:45:15 +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
c5de9adcd3
Add some log output / feedback to completion --install
2024-05-10 17:31:48 +02:00
c86978b5ac
fix: clippy and add docs to the new flag
2024-05-10 10:51:29 -04:00
8a6957dfd0
Update fresh
2024-05-10 10:37:35 -04:00
8c67be55ce
Fixes #921 : top-level Miller-loop needs not to be serialisable
...
This is a bit tricky, but in a similar way where we allow functions to
be returned by functions, this must also work for MillerLoopResult.
2024-05-10 13:52:23 +02:00
83c0566afb
Merge remote-tracking branch 'freexploit/add-completion-install'
2024-05-10 13:11:10 +02:00
392b54aa0e
chore: update readme links
2024-05-08 23:02:02 -04:00
4cbde9942a
chore: goodbye old friend
2024-05-08 22:52:19 -04:00
6df1fcb9b0
Merge branch 'aiken-lang:main' into add-completion-install
2024-05-08 10:03:34 -06:00
f8ce46d0f4
chore(ci): run cargo dist init
2024-05-08 11:05:30 -04:00
30436a8a9c
update changelog
2024-05-06 15:17:01 -04:00
893e9c9855
activate test 75
2024-05-06 15:17:01 -04:00
878298cc8e
don't use generic data type lookup when you have a Record Variant as a function
2024-05-06 15:17:01 -04:00
rvcas