51f1da2505
Removed AirStatements and AirExpressions
...
Still a WIP
2024-02-07 12:37:37 -05:00
b807d58e89
fix first compiler pass of errors
2024-02-07 12:37:37 -05:00
dc195b22d4
missed another hoist over
2024-02-07 12:36:35 -05:00
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
d1c784ed49
few more hoist over fixes
2024-02-07 12:36:35 -05:00
3938d74bb6
missed a hoist over
2024-02-07 12:36:35 -05:00
6b97ab71fe
fix up code gen tests
2024-02-07 12:36:35 -05:00
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
575dde9885
fix: issue with reordering statements caused clause props to not be updated
2024-02-07 12:36:35 -05:00
8702c736d0
fix warning
2024-02-07 12:36:35 -05:00
806a74c192
fix all current errors
2024-02-07 12:36:35 -05:00
9f96e4bc5a
fix first compiler pass of errors
2024-02-07 12:36:35 -05:00
a12c374258
Start turning AirTree statements into expressions (let)
...
Still many places to fix, WIP.
2024-02-07 12:36:35 -05:00
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
20ce19dfb1
Fix error hint when expecting 0 generic parameters.
2024-02-07 11:48:52 -05:00
0e2995e16e
fix test
2024-02-07 11:48:52 -05:00
3b4c6cb2aa
fix: missing message error term in one place for type is void
2024-02-07 11:48:52 -05:00
e25be7643e
discards will now check for type too.
2024-02-07 11:48:52 -05:00
982eff449e
chore: Release
2024-01-31 13:48:20 -05:00
551941392e
fix: assert had one minor edge case due to final clauses with lists
2024-01-31 00:05:09 -05:00
444bccf19c
fix: change list_access_to_uplc to properly handle list discards
2024-01-30 23:53:33 -05:00
a83220c8d9
fix: module_name was being overrided by the moduleselect field
2024-01-30 23:52:50 -05:00
81e93b4309
Introduce cli aliases for check and build subcommands
2024-01-30 12:32:17 -05:00
3a7a0c1971
chore: remove unused deps
2024-01-30 12:28:18 -05:00
8584adc1b7
chore: Release
2024-01-25 15:10:11 -05:00
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
defd36ad8c
chore: Release
2024-01-25 11:07:32 -05:00
1ab6d050af
chore: bump pallas
2024-01-25 11:07:18 -05:00
589bb9a4b3
chore: change how we depend on pallas
2024-01-24 21:26:48 -05:00
ae0b428658
update tests to account for new verbose tracing
2024-01-24 16:29:40 -05:00
00e1942999
another test fix
2024-01-24 16:29:40 -05:00
dc61e11813
fix test
2024-01-24 16:29:40 -05:00
36a0b317ad
fix condition to account for tail presence
2024-01-24 16:29:40 -05:00
3c81ebf137
updating more of the tests
2024-01-24 16:29:40 -05:00
51f1f2b67f
change redundant if branches
2024-01-24 16:29:40 -05:00
e523ae63f3
fixed some of the tests
2024-01-24 16:29:40 -05:00
3a44c45b48
fix: one builtin error wasn't be caught with a messaged exception
2024-01-24 16:29:40 -05:00
eda4e259d6
minor fix and some refactoring on the if statements
2024-01-24 16:29:40 -05:00
82fc82ceee
fix: used wrong index in tupleAcessor
2024-01-24 16:29:40 -05:00
956c3d6cf0
feat: refactor code gen to avoid builtin errors when tracing is turned on
2024-01-24 16:29:40 -05:00
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
bf96c3afd2
Add more tests & rename 'Invalid' -> 'Unfinished'
2024-01-20 10:26:33 +01:00
cb6fd59dbd
Fix minor typo in error label
2024-01-20 09:58:36 +01:00
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
8a90e9eda0
Improve behavior and reporting of tests expected to fail
...
Fixes #786 .
2024-01-19 18:20:58 +01:00
2b4137dc24
Revert "minor refactor"
...
This reverts commit 21f0b3a6220fdafb8f6aad6855de89d8cdde0e1b.
Rationale:
The absence of clause guard was here done *on purpose*. Indeed,
introducing a clause guard here forces either duplication or the use
of a wildcard which is not "future proof".
Should we make a change to that one day (e.g. add a new variant to
TraceLevel), we won't get any compiler warning and we'll very likely
forget to update that particular section of the code.
So as much as possible, enforce complete pattern-match on variants
make for code that is easier to maintain in the long-run.
2024-01-19 14:31:09 +01:00
af90b38bf8
minor refactor
2024-01-19 14:31:04 +01:00
6fa272bd34
Remove compiler-generated helper 'global' traces in compact mode.
...
Since there's no line number to show here, we don't have much choice. And the alternative of showing shorter traces as code is just ugly as hell.
2024-01-19 14:30:44 +01:00
42fdecf41f
Fix coloring output of multi-line traces.
2024-01-19 14:30:44 +01:00
3d131a5d09
Fix CLI docs for traces.
2024-01-19 14:30:16 +01:00
59c784778e
Convert span's start to line number + col
...
This requires to make line numbers a first-class citizen in the module
hierarchy but it is fortunately not _too involved_.
2024-01-19 14:30:15 +01:00
e67d5863a1
Introduce 'compact' trace level verbosity
...
For now, it only shows the span start. We'll change that in the next commit to show a line number and a column.
2024-01-19 14:30:15 +01:00
627c6b576e
Move line_numbers under 'aiken-lang'
...
And add some unit tests to ensure things are working properly.
2024-01-19 14:30:15 +01:00
f79b37d551
Replace 'bool' with 'TraceLevel' in codegen
...
Co-authored-by: KtorZ <matthias.benkort@gmail.com>
2024-01-19 14:30:15 +01:00
d27ea98a8f
Rework tracing arguments to --keep-traces & --trace-level
...
This allows for a more fine-grained control over how the traces are showed. Now users can instrument the compiler to preserve only their user-defined traces, or the only the compiler, or all, or none. We also want to add another trace level on top of that: 'compact' to only show line numbers; which will work for both user-defined and/or compiler-generated traces.
2024-01-19 14:30:15 +01:00
86146ae7f4
adding codegen traces
2024-01-19 14:30:14 +01:00
81e29539c8
Merge pull request #803 from aiken-lang/780-possible-bug-with-test-github-action-version-generated-by-aiken-new
...
fix: aiken new github action version
2024-01-19 14:27:38 +01:00
0e2b8ae251
Bump pallas dependencies to include flat bigint patch
...
Fixes #796 .
2024-01-18 18:26:21 +01:00
1796147264
fix: aiken new github action version
2024-01-18 12:10:06 -05:00
06672fce05
add new test
2024-01-13 19:29:34 -05:00
d26524048e
fix: headlist builtin on assoc lists
...
implement chooseunit for 0 args
2024-01-13 19:29:34 -05:00
c7af27a6ba
fix: generic edge case with tuples that allowed 2 tuples and 3 tuples to use the same monomorphized function.
...
Also massively reduced the space taken up by generics in scripts when using generics with list and tuples
2024-01-13 17:46:32 -05:00
f934e87b1d
Reuse "convert_tag_to_constr"
2024-01-13 13:23:58 -05:00
cda1716d47
Unify construction of PlutusData objects from int + fields
2024-01-13 13:23:58 -05:00
742a728d53
Fix conformance test to make a point
2024-01-13 13:23:58 -05:00
316842876d
Fix PlutusData Constr test case
2024-01-13 13:23:58 -05:00
4bd8ab890a
Add reverse mapping for PlutusData constr
2024-01-13 13:23:58 -05:00
0ae631a1fe
Fix parsing Constr PlutusData
2024-01-13 13:23:58 -05:00
4a8fecb70a
fix: satisfy clippy's demands
2024-01-11 14:53:02 -05:00
8b62873ef5
fix(format): post trace sequences getting wrapped in curlies closes #781
2024-01-09 22:39:55 -05:00
ff462fa8ea
don't need clippy macro anymore :)
2024-01-08 18:08:50 -05:00
f722af1149
fix: accidentally put quotes around tail_name
2024-01-08 18:08:50 -05:00
2216f387c3
refactor: change codegen uplc to have more type safety
...
Also refactor list_access_to_uplc
2024-01-08 18:08:50 -05:00
7992a50bec
Make foreign `Language` type publicly available ( #793 )
...
* Make foreign type public available
* Fix formatting
2024-01-08 13:31:21 -08:00
30a6b77116
Get rid of 'VoidMsg' in favor of an 'Option'.
2024-01-04 16:03:51 -05:00
c50a9cb5bd
refactor: convert msgs to use AirMsg type instead of AirTree
2024-01-04 16:03:51 -05:00
394cac86b8
feat: expect on a type now can take in a msg when in trace mode
2024-01-04 16:03:51 -05:00
4fc65cc600
feat: change expect from data on constrs to take in a message term
2024-01-04 16:03:51 -05:00
43e84d7af7
fixing gen_uplc tets
2024-01-04 16:03:51 -05:00
c7a1ff0959
refactor how tracing is popped off to be in one location in uplc_gen
2024-01-04 16:03:51 -05:00
355e38d6e2
feat: expects now print the line of code that failed
2024-01-04 16:03:51 -05:00
412945af3a
update aiken code gen test
2024-01-04 16:03:51 -05:00
aa51ce3e3e
feat: add code messages when using expects on constrs
2024-01-04 16:03:51 -05:00
71cfb6f6af
feat: Add specific messages for using expect with booleans
...
TODO: fill out the rest of the expects with messages
2024-01-04 16:03:51 -05:00
7b452c21f0
Fix formatting
2023-12-29 22:57:10 -05:00
4c60be368e
Add command line option to shrink uplc
2023-12-29 22:57:10 -05:00
b6acdde552
Use to_i64 for clarity
2023-12-19 12:20:10 -05:00
d06f2f6008
Formatting
2023-12-19 12:20:10 -05:00
eefd26c6fa
Add acceptance tests for this tricky case
2023-12-19 12:20:10 -05:00
fb56700bde
Fix and re-enable pretty print test for bigint
2023-12-19 12:20:10 -05:00
89e518f878
Deduplicate code
2023-12-19 12:20:10 -05:00
ba76c1d2cf
Adjust acceptance tests and fix IData and UData
2023-12-19 12:20:10 -05:00
022503e254
Fix to_pallas_bigint
2023-12-19 12:20:10 -05:00
1b1636ab0e
Fix parsing of negative bigint
2023-12-19 12:20:10 -05:00
0cfcd78039
Use more clear functions
2023-12-15 21:59:57 -05:00
8c619954d3
Add conformance test for big ints
2023-12-15 21:59:57 -05:00
ceb6d63e95
Add parsing for big builtins
2023-12-15 21:59:57 -05:00
6a10be3e82
chore: remove redundant clone
2023-12-15 21:58:02 -05:00
a0ec92897b
chore: clean up pr
2023-12-15 21:58:02 -05:00
2cd1379aec
for now comment out curry code so the rest of the changes
...
can be merged to main
2023-12-15 21:58:02 -05:00
microproofs