rvcas
ac0c73a56a
chore: clippy fixes
2024-02-13 20:26:12 -05:00
rvcas
3582c5569d
fix: no single when clause warning sometimes
...
While looking at some code, I noticed that this
warning would show up even if an error for a
non-exhaustive when/is shows up for the same when/is
expression. This isn't a useful situation to show this
warning because things are not exhaustive yet so we should
let the user finish and only provide the errors. If things
are exhaustive then the code proceeds and if a warning was set
when there's only one clause pattern then this warning message
can be pushed because that's when it's actually useful.
2024-02-13 20:12:40 -05:00
rvcas
4c5a449d83
chore: improve a comment/doc
2024-02-13 19:46:34 -05:00
microproofs
6e2f9b9eb9
fix tests
2024-02-07 12:48:07 -05:00
microproofs
056e3d76ea
change check_validator_args to check type after each arg
2024-02-07 12:48:07 -05:00
microproofs
6c6be3f53d
got past the errors and warnings
2024-02-07 12:37:37 -05:00
microproofs
51f1da2505
Removed AirStatements and AirExpressions
...
Still a WIP
2024-02-07 12:37:37 -05:00
microproofs
b807d58e89
fix first compiler pass of errors
2024-02-07 12:37:37 -05:00
microproofs
dc195b22d4
missed another hoist over
2024-02-07 12:36:35 -05:00
microproofs
713b16e25d
we now build forwards when it comes to piplines and expressions
...
so this test got reordered
2024-02-07 12:36:35 -05:00
microproofs
d1c784ed49
few more hoist over fixes
2024-02-07 12:36:35 -05:00
microproofs
3938d74bb6
missed a hoist over
2024-02-07 12:36:35 -05:00
microproofs
6b97ab71fe
fix up code gen tests
2024-02-07 12:36:35 -05:00
microproofs
4ab3b61200
In most cases the context isn't need so I made the code more explicit about that
2024-02-07 12:36:35 -05:00
microproofs
575dde9885
fix: issue with reordering statements caused clause props to not be updated
2024-02-07 12:36:35 -05:00
microproofs
8702c736d0
fix warning
2024-02-07 12:36:35 -05:00
microproofs
806a74c192
fix all current errors
2024-02-07 12:36:35 -05:00
microproofs
9f96e4bc5a
fix first compiler pass of errors
2024-02-07 12:36:35 -05:00
KtorZ
a12c374258
Start turning AirTree statements into expressions (let)
...
Still many places to fix, WIP.
2024-02-07 12:36:35 -05:00
KtorZ
3c8460e6af
Allow annotating Data for blueprint
...
This commit allows Data to be optionally annotated with a
phantom-type. This doesn't change anything in codegen but we can now
leverage this information to generate better blueprint schemas.
2024-02-07 11:48:52 -05:00
KtorZ
20ce19dfb1
Fix error hint when expecting 0 generic parameters.
2024-02-07 11:48:52 -05:00
microproofs
0e2995e16e
fix test
2024-02-07 11:48:52 -05:00
microproofs
3b4c6cb2aa
fix: missing message error term in one place for type is void
2024-02-07 11:48:52 -05:00
microproofs
e25be7643e
discards will now check for type too.
2024-02-07 11:48:52 -05:00
microproofs
982eff449e
chore: Release
2024-01-31 13:48:20 -05:00
microproofs
551941392e
fix: assert had one minor edge case due to final clauses with lists
2024-01-31 00:05:09 -05:00
microproofs
444bccf19c
fix: change list_access_to_uplc to properly handle list discards
2024-01-30 23:53:33 -05:00
microproofs
a83220c8d9
fix: module_name was being overrided by the moduleselect field
2024-01-30 23:52:50 -05:00
Kuly14
81e93b4309
Introduce cli aliases for check and build subcommands
2024-01-30 12:32:17 -05:00
rvcas
3a7a0c1971
chore: remove unused deps
2024-01-30 12:28:18 -05:00
microproofs
8584adc1b7
chore: Release
2024-01-25 15:10:11 -05:00
microproofs
78d2049d7b
fix: Using the wrong match string for discards in FieldsExpose
...
Also need to return a lambda wrapped term from list_access_to_uplc under all conditions
2024-01-25 14:18:36 -05:00
rvcas
defd36ad8c
chore: Release
2024-01-25 11:07:32 -05:00
rvcas
1ab6d050af
chore: bump pallas
2024-01-25 11:07:18 -05:00
rvcas
589bb9a4b3
chore: change how we depend on pallas
2024-01-24 21:26:48 -05:00
microproofs
ae0b428658
update tests to account for new verbose tracing
2024-01-24 16:29:40 -05:00
microproofs
00e1942999
another test fix
2024-01-24 16:29:40 -05:00
microproofs
dc61e11813
fix test
2024-01-24 16:29:40 -05:00
microproofs
36a0b317ad
fix condition to account for tail presence
2024-01-24 16:29:40 -05:00
microproofs
3c81ebf137
updating more of the tests
2024-01-24 16:29:40 -05:00
microproofs
51f1f2b67f
change redundant if branches
2024-01-24 16:29:40 -05:00
microproofs
e523ae63f3
fixed some of the tests
2024-01-24 16:29:40 -05:00
microproofs
3a44c45b48
fix: one builtin error wasn't be caught with a messaged exception
2024-01-24 16:29:40 -05:00
microproofs
eda4e259d6
minor fix and some refactoring on the if statements
2024-01-24 16:29:40 -05:00
microproofs
82fc82ceee
fix: used wrong index in tupleAcessor
2024-01-24 16:29:40 -05:00
microproofs
956c3d6cf0
feat: refactor code gen to avoid builtin errors when tracing is turned on
2024-01-24 16:29:40 -05:00
KtorZ
54a1b50138
Make behavior between curly- and paren-delimited blocks consistent.
...
Note that the formatter rewrite parens-block sequences as curly-block
sequences anyway. Albeit weird looking syntax, they are valid
nonetheless.
I also clarified a bit the hints and description of the
'illegal::return' error as it would mistakenly say 'function' instead
of 'block'.
2024-01-20 10:37:07 +01:00
KtorZ
bf96c3afd2
Add more tests & rename 'Invalid' -> 'Unfinished'
2024-01-20 10:26:33 +01:00
Matthias Benkort
cb6fd59dbd
Fix minor typo in error label
2024-01-20 09:58:36 +01:00
rvcas
25a837ab3f
feat: parser and check fixes
...
- do not erase sequences if the sole expression is an assignment
- emit parse error if an assignment is assigned to an assignment
- do not allow assignments in logical op chains
2024-01-19 14:32:21 -05:00
