ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-01 08:19:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'migrate-leo-ast' of github.com:AleoHQ/leo into migrate-leo-parser

Browse Source
This commit is contained in:
gluax 2022-01-26 11:43:21 -08:00
commit 37b99f84d6
6 changed files with 71 additions and 65 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

61
.circleci/config.yml
View File

@ -46,7 +46,7 @@ commands:
jobs:
check-style:
docker:
- image: cimg/rust:1.54.0
- image: cimg/rust:1.56.1
resource_class: xlarge
steps:
- checkout
@ -61,7 +61,7 @@ jobs:
clippy:
docker:
- image: cimg/rust:1.54.0
- image: cimg/rust:1.56.1
resource_class: xlarge
steps:
- checkout
@ -76,7 +76,7 @@ jobs:
# code-cov:
# docker:
# - image: cimg/rust:1.54.0
# - image: cimg/rust:1.56.1
# resource_class: xlarge
# environment:
# RUSTC_BOOTSTRAP: 1
@ -118,7 +118,7 @@ jobs:
leo-executable:
docker:
- image: cimg/rust:1.54.0
- image: cimg/rust:1.56.1
resource_class: xlarge
steps:
- checkout
@ -136,7 +136,7 @@ jobs:
leo-new:
docker:
- image: cimg/rust:1.54.0
- image: cimg/rust:1.56.1
resource_class: xlarge
steps:
- attach_workspace:
@ -149,7 +149,7 @@ jobs:
leo-init:
docker:
- image: cimg/rust:1.54.0
- image: cimg/rust:1.56.1
resource_class: xlarge
steps:
- attach_workspace:
@ -162,7 +162,7 @@ jobs:
leo-clean:
docker:
- image: cimg/rust:1.54.0
- image: cimg/rust:1.56.1
resource_class: xlarge
steps:
- attach_workspace:
@ -175,7 +175,7 @@ jobs:
leo-setup:
docker:
- image: cimg/rust:1.54.0
- image: cimg/rust:1.56.1
resource_class: xlarge
steps:
- attach_workspace:
@ -188,7 +188,7 @@ jobs:
# leo-add-remove:
# docker:
# - image: cimg/rust:1.54.0
# - image: cimg/rust:1.56.1
# resource_class: xlarge
# steps:
# - attach_workspace:
@ -199,22 +199,23 @@ jobs:
# export LEO=/home/circleci/project/project/bin/leo
# ./project/.circleci/leo-add-remove.sh
leo-check-constraints:
docker:
- image: cimg/rust:1.54.0
resource_class: xlarge
steps:
- attach_workspace:
at: /home/circleci/project/
- run:
name: leo check constraints for Pedersen Hash
command: |
export LEO=/home/circleci/project/project/bin/leo
./project/.circleci/leo-check-constraints.sh
# todo (collin): uncomment after compiler refactor
# leo-check-constraints:
# docker:
# - image: cimg/rust:1.56.1
# resource_class: xlarge
# steps:
# - attach_workspace:
# at: /home/circleci/project/
# - run:
# name: leo check constraints for Pedersen Hash
# command: |
# export LEO=/home/circleci/project/project/bin/leo
# ./project/.circleci/leo-check-constraints.sh
leo-login-logout:
docker:
- image: cimg/rust:1.54.0
- image: cimg/rust:1.56.1
resource_class: xlarge
steps:
- attach_workspace:
@ -227,7 +228,7 @@ jobs:
leo-clone:
docker:
- image: cimg/rust:1.54.0
- image: cimg/rust:1.56.1
resource_class: xlarge
steps:
- attach_workspace:
@ -240,7 +241,7 @@ jobs:
leo-publish:
docker:
- image: cimg/rust:1.54.0
- image: cimg/rust:1.56.1
resource_class: xlarge
steps:
- attach_workspace:
@ -270,12 +271,12 @@ workflows:
- leo-setup:
requires:
- leo-executable
# - leo-add-remove:
# requires:
# - leo-executable
- leo-check-constraints:
requires:
- leo-executable
# - leo-add-remove:
# requires:
# - leo-executable
# - leo-check-constraints:
# requires:
# - leo-executable
- leo-login-logout:
requires:
- leo-executable

4
.github/workflows/ci.yml vendored
View File

@ -236,7 +236,7 @@ jobs:
- name: Stop sccache server
run: sccache --stop-server || true
codecov:
name: Code Coverage
runs-on: ubuntu-latest
@ -328,4 +328,4 @@ jobs:
run: sccache --show-stats
- name: Stop sccache server
run: sccache --stop-server || true
run: sccache --stop-server || true

3
.github/workflows/wasm.yml vendored
View File

@ -37,6 +37,3 @@ jobs:
run: wasm-pack build --dev --target nodejs
- name: Install dependencies and run tests
run: cd tests && npm ci && npm test

2
.rusty-hook.toml
View File

@ -1,5 +1,5 @@
[hooks]
# pre-commit = "cargo clippy && cargo fmt --all -- --check"
# pre-commit = "cargo clippy && cargo +nightly fmt --all -- --check"
# temp disable for this branch
[logging]
verbose = true

64
ast/README.md
View File

