rename static-check -> symbol-table 3

Cargo.lock

@@ -1259,7 +1259,7 @@ dependencies = [
  "leo-input",
  "leo-package",
  "leo-state",
- "leo-static-check",
+ "leo-symbol-table",
  "leo-typed",
  "num-bigint",
  "pest",
@@ -1302,7 +1302,7 @@ version = "1.0.3"
 dependencies = [
  "leo-ast",
  "leo-imports",
- "leo-static-check",
+ "leo-symbol-table",
  "leo-typed",
  "serde",
  "serde_json",
@@ -1369,7 +1369,7 @@ dependencies = [
  "leo-input",
  "leo-package",
  "leo-state",
- "leo-static-check",
+ "leo-symbol-table",
  "notify",
  "num-bigint",
  "rand",
@@ -1430,7 +1430,7 @@ dependencies = [
 ]
 
 [[package]]
-name = "leo-static-check"
+name = "leo-symbol-table"
 version = "1.0.3"
 dependencies = [
  "leo-ast",

Cargo.toml

@@ -37,7 +37,7 @@ members = [
   "package",
   "typed",
   "state",
-  "static-check",
+  "symbol-table",
 ]
 
 [dependencies.leo-compiler]
@@ -72,8 +72,8 @@ version = "1.0.3"
 path = "./state"
 version = "1.0.3"
 
-[dependencies.leo-static-check]
-path = "./static-check"
+[dependencies.leo-symbol-table]
+path = "./symbol-table"
 version = "1.0.3"
 
 [dependencies.snarkos-algorithms]

compiler/Cargo.toml

@@ -53,8 +53,8 @@ version = "1.0.3"
 path = "../state"
 version = "1.0.3"
 
-[dependencies.leo-static-check]
-path = "../static-check"
+[dependencies.leo-symbol-table]
+path = "../symbol-table"
 version = "1.0.3"
 
 [dependencies.snarkos-curves]

compiler/src/compiler.rs

@@ -29,7 +29,7 @@ use leo_imports::ImportParser;
 use leo_input::LeoInputParser;
 use leo_package::inputs::InputPairs;
 use leo_state::verify_local_data_commitment;
-use leo_static_check::SymbolTable;
+use leo_symbol_table::SymbolTable;
 use leo_typed::{Input, LeoTypedAst, MainInput, Program};
 
 use snarkos_dpc::{base_dpc::instantiated::Components, SystemParameters};
@@ -232,7 +232,7 @@ impl<F: Field + PrimeField, G: GroupType<F>> Compiler<F, G> {
         self.program = typed_tree.into_repr();
         self.imported_programs = ImportParser::parse(&self.program)?;
 
-        // Run static check on program.
+        // Create a new symbol table from the program, imported programs, and program input.
         let symbol_table = SymbolTable::new(&self.program, &self.imported_programs, &self.program_input)?;
 
         // Run dynamic check on program.

compiler/src/errors/compiler.rs

@@ -20,7 +20,7 @@ use leo_dynamic_check::DynamicCheckError;
 use leo_imports::ImportParserError;
 use leo_input::InputParserError;
 use leo_state::LocalDataVerificationError;
-use leo_static_check::SymbolTableError;
+use leo_symbol_table::SymbolTableError;
 
 use bincode::Error as SerdeError;
 use std::path::{Path, PathBuf};

compiler/src/import/store/import.rs

@@ -16,7 +16,7 @@
 
 use crate::{errors::ImportError, ConstrainedProgram, GroupType};
 use leo_imports::ImportParser;
-use leo_static_check::imported_symbols::ImportedSymbols;
+use leo_symbol_table::imported_symbols::ImportedSymbols;
 use leo_typed::ImportStatement;
 
 use snarkos_models::curves::{Field, PrimeField};

dynamic-check/Cargo.toml

@@ -28,8 +28,8 @@ version = "1.0.3"
 [dependencies.serde_json]
 version = "1.0"
 
-[dependencies.leo-static-check]
-path = "../static-check"
+[dependencies.leo-symbol-table]
+path = "../symbol-table"
 version = "1.0.3"
 
 [dependencies.leo-typed]

dynamic-check/src/assertions/type_assertion.rs

@@ -15,7 +15,7 @@
 // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
 
 use crate::{TypeAssertionError, TypeEquality, TypeMembership, TypeVariablePairs};
-use leo_static_check::{Type, TypeVariable};
+use leo_symbol_table::{Type, TypeVariable};
 use leo_typed::Span;
 
 use serde::{Deserialize, Serialize};

dynamic-check/src/assertions/type_equality.rs

@@ -15,7 +15,7 @@
 // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
 
 use crate::{TypeAssertionError, TypeVariablePairs};
-use leo_static_check::{Type, TypeVariable};
+use leo_symbol_table::{Type, TypeVariable};
 use leo_typed::Span;
 
 use serde::{Deserialize, Serialize};

dynamic-check/src/assertions/type_membership.rs

@@ -15,7 +15,7 @@
 // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
 
 use crate::TypeAssertionError;
-use leo_static_check::{Type, TypeVariable};
+use leo_symbol_table::{Type, TypeVariable};
 use leo_typed::Span;
 
 use serde::{Deserialize, Serialize};

dynamic-check/src/assertions/type_variable_pair.rs

@@ -15,7 +15,7 @@
 // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
 
 use crate::TypeAssertionError;
-use leo_static_check::{flatten_array_type, Type, TypeVariable};
+use leo_symbol_table::{flatten_array_type, Type, TypeVariable};
 use leo_typed::Span;
 use std::borrow::Cow;
 

dynamic-check/src/dynamic_check.rs

@@ -15,7 +15,7 @@
 // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
 
 use crate::{DynamicCheckError, Frame, Scope};
-use leo_static_check::SymbolTable;
+use leo_symbol_table::SymbolTable;
 use leo_typed::{Circuit, CircuitMember, Function, Program};
 
 /// Performs a dynamic type inference check over a program.

dynamic-check/src/errors/frame.rs

@@ -15,7 +15,7 @@
 // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
 
 use crate::{ScopeError, TypeAssertionError};
-use leo_static_check::{Type, TypeError};
+use leo_symbol_table::{Type, TypeError};
 use leo_typed::{Error as FormattedError, Expression, Identifier, Span};
 
 use std::path::Path;

dynamic-check/src/errors/type_assertion.rs

@@ -16,7 +16,7 @@
 
 use crate::TypeMembership;
 
-use leo_static_check::Type;
+use leo_symbol_table::Type;
 use leo_typed::{Error as FormattedError, Span};
 
 use std::path::Path;

dynamic-check/src/objects/frame.rs

@@ -15,7 +15,7 @@
 // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
 
 use crate::{FrameError, Scope, TypeAssertion};
-use leo_static_check::{Attribute, CircuitFunctionType, CircuitType, FunctionType, SymbolTable, Type, TypeVariable};
+use leo_symbol_table::{Attribute, CircuitFunctionType, CircuitType, FunctionType, SymbolTable, Type, TypeVariable};
 use leo_typed::{
     Assignee,
     AssigneeAccess,

dynamic-check/src/objects/scope.rs

@@ -15,7 +15,7 @@
 // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
 
 use crate::{ScopeError, VariableTable};
-use leo_static_check::{FunctionInputType, Type};
+use leo_symbol_table::{FunctionInputType, Type};
 
 /// A structure for tracking the types of defined variables in a block of code.
 #[derive(Clone, Default)]

dynamic-check/src/objects/variable_table.rs

@@ -15,7 +15,7 @@
 // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
 
 use crate::VariableTableError;
-use leo_static_check::{FunctionInputType, Type};
+use leo_symbol_table::{FunctionInputType, Type};
 use std::collections::HashMap;
 
 /// Mapping of variable names to types

dynamic-check/tests/mod.rs

@@ -24,7 +24,7 @@ use leo_ast::LeoAst;
 use leo_dynamic_check::DynamicCheck;
 
 use leo_imports::ImportParser;
-use leo_static_check::SymbolTable;
+use leo_symbol_table::SymbolTable;
 use leo_typed::{Input, LeoTypedAst, Program};
 use std::path::PathBuf;
 

symbol-table/Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "leo-static-check"
+name = "leo-symbol-table"
 version = "1.0.3"
 authors = [ "The Aleo Team <hello@aleo.org>" ]
 description = "Stores user-defined variables during type resolution"