github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 20:28:36 +00:00
Code Issues Projects Releases Wiki Activity

fix tests

Browse source
This commit is contained in:
dark64 2022-06-27 14:23:42 +02:00
parent 935930ccc5
commit 0736c4b976
3 changed files with 9 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
zokrates_cli/examples/compile_errors/generics/infer_return_call_generics.zok
View file

@ -1,7 +0,0 @@
def foo<N>() -> field[N] {
return [42; N];
}
def main() -> field[2] {
return foo(); // N is currently not infered to 2 here
}

10
zokrates_core/src/semantics.rs
View file

@ -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<Bn128Field> = 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()

2
zokrates_core_test/tests/tests/generics/return_inference.json
View file

@ -7,7 +7,7 @@
},
"output": {
"Ok": {
"value": ["1", "2"]
"value": ["42", "42"]
}
}
}