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

remove unnecessary variant on runtime error

Browse source
This commit is contained in:
dark64 2022-11-30 14:23:15 +01:00
parent 1e4d453f8b
commit eca20870e1
2 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
zokrates_analysis/src/flatten_complex_types.rs
View file

@ -600,7 +600,6 @@ fn fold_statement<'ast, T: Field>(
} }
typed::RuntimeError::SelectRangeCheck => zir::RuntimeError::SelectRangeCheck, typed::RuntimeError::SelectRangeCheck => zir::RuntimeError::SelectRangeCheck,
typed::RuntimeError::DivisionByZero => zir::RuntimeError::DivisionByZero, typed::RuntimeError::DivisionByZero => zir::RuntimeError::DivisionByZero,
_ => unreachable!(),
}; };
vec![zir::ZirStatement::Assertion(e, error)] vec![zir::ZirStatement::Assertion(e, error)]
} }

4
zokrates_ast/src/typed/mod.rs
View file

@ -570,7 +570,6 @@ impl<'ast, T: fmt::Display> fmt::Display for TypedAssignee<'ast, T> {
#[derive(Debug, Clone, PartialEq, Hash, Eq, PartialOrd, Ord)] #[derive(Debug, Clone, PartialEq, Hash, Eq, PartialOrd, Ord)]
pub enum RuntimeError { pub enum RuntimeError {
SourceAssertion(SourceMetadata), SourceAssertion(SourceMetadata),
SourceAssemblyConstraint(SourceMetadata),
SelectRangeCheck, SelectRangeCheck,
DivisionByZero, DivisionByZero,
} }
@ -581,9 +580,6 @@ impl fmt::Display for RuntimeError {
RuntimeError::SourceAssertion(metadata) => { RuntimeError::SourceAssertion(metadata) => {
write!(f, "Assertion failed at {}", metadata) write!(f, "Assertion failed at {}", metadata)
} }
RuntimeError::SourceAssemblyConstraint(metadata) => {
write!(f, "Unsatisfied constraint at {}", metadata)
}
RuntimeError::SelectRangeCheck => write!(f, "Range check on array access"), RuntimeError::SelectRangeCheck => write!(f, "Range check on array access"),
RuntimeError::DivisionByZero => write!(f, "Division by zero"), RuntimeError::DivisionByZero => write!(f, "Division by zero"),
} }