Rename directory types -> typed

2024-11-10 10:05:56 +03:00 · 2020-08-02 21:02:25 -07:00 · 2020-08-02 21:02:25 -07:00 · f4f9b30dd2
commit f4f9b30dd2
parent c8b82f12a8
74 changed files with 2 additions and 2 deletions
--- a/Cargo.toml
+++ b/Cargo.toml
@ -13,7 +13,7 @@ name = "leo"
 path = "leo/main.rs"

 [workspace]
-members = [ "ast", "compiler", "gadgets", "input", "linter", "types" ]
+members = [ "ast", "compiler", "gadgets", "input", "linter", "typed" ]

 [dependencies]
 leo-compiler = { path = "compiler", version = "0.1.0" }
--- a/compiler/Cargo.toml
+++ b/compiler/Cargo.toml
@ -8,7 +8,7 @@ edition = "2018"
 leo-ast = { path = "../ast", version = "0.1.0" }
 leo-gadgets = { path = "../gadgets", version = "0.1.0" }
 leo-input = { path = "../input", version = "0.1.0" }
-leo-typed = { path = "../types", version = "0.1.0" }
+leo-typed = { path = "../typed", version = "0.1.0" }

 snarkos-curves = { git = "ssh://git@github.com/AleoHQ/snarkOS.git", package = "snarkos-curves", default-features = false }
 snarkos-dpc = { git = "ssh://git@github.com/AleoHQ/snarkOS.git", package = "snarkos-dpc", default-features = false }
