waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,481 Commits 8 Branches 0 Tags
191a3e9134b07c82b5d742bc683fa916799f24e8
Commit Graph

832 Commits

Author SHA1 Message Date
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
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
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
microproofs
36a0b317ad fix condition to account for tail presence 2024-01-24 16:29:40 -05:00
microproofs
51f1f2b67f change redundant if branches 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
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