github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

implement variable access to ifelse array

Browse source
This commit is contained in:
schaeff 2019-01-18 19:35:10 +01:00
parent b74e0b6dc6
commit 87fccb3457
1 changed files with 15 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -945,7 +945,21 @@ impl Flattener {
"please use intermediate variables for now"
)
}
FieldElementArrayExpression::IfElse(..) => unimplemented!(),
FieldElementArrayExpression::IfElse(
condition,
consequence,
alternative,
) => FieldElementExpression::IfElse(
condition,
box FieldElementExpression::Select(
consequence,
box FieldElementExpression::Number(T::from(i)),
),
box FieldElementExpression::Select(
alternative,
box FieldElementExpression::Number(T::from(i)),
),
),
},
box FieldElementExpression::Number(T::from(0)),
)