github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

replace with no loop solution

Browse source
This commit is contained in:
schaeff 2019-03-15 16:35:04 +01:00
parent ff7f479bc0
commit 5654fc61a3
1 changed files with 17 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
zokrates_core/src/flatten/mod.rs
View file

@ -443,7 +443,9 @@ impl Flattener {
.inputs(param_expressions.iter().map(|e| e.get_type()).collect())
.outputs(return_types);
let funct = self.get_function(passed_signature, &functions_flattened, id).clone();
let funct = self
.get_function(passed_signature, &functions_flattened, id)
.clone();
let mut replacement_map = HashMap::new();
@ -451,7 +453,14 @@ impl Flattener {
// Rename Parameters, assign them to values in call. Resolve complex expressions with definitions
let params_flattened = param_expressions
.into_iter()
.map(|param_expr| self.flatten_expression(functions_flattened, arguments_flattened, statements_flattened, param_expr.clone()))
.map(|param_expr| {
self.flatten_expression(
functions_flattened,
arguments_flattened,
statements_flattened,
param_expr.clone(),
)
})
.into_iter()
.flat_map(|x| x)
.collect::<Vec<_>>();
@ -1532,7 +1541,12 @@ impl Flattener {
latest_var
}
fn get_function<'a, T: Field>(&self, s: Signature, functions_flattened: &'a Vec<FlatFunction<T>>, id: &str) -> &'a FlatFunction<T> {
fn get_function<'a, T: Field>(
&self,
s: Signature,
functions_flattened: &'a Vec<FlatFunction<T>>,
id: &str,
) -> &'a FlatFunction<T> {
functions_flattened
.iter()
.find(|f| f.id == id && f.signature == s)