waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,648 Commits 8 Branches 0 Tags
379c2fe2bf8a749a3d83080fdd381c6c51c55b74
Commit Graph

1184 Commits

Author SHA1 Message Date
KtorZ
cb5dc75326 Remove unnecessary import. 2023-03-30 11:50:59 +02:00
KtorZ
1d3315005c Support some single-character escape sequences in UPLC 
Fixes #472.

  This also partially addresses #195. However, as pointed out in one of
  the comment, there's no 'official rule' when it comes to what should
  be considered valid escape sequences. Haskell relies mostly on the
  AttoParsec library and Rust also has its own set of rules.

  This is in particular true for unicode escape sequences, but there is
  a common middleground for some usual single character escapes such as
  \n or \\. So we now at least support these.

  For more complicated escape sequence, please refer to #195 for now and
  keep the discussion going there.
 2023-03-30 11:50:59 +02:00
KtorZ
dc500b8e13 Add missing import to owo_colors 2023-03-30 09:21:59 +02:00
KtorZ
cc18e7cff2 Fix formatting of function expressions with traces 
Fixes #471
 2023-03-30 09:21:46 +02:00
KtorZ
efa31e3df7 minor lsp tweaks 
- forcibly disable colors
  - do not show labels in error messages
 2023-03-29 18:25:56 +02:00
Kasey White
aa29636d50 fix: scope issue with ir_stack being incremented wrongly with assignment 
Also fixed  scope of constructor tag and void in whens
 2023-03-28 21:15:22 -04:00
rvcas
80f2fd746d test(gen_uplc::scope): more replace unit tests 
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-27 20:00:32 -04:00
rvcas
e5980c5a96 feat(gen_uplc::scope): use some assumptions to simplify replace 2023-03-27 20:00:32 -04:00
Kasey White
c8ac9aa165 test: add replace same value unit test 2023-03-27 20:00:32 -04:00
rvcas
5453572fc0 test(gen_uplc::scope): common ancestor method 
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-27 20:00:32 -04:00
Kasey White
822bb4242a fix: function hoisting errors -- 
One involving zero args being hoisted instead of compiled and replaced.
Second involving not updating a function's dependeny function scope. Which then hoisted to a lower scope and caused free unique
 2023-03-27 20:00:32 -04:00
rvcas
96b7fb1c50 chore: make clippy happy 2023-03-27 20:00:32 -04:00
rvcas
b5ed958f62 chore: remove unused variable 2023-03-27 20:00:32 -04:00
Kasey White
b2dcb112c9 fix last 2 acceptance tests 2023-03-27 20:00:32 -04:00
Kasey White
51a6589aac 2 acceptance tests left to fix 2023-03-27 20:00:32 -04:00
Kasey White
eef34b8f4b feat: all compiler errors fixed 
Co-authored-by: Lucas Rosa <x@rvcas.dev>
 2023-03-27 20:00:32 -04:00
Kasey White
25ff8acb1e feat: one more function to finish up 2023-03-27 20:00:32 -04:00
Kasey White
77afa76163 feat: refactor handle_each_clause 
fix expect type ordering on constr type checking
 2023-03-27 20:00:32 -04:00
rvcas
f07a959ab8 feat: almost done 
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-27 20:00:32 -04:00
rvcas
709ee914ed feat: another round of functions using AirStack 
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-27 20:00:32 -04:00
rvcas
489dd235ff feat(gen_uplc): finished up a few more functions 
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-27 20:00:32 -04:00
rvcas
33a3c5dc13 feat(gen_uplc): introduce scope new type 
* new module scope which holds some ancestor logic
* rework some things to truly hide scope increments

Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-27 20:00:32 -04:00
rvcas
ca0d896b8d feat: start using AirStack methods 
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-27 20:00:32 -04:00
rvcas
3e6f688e2d feat: refactor some methods and modules 
* move uplc::ast::builder to uplc::builder
* rename aiken_lang::uplc to aiken_lang::gen_uplc
* move aiken_lang::air and aiken_lang::builder to aiken_lang::gen_uplc
  as submodules

Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-27 20:00:32 -04:00
Kasey White
2d77ec1a6a add merge function 2023-03-27 20:00:32 -04:00
Kasey White
32d34d5fd3 create struct Air Env 
refactor out some to_strings
 2023-03-27 20:00:32 -04:00
