AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2025-01-06 09:50:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

remove unused branch

Browse Source
This commit is contained in:
collin 2020-12-01 15:43:35 -05:00
parent d8c08fedd7
commit 7ce927ff78
1 changed files with 0 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
compiler/src/statement/assign/circuit_variable.rs
View File

@ -61,34 +61,6 @@ impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
span.to_owned(), span.to_owned(),
)) ))
} }
ConstrainedValue::Mutable(value) => {
// Mutate the circuit variable's value in place
// Check that the new value type == old value type
new_value.resolve_type(Some(value.to_type(span)?), span)?;
// Conditionally select the value if this branch is executed.
let mut selected_value = ConstrainedValue::conditionally_select(
cs.ns(|| format!("select {} {}:{}", new_value, span.line, span.start)),
&condition,
&new_value,
&member.1,
)
.map_err(|_| {
StatementError::select_fail(
new_value.to_string(),
member.1.to_string(),
span.to_owned(),
)
})?;
// Make sure the new value is still mutable
selected_value = ConstrainedValue::Mutable(Box::new(selected_value));
member.1 = selected_value.to_owned();
Ok(selected_value)
}
value => { value => {
// Check that the new value type == old value type // Check that the new value type == old value type
new_value.resolve_type(Some(value.to_type(span)?), span)?; new_value.resolve_type(Some(value.to_type(span)?), span)?;