ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 23:23:50 +03:00
Code Issues Packages Projects Releases Wiki Activity

attmpt to fix 1217 (rebased)

Browse Source
This commit is contained in:
damirka 2021-08-02 18:05:19 +03:00 committed by Eric McCarthy
parent cb5a5eb0f4
commit 1792ef4993
1 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
ast/src/reducer/canonicalization.rs
View File

@ -263,6 +263,14 @@ impl Canonicalizer {
});
}
Expression::CircuitStaticFunctionAccess(circuit_static_func_access) => {
// dbg!(&circuit_static_func_access.name);
// dbg!(&circuit_static_func_access.circuit);
// let canonicalized_name = self.canonicalize_expression(&circuit_static_func_access.circuit);
// dbg!(&canonicalized_name);
// dbg!(circuit_static_func_access.name.clone());
return Expression::CircuitStaticFunctionAccess(CircuitStaticFunctionAccessExpression {
circuit: Box::new(self.canonicalize_expression(&circuit_static_func_access.circuit)),
name: circuit_static_func_access.name.clone(),
@ -278,10 +286,13 @@ impl Canonicalizer {
}
Expression::Identifier(identifier) => {
if identifier.name.as_ref() == "Self" && self.circuit_name.is_some() {
return Expression::Identifier(self.circuit_name.as_ref().unwrap().clone());
let name = self.circuit_name.as_ref().unwrap().clone();
dbg!(&name);
return Expression::Identifier(name);
}
}
_ => {}
_ => (),
}
expression.clone()