Kasey White
bb820ebdd8 fix: trace and scope issues 
fix scope issues involving fieldsexpose and other destructureing pattern
fix trace to extract string from term.
 2023-03-21 12:38:13 -04:00
Kasey White
6e5b24a937 refactor the rest of the term builders to use more concise code 2023-03-21 00:50:13 -04:00
Kasey White
7c3750bbb4 fix: apply order on field expose 2023-03-21 00:50:13 -04:00
Kasey White
50db958d06 update codegen to use more streamlined uplc building methods 2023-03-21 00:50:13 -04:00
Kasey White
ef3862ade8 refactor: uplc code gen uses shorthand methods 2023-03-21 00:50:13 -04:00
Kasey White
74a7a2f214 commit air changes that expose scope as a mutable pointer 2023-03-21 00:50:13 -04:00
KtorZ
6422027c6c Fix README template for newly generated projects, and hello, world 2023-03-18 22:23:55 +01:00
KtorZ
0f35675f57 remove wrongly committed println. 2023-03-18 17:33:21 +01:00
KtorZ
0b8c3b05fe Fill-in test scenario for parsing large integer constants. 2023-03-18 16:17:42 +01:00
KtorZ
8a2af4cd2e Fix lexer throwing errors when parsing a too large tuple index. 2023-03-18 16:13:50 +01:00
rvcas
2dbc50f098 feat: generate_test doesn't need arguments 2023-03-17 18:41:22 -04:00
rvcas
74c61358ab feat: new error for when multi-validators have the same arg count 2023-03-17 18:40:50 -04:00
rvcas
d753b57c1b chore: use let-else 🤯 2023-03-17 18:40:49 -04:00
KtorZ
bc690c5410 Generated wrapped schemas for multi-validators' redeemers 2023-03-17 18:40:49 -04:00
Kasey White
bb6fc76971 start on registering redeemer wrapper type in definitions 2023-03-17 18:40:49 -04:00
KtorZ
7e1403a3b2 Complete generation of blueprint multi-validators. 2023-03-17 18:40:49 -04:00
Kasey White
fe92b27d50 start on refactoring validator to support multi-validators in blueprint 2023-03-17 18:40:49 -04:00
KtorZ
61113cd7b9 distinguish between multi vs single validator case in blueprint schema generation. 2023-03-17 18:40:48 -04:00
Lucas
22880a300f Update crates/aiken-lang/src/parser.rs 
Co-authored-by: Matthias Benkort <5680256+KtorZ@users.noreply.github.com>
 2023-03-17 18:40:48 -04:00
Lucas
950598b534 Update crates/aiken-lang/src/parser.rs 
Co-authored-by: Matthias Benkort <5680256+KtorZ@users.noreply.github.com>
 2023-03-17 18:40:48 -04:00
Lucas
3d92772d23 Update crates/aiken-lang/src/tipo/infer.rs 
Co-authored-by: Matthias Benkort <5680256+KtorZ@users.noreply.github.com>
 2023-03-17 18:40:48 -04:00
Lucas
bf34324ac0 Update crates/aiken-lang/src/format.rs 
Co-authored-by: Matthias Benkort <5680256+KtorZ@users.noreply.github.com>
 2023-03-17 18:40:48 -04:00
rvcas
c3870e340e feat(codegen): support multi-validators 
* rename force_wrap to force
* add a bunch of builder methods to Term<Name>
* refactor one tiny location to show off builder methods
* split generate into `generate` and `generate_test`
* create wrap_as_multi_validator function

Co-authored-by: Kasey White <kwhitemsg@gmail.com>
 2023-03-17 18:40:44 -04:00
rvcas
87493bbba9 feat(register_values): refactor repeated code into register_function and register other_fun 2023-03-17 18:38:24 -04:00