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
KtorZ
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
microproofs
af90b38bf8
minor refactor
2024-01-19 14:31:04 +01:00
KtorZ
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
KtorZ
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
KtorZ
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
KtorZ
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
microproofs
f79b37d551
Replace 'bool' with 'TraceLevel' in codegen
...
Co-authored-by: KtorZ <matthias.benkort@gmail.com >
2024-01-19 14:30:15 +01:00
KtorZ
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
microproofs
d26524048e
fix: headlist builtin on assoc lists
...
implement chooseunit for 0 args
2024-01-13 19:29:34 -05:00
microproofs
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
microproofs
4a8fecb70a
fix: satisfy clippy's demands
2024-01-11 14:53:02 -05:00
rvcas
8b62873ef5
fix(format): post trace sequences getting wrapped in curlies closes #781
2024-01-09 22:39:55 -05:00
microproofs
ff462fa8ea
don't need clippy macro anymore :)
2024-01-08 18:08:50 -05:00
microproofs
f722af1149
fix: accidentally put quotes around tail_name
2024-01-08 18:08:50 -05:00
microproofs
2216f387c3
refactor: change codegen uplc to have more type safety
...
Also refactor list_access_to_uplc
2024-01-08 18:08:50 -05:00
KtorZ
30a6b77116
Get rid of 'VoidMsg' in favor of an 'Option'.
2024-01-04 16:03:51 -05:00
microproofs
c50a9cb5bd
refactor: convert msgs to use AirMsg type instead of AirTree
2024-01-04 16:03:51 -05:00
microproofs
394cac86b8
feat: expect on a type now can take in a msg when in trace mode
2024-01-04 16:03:51 -05:00
microproofs
4fc65cc600
feat: change expect from data on constrs to take in a message term
2024-01-04 16:03:51 -05:00
microproofs
c7a1ff0959
refactor how tracing is popped off to be in one location in uplc_gen
2024-01-04 16:03:51 -05:00
microproofs
355e38d6e2
feat: expects now print the line of code that failed
2024-01-04 16:03:51 -05:00
microproofs
412945af3a
update aiken code gen test
2024-01-04 16:03:51 -05:00
microproofs
aa51ce3e3e
feat: add code messages when using expects on constrs
2024-01-04 16:03:51 -05:00
microproofs
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
rvcas
07122aaa88
feat: allow importing off validators in validators/tests/*
2023-12-11 18:27:08 -05:00
KtorZ
92488e535a
Fix type definitions for g1 & g2 elements.
2023-12-08 16:58:12 +01:00
microproofs
825e65d7a3
fix: zero arg functions were being compiled without the trace messages
...
Now traces are added before evaluating
2023-12-06 10:31:48 -05:00
rvcas
c50d4d1396
fix: forgot to handle None case for other_fun in validator
2023-11-29 21:24:30 -05:00
rvcas
1503b525b2
feat(lsp): implement quickfix for utf8 byte array is valid hex string warning
2023-11-28 21:02:15 -05:00
rvcas
1f411cde0e
chore: needless dbg
2023-11-28 20:59:23 -05:00
rvcas
832ca81a8c
fix(lsp): when desugaring and/or chains we should use the whole span of the chain for the generated BinOp locations
2023-11-28 19:19:56 -05:00
rvcas
7015a9badc
feat(lsp): hover support for the optional multi validator fn
2023-11-28 19:18:29 -05:00
rvcas
2159053cb5
fix: using the word pattern here reads better and applies more broadly like for lists
2023-11-28 16:15:24 -05:00
rvcas
a46a7e82b7
feat: implement hover on when clause patterns
2023-11-28 16:13:08 -05:00
rvcas
f7dd2de17b
feat: implement hover info for tuple, list, and contructor pattern elements
2023-11-28 16:12:37 -05:00
rvcas
6ce30bd949
fix: allow spread operator on positional constructors closes #677
2023-11-27 23:11:17 -05:00
rvcas
2980e8e21d
fix: use a distinct warning for discarded let assignments to avoid confusion closes #763
2023-11-27 21:23:10 -05:00
KtorZ
4adedaac15
Remove unnecessary 'Rc' in function signature.
2023-11-25 13:09:26 +01:00
microproofs
45177cd08b
fix: add missing type checks for the new bls primitives
2023-11-23 13:00:24 -05:00
microproofs
63f96d13ca
fix: clippy warning
2023-11-22 19:17:45 -05:00
microproofs
78b0789cbc
chore: unit test for pub in validator module warnings closes #681
2023-11-22 18:02:21 -05:00
rvcas
abd18656e3
fix: unable to have newline after expect bool shortcut
2023-11-20 11:44:16 -05:00
