rvcas
cb4c01f46b
chore: remove msi and update cargo dist
2024-05-23 21:07:44 -04:00
rvcas
338fc0eba6
chore: Release
2024-05-23 16:45:10 -04:00
rvcas
2605dc6aa4
chore: update changelog
2024-05-23 16:44:50 -04:00
rvcas
ed73df302a
fix: completions should not work on windows
2024-05-23 16:43:56 -04:00
rvcas
ff50d4d2cf
chore: Release
2024-05-23 16:23:59 -04:00
rvcas
3f46559dbe
chore: update changelog
2024-05-23 16:21:16 -04:00
microproofs
2c8abe4a69
update changelog
2024-05-23 16:15:30 -04:00
microproofs
59cfa209d7
change uplc version number based on plutus version
2024-05-23 15:04:59 -04:00
KtorZ
e2bc3a9fc4
Update blueprint generation to work with Pairs.
...
Closes #938 .
2024-05-23 18:15:46 +02:00
KtorZ
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
KtorZ
e1f39ae539
Oversight: fix missing 'AList' -> 'Pairs' conversion.
2024-05-23 17:08:33 +02:00
KtorZ
5ce30b2632
Rename AList -> Pairs due to popular demand.
2024-05-23 16:45:40 +02:00
KtorZ
8e0f32a577
Fix negative evaluation costs
...
Whoopsie.
2024-05-23 11:21:47 +02:00
microproofs
3d06129d9b
add test for curry optimization that is a reduced case of #945
2024-05-22 15:46:32 -04:00
rvcas
c3ad52b50f
feat: add compiler version to aiken.toml
2024-05-22 15:35:57 -04:00
microproofs
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
rvcas
c1a913f420
fix(config): add default for plutus version
2024-05-22 13:59:56 -04:00
rvcas
7f38b55c1c
fix: comments in record patterns closes #946
2024-05-22 12:26:36 -04:00
microproofs
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
rvcas
edf82f773c
chore: update snapshots
2024-05-22 11:30:02 -04:00
rvcas
f5c4f4cb37
chore(plutus_version): use a cuter name in the config field
2024-05-21 17:13:12 -04:00
microproofs
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
rvcas
e28b0df840
fix: add v3 mapping for builtin semantics relates to #907
2024-05-21 17:06:18 -04:00
rvcas
050d003b27
feat: use plutus version in convert command
...
relates to #907
2024-05-21 17:05:02 -04:00
rvcas
f306f1715a
feat: use plutus version in address command
...
relates to #907
2024-05-21 17:04:25 -04:00
rvcas
3bc3792aa3
feat: add plutus version to aiken.toml
...
relates to #907
2024-05-21 17:02:20 -04:00
rvcas
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
microproofs
c1c2cd97b7
New test 103 and clippy fixes
2024-05-21 11:56:12 -04:00
KtorZ
a3c14d881d
Merge branch 'fix/scope-when-backtracking'
2024-05-16 23:43:00 +02:00
KtorZ
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
KtorZ
ea3e79c132
Renamed 'unseed' -> 'not_yet_inferred'
2024-05-16 23:33:23 +02:00
KtorZ
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
KtorZ
e87063824c
Fix pretty-printing of recursive type-alias causing stack overflow.
...
Fixes #942 .
2024-05-16 17:20:26 +02:00
KtorZ
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
KtorZ
b546e42766
FML.
2024-05-14 15:27:08 +02:00
KtorZ
8881a88ae3
Also fix multi-validator for gift_card.
2024-05-14 13:28:24 +02:00
KtorZ
1ed4fa1c69
Show warning when ignoring modules + restyle warnings slightly
...
Fixes #916 .
2024-05-14 13:27:19 +02:00
KtorZ
81219cfbdd
Check for data-type serialisability after generic instantiation
...
Fixes #939 .
2024-05-14 10:58:58 +02:00
KtorZ
26ef25ba8d
Make comparison of non-serialisable types illegal.
...
Fixes #940 .
2024-05-14 10:45:15 +02:00
KtorZ
ff0407a245
Fix stdlib adjustment in gift_card.
2024-05-14 10:44:48 +02:00
KtorZ
6d7b851c70
Fix 077 after yet-another-breaking-change in stdlib.
2024-05-10 19:05:00 +02:00
KtorZ
c5de9adcd3
Add some log output / feedback to completion --install
2024-05-10 17:31:48 +02:00
rvcas
c86978b5ac
fix: clippy and add docs to the new flag
2024-05-10 10:51:29 -04:00
Dima S
8a6957dfd0
Update fresh
2024-05-10 10:37:35 -04:00
KtorZ
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
KtorZ
83c0566afb
Merge remote-tracking branch 'freexploit/add-completion-install'
2024-05-10 13:11:10 +02:00
rvcas
392b54aa0e
chore: update readme links
2024-05-08 23:02:02 -04:00
rvcas
4cbde9942a
chore: goodbye old friend
2024-05-08 22:52:19 -04:00
Christopher Valerio
6df1fcb9b0
Merge branch 'aiken-lang:main' into add-completion-install
2024-05-08 10:03:34 -06:00
rvcas
f8ce46d0f4
chore(ci): run cargo dist init
2024-05-08 11:05:30 -04:00
