From 0736c4b976d3291e15dea8a60bf0e615dd1335a8 Mon Sep 17 00:00:00 2001 From: dark64 Date: Mon, 27 Jun 2022 14:23:42 +0200 Subject: [PATCH] fix tests --- .../generics/infer_return_call_generics.zok | 7 ------- zokrates_core/src/semantics.rs | 10 ++++++++-- .../tests/tests/generics/return_inference.json | 2 +- 3 files changed, 9 insertions(+), 10 deletions(-) delete mode 100644 zokrates_cli/examples/compile_errors/generics/infer_return_call_generics.zok diff --git a/zokrates_cli/examples/compile_errors/generics/infer_return_call_generics.zok b/zokrates_cli/examples/compile_errors/generics/infer_return_call_generics.zok deleted file mode 100644 index 146fdc14..00000000 --- a/zokrates_cli/examples/compile_errors/generics/infer_return_call_generics.zok +++ /dev/null @@ -1,7 +0,0 @@ -def foo() -> field[N] { - return [42; N]; -} - -def main() -> field[2] { - return foo(); // N is currently not infered to 2 here -} diff --git a/zokrates_core/src/semantics.rs b/zokrates_core/src/semantics.rs index bab7ebf8..b3ba47ca 100644 --- a/zokrates_core/src/semantics.rs +++ b/zokrates_core/src/semantics.rs @@ -4317,9 +4317,14 @@ mod tests { #[test] fn undefined_variable_in_statement() { + // field a; // a = b; // b undefined - let statement: StatementNode = Statement::Definition( + let declaration = Statement::Declaration( + absy::Variable::new("a", UnresolvedType::FieldElement.mock()).mock(), + ).mock(); + + let definition: StatementNode = Statement::Definition( Assignee::Identifier("a").mock(), Expression::Identifier("b").mock(), ) @@ -4327,9 +4332,10 @@ mod tests { let mut checker: Checker = Checker::default(); checker.enter_scope(); + checker.check_statement(declaration, &*MODULE_ID, &TypeMap::new()).unwrap(); assert_eq!( - checker.check_statement(statement, &*MODULE_ID, &TypeMap::new()), + checker.check_statement(definition, &*MODULE_ID, &TypeMap::new()), Err(vec![ErrorInner { pos: Some((Position::mock(), Position::mock())), message: "Identifier \"b\" is undefined".into() diff --git a/zokrates_core_test/tests/tests/generics/return_inference.json b/zokrates_core_test/tests/tests/generics/return_inference.json index 0e0b40d2..37c420d1 100644 --- a/zokrates_core_test/tests/tests/generics/return_inference.json +++ b/zokrates_core_test/tests/tests/generics/return_inference.json @@ -7,7 +7,7 @@ }, "output": { "Ok": { - "value": ["1", "2"] + "value": ["42", "42"] } } }