ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 23:23:50 +03:00
Code Issues Packages Projects Releases Wiki Activity

edit main input comments

Browse Source
This commit is contained in:
collin 2021-03-23 14:44:16 -07:00
parent 8172d73a71
commit 3a6ca5018d
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/src/function/input/main_function_input.rs
View File

@ -60,7 +60,7 @@ impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {
)?)), )?)),
Type::Array(type_, len) => self.allocate_array(cs, name, &*type_, *len, input_option, span), Type::Array(type_, len) => self.allocate_array(cs, name, &*type_, *len, input_option, span),
Type::Tuple(types) => self.allocate_tuple(cs, &name, types, input_option, span), Type::Tuple(types) => self.allocate_tuple(cs, &name, types, input_option, span),
_ => unimplemented!("main function input not implemented for type {}", type_), // Todo @damirka: add an error for this case _ => unimplemented!("main function input not implemented for type {}", type_), // Should not happen.
} }
} }
} }
@ -113,9 +113,9 @@ impl<'a, F: PrimeField, G: GroupType<F>> ConstrainedProgram<'a, F, G> {
.collect::<Result<Vec<_>, _>>()?, .collect::<Result<Vec<_>, _>>()?,
)) ))
} }
// The only unimplemented type in Type. (Type::Circuit(_), _) => unimplemented!("main function input not implemented for type {}", type_), // Should not happen.
(Type::Circuit(_), _) => unimplemented!("main function input not implemented for type {}", type_),
// If Type => InputValue (type) match did not happen, error out. // Return an error if the input type and input value do not match.
(_, input) => Err(FunctionError::input_type_mismatch( (_, input) => Err(FunctionError::input_type_mismatch(
type_.to_string(), type_.to_string(),
input.to_string(), input.to_string(),