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

Function call flattening bugfix

Browse source
This commit is contained in:
Jacob Eberhardt 2017-10-28 15:28:11 +02:00
parent 884c71c288
commit 2303a899ea
1 changed files with 8 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/flatten.rs
View file

@ -477,17 +477,21 @@ impl Flattener {
Statement::Definition(var, rhs) => {
let new_rhs = rhs.apply_substitution(&temp_substitution)
.apply_substitution(&self.substitution);
let subsvar = self.use_variable(&var);
temp_substitution.insert(var.clone(), subsvar.clone());
let subsvar: String = self.use_variable(&var);
if var != subsvar {
temp_substitution.insert(var.clone(), subsvar.clone());
}
statements_flattened.push(
Statement::Definition(subsvar, new_rhs),
Statement::Definition(subsvar, new_rhs)
);
}
Statement::Compiler(var, rhs) => {
let new_rhs = rhs.apply_substitution(&temp_substitution)
.apply_substitution(&self.substitution);
let subsvar = self.use_variable(&var);
temp_substitution.insert(var.clone(), subsvar.clone());
if var != subsvar {
temp_substitution.insert(var.clone(), subsvar.clone());
}
statements_flattened.push(Statement::Compiler(subsvar, new_rhs));
}
Statement::Condition(lhs, rhs) => {