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

add circuit self keyword wip

Browse Source
This commit is contained in:
collin 2020-07-02 21:36:22 -07:00
parent a78d077d40
commit 36b2508de3
4 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -384,7 +384,8 @@ import [package].*;
```
### Local
You can import from a local file in the `src/` directory by using its `[file].leo` as the `[package]` name.
You can import from a local file in the same package using its direct path.
`src/` directory by using its `[file].leo` as the `[package]` name.
```rust
import [file].[name];

7
compiler/src/constraints/expression.rs
View File

@ -34,6 +34,8 @@ use snarkos_models::{
},
};
static SELF_KEYWORD: &'static str = "self";
impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
/// Enforce a variable expression by getting the resolved value
pub(crate) fn evaluate_identifier(
@ -699,6 +701,7 @@ impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
circuit_member: Identifier,
span: Span,
) -> Result<ConstrainedValue<F, G>, ExpressionError> {
println!("access");
let (circuit_name, members) = match self.enforce_expression_value(
cs,
file_scope.clone(),
@ -725,8 +728,10 @@ impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
_ => {
let circuit_scope = new_scope(file_scope.clone(), circuit_name.to_string());
let function_scope = new_scope(circuit_scope, member.0.to_string());
let field = new_scope(function_scope, stored_member.0.to_string());
let self_keyword = new_scope(function_scope, SELF_KEYWORD.to_string());
let field = new_scope(self_keyword, stored_member.0.to_string());
println!("storing");
self.store(field, stored_member.1.clone());
}
}

1
compiler/src/constraints/program.rs
View File

@ -22,6 +22,7 @@ impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
}
pub(crate) fn store(&mut self, name: String, value: ConstrainedValue<F, G>) {
println!("{}", name);
self.identifiers.insert(name, value);
}

2
types/src/common/identifier.rs
View File

@ -13,7 +13,7 @@ pub struct Identifier {
impl Identifier {
pub fn is_self(&self) -> bool {
self.name == "Self"
self.name == "Self" || self.name == "self"
}
}