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

clean

Browse source
This commit is contained in:
schaeff 2021-05-27 15:11:44 +02:00
parent fcff163a9a
commit 83d972f0b4
2 changed files with 5 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
zokrates_cli/examples/assign_to_element.zok
View file

@ -1,11 +1,11 @@
def foo() -> u32:
return 0
return 0
def bar() -> (u32, u32):
return 0, 0
return 0, 0
def main(u32[1] a, u32 b):
a[0] = foo()
a[0], b = bar()
return
a[0] = foo()
a[0], b = bar()
return

2
zokrates_core/src/compile.rs
View file

@ -237,8 +237,6 @@ fn check_with_arena<'ast, T: Field, E: Into<imports::Error>>(
let typed_ast = Checker::check(compiled)
.map_err(|errors| CompileErrors(errors.into_iter().map(CompileError::from).collect()))?;
println!("{}", typed_ast);
let main_module = typed_ast.main.clone();
// analyse (unroll and constant propagation)