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

remove logs

Browse source
This commit is contained in:
schaeff 2021-07-19 10:08:53 +02:00
parent 03c434994b
commit 2b0fd0909f
1 changed files with 1 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
zokrates_core/src/typed_absy/integer.rs
View file

@ -137,8 +137,6 @@ impl<'ast, T: Field> TypedExpression<'ast, T> {
))
}
(Struct(lhs), Struct(rhs)) => {
println!("common struct ty");
let common_type = get_common_type(lhs.get_type(), rhs.get_type())
.map_err(|_| (lhs.clone().into(), rhs.clone().into()))?;
@ -147,8 +145,6 @@ impl<'ast, T: Field> TypedExpression<'ast, T> {
_ => unreachable!(),
};
println!("ty {}", common_type);
Ok((
StructExpression::try_from_int(lhs.clone(), &common_type)
.map_err(|lhs| (lhs.clone(), rhs.clone().into()))?
@ -609,8 +605,6 @@ impl<'ast, T: Field> StructExpression<'ast, T> {
struc: Self,
target_struct_ty: &GStructType<S>,
) -> Result<Self, TypedExpression<'ast, T>> {
println!("try from int {}", struc);
let struct_ty = struc.ty().clone();
match struc.into_inner() {
@ -628,15 +622,10 @@ impl<'ast, T: Field> StructExpression<'ast, T> {
.members
.iter()
.zip(target_struct_ty.members.iter())
.all(|(m, target_m)| {
println!("{:?}", m);
*target_m.ty == *m.ty
})
.all(|(m, target_m)| *target_m.ty == *m.ty)
{
println!("all eq");
Ok(s.annotate(struct_ty.clone()))
} else {
println!("not all eq");
Err(s.annotate(struct_ty.clone()).into())
}
}