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

1610 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
rvcas
3182dac908 chore: Release 2023-04-17 10:53:30 -04:00
rvcas
092c2cecc1 chore: prepare changelog for release 2023-04-17 10:52:37 -04:00
rvcas
e3f2fb5393 fix: need to return deserialization error here 2023-04-17 10:50:40 -04:00
rvcas
7de465ad35 [create-pull-request] automated change 2023-04-17 00:09:25 -04:00
dependabot[bot]
1d60a02822 chore(deps): bump h2 from 0.3.16 to 0.3.17 
Bumps [h2](https://github.com/hyperium/h2) from 0.3.16 to 0.3.17.
- [Release notes](https://github.com/hyperium/h2/releases)
- [Changelog](https://github.com/hyperium/h2/blob/master/CHANGELOG.md)
- [Commits](https://github.com/hyperium/h2/compare/v0.3.16...v0.3.17)

---
updated-dependencies:
- dependency-name: h2
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
 2023-04-17 00:02:44 -04:00
rvcas
b67d876f61 chore: update changelog 2023-04-16 20:44:13 -04:00
rvcas
3b351d36fb fix(aiken-lang): assignment as last expr in when and if 2023-04-16 19:55:47 -04:00
rvcas
a686ac023d [create-pull-request] automated change 2023-04-16 17:53:34 -04:00
rvcas
3d0fa1a5f6 chore: Release 2023-04-16 16:49:08 -04:00
rvcas
e0056e3acd chore: prepare changelog for release 2023-04-16 16:48:23 -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
Matthias Benkort
20edce2146 Merge pull request #494 from aiken-lang/patch/cargo.nix 
Update Cargo.nix
 2023-04-14 08:04:36 +02:00
rvcas
3005ed6591 [create-pull-request] automated change 2023-04-13 17:53:46 +00:00
rvcas
f4406ed3fc chore: disable release notes for now 2023-04-13 13:52:30 -04:00
rvcas
6b99071a8a chore: ci lol 2023-04-13 13:48:19 -04:00
rvcas
63ddef7efb chore: Release 2023-04-13 13:37:12 -04:00
rvcas
4941be4b8d chore: add cargo release metadata to toml 2023-04-13 13:34:53 -04:00
rvcas
7105b8c155 chore: minor changelog adjustments 2023-04-13 13:06:25 -04:00
rvcas
12e8ebdf4f chore: revert version bumps 2023-04-13 13:03:43 -04:00
Matthias Benkort
d2c8978326 Merge pull request #493 from aiken-lang/patch/cargo.nix 
Update Cargo.nix
 2023-04-13 17:47:03 +02:00
KtorZ
f660caedb6 [create-pull-request] automated change 2023-04-13 15:40:35 +00: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
KtorZ
74a7257ec9 Add some more instructions to 'blueprint apply' command help text. 2023-04-13 12:23:20 +02:00
KtorZ
3bff47cc8f Bump 'install-nix-actions' in the github workflow. 
See: https://github.com/cachix/cachix-action/issues/144
 2023-04-13 11:09:56 +02:00
KtorZ
4420e43bc4 Choose and install latest version on 'aikup', instead of failing. 2023-04-13 10:14:57 +02:00
KtorZ
ea83e80bf7 Add a 'list' command to aikup. 2023-04-13 10:04:24 +02:00
rvcas
0cda98a0d1 chore: remove flamegraph.svg 2023-04-13 01:28:27 -04:00
rvcas
fdce9f373e chore: remove fib.uplc file 2023-04-13 01:28:27 -04:00
rvcas
ccc450659a chore: switch discharge value back to the recursive form for simplicity 2023-04-13 01:28:27 -04:00
microproofs
564939ab61 feat 
* remove more Rc's
* reconstruct Value::Builtin only when needed

Co-authored-by: Lucas Rosa <x@rvcas.dev>
 2023-04-13 01:28:27 -04:00
microproofs
09a6ea51d6 feat(machine): reduce term allocations 
* remove term from VBuiltin
* and also means we don't need the useless wrapping

Co-authored-by: Lucas Rosa <x@rvcas.dev>
 2023-04-13 01:28:27 -04: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
Matthias Benkort
280284d4a1 Merge pull request #456 from aiken-lang/clause-guard-wildcard-pattern 
Add new failing test case for 048 (clause guards)
 2023-04-12 08:40:16 +02:00
Kasey White
1e35281650 clause guard with discard is now handled 2023-04-12 08:26:03 +02:00
KtorZ
0846fe2d5f Add new failing test case for 048 (clause guards) 
It seems like we don't properly handle clause guards for wildcard
  patterns. Seems like a codegen issue here as the code type-check
  properly.
 2023-04-12 08:24:18 +02:00
Kasey White
ff290bc582 add expect false test 2023-04-09 17:43:56 -04:00
Kasey White
02d57cc076 tests pass now after adding in final wrapper as air elements 2023-04-09 17:43:56 -04: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
4d97719e6d update blueprint tests with new hashes and script outputs 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
897011e9bc misc changes 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