diff --git a/compiler/src/value/field/field_type.rs b/compiler/src/value/field/field_type.rs index ca9887eb58..3281ff289e 100644 --- a/compiler/src/value/field/field_type.rs +++ b/compiler/src/value/field/field_type.rs @@ -242,14 +242,13 @@ impl EvaluateEqGadget for FieldType { fn evaluate_equal>(&self, mut _cs: CS, other: &Self) -> Result { match (self, other) { (FieldType::Constant(first), FieldType::Constant(second)) => Ok(Boolean::constant(first.eq(second))), - _ => unimplemented!(), - // (FieldType::Allocated(first), FieldType::Allocated(second)) => first.evaluate_equal(cs, second), - // (FieldType::Constant(constant_value), FieldType::Allocated(allocated_value)) - // | (FieldType::Allocated(allocated_value), FieldType::Constant(constant_value)) => { - // let allocated_constant_value = - // FpGadget::alloc(&mut cs.ns(|| format!("alloc constant for eq")), || Ok(constant_value))?; - // allocated_value.evaluate_equal(cs, &allocated_constant_value) - // } + _ => unimplemented!("field equality not implemented yet"), // (FieldType::Allocated(first), FieldType::Allocated(second)) => first.is_eq(cs, second), + // (FieldType::Constant(constant_value), FieldType::Allocated(allocated_value)) + // | (FieldType::Allocated(allocated_value), FieldType::Constant(constant_value)) => { + // let allocated_constant_value = + // FpGadget::alloc(&mut cs.ns(|| format!("alloc constant for eq")), || Ok(constant_value))?; + // allocated_value.is_eq(cs, &allocated_constant_value) + // } } } }