github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

revert semantic changes

Browse source
This commit is contained in:
schaeff 2021-05-26 16:06:25 +02:00
parent cd84bb30c5
commit 75b63b2178
1 changed files with 0 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
zokrates_core/src/semantics.rs
View file

@ -1484,8 +1484,6 @@ impl<'ast, T: Field> Checker<'ast, T> {
res
}
Statement::MultipleDefinition(assignees, rhs) => {
println!("ASSIGNEES: {:?}", assignees);
match rhs.value {
// Right side has to be a function call
Expression::FunctionCall(fun_id, generics, arguments) => {
@ -1524,8 +1522,6 @@ impl<'ast, T: Field> Checker<'ast, T> {
let assignee_types: Vec<_> = assignees.iter().map(|a| Some(a.get_type().clone())).collect();
println!("{:?}", assignee_types);
// find argument types
let mut arguments_checked = vec![];
for arg in arguments {
@ -1538,8 +1534,6 @@ impl<'ast, T: Field> Checker<'ast, T> {
let query = FunctionQuery::new(&fun_id, &generics_checked, &arguments_types, &assignee_types);
println!("QUERY {:?}", query);
let functions = self.find_functions(&query);
match functions.len() {