--- a/typed/Cargo.toml
+++ b/typed/Cargo.toml
--- a/typed/benches/main.leo
+++ b/typed/benches/main.leo
--- a/typed/benches/typed_ast.rs
+++ b/typed/benches/typed_ast.rs
--- a/typed/src/circuits/circuit.rs
+++ b/typed/src/circuits/circuit.rs
--- a/typed/src/circuits/circuit_field_definition.rs
+++ b/typed/src/circuits/circuit_field_definition.rs
--- a/typed/src/circuits/circuit_member.rs
+++ b/typed/src/circuits/circuit_member.rs
--- a/typed/src/circuits/mod.rs
+++ b/typed/src/circuits/mod.rs
--- a/typed/src/common/assignee.rs
+++ b/typed/src/common/assignee.rs
--- a/typed/src/common/declare.rs
+++ b/typed/src/common/declare.rs
--- a/typed/src/common/identifier.rs
+++ b/typed/src/common/identifier.rs
--- a/typed/src/common/mod.rs
+++ b/typed/src/common/mod.rs
--- a/typed/src/common/range_or_expression.rs
+++ b/typed/src/common/range_or_expression.rs
--- a/typed/src/common/span.rs
+++ b/typed/src/common/span.rs
--- a/typed/src/common/spread_or_expression.rs
+++ b/typed/src/common/spread_or_expression.rs
--- a/typed/src/common/variable.rs
+++ b/typed/src/common/variable.rs
--- a/typed/src/errors/error.rs
+++ b/typed/src/errors/error.rs
--- a/typed/src/errors/mod.rs
+++ b/typed/src/errors/mod.rs
--- a/typed/src/expression.rs
+++ b/typed/src/expression.rs
--- a/typed/src/functions/function.rs
+++ b/typed/src/functions/function.rs
--- a/typed/src/functions/input/function_input.rs
+++ b/typed/src/functions/input/function_input.rs
--- a/typed/src/functions/input/input_variable.rs
+++ b/typed/src/functions/input/input_variable.rs
--- a/typed/src/functions/input/mod.rs
+++ b/typed/src/functions/input/mod.rs
--- a/typed/src/functions/mod.rs
+++ b/typed/src/functions/mod.rs
--- a/typed/src/functions/test_function.rs
+++ b/typed/src/functions/test_function.rs
--- a/typed/src/imports/import.rs
+++ b/typed/src/imports/import.rs
--- a/typed/src/imports/import_symbol.rs
+++ b/typed/src/imports/import_symbol.rs
--- a/typed/src/imports/mod.rs
+++ b/typed/src/imports/mod.rs
--- a/typed/src/imports/package.rs
+++ b/typed/src/imports/package.rs
--- a/typed/src/imports/package_access.rs
+++ b/typed/src/imports/package_access.rs
--- a/typed/src/input/input.rs
+++ b/typed/src/input/input.rs
--- a/typed/src/input/input_value.rs
+++ b/typed/src/input/input_value.rs
--- a/typed/src/input/macros.rs
+++ b/typed/src/input/macros.rs
--- a/typed/src/input/mod.rs
+++ b/typed/src/input/mod.rs
--- a/typed/src/input/parameters/mod.rs
+++ b/typed/src/input/parameters/mod.rs
--- a/typed/src/input/parameters/parameter.rs
+++ b/typed/src/input/parameters/parameter.rs
--- a/typed/src/input/program_input/main_input.rs
+++ b/typed/src/input/program_input/main_input.rs
--- a/typed/src/input/program_input/mod.rs
+++ b/typed/src/input/program_input/mod.rs
--- a/typed/src/input/program_input/program_input.rs
+++ b/typed/src/input/program_input/program_input.rs
--- a/typed/src/input/program_input/registers.rs
+++ b/typed/src/input/program_input/registers.rs
--- a/typed/src/input/program_state/mod.rs
+++ b/typed/src/input/program_state/mod.rs
--- a/typed/src/input/program_state/private_state/mod.rs
+++ b/typed/src/input/program_state/private_state/mod.rs
--- a/typed/src/input/program_state/private_state/private_state.rs
+++ b/typed/src/input/program_state/private_state/private_state.rs
--- a/typed/src/input/program_state/private_state/record.rs
+++ b/typed/src/input/program_state/private_state/record.rs
--- a/typed/src/input/program_state/private_state/state_leaf.rs
+++ b/typed/src/input/program_state/private_state/state_leaf.rs
--- a/typed/src/input/program_state/program_state.rs
+++ b/typed/src/input/program_state/program_state.rs
--- a/typed/src/input/program_state/public_state/mod.rs
+++ b/typed/src/input/program_state/public_state/mod.rs
--- a/typed/src/input/program_state/public_state/public_state.rs
+++ b/typed/src/input/program_state/public_state/public_state.rs
--- a/typed/src/input/program_state/public_state/state.rs
+++ b/typed/src/input/program_state/public_state/state.rs
--- a/typed/src/lib.rs
+++ b/typed/src/lib.rs
--- a/typed/src/macros/debug.rs
+++ b/typed/src/macros/debug.rs
--- a/typed/src/macros/error_macro.rs
+++ b/typed/src/macros/error_macro.rs
--- a/typed/src/macros/formatted_container.rs
+++ b/typed/src/macros/formatted_container.rs
--- a/typed/src/macros/formatted_macro.rs
+++ b/typed/src/macros/formatted_macro.rs
--- a/typed/src/macros/formatted_parameter.rs
+++ b/typed/src/macros/formatted_parameter.rs
--- a/typed/src/macros/formatted_string.rs
+++ b/typed/src/macros/formatted_string.rs
--- a/typed/src/macros/macro_name.rs
+++ b/typed/src/macros/macro_name.rs
--- a/typed/src/macros/mod.rs
+++ b/typed/src/macros/mod.rs
--- a/typed/src/macros/print.rs
+++ b/typed/src/macros/print.rs
--- a/typed/src/main.rs
+++ b/typed/src/main.rs
--- a/typed/src/program.rs
+++ b/typed/src/program.rs
--- a/typed/src/statements/conditional_nested_or_end_statement.rs
+++ b/typed/src/statements/conditional_nested_or_end_statement.rs
--- a/typed/src/statements/conditional_statement.rs
+++ b/typed/src/statements/conditional_statement.rs
--- a/typed/src/statements/mod.rs
+++ b/typed/src/statements/mod.rs
--- a/typed/src/statements/statement.rs
+++ b/typed/src/statements/statement.rs
--- a/typed/src/types/integer_type.rs
+++ b/typed/src/types/integer_type.rs
--- a/typed/src/types/mod.rs
+++ b/typed/src/types/mod.rs
--- a/typed/src/types/type_.rs
+++ b/typed/src/types/type_.rs
--- a/typed/tests/mod.rs
+++ b/typed/tests/mod.rs
--- a/typed/tests/serialization/expected_typed_ast.json
+++ b/typed/tests/serialization/expected_typed_ast.json
--- a/typed/tests/serialization/json.rs
+++ b/typed/tests/serialization/json.rs
--- a/typed/tests/serialization/main.leo
+++ b/typed/tests/serialization/main.leo
--- a/typed/tests/serialization/mod.rs
+++ b/typed/tests/serialization/mod.rs