mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-22 17:51:39 +03:00
Cleanup
This commit is contained in:
parent
dd33eb024d
commit
5e331bbf36
@ -35,8 +35,8 @@ pub use self::pass::*;
|
||||
pub mod static_single_assignment;
|
||||
pub use static_single_assignment::*;
|
||||
|
||||
pub mod symbol_table_creator;
|
||||
pub use symbol_table_creator::*;
|
||||
pub mod symbol_table_creation;
|
||||
pub use symbol_table_creation::*;
|
||||
|
||||
pub mod type_checking;
|
||||
pub use type_checking::*;
|
||||
|
@ -39,7 +39,6 @@ impl<'a> Pass for Unroller<'a> {
|
||||
type Output = Result<(Ast, SymbolTable)>;
|
||||
|
||||
fn do_pass((ast, handler, st): Self::Input) -> Self::Output {
|
||||
// Reconstructs the AST based off any flattening work that is done.
|
||||
let mut reconstructor = Self::new(st, handler);
|
||||
let program = reconstructor.reconstruct_program(ast.into_repr());
|
||||
handler.last_err().map_err(|e| *e)?;
|
||||
|
@ -442,7 +442,7 @@ impl<'a> ExpressionVisitor<'a> for TypeChecker<'a> {
|
||||
// Note that the parser guarantees that `input.function` is always an identifier.
|
||||
Expression::Identifier(ident) => {
|
||||
// Note: The function symbol lookup is performed outside of the `if let Some(func) ...` block to avoid a RefCell lifetime bug in Rust.
|
||||
// Do not move it into the `if let Some(func) ...` block or it will keep `self.symbol_table_creator` alive for the entire block and will be very memory inefficient!
|
||||
// Do not move it into the `if let Some(func) ...` block or it will keep `self.symbol_table_creation` alive for the entire block and will be very memory inefficient!
|
||||
let func = self.symbol_table.borrow().lookup_fn_symbol(ident.name).cloned();
|
||||
|
||||
if let Some(func) = func {
|
||||
|
@ -13,7 +13,7 @@ You will know that the download has failed if you see the following error messag
|
||||
ATTENTION - "genesis.prover.1c9bbe9" does not exist, downloading this file remotely and storing it locally. Please ensure "genesis.prover.1c9bbe9" is stored in "/Users/xxx/.aleo/resources/genesis.prover.1c9bbe9".
|
||||
|
||||
snarkvm_parameters::testnet3 - Downloading parameters...
|
||||
snarkvm_parameters::testnet3 - thread `main` panicked at 'Failed to load proving key: Crate("curl::error", "Error { description: \"Transferred a partial file\", code: 18, extra: Some(\"transfer closed with 92197356 bytes remaining to read\") }")', /Users/xxx/.cargo/git/checkouts/snarkvm-f1160780ffe17de8/ea14990/parameters/src/testnet3/symbol_table_creator:95:9
|
||||
snarkvm_parameters::testnet3 - thread `main` panicked at 'Failed to load proving key: Crate("curl::error", "Error { description: \"Transferred a partial file\", code: 18, extra: Some(\"transfer closed with 92197356 bytes remaining to read\") }")', /Users/xxx/.cargo/git/checkouts/snarkvm-f1160780ffe17de8/ea14990/parameters/src/testnet3/symbol_table_creation:95:9
|
||||
stack backtrace:
|
||||
0: backtrace::capture::Backtrace::new
|
||||
1: leo::set_panic_hook::{{closure}}
|
||||
|
Loading…
Reference in New Issue
Block a user