d8723c5497
feat: use __fallback in bluprint for the else
2024-08-25 16:20:07 +02:00
4589c51cd3
feat: enforcement that spend first arg is option
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
f9acbd3bcb
DRY handlers generation from validator
2024-08-25 16:20:07 +02:00
047f422d0d
remove v2 script contexts acceptance tests.
...
V2 is dead. Long live V3.
2024-08-25 16:20:07 +02:00
6a6bf6f65f
Handle (though discard) first script purpose argument of publish and propose.
2024-08-25 16:20:07 +02:00
5943d94c6c
Finish re-working machine errors display.
2024-08-25 16:20:06 +02:00
fe205e360f
Update remaining script context e2e tests.
2024-08-25 16:20:06 +02:00
7ec3f2e8df
DRY builtins types creation to ensure proper consistency.
2024-08-25 16:20:06 +02:00
5b61a75088
feat: handler withdraw purpose
2024-08-25 16:20:06 +02:00
be7c0c8012
fix: withdraw kinda
2024-08-25 16:20:06 +02:00
f86d550ca0
Fix type for mint scriptinfo
2024-08-25 16:20:06 +02:00
3aa9e0c4b7
chore: run fmt on mint
2024-08-25 16:20:05 +02:00
3fac7002d4
feat: switch mint to new def
2024-08-25 16:20:05 +02:00
953ee6b5d1
Fix ordering for ScriptInfo type
2024-08-25 16:20:05 +02:00
b9456b5946
fix: wrap_validator_condition needs to happen earlier
2024-08-25 16:20:05 +02:00
e174532bfd
chore: add more redacted values to machine errors
2024-08-25 16:20:05 +02:00
79099675d4
fix: free unique on purpose arg
2024-08-25 16:20:05 +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
823492c27b
Adjust v3 script context end-to-end tests to work with new syntax.
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
03a348040b
chore: convert hello_world to v3
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
cf3180996a
fix: map fallback name if present to else
2024-08-25 16:20:03 +02:00
00907c2bcc
fix: format snapshot tests
2024-08-25 16:20:03 +02:00
7f26db401c
feat: handler implicit some and none
2024-08-25 16:20:03 +02:00
6b8be61b6e
test: new snapshots for parsing v3 validators
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
471bbe2175
feat: append validator name to handlers
2024-08-25 16:20:02 +02:00
b984f0455a
feat: return a vec instead of Option
2024-08-25 16:20:02 +02:00
4287fa3f4a
feat: new formatting for validators v3
2024-08-25 16:20:02 +02:00
9e866a5ec1
fix: make sure that fallback gets it's own scope with params
2024-08-25 16:20:02 +02:00
1d9034573b
feat: impl infer for new validators
2024-08-25 16:20:02 +02:00
fff90f7df5
feat: fix inference comp issues
2024-08-25 16:20:02 +02:00
0de5cbc74e
feat: implement new validator parsing
2024-08-25 16:20:01 +02:00
c98e32d3e9
optional costmodel in eval p2 raw
2024-08-24 18:28:08 +02:00
8dfaa1bf90
Fix parsing of v3 cost model
...
Closes #1002 .
2024-08-24 18:26:37 +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
05a3d5fb2a
Revert "Switch back to pallas crates release now that 0.30.0 is out."
...
This reverts commit 7435dfd0e5
2024-08-23 16:07:11 +02:00
842001dc0d
Merge branch 'desugar-last-assignment'
2024-08-23 16:04:49 +02:00
70e760cbaa
Fill-in CHANGELOG regarding last expect and tests now accepting Void.
2024-08-23 16:04:40 +02:00
9aa9070f56
Revise desugaring following feedback
...
- We now consistently desugar an expect in the last position as
`Void`. Regardless of the pattern. Desugaring to a boolean value is
deemed too confusing.
- This commit also removes the desugaring for let-binding. It's only
ever allowed for _expect_ which then behaves like a side effect.
- We also now allow tests to return either `Bool` or `Void`. A test
that returns `Void` is treated the same as a test returning `True`.
2024-08-23 16:04:40 +02:00
rvcas