@ -28,10 +28,10 @@ It stores the path to an import and what is being imported.
#### [Circuits](./src/circuits/circuit.rs)
A circuit node represents a defined Circuit in a Leo Program.
A order preserving map of these are stored on the Program.
Contains the Circuit's name, as well as it's members.
The members are a function, or a variable.
For both of them the Circuit preserves their names.
An order-preserving map of these are stored on the Program.
Contains the Circuit's name, as well as its members.
The members are a function, or a variable, or a constant.
For all of them the Circuit preserves their names.
#### [Decorators](./src/annotation.rs)
@ -42,7 +42,7 @@ The node stores the name of the annotation, as well as any args passed to it.
#### [Functions](./src/functions/function.rs)
A function node represents a defined function in a Leo Program.
A order preserving map of these are stored on the Program.
An order-preserving map of these are stored on the Program.
A function node stores the following information:
- The annotations applied to the function.
@ -54,7 +54,7 @@ A function node stores the following information:
#### [Global Consts](./src/program.rs)
A global const is a bit special and has no special node for itself, but rather is a definition statement.
A order preserving map of these are stored on the Program.
An order-preserving map of these are stored on the Program.
### [Types](./src/types/type_.rs)
@ -75,7 +75,7 @@ The char type resents a character from the inclusive range [0, 10FFFF].
#### Field
The field type an unsigned number up to the modulus length of the field.
The field type an unsigned number less than the modulus of the field.
#### Group
@ -127,15 +127,20 @@ A integer in the inclusive range [-170141183460469231731687303715884105728, 1701
#### Array
The array type contains another type, then the number of elements of that type greater than 0.
The array type contains another type,
then the number of elements of that type greater than 0
for monodimensional arrays,
or a list of such numbers of elements
for multidimensional arrays.
#### Tuple
The tuple type contains n types, where n is greater than or equal to 0.
#### Circuit
#### Identifier
The circuit type, every circuit represents a different type.
An identifier type is either a circuit type or a type alias;
every circuit type represents a different type.
#### SelfType
@ -153,9 +158,9 @@ An assignment statement node stores the following:
- **=**
- **+=**
- **-=**
- **=**
- **\*=**
- **/=**
- **=**
- **\*\*=**
- **&&=**
- **||=**
- The assignee which is a variable that has context of any access expressions on it.
@ -188,7 +193,7 @@ A definition statement node stores the following:
- The declaration type:
- `let` for mutable definitions.
- `const` for cosntant definitions.
- The names of the varaibles defined.
- The names of the variables defined.
- The optional type.
- The values to be assigned to the varaibles.
@ -204,7 +209,8 @@ A iteration statement node stores the following:
- The loop iterator variable name.
- The expression to define the starting loop value.
- The expression to define the stoping loop value.
- The expression to define the stopping loop value.
- A flag indicating whether the stopping value is inclusive or not.
- The block to run for the loop.
#### [Return Statements](./src/statements/return_statement.rs)
@ -213,11 +219,11 @@ A return statement node stores the following:
- The expression that is being returned.
### Expressions
### [Expressions](./src/expressions/mod.rs)
The expression nodes in a Leo Program.
#### [ArrayAccess Expressions](./src/expression/array_acces.rs)
#### [ArrayAccess Expressions](./src/accesses/array_access.rs)
An array access expression node stores the following:
@ -235,9 +241,9 @@ An array init expression node stores the following:
An array inline expression node stores the following:
- The elments of an array which is either an spread or an expression.
- The elements of an array, each of which is either a spread or an expression.
#### [ArrayRangeAccess Expressions](./src/expression/array_range_access.rs)
#### [ArrayRangeAccess Expressions](./src/accesses/array_range_access.rs)
An array range access expression node stores the following:
@ -278,21 +284,23 @@ A call expression node stores the following:
A circuit init expression node stores the following:
- The name of the circuit expression being initialized.
- The aruments a list of expressions.
- The arguments a list of expressions.
#### [CircuitMemberAccess Expressions](./src/expression/circuit_member_access.rs)
#### [MemberAccess Expressions](./src/accesses/member_access.rs)
A circuit member access expression node stores the following:
A member access expression node stores the following:
- The circut expression being accessed.
- The name of the expression being accessed from the circuit.
- The expression being accessed.
- The name of the member being accessed.
- The optional inferred type.
#### [CircuitStaticFunctionAccess Expressions](./src/expression/circuit_static_function_access.rs)
#### [StaticAccess Expressions](./src/accesses/static_access.rs)
A circuit static function access expression node stores the following:
A static function access expression node stores the following:
- The circut expression being accessed.
- The name of the expression being statically accessed from the circuit.
- The expression being accessed.
- The name of the member being statically accessed.
- The optional inferred type.
#### [Identifier Expressions](./src/common/identifier.rs)
@ -308,7 +316,7 @@ A ternary expression node stores the following:
- The expression returned if the condition is true.
- The expression returned if the condition is false.
#### [TupleAccess Expressions](./src/expression/tuple_access.rs)
#### [TupleAccess Expressions](./src/accesses/tuple_access.rs)
A tuple access expression node stores the following:

2
span/src/symbol.rs
View File

@ -29,7 +29,7 @@ use std::intrinsics::transmute;
use std::marker::PhantomData;
/// A helper for `symbols` defined below.
/// The macro's job is to bind conventiently usable `const` items to the symbol names provided.
/// The macro's job is to bind conveniently usable `const` items to the symbol names provided.
/// For example, with `symbol { a, b }` you'd have `sym::a` and `sym::b`.
macro_rules! consts {
($val: expr, $sym:ident $(,)?) => {