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

381 Commits

Author SHA1 Message Date
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