github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

fail if log call contains an int expression

Browse source
This commit is contained in:
dark64 2022-08-22 13:01:59 +02:00
parent 2a9e619250
commit 6ab602e88c
3 changed files with 27 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
zokrates_cli/examples/compile_errors/log_integer_type.zok Normal file
View file

@ -0,0 +1,4 @@
def main() {
log("{}", 1); // 1 is of internal type {integer}
return;
}

4
zokrates_cli/examples/compile_errors/log_wrong_count.zok Normal file
View file

@ -0,0 +1,4 @@
def main() {
log("{} {}", 1f);
return;
}

29
zokrates_core/src/semantics.rs
View file

@ -1804,18 +1804,27 @@ impl<'ast, T: Field> Checker<'ast, T> {
.collect::<Result<Vec<_>, _>>()
.map_err(|e| vec![e])?;
if expressions.len() != l.len() {
return Err(vec![ErrorInner {
// we cannot align integer literals here so we ban them
match expressions.iter().any(|e| matches!(e, TypedExpression::Int(..))) {
true => Err(vec![ErrorInner {
pos: Some(pos),
message: format!(
"Wrong argument count in log call: expected {}, got {}",
l.len(),
expressions.len()
),
}]);
}
message: "Found {integer} literal in log statement, try annotating with a literal suffix".into(),
}]),
false => {
if expressions.len() != l.len() {
return Err(vec![ErrorInner {
pos: Some(pos),
message: format!(
"Wrong argument count in log call: expected {}, got {}",
l.len(),
expressions.len()
),
}]);
}
Ok(TypedStatement::Log(l, expressions))
Ok(TypedStatement::Log(l, expressions))
}
}
}
Statement::Return(e) => {
let mut errors = vec![];