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

fix warnings

Browse source
This commit is contained in:
dark64 2021-08-23 15:47:28 +02:00
parent 5a208beea7
commit 389d7d0a04
2 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
zokrates_core/src/compile.rs
View file

@ -189,8 +189,7 @@ pub fn compile<T: Field, E: Into<imports::Error>>(
) -> Result<CompilationArtifacts<T>, CompileErrors> { ) -> Result<CompilationArtifacts<T>, CompileErrors> {
let arena = Arena::new(); let arena = Arena::new();
let (typed_ast, abi) = let (typed_ast, abi) = check_with_arena(source, location.clone(), resolver, config, &arena)?;
check_with_arena(source, location.to_path_buf(), resolver, config, &arena)?;
// flatten input program // flatten input program
log::debug!("Flatten"); log::debug!("Flatten");

3
zokrates_core/src/static_analysis/mod.rs
View file

@ -24,7 +24,6 @@ use self::uint_optimizer::UintOptimizer;
use self::unconstrained_vars::UnconstrainedVariableDetector; use self::unconstrained_vars::UnconstrainedVariableDetector;
use self::variable_write_remover::VariableWriteRemover; use self::variable_write_remover::VariableWriteRemover;
use crate::compile::CompileConfig; use crate::compile::CompileConfig;
use crate::flat_absy::FlatProg;
use crate::ir::Prog; use crate::ir::Prog;
use crate::static_analysis::constant_inliner::ConstantInliner; use crate::static_analysis::constant_inliner::ConstantInliner;
use crate::typed_absy::{abi::Abi, TypedProgram}; use crate::typed_absy::{abi::Abi, TypedProgram};
@ -143,6 +142,6 @@ impl<T: Field> Analyse for Prog<T> {
fn analyse(self) -> Result<Self, Self::Error> { fn analyse(self) -> Result<Self, Self::Error> {
log::debug!("Static analyser: Detect unconstrained zir"); log::debug!("Static analyser: Detect unconstrained zir");
UnconstrainedVariableDetector::detect(self).map_err(|e| e.into()) UnconstrainedVariableDetector::detect(self).map_err(Error::from)
} }
} }