Files
Alessandro ScandoneandGitHub 5dfc34cd3c feat: feature flag syntax (#120)
* feat: feature flag syntax

* feat: change syntax

* feat: reject invalid features

* feat: add static check of unknown features

* feat: more defensive args handling

* fix: fix typo
2026-03-04 13:32:35 +00:00

76 lines
1.2 KiB
Plaintext
Executable File

[TestShowUnboundVar - 1]
0 | send [COIN 10] (
1 | source = $unbound_var
| ~~~~~~~~~~~~
2 | destination = @dest
---
[TestShowMissingFundsSingleAccount - 1]
0 | send [COIN 10] (
1 | source = @a
| ~~
2 | destination = @dest
---
[TestShowMissingFundsInorder - 1]
0 | send [COIN 10] (
1 | source = {
| ~
2 | @a
| ~~~~~~
3 | @b
| ~~~~~~
4 | }
| ~~
5 | destination = @dest
---
[TestShowMissingFundsAllotment - 1]
1 | source = {
2 | 1/2 from @a
| ~~
3 | remaining from @world
---
[TestShowMissingFundsMax - 1]
0 | send [COIN 10] (
1 | source = max [COIN 2] from {
| ~~~~~~~~~~~~~~~~~~~
2 | 1/2 from @world
| ~~~~~~~~~~~~~~~~~~~
3 | remaining from @world
| ~~~~~~~~~~~~~~~~~~~~~~~~~
4 | }
| ~~~
5 | destination = @dest
---
[TestShowMetadataNotFound - 1]
0 | vars {
1 | number $my_var = meta(@acc, "key")
| ~~~~~~~~~~~~~~~~~
2 | }
---
[TestShowTypeError - 1]
0 | send 42 (
| ~~
1 | source = @a
---
[TestShowInvalidTypeErr - 1]
0 | vars {
1 | invalid_t $x
| ~~~~~~~~~
2 | }
---