waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,702 Commits 8 Branches 0 Tags 14 MiB
Commit Graph

435 Commits

Author SHA1 Message Date
rvcas e5d9398625 fix: add module name to type mismatch error 
* if expected and given are equal then we show
  the module
* we could do it in all cases it looks kinda nice
* format is `Type - ModuleName`
 2023-06-01 20:00:36 -04:00
microproofs 6955f79035 chore: update changelog 
fix: Minor improvement to record update to use empty list instead of the null list from a record fields list.
 2023-06-01 12:22:42 -04:00
microproofs c710d488d6 fix: need to sort record update args so they match indices order 2023-05-30 20:23:12 -04:00
microproofs 52a51acc69 fix: fix record update so it actually works 
Created multiple tests of varying record updates
 2023-05-30 20:23:12 -04:00
microproofs a65821d5ab fix: constrs that contain fields now work when passed as an arg to a function. 
Convert acceptance test 22

Create test for passing constr as a function
 2023-05-30 17:28:52 -04:00
rvcas 26a607eb00
fix: bad parsing of comments at end of file closes #551 2023-05-30 11:07:39 -04:00
rvcas 2860bac4c6
fix: bad parsing for module select type annotations closes #550 2023-05-30 10:39:49 -04:00
rvcas 7b3e1c6952
feat: adjust failing test syntax 
* also add a formatter test
 2023-05-25 18:21:12 -04:00
rvcas a44b5e1a77
test: adjust formatter tests after latest tweaks 2023-05-25 17:37:53 -04:00
rvcas 151db8d4ae
fix: formatter weirdness relates to #542 2023-05-25 17:19:02 -04:00
rvcas a124a16a61
feat(tests): implement a way to express that tests can fail 2023-05-25 16:54:53 -04:00
microproofs 8e60234562 chore: Release 2023-05-17 18:04:45 -04:00
microproofs 173154e406 fix: (code gen): expect type now properly tracks constructor dependency. 
This was specific to code gen generated functions.
 2023-05-17 17:56:01 -04:00
rvcas f2d8c8938c
chore: Release 2023-05-14 21:25:29 -04:00
microproofs 4838ebd39e feat: record modules are no longer unimplemented for no fields 
refactor: remove some clones and use a ref instead
test: add acceptance test 81
 2023-05-14 18:30:51 -04:00
microproofs 3356e2ecd0 fix: nested constrs with a single index was ignoring fields 2023-05-14 17:33:01 -04:00
rvcas 1fb31e246c
fix: better conditional comp for wasm 2023-05-11 16:59:54 -04:00
rvcas e1a75391a1
chore: Release 2023-05-09 23:16:59 -04:00
microproofs 4b8fd1769a chore: change pattern todos to have a better error message 2023-05-08 16:27:43 -04:00
microproofs 49898f7420 fix: to_data_builtin to operate on arg not func result 2023-05-08 16:15:09 -04:00
microproofs b36cf1c029 chore: refactor default functions in uplc_code_gen. 
feat: Add an identity optimization to remove functions that return the argument only.
 2023-05-08 16:15:09 -04:00
microproofs d2dbae1cbf fix: 
Negative numbers now show up as a constant instead of 0 - that number

Expect on constructors without field maps no longer panics

Expect on constructors with discard as assigned field names now no longer throws free unique
 2023-04-30 14:44:54 -04:00
microproofs b1728b57b8 chore: Release 2023-04-28 17:11:56 -04:00
microproofs 7201163b77 fix: better function hoisting for code gen functions 
mainly code gen function dependencies won't be hoisted to the top.
 2023-04-28 17:05:46 -04:00
rvcas baa2cef6c4
feat(playground): impl clone for some errors 2023-04-24 17:13:20 -04:00
microproofs ff87a4c60f fix: "when bool is" was not properly assigning term to body when not a complex clause 
Add some end to end tests to test uplc
 2023-04-23 12:51:23 -04:00
microproofs 9bb1a88f23 fix: expect [] on a non-empty list now fails. 2023-04-21 17:39:21 -04:00
rvcas c9a762a13c
fix: we weren't including the name unused var warning 2023-04-20 16:53:56 -04:00
microproofs c2ee631d07 feat: new setup for the gen_uplc testing 
* new test only module aiken_project::tests
* move TestProject to tests/mod.rs
* new tests go in gen_uplc.rs
 2023-04-19 16:08:55 -04:00
microproofs e4276d7f5a move uplc tests to new location 2023-04-19 16:08:55 -04:00
microproofs 23a7e7e680 chore: convert acceptance test 5 
Also constructors with no fields are now converted to a constant data term.
 2023-04-19 16:08:55 -04:00
microproofs 7dd13f8d73 feat: add end to end tests to replace acceptance tests with strict uplc comparison. 
Add acceptance tests 1,2, 6 as end to end tests
 2023-04-19 16:08:55 -04:00
rvcas 3182dac908
chore: Release 2023-04-17 10:53:30 -04:00
rvcas 3b351d36fb
fix(aiken-lang): assignment as last expr in when and if 2023-04-16 19:55:47 -04:00
rvcas 3d0fa1a5f6
chore: Release 2023-04-16 16:49:08 -04:00
rvcas 98c61ca151
feat(aiken-lang): anonymous functions 
@MartinSchere noticed a weird error
where an unknown variable wasn't being reported
the type checker was incorrectly scoping
arguments for anonymous function definitions.
Luckily his compilation failed due to a FreeUnique
error during code gen which is good. But this may
have been the source of other mysterious FreeUnique
errors.

