mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-24 07:48:04 +03:00
commit
019bbbff09
@ -58,12 +58,8 @@ impl<'ast> From<GrammarCircuitMember<'ast>> for CircuitMember {
|
||||
impl fmt::Display for CircuitMember {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
match self {
|
||||
CircuitMember::CircuitVariable(ref identifier, ref type_) => {
|
||||
write!(f, "{}: {}", identifier, type_)
|
||||
}
|
||||
CircuitMember::CircuitFunction(ref function) => {
|
||||
write!(f, "{}", function)
|
||||
}
|
||||
CircuitMember::CircuitVariable(ref identifier, ref type_) => write!(f, "{}: {}", identifier, type_),
|
||||
CircuitMember::CircuitFunction(ref function) => write!(f, "{}", function),
|
||||
}
|
||||
}
|
||||
}
|
||||
|
@ -52,9 +52,7 @@ impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
|
||||
(input_id, value)
|
||||
}
|
||||
FunctionInput::SelfKeyword(_) => unimplemented!("cannot access self keyword in main function"),
|
||||
FunctionInput::MutSelfKeyword(_) => {
|
||||
unimplemented!("cannot access mut self keyword in main function")
|
||||
}
|
||||
FunctionInput::MutSelfKeyword(_) => unimplemented!("cannot access mut self keyword in main function"),
|
||||
FunctionInput::Variable(input_model) => {
|
||||
let name = input_model.identifier.name.clone();
|
||||
let input_option = input
|
||||
|
Loading…
Reference in New Issue
Block a user