collin
266fdd7a5e
fix readmes and licenses
2022-07-12 16:46:42 -07:00
collin
0b81f03f3a
move /leo/errors -> /errors
2022-07-12 16:41:42 -07:00
collin
6d731891d0
move /leo/span -> /compiler/span
2022-07-12 16:37:10 -07:00
collin
ca0c34ea42
remove unused wasm package
2022-07-12 16:31:19 -07:00
collin
a9992bc6d4
remove unused code
2022-07-12 16:19:58 -07:00
collin
7bbd70423d
fix panic hook
2022-07-12 15:47:56 -07:00
collin
163f94d7c1
regen tests
2022-07-12 15:41:11 -07:00
collin
f91b960031
push public input var in helloworld example
2022-07-12 15:12:46 -07:00
collin
f93186513e
improve errors
2022-07-12 15:00:46 -07:00
collin
fa28678a26
impl leo run
2022-07-12 14:44:20 -07:00
collin
dcd6501262
update revs, improve error handling, remove unused code
2022-07-12 12:48:51 -07:00
collin
f4a32331b7
remove unused logic
2022-07-11 22:20:37 -07:00
collin
9ccae18622
clean up cli wip
2022-07-11 21:47:01 -07:00
collin
e013b88811
stabilize leo build
2022-07-11 21:09:27 -07:00
collin
c5849f26af
Merge branch 'testnet3' of https://github.com/AleoHQ/leo into code-gen
2022-07-11 15:19:14 -07:00
Collin Chin
bbdf04e999
Merge pull request #1929 from AleoHQ/dependabot/cargo/testnet3/serde_yaml-0.8.25
...
Bump serde_yaml from 0.8.24 to 0.8.25
2022-07-11 15:17:12 -07:00
Collin Chin
a9fd9a0c2d
Merge pull request #1928 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.139
...
Bump serde from 1.0.138 to 1.0.139
2022-07-11 15:16:59 -07:00
Collin Chin
de23832673
Merge pull request #1927 from AleoHQ/abnf-tuples
...
[ABNF] Add tuples.
2022-07-11 15:16:44 -07:00
Collin Chin
5f308bfb59
Merge pull request #1926 from AleoHQ/return-tuple
...
Implement tuple syntax and type checking
2022-07-11 15:16:10 -07:00
collin
c719843223
impl program json, aleo build and run working
2022-07-11 14:10:22 -07:00
Alessandro Coglio
97d26a879a
[ABNF] Actually exclude 1-tuples.
...
Thanks to @bendyarm for noticing and reporting this.
2022-07-11 21:38:05 +02:00
collin
616a2e944d
impl .aleo program id
2022-07-11 12:06:51 -07:00
collin
608d29a81c
clippy
2022-07-11 11:58:31 -07:00
collin
426941ac8c
fix associated function calls
2022-07-11 11:56:38 -07:00
collin
1d0dd0781d
impl codegen for return tuples
2022-07-11 11:08:01 -07:00
dependabot[bot]
8abc3685be
Bump serde_yaml from 0.8.24 to 0.8.25
...
Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml ) from 0.8.24 to 0.8.25.
- [Release notes](https://github.com/dtolnay/serde-yaml/releases )
- [Commits](https://github.com/dtolnay/serde-yaml/compare/0.8.24...0.8.25 )
---
updated-dependencies:
- dependency-name: serde_yaml
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-07-11 10:23:35 +00:00
dependabot[bot]
1d2d345573
Bump serde from 1.0.138 to 1.0.139
...
Bumps [serde](https://github.com/serde-rs/serde ) from 1.0.138 to 1.0.139.
- [Release notes](https://github.com/serde-rs/serde/releases )
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.138...v1.0.139 )
---
updated-dependencies:
- dependency-name: serde
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-07-11 10:23:20 +00:00
Alessandro Coglio
9c3d2e0941
[ABNF] Add tuples.
...
This adds tuple types, tuple expressions (which build tuples from components),
and tuple component expressions (which access tuple components).
Based on previous discussions on this topic, 1-tuples are excluded. This
exclusion is done at the grammar level, since it is the kind of requirement that
is easily captured in a context-free grammar.
2022-07-10 18:28:31 +02:00
collin
ed79f5c957
merge return-tuple branch
2022-07-09 20:55:30 -07:00
collin
d59cff0844
cargo fmt
2022-07-09 16:58:36 -07:00
collin
a15fce710c
merge testnet3
2022-07-09 16:51:20 -07:00
collin
01a1953021
regen tests
2022-07-09 16:19:48 -07:00
d0cd
1c88ea938b
Merge pull request #1925 from AleoHQ/fix/tyc-member-access-and-cleanup
...
Type-checking fixes and cleanup
2022-07-09 16:03:53 -07:00
collin
1bcb9accec
clippy
2022-07-09 15:38:11 -07:00
collin
aff2db67da
check that returned tuple types are valid
2022-07-09 15:13:42 -07:00
collin
2a61f26ccc
impl tuple tests
2022-07-09 15:02:45 -07:00
collin
642ad32e99
parse tuple access
2022-07-09 14:11:18 -07:00
collin
a7fc19a69f
impl tuple ast access
2022-07-09 13:22:10 -07:00
collin
9e422599a0
impl tuple parsing
2022-07-09 12:39:50 -07:00
collin
296c62a280
impl tuple type expression
2022-07-09 10:15:08 -07:00
Pranav Gaddamadugu
8ab98c9434
Refactor emitter to reduce the number of into invocations; more cleanup
2022-07-08 14:10:54 -07:00
Pranav Gaddamadugu
e7f4a41410
Better error for missing member on circuit init
2022-07-08 13:45:00 -07:00
Pranav Gaddamadugu
014959aa24
Regenerate expectations
2022-07-08 13:44:21 -07:00
Pranav Gaddamadugu
990b5a75da
Rename LiteralExpression to Literal; more cleanup
2022-07-08 13:44:21 -07:00
Pranav Gaddamadugu
cf7bde5fab
Clean up error
2022-07-08 13:43:28 -07:00
Pranav Gaddamadugu
8af0f6268f
Regenerate expectations
2022-07-08 13:43:28 -07:00
Pranav Gaddamadugu
0358a5f4da
Fmt
2022-07-08 13:43:28 -07:00
collin
a1c42a8d3f
impl tuple type
2022-07-08 13:07:20 -07:00
Pranav Gaddamadugu
f31accb04e
Cleanup; type checking for Circuit Member Access
2022-07-08 12:56:58 -07:00
Pranav Gaddamadugu
ccd50fb7de
Add more detailed error messages
2022-07-08 12:50:26 -07:00