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
Pranav Gaddamadugu
7537fb1af2
Pull passes/src/flattening from improved-flattening
2022-07-11 14:53:41 -07:00
Pranav Gaddamadugu
ae13db1d4c
Type checking fills in start/stop values for IterationStatement
2022-07-11 14:48:53 -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
Pranav Gaddamadugu
3b76574a78
Add start, stop values for IterationStatement
2022-07-11 11:20:54 -07:00
Pranav Gaddamadugu
3d13e8b400
WIP value
2022-07-11 11:18:25 -07:00
Pranav Gaddamadugu
987496da91
Pull errors/flattener from improved-flattening
2022-07-11 11:17:30 -07:00
collin
1d0dd0781d
impl codegen for return tuples
2022-07-11 11:08:01 -07:00
Pranav Gaddamadugu
dbfd9a7451
Better error for address comparison; regen test expectations
2022-07-11 07:49:52 -07:00
Pranav Gaddamadugu
641c98b69e
Use refactored types in parsing and tyc
2022-07-11 07:19:00 -07:00
Pranav Gaddamadugu
8bdf199ab1
Remove IntegerTypes and declare them explicitly in Type
2022-07-11 07:17:57 -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
Pranav Gaddamadugu
15959614d0
Refactor value into its own module
2022-07-10 17:54:12 -07:00
Pranav Gaddamadugu
6fbf96e12d
Pull symbol_table/value.rs from improved-flattening
2022-07-10 09:45:53 -07: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
270dffb140
regen tests
2022-07-09 16:23:54 -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
collin
43db782ce2
remove Copy trait from Type enum
2022-07-08 12:22:25 -07:00
d0cd
9b9db978ef
Merge pull request #1911 from AleoHQ/feat/redesign-symbol-table
...
Redesign SymbolTable
2022-07-08 12:10:48 -07:00
Pranav Gaddamadugu
00b90c4a33
Merge branch 'testnet3' into feat/redesign-symbol-table
2022-07-08 11:57:40 -07:00
collin
d64f4787a1
merge testnet3
2022-07-08 11:27:01 -07:00
Collin Chin
249d50538b
Merge pull request #1921 from AleoHQ/type-checker-bugs
...
Refactor type checker functions
2022-07-08 11:23:22 -07:00
d0cd
67cc6ab629
Merge pull request #1918 from AleoHQ/dependabot/cargo/testnet3/regex-1.6.0
...
Bump regex from 1.5.6 to 1.6.0
2022-07-08 10:34:27 -07:00
