0905146140
chore: Release
2024-09-10 13:25:04 +02:00
28916c1ef9
Show relative path by default instead of absolute
...
The absolute path is long and doesn't really provide much information.
Plus, it's inconsistent with the behavior on a specified path.
2024-09-07 18:24:50 +02:00
04fb11084c
Fix dark colorscheme for dark.
2024-09-06 13:31:19 +02:00
be31a7ce38
chore: Release
2024-09-03 17:01:41 -04:00
20ac89fc33
chore: reset version
2024-09-03 17:01:24 -04:00
140cb02be0
Generic test now passes
2024-09-03 16:21:53 -04:00
2f33c4a8f4
Push up test failing due to missing messages
2024-09-03 16:21:53 -04:00
8933688c68
Rest of the tests to push up
2024-09-03 16:21:53 -04:00
c370a4aa6a
Pushing up tests that test both trace and non-trace uplc
2024-09-03 16:21:53 -04:00
f60df16bc2
Preserve type-aliases during blueprint generation.
2024-09-03 16:39:50 +02:00
007b85b864
Warn for any ignored file during source parsing
...
Not only for files with a .ak extension.
2024-09-03 15:28:09 +02:00
038f6ecbfd
Detect and report duplicate module names during parsing
...
Funny enough, we thought about that but only across packages. Now, the
situation gets a little tricky because of folder structure, it's easy
to define a module "foo" in `env`, `lib` and/or `validators`. From the
compiler's perspective, they all have the same name.
2024-09-03 15:24:01 +02:00
a06383d333
Use const instead of zero-arg functions in few code-gen tests.
2024-08-30 14:47:22 +02:00
ef89691331
Ensure code-gen's Program version/semantic matches Plutus version
2024-08-30 14:45:02 +02:00
4a8bec4caa
Fixing gen uplc tests
2024-08-29 16:30:31 +02:00
38e8c6264d
Do not trigger warnings for exported configurations.
2024-08-29 16:25:12 +02:00
f35afe8d65
Implement SimpleExpr logic for configuration parsing
...
We can now use boolean, lists & all in configuration.
2024-08-29 16:25:10 +02:00
cd0a9440e8
Allow any expression as constants
...
This is only a start. It compiles, but with a few TODOs left open. In particular, it doesn't currently handle constants depending on other constants or functions; nor does it hoist constants.
2024-08-29 16:24:12 +02:00
79cf0b8d97
Fix test_framework tests trying to implement function on foreign type.
2024-08-29 13:49:09 +02:00
c21466831c
Bump versions to 1.1.0, in anticipation.
2024-08-29 09:12:37 +02:00
e31c6de04e
Adjust module organization to facilitate resurrection of the playground.
...
The playground doesn't / cannot depend on aiken-project because that becomes a gigantic pain. So instead, we try to keep essential stuff inside aiken-lang when possible.
2024-08-29 09:12:37 +02:00
745f14ccb2
Adjust doc to support blockquote alerts.
2024-08-28 15:28:49 +02:00
d615b4f889
Fix incongruous panic when annotation is missing from Datum.
...
It's fine for the argument to not be annotated; in which case we
simply default back to an `Option<Data>`.
2024-08-27 18:55:18 +02:00
d74e36d0bc
Introduce 'Never' type as a safe alternative to always None options
...
Unfortunately, as documented in:
https://github.com/IntersectMBO/cardano-ledger/issues/4571
Some Option fields in the script context certificates are going to
remain set to None, at least until the next Hard fork. There's a risk
that people permanently lock their funds if they expect deposits on
registration credentials to ever be `Some`.
So, we introduce a special type that emulate an `Option` that can only
ever be `None`. We call it `Never` and it is the first type of this
kind (i.e. with constructors indexes not starting at 0).
2024-08-27 14:40:39 +02:00
e9edd20c21
Fix gen_uplc tests revolving around validators.
...
Fucking hell.
I got rid of the 'opaque_value_in_datum' test since it is no longer
relevant (we now forbid the presence of opaque types in the ABI).
2024-08-25 16:20:09 +02:00
52a39629b7
Add UPLC test for always_true mint validator.
...
Mainly to have a trivial example with just the validator boilerplate code.
2024-08-25 16:20:08 +02:00
8c2fdf9ad4
Use dot to separate purpose from validator name in blueprint
...
The rationale is two folds:
1. It's more consistent with how we already separate the validator
name from its module.
2. Because `_` may be present in Aiken's validator's name, it is hard
to read and I am afraid it could potentially conflict later on. So
it's better to use a separator that cannot appear in validator
names.
2024-08-25 16:20:08 +02:00
ed55f03aa2
Fix remaining blueprint test.
...
Probably an oversight when we reworked them.
2024-08-25 16:20:08 +02:00
442010d056
Fix generation of fallback validator
...
This must only happen in case all other validator succeed; otherwise
we might generate invalid validators.
2024-08-25 16:20:08 +02:00
73522296aa
chore: accept updated snapshot
2024-08-25 16:20:08 +02:00
ff1464b462
feat: annotated data for option datum
2024-08-25 16:20:08 +02:00
d8723c5497
feat: use __fallback in bluprint for the else
2024-08-25 16:20:07 +02:00
c57009bf99
chore: fix some tests that now correctly fail due to arity checks
2024-08-25 16:20:07 +02:00
c706d6072d
Fix few blueprint generation tests
...
Some remains invalid, in particular:
- We need to handle the annotated Data case, which we still parse
correctly but do nothing about any longer.
- There's also a strange behavior with opaque type turned public?
2024-08-25 16:20:07 +02:00
7ec3f2e8df
DRY builtins types creation to ensure proper consistency.
2024-08-25 16:20:06 +02:00
c2c4bddfb3
feat: new check for valid purpose names
2024-08-25 16:20:05 +02:00
5cf0a4d294
Fix validator arity check
...
For now, this panics, but ideally, we should return a "unknown
purpose" error when we cannot map the name to an arity.
2024-08-25 16:20:04 +02:00
972e9bd763
Define ScriptPurpose & ScriptContext types in prelude, fix codegen new v3 wrapper.
2024-08-25 16:20:04 +02:00
90d75d4a13
fix: redeemer could be missing
2024-08-25 16:20:04 +02:00
00b8a39236
fix: private type leaks
2024-08-25 16:20:04 +02:00
79840248c0
fix: more parse errors in some tests
2024-08-25 16:20:04 +02:00
f94e40daf4
fix: more test and issues with scoping/names
2024-08-25 16:20:03 +02:00
0d8d80e5a7
feat: transform TypedValidator in a function of handlers
2024-08-25 16:20:03 +02:00
466a4f0b39
feat: adjust blueprint stuff to be aware of handlers
2024-08-25 16:20:02 +02:00
a71d7c260c
Fix doc_test examples for 'common_prefix'
2024-08-23 16:17:54 +02:00
c92b260260
Fix gen_uplc tests following: 0f905045
2024-08-23 16:17:27 +02:00
c3b287507e
Fix link_tree test following 0ff12b92
2024-08-23 16:10:07 +02:00
6e67fe837b
Keep constants and types sorted; only functions are unsorted.
2024-08-23 10:30:18 +02:00
c3e39301e2
Re-format source code using cargo fmt.
2024-08-22 16:42:41 +02:00
b479a289cf
Implement source linker and add URL to source code in generated docs.
...
Long overdue.
2024-08-22 16:37:48 +02:00
KtorZ