I also noticed that anonymous function allowed
arguments with the same name to be defined.

`fn(arg, arg)`

This now returns an error.
 2023-04-16 16:38:43 -04:00
rvcas 63ddef7efb
chore: Release 2023-04-13 13:37:12 -04:00
rvcas 12e8ebdf4f
chore: revert version bumps 2023-04-13 13:03:43 -04:00
KtorZ 067e39286d
Bump versions to 1.0.0-alpha, update CHANGELOG. 2023-04-13 17:35:21 +02:00
KtorZ 00550f8ddb
Add myself as co-authors for some of the project's crate 
Forgot to do it before, and noticing now :D
 2023-04-13 17:25:21 +02:00
KtorZ e2c78bdd3b
Add min rust-version to crates 
So that people runs into better errors if they try installing from source with an 'obsolete' rust compiler.
 2023-04-13 17:24:44 +02:00
rvcas 70f12d3fc5 chore: new branch with some things from the bumpalo branch 2023-04-13 01:28:27 -04:00
microproofs fc1b8738df fix: fixed how the ir was generating for expect Void, expect Bool, let Void 
add some acceptance tests for the various scenarios
 2023-04-12 22:37:33 -04:00
Kasey White 1e35281650
clause guard with discard is now handled 2023-04-12 08:26:03 +02:00
Kasey White e69a70f49c remove final wrapper and replace with equivalent air elements 2023-04-09 17:43:56 -04:00
Kasey White 9e95e24624 now tests are passing 2023-04-09 17:43:56 -04:00
Kasey White efb901f3b4 fix: issue with modifying a functions dependencies and adding a function that depended on it causing infinite loops 2023-04-09 17:43:56 -04:00
Kasey White a17ebf301f fix: now we monomorphize __expect_type functions 2023-04-09 17:43:56 -04:00
Kasey White 9d9f8a914a fix generics causing a free unique due to ordering in expect_type 2023-04-09 17:43:56 -04:00
Kasey White 581c86ed83 chore: commented code removal 2023-04-09 17:43:56 -04:00
Kasey White 8d81345fb1 fix: diff_defined_types was not being filled if constructor had 0 args 2023-04-09 17:43:56 -04:00
Kasey White f8483da4e0 Code gen now handles expecting on validator args in the air stack. 
Thus allowing us to use code gen created functions to expect on data types including recursive ones.
Some minor tweaks to the air.
Added a uplc optimization for later.
 2023-04-09 17:43:56 -04:00
Kasey White 4e4eed13e1 refactor define_ir_recurse to use let else 2023-04-09 17:43:56 -04:00
Kasey White 4ff0504d58 feat: change define_ir_processor to handle code_gen_functions 
Also flattened out that function by using let else
 2023-04-09 17:43:56 -04:00
Kasey White bc7b07c1d9 fix: expect_type now works on recursice constructors and validator args are now handled by air 2023-04-09 17:43:56 -04:00
Kasey White 6c932bb562 expect on map and list now use a function that gets instantiated as air in code gen functions 2023-04-09 17:43:56 -04:00
Kasey White abd97f0ade changed assert_on_list from being defined at uplc level to being defined at air level to enable proper hoisting 2023-04-09 17:43:56 -04:00
Kasey White f4ba6b8985 fix: unused validator args had an incorrect if check 2023-04-09 17:43:56 -04:00
Kasey White 3f45b524b8 feat: unused validator args are not expect checked 2023-04-09 17:43:56 -04:00
Kasey White 8c8312a412 fix: expect true was always expecting false 2023-04-09 17:43:56 -04:00
Kasey White ddf0fbfa0a fix: expect void now checks for unit instead of expecting data 
Args in validator are now fully expected on.
Add new air FieldsEmpty to make checking for empty constructors easier
 2023-04-09 17:43:56 -04:00
KtorZ d620f6367c
Bootstrap schema validation for simple constants. 2023-04-08 08:57:03 +02:00
rvcas 1444c9328d
fix some typos 2023-04-07 16:51:18 -04:00
rvcas d8cbcde61d feat(validators): unused param warning 
Params being unused were being incorrectly reported.
This was because params need to be initialized
at a scope above both the validator functions. This
manifested when using a multi-validator where one of
the params was not used in both validators.

The easy fix was to add a field called
`is_validator_param` to `ArgName`. Then
when infering a function we don't initialize args
that are validator params. We now handle this
in a scope that is created before in the match branch for
validator in the `infer_definition` function. In there
we call `.in_new_scope` and initialize params for usage
detection.
 2023-03-30 21:15:27 -04:00
Kasey White 8fad5b77c6 chore: add some unit tests to stack 2023-03-30 11:32:18 -04:00
KtorZ 6a4f62d074
Allow newlines in when clause sequences. 2023-03-30 13:49:00 +02:00
KtorZ 5d4c95d538
Supports commenting validator inner functions. 2023-03-30 13:37:09 +02:00
KtorZ 814157dd7b
Fix formatter inconsistency with record spread patterns. 2023-03-30 13:02:20 +02:00
KtorZ 17431daaa4
Correctly nest multiline pipeline expressions. 2023-03-30 12:48:15 +02:00
KtorZ cc18e7cff2
Fix formatting of function expressions with traces 
Fixes #471
 2023-03-30 09:21:46 +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 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