[INFO] fetching crate implies 0.4.5... [INFO] checking implies-0.4.5 against try#ccf408f4326a858c00dd845a64a86b16f360a801 for pr-129466-2 [INFO] extracting crate implies 0.4.5 into /workspace/builds/worker-4-tc2/source [INFO] validating manifest of crates.io crate implies 0.4.5 on toolchain ccf408f4326a858c00dd845a64a86b16f360a801 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate implies 0.4.5 [INFO] finished tweaking crates.io crate implies 0.4.5 [INFO] tweaked toml for crates.io crate implies 0.4.5 written to /workspace/builds/worker-4-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 38 packages to latest compatible versions [INFO] [stderr] Adding enum-iterator v1.5.0 (available: v2.1.0) [INFO] [stderr] Adding indoc v1.0.9 (available: v2.0.5) [INFO] [stderr] Adding pyo3 v0.19.2 (available: v0.22.3) [INFO] [stderr] Adding pyo3-build-config v0.19.2 (available: v0.22.3) [INFO] [stderr] Adding pyo3-build-config v0.20.3 (available: v0.22.3) [INFO] [stderr] Adding pyo3-ffi v0.19.2 (available: v0.22.3) [INFO] [stderr] Adding pyo3-macros v0.19.2 (available: v0.22.3) [INFO] [stderr] Adding pyo3-macros-backend v0.19.2 (available: v0.22.3) [INFO] [stderr] Adding syn v1.0.109 (available: v2.0.77) [INFO] [stderr] Adding unindent v0.1.11 (available: v0.2.3) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 3409dcbfd882b4f1e9e66c20931fbae9d5bb9a7b73f56a2a37538dd0ca9a4e93 [INFO] running `Command { std: "docker" "start" "-a" "3409dcbfd882b4f1e9e66c20931fbae9d5bb9a7b73f56a2a37538dd0ca9a4e93", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3409dcbfd882b4f1e9e66c20931fbae9d5bb9a7b73f56a2a37538dd0ca9a4e93", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3409dcbfd882b4f1e9e66c20931fbae9d5bb9a7b73f56a2a37538dd0ca9a4e93", kill_on_drop: false }` [INFO] [stdout] 3409dcbfd882b4f1e9e66c20931fbae9d5bb9a7b73f56a2a37538dd0ca9a4e93 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+ccf408f4326a858c00dd845a64a86b16f360a801" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] cf508ae8c3662943b30b8daf536b0e2fc45a4091dd285a507b16bd3abb3dc216 [INFO] running `Command { std: "docker" "start" "-a" "cf508ae8c3662943b30b8daf536b0e2fc45a4091dd285a507b16bd3abb3dc216", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] Running `cargo fix --edition` [INFO] [stderr] Migrating Cargo.toml from 2021 edition to 2024 [INFO] [stderr] Fixed Cargo.toml (3 fixes) [INFO] [stderr] Compiling implies v0.4.5 (/tmp/fixit) [INFO] [stderr] Checking cascade v1.0.1 [INFO] [stderr] Compiling syn v2.0.77 [INFO] [stderr] Migrating build.rs from 2021 edition to 2024 [INFO] [stdout] warning: unexpected `cfg` condition name: `features` [INFO] [stdout] --> build.rs:1:7 [INFO] [stdout] | [INFO] [stdout] 1 | #[cfg(features = "python")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] help: there is a config with a similar name and value [INFO] [stdout] | [INFO] [stdout] 1 | #[cfg(feature = "python")] [INFO] [stdout] | ~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `features` [INFO] [stdout] --> build.rs:4:11 [INFO] [stdout] | [INFO] [stdout] 4 | #[cfg(features = "python")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] help: there is a config with a similar name and value [INFO] [stdout] | [INFO] [stdout] 4 | #[cfg(feature = "python")] [INFO] [stdout] | ~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling enum-iterator-derive v1.4.0 [INFO] [stderr] Checking enum-iterator v1.5.0 [INFO] [stderr] Migrating src/lib.rs from 2021 edition to 2024 [INFO] [stderr] Fixed src/formula.rs (10 fixes) [INFO] [stderr] Fixed src/tests/prop_formula.rs (6 fixes) [INFO] [stdout] warning: method `apply` is never used [INFO] [stdout] --> src/formula.rs:577:8 [INFO] [stdout] | [INFO] [stdout] 362 | impl Formula { [INFO] [stdout] | ------------------------------------------------------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 577 | fn apply Option<()>>(&self, func: &mut F) -> Option<()> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated functions are never used [INFO] [stdout] --> src/formula.rs:966:8 [INFO] [stdout] | [INFO] [stdout] 959 | / impl Formula [INFO] [stdout] 960 | | where [INFO] [stdout] 961 | | B: Symbolic + Sequence, [INFO] [stdout] 962 | | U: Symbolic + Sequence, [INFO] [stdout] 963 | | A: Symbolic, [INFO] [stdout] | |________________- associated functions in this implementation [INFO] [stdout] ... [INFO] [stdout] 966 | fn num_binary() -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 970 | fn num_unary() -> usize { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 974 | fn unary_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 982 | fn unary_str_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 990 | fn binary_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 998 | fn binary_str_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1006 | fn operator_counting(offset: usize) -> HashMap, usize> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1019 | fn operator_str_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `ModalBinary` is never used [INFO] [stdout] --> src/modal.rs:67:6 [INFO] [stdout] | [INFO] [stdout] 67 | type ModalBinary = PropBinary; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `ModalFormula` is never used [INFO] [stdout] --> src/modal.rs:70:6 [INFO] [stdout] | [INFO] [stdout] 70 | type ModalFormula = Formula; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:344:9 [INFO] [stdout] | [INFO] [stdout] 344 | cascade! {f1.clone(); ..unzip_down(); ..distribute_down(Some(PropBinary::Or));}, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:339:9 [INFO] [stdout] | [INFO] [stdout] 339 | cascade! {f1.clone(); ..unzip_down(); ..distribute_down(None);}, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:334:9 [INFO] [stdout] | [INFO] [stdout] 334 | cascade! {f1.clone(); ..unzip_down(); ..lower_right();}, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:332:16 [INFO] [stdout] | [INFO] [stdout] 332 | assert_eq!(cascade! {f1.clone(); ..unzip_down(); ..lower_left();}, f2); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:308:9 [INFO] [stdout] | [INFO] [stdout] 308 | f = cascade! {f; ..unzip_left(); ..distribute_left(); ..top_zip();}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:293:13 [INFO] [stdout] | [INFO] [stdout] 293 | check = cascade! { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:292:9 [INFO] [stdout] | [INFO] [stdout] 292 | f = cascade! {f; ..unzip_right(); ..distribute_right(); ..top_zip();}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:282:21 [INFO] [stdout] | [INFO] [stdout] 282 | let mut check = cascade! { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:269:9 [INFO] [stdout] | [INFO] [stdout] 269 | cascade! { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:258:9 [INFO] [stdout] | [INFO] [stdout] 258 | cascade! { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:247:9 [INFO] [stdout] | [INFO] [stdout] 247 | cascade! { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:235:9 [INFO] [stdout] | [INFO] [stdout] 235 | cascade! { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:224:9 [INFO] [stdout] | [INFO] [stdout] 224 | cascade! { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:213:9 [INFO] [stdout] | [INFO] [stdout] 213 | cascade! { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:186:18 [INFO] [stdout] | [INFO] [stdout] 186 | let target = cascade! { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:407:5 [INFO] [stdout] | [INFO] [stdout] 407 | cascade! {&mut formula; ..unzip_right(); ..unify(PropUnary::Not); ..top_zip()} [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:403:5 [INFO] [stdout] | [INFO] [stdout] 403 | cascade! {&mut formula; ..unzip_right(); ..rotate_left(); ..top_zip()} [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:369:5 [INFO] [stdout] | [INFO] [stdout] 369 | cascade! { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:355:5 [INFO] [stdout] | [INFO] [stdout] 355 | cascade! { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:147:5 [INFO] [stdout] | [INFO] [stdout] 147 | cascade! { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:133:19 [INFO] [stdout] | [INFO] [stdout] 133 | let formula = cascade! { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `cascade` is in scope, but it is a crate, not a macro [INFO] [stdout] help: consider importing this macro [INFO] [stdout] | [INFO] [stdout] 2 + use cascade::cascade; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ParseError` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:3:36 [INFO] [stdout] | [INFO] [stdout] 3 | fn atomic_matching() -> Result<(), ParseError> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Atom` [INFO] [stdout] --> src/tests/prop_formula.rs:4:25 [INFO] [stdout] | [INFO] [stdout] 4 | if let Some(atom) = Atom::match_str("a") { [INFO] [stdout] | ^^^^ use of undeclared type `Atom` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:5:26 [INFO] [stdout] | [INFO] [stdout] 5 | assert_eq!(atom, Atom(0)); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 5 | assert_eq!(atom, atom(0)); [INFO] [stdout] | ~~~~ [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Atom` [INFO] [stdout] --> src/tests/prop_formula.rs:6:20 [INFO] [stdout] | [INFO] [stdout] 6 | assert_eq!(Atom::match_prefix("a").unwrap(), (1, Atom(0))); [INFO] [stdout] | ^^^^ use of undeclared type `Atom` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:6:58 [INFO] [stdout] | [INFO] [stdout] 6 | assert_eq!(Atom::match_prefix("a").unwrap(), (1, Atom(0))); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 6 | assert_eq!(Atom::match_prefix("a").unwrap(), (1, atom(0))); [INFO] [stdout] | ~~~~ [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropSymbol` [INFO] [stdout] --> src/tests/prop_formula.rs:8:17 [INFO] [stdout] | [INFO] [stdout] 8 | assert!(PropSymbol::match_str("a").is_some()); [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropSymbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this type alias [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropSymbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:9:20 [INFO] [stdout] | [INFO] [stdout] 9 | assert_eq!(Symbol::Atom(Atom(0)), PropSymbol::match_str("a").unwrap()); [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:9:33 [INFO] [stdout] | [INFO] [stdout] 9 | assert_eq!(Symbol::Atom(Atom(0)), PropSymbol::match_str("a").unwrap()); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 9 | assert_eq!(Symbol::Atom(atom(0)), PropSymbol::match_str("a").unwrap()); [INFO] [stdout] | ~~~~ [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropSymbol` [INFO] [stdout] --> src/tests/prop_formula.rs:9:43 [INFO] [stdout] | [INFO] [stdout] 9 | assert_eq!(Symbol::Atom(Atom(0)), PropSymbol::match_str("a").unwrap()); [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropSymbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this type alias [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropSymbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:11:17 [INFO] [stdout] | [INFO] [stdout] 11 | (1, Symbol::Atom(Atom(0))), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:11:30 [INFO] [stdout] | [INFO] [stdout] 11 | (1, Symbol::Atom(Atom(0))), [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 11 | (1, Symbol::Atom(atom(0))), [INFO] [stdout] | ~~~~ [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropSymbol` [INFO] [stdout] --> src/tests/prop_formula.rs:12:13 [INFO] [stdout] | [INFO] [stdout] 12 | PropSymbol::match_prefix("a").unwrap() [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropSymbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this type alias [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropSymbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParseError` [INFO] [stdout] --> src/tests/prop_formula.rs:16:13 [INFO] [stdout] | [INFO] [stdout] 16 | Err(ParseError::InvalidStr("a".to_string())) [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `ParseError` [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ParseError` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:21:33 [INFO] [stdout] | [INFO] [stdout] 21 | fn symbol_parse() -> Result<(), ParseError> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Symbol` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:22:20 [INFO] [stdout] | [INFO] [stdout] 22 | let syms1: Vec> = vec![ [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:22:27 [INFO] [stdout] | [INFO] [stdout] 22 | let syms1: Vec> = vec![ [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:22:39 [INFO] [stdout] | [INFO] [stdout] 22 | let syms1: Vec> = vec![ [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:22:50 [INFO] [stdout] | [INFO] [stdout] 22 | let syms1: Vec> = vec![ [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | Symbol::Atom(Atom(0)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:23:22 [INFO] [stdout] | [INFO] [stdout] 23 | Symbol::Atom(Atom(0)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:24:9 [INFO] [stdout] | [INFO] [stdout] 24 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:24:24 [INFO] [stdout] | [INFO] [stdout] 24 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:25:9 [INFO] [stdout] | [INFO] [stdout] 25 | Symbol::Atom(Atom(1)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:25:22 [INFO] [stdout] | [INFO] [stdout] 25 | Symbol::Atom(Atom(1)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:26:9 [INFO] [stdout] | [INFO] [stdout] 26 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:26:24 [INFO] [stdout] | [INFO] [stdout] 26 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | Symbol::Atom(Atom(2)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:27:22 [INFO] [stdout] | [INFO] [stdout] 27 | Symbol::Atom(Atom(2)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParsedSymbols` [INFO] [stdout] --> src/tests/prop_formula.rs:29:23 [INFO] [stdout] | [INFO] [stdout] 29 | assert_eq!(syms1, ParsedSymbols::from("a -> b -> c").0?); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `ParsedSymbols` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParsedSymbols; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Symbol` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:30:20 [INFO] [stdout] | [INFO] [stdout] 30 | let syms2: Vec> = vec![ [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:30:27 [INFO] [stdout] | [INFO] [stdout] 30 | let syms2: Vec> = vec![ [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:30:39 [INFO] [stdout] | [INFO] [stdout] 30 | let syms2: Vec> = vec![ [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:30:50 [INFO] [stdout] | [INFO] [stdout] 30 | let syms2: Vec> = vec![ [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 31 | Symbol::Left, [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:32:9 [INFO] [stdout] | [INFO] [stdout] 32 | Symbol::Atom(Atom(0)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:32:22 [INFO] [stdout] | [INFO] [stdout] 32 | Symbol::Atom(Atom(0)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:33:9 [INFO] [stdout] | [INFO] [stdout] 33 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:33:24 [INFO] [stdout] | [INFO] [stdout] 33 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:34:9 [INFO] [stdout] | [INFO] [stdout] 34 | Symbol::Atom(Atom(1)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:34:22 [INFO] [stdout] | [INFO] [stdout] 34 | Symbol::Atom(Atom(1)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:35:9 [INFO] [stdout] | [INFO] [stdout] 35 | Symbol::Right, [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:36:9 [INFO] [stdout] | [INFO] [stdout] 36 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:36:24 [INFO] [stdout] | [INFO] [stdout] 36 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:37:9 [INFO] [stdout] | [INFO] [stdout] 37 | Symbol::Atom(Atom(2)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:37:22 [INFO] [stdout] | [INFO] [stdout] 37 | Symbol::Atom(Atom(2)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParsedSymbols` [INFO] [stdout] --> src/tests/prop_formula.rs:40:23 [INFO] [stdout] | [INFO] [stdout] 40 | assert_eq!(syms2, ParsedSymbols::from("(a -> b) -> c").0?); [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `ParsedSymbols` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParsedSymbols; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropSymbol` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:41:23 [INFO] [stdout] | [INFO] [stdout] 41 | let mut syms: Vec = vec![Symbol::Atom(Atom(0))]; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this type alias [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropSymbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:41:42 [INFO] [stdout] | [INFO] [stdout] 41 | let mut syms: Vec = vec![Symbol::Atom(Atom(0))]; [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:41:55 [INFO] [stdout] | [INFO] [stdout] 41 | let mut syms: Vec = vec![Symbol::Atom(Atom(0))]; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropSymbol` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:42:25 [INFO] [stdout] | [INFO] [stdout] 42 | let mut parsed: Vec = ParsedSymbols::from("a").0?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this type alias [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropSymbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParsedSymbols` [INFO] [stdout] --> src/tests/prop_formula.rs:42:39 [INFO] [stdout] | [INFO] [stdout] 42 | let mut parsed: Vec = ParsedSymbols::from("a").0?; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `ParsedSymbols` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParsedSymbols; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:46:17 [INFO] [stdout] | [INFO] [stdout] 46 | syms = vec![Symbol::Binary(PropBinary::Implies)]; [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:46:32 [INFO] [stdout] | [INFO] [stdout] 46 | syms = vec![Symbol::Binary(PropBinary::Implies)]; [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParsedSymbols` [INFO] [stdout] --> src/tests/prop_formula.rs:47:14 [INFO] [stdout] | [INFO] [stdout] 47 | parsed = ParsedSymbols::from("->").0?; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `ParsedSymbols` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParsedSymbols; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropSymbol` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:48:22 [INFO] [stdout] | [INFO] [stdout] 48 | let parsed1: Vec = ParsedSymbols::from("implies").0?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this type alias [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropSymbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParsedSymbols` [INFO] [stdout] --> src/tests/prop_formula.rs:48:36 [INFO] [stdout] | [INFO] [stdout] 48 | let parsed1: Vec = ParsedSymbols::from("implies").0?; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `ParsedSymbols` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParsedSymbols; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:52:17 [INFO] [stdout] | [INFO] [stdout] 52 | syms = vec![Symbol::Unary(PropUnary::Not)]; [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropUnary` [INFO] [stdout] --> src/tests/prop_formula.rs:52:31 [INFO] [stdout] | [INFO] [stdout] 52 | syms = vec![Symbol::Unary(PropUnary::Not)]; [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `PropUnary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParsedSymbols` [INFO] [stdout] --> src/tests/prop_formula.rs:53:14 [INFO] [stdout] | [INFO] [stdout] 53 | parsed = ParsedSymbols::from("not").0?; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `ParsedSymbols` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParsedSymbols; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:56:17 [INFO] [stdout] | [INFO] [stdout] 56 | syms = vec![Symbol::Binary(PropBinary::Or)]; [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:56:32 [INFO] [stdout] | [INFO] [stdout] 56 | syms = vec![Symbol::Binary(PropBinary::Or)]; [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParsedSymbols` [INFO] [stdout] --> src/tests/prop_formula.rs:57:14 [INFO] [stdout] | [INFO] [stdout] 57 | parsed = ParsedSymbols::from("\\/").0?; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `ParsedSymbols` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParsedSymbols; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:63:9 [INFO] [stdout] | [INFO] [stdout] 63 | Symbol::Unary(PropUnary::Not), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropUnary` [INFO] [stdout] --> src/tests/prop_formula.rs:63:23 [INFO] [stdout] | [INFO] [stdout] 63 | Symbol::Unary(PropUnary::Not), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `PropUnary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:64:9 [INFO] [stdout] | [INFO] [stdout] 64 | Symbol::Atom(Atom(0)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:64:22 [INFO] [stdout] | [INFO] [stdout] 64 | Symbol::Atom(Atom(0)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | Symbol::Binary(PropBinary::Or), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:65:24 [INFO] [stdout] | [INFO] [stdout] 65 | Symbol::Binary(PropBinary::Or), [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:66:9 [INFO] [stdout] | [INFO] [stdout] 66 | Symbol::Atom(Atom(1)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:66:22 [INFO] [stdout] | [INFO] [stdout] 66 | Symbol::Atom(Atom(1)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:67:9 [INFO] [stdout] | [INFO] [stdout] 67 | Symbol::Binary(PropBinary::Iff), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:67:24 [INFO] [stdout] | [INFO] [stdout] 67 | Symbol::Binary(PropBinary::Iff), [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:68:9 [INFO] [stdout] | [INFO] [stdout] 68 | Symbol::Atom(Atom(0)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:68:22 [INFO] [stdout] | [INFO] [stdout] 68 | Symbol::Atom(Atom(0)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:69:9 [INFO] [stdout] | [INFO] [stdout] 69 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:69:24 [INFO] [stdout] | [INFO] [stdout] 69 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:70:9 [INFO] [stdout] | [INFO] [stdout] 70 | Symbol::Atom(Atom(1)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:70:22 [INFO] [stdout] | [INFO] [stdout] 70 | Symbol::Atom(Atom(1)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParsedSymbols` [INFO] [stdout] --> src/tests/prop_formula.rs:74:9 [INFO] [stdout] | [INFO] [stdout] 74 | ParsedSymbols::::from("notaorbiffaimpliesb").0?, [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `ParsedSymbols` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParsedSymbols; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:74:25 [INFO] [stdout] | [INFO] [stdout] 74 | ParsedSymbols::::from("notaorbiffaimpliesb").0?, [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:74:37 [INFO] [stdout] | [INFO] [stdout] 74 | ParsedSymbols::::from("notaorbiffaimpliesb").0?, [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:74:48 [INFO] [stdout] | [INFO] [stdout] 74 | ParsedSymbols::::from("notaorbiffaimpliesb").0?, [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParsedSymbols` [INFO] [stdout] --> src/tests/prop_formula.rs:78:9 [INFO] [stdout] | [INFO] [stdout] 78 | ParsedSymbols::::from("¬a∨b↔a→b").0?, [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `ParsedSymbols` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParsedSymbols; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:78:25 [INFO] [stdout] | [INFO] [stdout] 78 | ParsedSymbols::::from("¬a∨b↔a→b").0?, [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:78:37 [INFO] [stdout] | [INFO] [stdout] 78 | ParsedSymbols::::from("¬a∨b↔a→b").0?, [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:78:48 [INFO] [stdout] | [INFO] [stdout] 78 | ParsedSymbols::::from("¬a∨b↔a→b").0?, [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ParseError` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:87:37 [INFO] [stdout] | [INFO] [stdout] 87 | fn stripping_parens() -> Result<(), ParseError> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Symbol` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:88:21 [INFO] [stdout] | [INFO] [stdout] 88 | let parsed: Vec> = [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:88:28 [INFO] [stdout] | [INFO] [stdout] 88 | let parsed: Vec> = [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:88:40 [INFO] [stdout] | [INFO] [stdout] 88 | let parsed: Vec> = [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:88:51 [INFO] [stdout] | [INFO] [stdout] 88 | let parsed: Vec> = [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParsedSymbols` [INFO] [stdout] --> src/tests/prop_formula.rs:89:9 [INFO] [stdout] | [INFO] [stdout] 89 | ParsedSymbols::::from("((a) -> (b))").0?; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `ParsedSymbols` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParsedSymbols; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:89:25 [INFO] [stdout] | [INFO] [stdout] 89 | ParsedSymbols::::from("((a) -> (b))").0?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:89:37 [INFO] [stdout] | [INFO] [stdout] 89 | ParsedSymbols::::from("((a) -> (b))").0?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:89:48 [INFO] [stdout] | [INFO] [stdout] 89 | ParsedSymbols::::from("((a) -> (b))").0?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Symbol` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:90:19 [INFO] [stdout] | [INFO] [stdout] 90 | let syms: Vec> = vec![ [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:90:26 [INFO] [stdout] | [INFO] [stdout] 90 | let syms: Vec> = vec![ [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:90:38 [INFO] [stdout] | [INFO] [stdout] 90 | let syms: Vec> = vec![ [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:90:49 [INFO] [stdout] | [INFO] [stdout] 90 | let syms: Vec> = vec![ [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:91:9 [INFO] [stdout] | [INFO] [stdout] 91 | Symbol::Left, [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:92:9 [INFO] [stdout] | [INFO] [stdout] 92 | Symbol::Left, [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:93:9 [INFO] [stdout] | [INFO] [stdout] 93 | Symbol::Atom(Atom(0)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:93:22 [INFO] [stdout] | [INFO] [stdout] 93 | Symbol::Atom(Atom(0)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:94:9 [INFO] [stdout] | [INFO] [stdout] 94 | Symbol::Right, [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:95:9 [INFO] [stdout] | [INFO] [stdout] 95 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:95:24 [INFO] [stdout] | [INFO] [stdout] 95 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:96:9 [INFO] [stdout] | [INFO] [stdout] 96 | Symbol::Left, [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:97:9 [INFO] [stdout] | [INFO] [stdout] 97 | Symbol::Atom(Atom(1)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:97:22 [INFO] [stdout] | [INFO] [stdout] 97 | Symbol::Atom(Atom(1)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:98:9 [INFO] [stdout] | [INFO] [stdout] 98 | Symbol::Right, [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | Symbol::Right, [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `strip_parentheses` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:103:42 [INFO] [stdout] | [INFO] [stdout] 103 | assert_eq!(&syms[1..syms.len() - 1], strip_parentheses(&parsed)?); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::strip_parentheses; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ParseError` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:108:38 [INFO] [stdout] | [INFO] [stdout] 108 | fn parentheses_parse() -> Result<(), ParseError> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:111:13 [INFO] [stdout] | [INFO] [stdout] 111 | assert!(build_formula::("") [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:111:29 [INFO] [stdout] | [INFO] [stdout] 111 | assert!(build_formula::("") [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:111:41 [INFO] [stdout] | [INFO] [stdout] 111 | assert!(build_formula::("") [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:111:52 [INFO] [stdout] | [INFO] [stdout] 111 | assert!(build_formula::("") [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParseError` [INFO] [stdout] --> src/tests/prop_formula.rs:112:30 [INFO] [stdout] | [INFO] [stdout] 112 | .is_err_and(|e| e == ParseError::EmptyFormula)); [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `ParseError` [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:113:18 [INFO] [stdout] | [INFO] [stdout] 113 | let mut _f = build_formula::("(((((a implies b)))))")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:113:34 [INFO] [stdout] | [INFO] [stdout] 113 | let mut _f = build_formula::("(((((a implies b)))))")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:113:46 [INFO] [stdout] | [INFO] [stdout] 113 | let mut _f = build_formula::("(((((a implies b)))))")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:113:57 [INFO] [stdout] | [INFO] [stdout] 113 | let mut _f = build_formula::("(((((a implies b)))))")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:114:10 [INFO] [stdout] | [INFO] [stdout] 114 | _f = build_formula::("(a implies ((b implies c)))")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:114:26 [INFO] [stdout] | [INFO] [stdout] 114 | _f = build_formula::("(a implies ((b implies c)))")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:114:38 [INFO] [stdout] | [INFO] [stdout] 114 | _f = build_formula::("(a implies ((b implies c)))")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:114:49 [INFO] [stdout] | [INFO] [stdout] 114 | _f = build_formula::("(a implies ((b implies c)))")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:115:10 [INFO] [stdout] | [INFO] [stdout] 115 | _f = build_formula::("(a or b)")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:115:26 [INFO] [stdout] | [INFO] [stdout] 115 | _f = build_formula::("(a or b)")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:115:38 [INFO] [stdout] | [INFO] [stdout] 115 | _f = build_formula::("(a or b)")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:115:49 [INFO] [stdout] | [INFO] [stdout] 115 | _f = build_formula::("(a or b)")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:116:10 [INFO] [stdout] | [INFO] [stdout] 116 | _f = build_formula::("(a or b) and (a or c)")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:116:26 [INFO] [stdout] | [INFO] [stdout] 116 | _f = build_formula::("(a or b) and (a or c)")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:116:38 [INFO] [stdout] | [INFO] [stdout] 116 | _f = build_formula::("(a or b) and (a or c)")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:116:49 [INFO] [stdout] | [INFO] [stdout] 116 | _f = build_formula::("(a or b) and (a or c)")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:118:9 [INFO] [stdout] | [INFO] [stdout] 118 | build_formula::("(a implies (b implies c)))") [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:118:25 [INFO] [stdout] | [INFO] [stdout] 118 | build_formula::("(a implies (b implies c)))") [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:118:37 [INFO] [stdout] | [INFO] [stdout] 118 | build_formula::("(a implies (b implies c)))") [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:118:48 [INFO] [stdout] | [INFO] [stdout] 118 | build_formula::("(a implies (b implies c)))") [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParseError` [INFO] [stdout] --> src/tests/prop_formula.rs:119:34 [INFO] [stdout] | [INFO] [stdout] 119 | .is_err_and(|e| e == ParseError::UnbalancedParentheses) [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `ParseError` [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:122:9 [INFO] [stdout] | [INFO] [stdout] 122 | build_formula::("a and b () implies c") [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:122:25 [INFO] [stdout] | [INFO] [stdout] 122 | build_formula::("a and b () implies c") [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:122:37 [INFO] [stdout] | [INFO] [stdout] 122 | build_formula::("a and b () implies c") [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:122:48 [INFO] [stdout] | [INFO] [stdout] 122 | build_formula::("a and b () implies c") [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParseError` [INFO] [stdout] --> src/tests/prop_formula.rs:123:34 [INFO] [stdout] | [INFO] [stdout] 123 | .is_err_and(|e| e == ParseError::NotAtomic("(".to_string())) [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `ParseError` [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:125:13 [INFO] [stdout] | [INFO] [stdout] 125 | assert!(build_formula::("a implies not").is_err()); [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:125:29 [INFO] [stdout] | [INFO] [stdout] 125 | assert!(build_formula::("a implies not").is_err()); [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:125:41 [INFO] [stdout] | [INFO] [stdout] 125 | assert!(build_formula::("a implies not").is_err()); [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:125:52 [INFO] [stdout] | [INFO] [stdout] 125 | assert!(build_formula::("a implies not").is_err()); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:126:13 [INFO] [stdout] | [INFO] [stdout] 126 | assert!(build_formula::("(p->q) -> (p->r)").is_ok()); [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:126:29 [INFO] [stdout] | [INFO] [stdout] 126 | assert!(build_formula::("(p->q) -> (p->r)").is_ok()); [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:126:41 [INFO] [stdout] | [INFO] [stdout] 126 | assert!(build_formula::("(p->q) -> (p->r)").is_ok()); [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:126:52 [INFO] [stdout] | [INFO] [stdout] 126 | assert!(build_formula::("(p->q) -> (p->r)").is_ok()); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:127:13 [INFO] [stdout] | [INFO] [stdout] 127 | assert!(build_formula::("((p->q) -> (p->r))").is_ok()); [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:127:29 [INFO] [stdout] | [INFO] [stdout] 127 | assert!(build_formula::("((p->q) -> (p->r))").is_ok()); [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:127:41 [INFO] [stdout] | [INFO] [stdout] 127 | assert!(build_formula::("((p->q) -> (p->r))").is_ok()); [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:127:52 [INFO] [stdout] | [INFO] [stdout] 127 | assert!(build_formula::("((p->q) -> (p->r))").is_ok()); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ParseError` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:132:28 [INFO] [stdout] | [INFO] [stdout] 132 | fn zip_zip() -> Result<(), ParseError> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ParseError` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:159:34 [INFO] [stdout] | [INFO] [stdout] 159 | fn formula_parse() -> Result<(), ParseError> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropSymbol` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:161:19 [INFO] [stdout] | [INFO] [stdout] 161 | let syms: Vec = vec![ [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this type alias [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropSymbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:162:9 [INFO] [stdout] | [INFO] [stdout] 162 | Symbol::Atom(Atom(0)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:162:22 [INFO] [stdout] | [INFO] [stdout] 162 | Symbol::Atom(Atom(0)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:163:9 [INFO] [stdout] | [INFO] [stdout] 163 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:163:24 [INFO] [stdout] | [INFO] [stdout] 163 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:164:9 [INFO] [stdout] | [INFO] [stdout] 164 | Symbol::Unary(PropUnary::Not), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropUnary` [INFO] [stdout] --> src/tests/prop_formula.rs:164:23 [INFO] [stdout] | [INFO] [stdout] 164 | Symbol::Unary(PropUnary::Not), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `PropUnary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:165:9 [INFO] [stdout] | [INFO] [stdout] 165 | Symbol::Atom(Atom(1)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:165:22 [INFO] [stdout] | [INFO] [stdout] 165 | Symbol::Atom(Atom(1)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:166:9 [INFO] [stdout] | [INFO] [stdout] 166 | Symbol::Binary(PropBinary::Iff), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:166:24 [INFO] [stdout] | [INFO] [stdout] 166 | Symbol::Binary(PropBinary::Iff), [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:167:9 [INFO] [stdout] | [INFO] [stdout] 167 | Symbol::Atom(Atom(1)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:167:22 [INFO] [stdout] | [INFO] [stdout] 167 | Symbol::Atom(Atom(1)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:168:9 [INFO] [stdout] | [INFO] [stdout] 168 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:168:24 [INFO] [stdout] | [INFO] [stdout] 168 | Symbol::Binary(PropBinary::Implies), [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:169:9 [INFO] [stdout] | [INFO] [stdout] 169 | Symbol::Unary(PropUnary::Not), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropUnary` [INFO] [stdout] --> src/tests/prop_formula.rs:169:23 [INFO] [stdout] | [INFO] [stdout] 169 | Symbol::Unary(PropUnary::Not), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `PropUnary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:170:9 [INFO] [stdout] | [INFO] [stdout] 170 | Symbol::Atom(Atom(0)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:170:22 [INFO] [stdout] | [INFO] [stdout] 170 | Symbol::Atom(Atom(0)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropSymbol` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:172:21 [INFO] [stdout] | [INFO] [stdout] 172 | let parsed: Vec = ParsedSymbols::from("a -> not b <-> b -> not a").0?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this type alias [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropSymbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParsedSymbols` [INFO] [stdout] --> src/tests/prop_formula.rs:172:35 [INFO] [stdout] | [INFO] [stdout] 172 | let parsed: Vec = ParsedSymbols::from("a -> not b <-> b -> not a").0?; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `ParsedSymbols` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParsedSymbols; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `main_operator` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:175:9 [INFO] [stdout] | [INFO] [stdout] 175 | main_operator(&parsed[..])?, [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::main_operator; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:176:13 [INFO] [stdout] | [INFO] [stdout] 176 | (4, Symbol::Binary(PropBinary::Iff)) [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:176:28 [INFO] [stdout] | [INFO] [stdout] 176 | (4, Symbol::Binary(PropBinary::Iff)) [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `main_operator` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:179:9 [INFO] [stdout] | [INFO] [stdout] 179 | main_operator(&parsed[..4])?, [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::main_operator; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:180:13 [INFO] [stdout] | [INFO] [stdout] 180 | (1, Symbol::Binary(PropBinary::Implies)) [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:180:28 [INFO] [stdout] | [INFO] [stdout] 180 | (1, Symbol::Binary(PropBinary::Implies)) [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `main_operator` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:183:9 [INFO] [stdout] | [INFO] [stdout] 183 | main_operator(&parsed[5..])?, [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::main_operator; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:184:13 [INFO] [stdout] | [INFO] [stdout] 184 | (1, Symbol::Binary(PropBinary::Implies)) [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:184:28 [INFO] [stdout] | [INFO] [stdout] 184 | (1, Symbol::Binary(PropBinary::Implies)) [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_tree` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:203:16 [INFO] [stdout] | [INFO] [stdout] 203 | assert_eq!(build_tree(&parsed[..])?, target.tree); [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_tree; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ParseError` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:208:44 [INFO] [stdout] | [INFO] [stdout] 208 | fn rotation_and_precedence() -> Result<(), ParseError> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:209:21 [INFO] [stdout] | [INFO] [stdout] 209 | let mut right = build_formula::("a -> b -> c")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:209:37 [INFO] [stdout] | [INFO] [stdout] 209 | let mut right = build_formula::("a -> b -> c")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:209:49 [INFO] [stdout] | [INFO] [stdout] 209 | let mut right = build_formula::("a -> b -> c")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:209:60 [INFO] [stdout] | [INFO] [stdout] 209 | let mut right = build_formula::("a -> b -> c")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:210:20 [INFO] [stdout] | [INFO] [stdout] 210 | let mut left = build_formula::("(a -> b) -> c")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:210:36 [INFO] [stdout] | [INFO] [stdout] 210 | let mut left = build_formula::("(a -> b) -> c")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:210:48 [INFO] [stdout] | [INFO] [stdout] 210 | let mut left = build_formula::("(a -> b) -> c")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:210:59 [INFO] [stdout] | [INFO] [stdout] 210 | let mut left = build_formula::("(a -> b) -> c")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:243:12 [INFO] [stdout] | [INFO] [stdout] 243 | left = build_formula::("a and b implies c")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:243:28 [INFO] [stdout] | [INFO] [stdout] 243 | left = build_formula::("a and b implies c")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:243:40 [INFO] [stdout] | [INFO] [stdout] 243 | left = build_formula::("a and b implies c")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:243:51 [INFO] [stdout] | [INFO] [stdout] 243 | left = build_formula::("a and b implies c")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:244:13 [INFO] [stdout] | [INFO] [stdout] 244 | right = build_formula::("a and (b implies c)")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:244:29 [INFO] [stdout] | [INFO] [stdout] 244 | right = build_formula::("a and (b implies c)")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:244:41 [INFO] [stdout] | [INFO] [stdout] 244 | right = build_formula::("a and (b implies c)")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:244:52 [INFO] [stdout] | [INFO] [stdout] 244 | right = build_formula::("a and (b implies c)")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ParseError` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:280:38 [INFO] [stdout] | [INFO] [stdout] 280 | fn distribute_binary() -> Result<(), ParseError> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:281:17 [INFO] [stdout] | [INFO] [stdout] 281 | let mut f = build_formula::("a or (b and c)")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:281:33 [INFO] [stdout] | [INFO] [stdout] 281 | let mut f = build_formula::("a or (b and c)")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:281:45 [INFO] [stdout] | [INFO] [stdout] 281 | let mut f = build_formula::("a or (b and c)")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:281:56 [INFO] [stdout] | [INFO] [stdout] 281 | let mut f = build_formula::("a or (b and c)")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:306:9 [INFO] [stdout] | [INFO] [stdout] 306 | build_formula::("(a or b) and (a or c)")? [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:306:25 [INFO] [stdout] | [INFO] [stdout] 306 | build_formula::("(a or b) and (a or c)")? [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:306:37 [INFO] [stdout] | [INFO] [stdout] 306 | build_formula::("(a or b) and (a or c)")? [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:306:48 [INFO] [stdout] | [INFO] [stdout] 306 | build_formula::("(a or b) and (a or c)")? [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:312:9 [INFO] [stdout] | [INFO] [stdout] 312 | build_formula::("(a and (a or c)) or (b and (a or c))")? [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:312:25 [INFO] [stdout] | [INFO] [stdout] 312 | build_formula::("(a and (a or c)) or (b and (a or c))")? [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:312:37 [INFO] [stdout] | [INFO] [stdout] 312 | build_formula::("(a and (a or c)) or (b and (a or c))")? [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:312:48 [INFO] [stdout] | [INFO] [stdout] 312 | build_formula::("(a and (a or c)) or (b and (a or c))")? [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ParseError` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:318:35 [INFO] [stdout] | [INFO] [stdout] 318 | fn read_and_write() -> Result<(), ParseError> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:319:17 [INFO] [stdout] | [INFO] [stdout] 319 | let mut f = build_formula::("a -> (b implies c)")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:319:33 [INFO] [stdout] | [INFO] [stdout] 319 | let mut f = build_formula::("a -> (b implies c)")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:319:45 [INFO] [stdout] | [INFO] [stdout] 319 | let mut f = build_formula::("a -> (b implies c)")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:319:56 [INFO] [stdout] | [INFO] [stdout] 319 | let mut f = build_formula::("a -> (b implies c)")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:321:9 [INFO] [stdout] | [INFO] [stdout] 321 | f = build_formula::("(a implies b) implies c")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:321:25 [INFO] [stdout] | [INFO] [stdout] 321 | f = build_formula::("(a implies b) implies c")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:321:37 [INFO] [stdout] | [INFO] [stdout] 321 | f = build_formula::("(a implies b) implies c")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:321:48 [INFO] [stdout] | [INFO] [stdout] 321 | f = build_formula::("(a implies b) implies c")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:323:9 [INFO] [stdout] | [INFO] [stdout] 323 | f = build_formula::("(a or (b and c)) implies (a or b)")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:323:25 [INFO] [stdout] | [INFO] [stdout] 323 | f = build_formula::("(a or (b and c)) implies (a or b)")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:323:37 [INFO] [stdout] | [INFO] [stdout] 323 | f = build_formula::("(a or (b and c)) implies (a or b)")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:323:48 [INFO] [stdout] | [INFO] [stdout] 323 | f = build_formula::("(a or (b and c)) implies (a or b)")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ParseError` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:329:38 [INFO] [stdout] | [INFO] [stdout] 329 | fn unary_over_binary() -> Result<(), ParseError> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:330:14 [INFO] [stdout] | [INFO] [stdout] 330 | let f1 = build_formula::("not (a -> b)")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:330:30 [INFO] [stdout] | [INFO] [stdout] 330 | let f1 = build_formula::("not (a -> b)")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:330:42 [INFO] [stdout] | [INFO] [stdout] 330 | let f1 = build_formula::("not (a -> b)")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:330:53 [INFO] [stdout] | [INFO] [stdout] 330 | let f1 = build_formula::("not (a -> b)")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:331:14 [INFO] [stdout] | [INFO] [stdout] 331 | let f2 = build_formula::("not a -> b")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:331:30 [INFO] [stdout] | [INFO] [stdout] 331 | let f2 = build_formula::("not a -> b")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:331:42 [INFO] [stdout] | [INFO] [stdout] 331 | let f2 = build_formula::("not a -> b")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:331:53 [INFO] [stdout] | [INFO] [stdout] 331 | let f2 = build_formula::("not a -> b")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:335:9 [INFO] [stdout] | [INFO] [stdout] 335 | build_formula::("a -> not b")? [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:335:25 [INFO] [stdout] | [INFO] [stdout] 335 | build_formula::("a -> not b")? [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:335:37 [INFO] [stdout] | [INFO] [stdout] 335 | build_formula::("a -> not b")? [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:335:48 [INFO] [stdout] | [INFO] [stdout] 335 | build_formula::("a -> not b")? [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:337:14 [INFO] [stdout] | [INFO] [stdout] 337 | let f3 = build_formula::("not a -> not b")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:337:30 [INFO] [stdout] | [INFO] [stdout] 337 | let f3 = build_formula::("not a -> not b")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:337:42 [INFO] [stdout] | [INFO] [stdout] 337 | let f3 = build_formula::("not a -> not b")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:337:53 [INFO] [stdout] | [INFO] [stdout] 337 | let f3 = build_formula::("not a -> not b")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:342:14 [INFO] [stdout] | [INFO] [stdout] 342 | let f3 = build_formula::("not a or not b")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:342:30 [INFO] [stdout] | [INFO] [stdout] 342 | let f3 = build_formula::("not a or not b")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:342:42 [INFO] [stdout] | [INFO] [stdout] 342 | let f3 = build_formula::("not a or not b")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:342:53 [INFO] [stdout] | [INFO] [stdout] 342 | let f3 = build_formula::("not a or not b")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ParseError` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:351:34 [INFO] [stdout] | [INFO] [stdout] 351 | fn instantiation() -> Result<(), ParseError> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:352:17 [INFO] [stdout] | [INFO] [stdout] 352 | let mut f = build_formula::("not a implies b implies c")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:352:33 [INFO] [stdout] | [INFO] [stdout] 352 | let mut f = build_formula::("not a implies b implies c")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:352:45 [INFO] [stdout] | [INFO] [stdout] 352 | let mut f = build_formula::("not a implies b implies c")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:352:56 [INFO] [stdout] | [INFO] [stdout] 352 | let mut f = build_formula::("not a implies b implies c")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `HashMap` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:353:18 [INFO] [stdout] | [INFO] [stdout] 353 | let mut map: HashMap> = HashMap::new(); [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use std::collections::HashMap; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:353:26 [INFO] [stdout] | [INFO] [stdout] 353 | let mut map: HashMap> = HashMap::new(); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Tree` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:353:32 [INFO] [stdout] | [INFO] [stdout] 353 | let mut map: HashMap> = HashMap::new(); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:353:37 [INFO] [stdout] | [INFO] [stdout] 353 | let mut map: HashMap> = HashMap::new(); [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:353:49 [INFO] [stdout] | [INFO] [stdout] 353 | let mut map: HashMap> = HashMap::new(); [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:353:60 [INFO] [stdout] | [INFO] [stdout] 353 | let mut map: HashMap> = HashMap::new(); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `HashMap` [INFO] [stdout] --> src/tests/prop_formula.rs:353:69 [INFO] [stdout] | [INFO] [stdout] 353 | let mut map: HashMap> = HashMap::new(); [INFO] [stdout] | ^^^^^^^ use of undeclared type `HashMap` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use std::collections::HashMap; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:354:16 [INFO] [stdout] | [INFO] [stdout] 354 | map.insert(Atom(0), f.tree.clone()); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:363:9 [INFO] [stdout] | [INFO] [stdout] 363 | build_formula::( [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:363:25 [INFO] [stdout] | [INFO] [stdout] 363 | build_formula::( [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:363:37 [INFO] [stdout] | [INFO] [stdout] 363 | build_formula::( [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:363:48 [INFO] [stdout] | [INFO] [stdout] 363 | build_formula::( [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:378:9 [INFO] [stdout] | [INFO] [stdout] 378 | build_formula::( [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:378:25 [INFO] [stdout] | [INFO] [stdout] 378 | build_formula::( [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:378:37 [INFO] [stdout] | [INFO] [stdout] 378 | build_formula::( [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:378:48 [INFO] [stdout] | [INFO] [stdout] 378 | build_formula::( [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:386:16 [INFO] [stdout] | [INFO] [stdout] 386 | assert_eq!(build_formula::("not (not (not a implies b implies c) implies b implies c) implies b implies ... [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:386:32 [INFO] [stdout] | [INFO] [stdout] 386 | assert_eq!(build_formula::("not (not (not a implies b implies c) implies b implies c) implies b implies ... [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:386:44 [INFO] [stdout] | [INFO] [stdout] 386 | assert_eq!(build_formula::("not (not (not a implies b implies c) implies b implies c) implies b implies ... [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:386:55 [INFO] [stdout] | [INFO] [stdout] 386 | assert_eq!(build_formula::("not (not (not a implies b implies c) implies b implies c) implies b implies ... [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ParseError` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:392:30 [INFO] [stdout] | [INFO] [stdout] 392 | fn to_tensor() -> Result<(), ParseError> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `HashMap` [INFO] [stdout] --> src/tests/prop_formula.rs:393:23 [INFO] [stdout] | [INFO] [stdout] 393 | let mut mapping = HashMap::new(); [INFO] [stdout] | ^^^^^^^ use of undeclared type `HashMap` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use std::collections::HashMap; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:394:20 [INFO] [stdout] | [INFO] [stdout] 394 | mapping.insert(Symbol::Binary(PropBinary::Implies), 0); [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropBinary` [INFO] [stdout] --> src/tests/prop_formula.rs:394:35 [INFO] [stdout] | [INFO] [stdout] 394 | mapping.insert(Symbol::Binary(PropBinary::Implies), 0); [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `PropBinary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:395:20 [INFO] [stdout] | [INFO] [stdout] 395 | mapping.insert(Symbol::Unary(PropUnary::Not), 1); [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PropUnary` [INFO] [stdout] --> src/tests/prop_formula.rs:395:34 [INFO] [stdout] | [INFO] [stdout] 395 | mapping.insert(Symbol::Unary(PropUnary::Not), 1); [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `PropUnary` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:396:20 [INFO] [stdout] | [INFO] [stdout] 396 | mapping.insert(Symbol::Atom(Atom(0)), 2); [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:396:33 [INFO] [stdout] | [INFO] [stdout] 396 | mapping.insert(Symbol::Atom(Atom(0)), 2); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:397:20 [INFO] [stdout] | [INFO] [stdout] 397 | mapping.insert(Symbol::Atom(Atom(1)), 3); [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:397:33 [INFO] [stdout] | [INFO] [stdout] 397 | mapping.insert(Symbol::Atom(Atom(1)), 3); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:398:20 [INFO] [stdout] | [INFO] [stdout] 398 | mapping.insert(Symbol::Atom(Atom(2)), 4); [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:398:33 [INFO] [stdout] | [INFO] [stdout] 398 | mapping.insert(Symbol::Atom(Atom(2)), 4); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:399:23 [INFO] [stdout] | [INFO] [stdout] 399 | let mut formula = build_formula::("a -> b -> c")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropBinary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:399:39 [INFO] [stdout] | [INFO] [stdout] 399 | let mut formula = build_formula::("a -> b -> c")?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropBinary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropUnary` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:399:51 [INFO] [stdout] | [INFO] [stdout] 399 | let mut formula = build_formula::("a -> b -> c")?; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this enum [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropUnary; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:399:62 [INFO] [stdout] | [INFO] [stdout] 399 | let mut formula = build_formula::("a -> b -> c")?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ParseError` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:415:32 [INFO] [stdout] | [INFO] [stdout] 415 | fn atomization() -> Result<(), ParseError> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PropFormula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:416:20 [INFO] [stdout] | [INFO] [stdout] 416 | let tough_one: PropFormula = build_formula("(p -> q) -> (not r -> (q -> p))")?; [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this type alias [INFO] [stdout] | [INFO] [stdout] 2 + use crate::prop::PropFormula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:416:34 [INFO] [stdout] | [INFO] [stdout] 416 | let tough_one: PropFormula = build_formula("(p -> q) -> (not r -> (q -> p))")?; [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `HashSet` [INFO] [stdout] --> src/tests/prop_formula.rs:418:23 [INFO] [stdout] | [INFO] [stdout] 418 | assert_eq!(atoms, HashSet::::from([Atom(15), Atom(16), Atom(17)])); [INFO] [stdout] | ^^^^^^^ use of undeclared type `HashSet` [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use std::collections::HashSet; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:418:33 [INFO] [stdout] | [INFO] [stdout] 418 | assert_eq!(atoms, HashSet::::from([Atom(15), Atom(16), Atom(17)])); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:418:46 [INFO] [stdout] | [INFO] [stdout] 418 | assert_eq!(atoms, HashSet::::from([Atom(15), Atom(16), Atom(17)])); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:418:56 [INFO] [stdout] | [INFO] [stdout] 418 | assert_eq!(atoms, HashSet::::from([Atom(15), Atom(16), Atom(17)])); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:418:66 [INFO] [stdout] | [INFO] [stdout] 418 | assert_eq!(atoms, HashSet::::from([Atom(15), Atom(16), Atom(17)])); [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Atom` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:420:43 [INFO] [stdout] | [INFO] [stdout] 420 | .normalize((0 as usize..).map(|u| Atom(u))) [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::formula::Tree::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Atom; [INFO] [stdout] | [INFO] [stdout] 2 + use crate::symbol::Symbol::Atom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ParseError` [INFO] [stdout] --> src/tests/prop_formula.rs:421:16 [INFO] [stdout] | [INFO] [stdout] 421 | .ok_or(ParseError::EmptyFormula)?; [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `ParseError` [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::ParseError; [INFO] [stdout] | [INFO] [stdout] 2 + use std::string::ParseError; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `build_formula` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:424:9 [INFO] [stdout] | [INFO] [stdout] 424 | build_formula("(a -> b) -> (not c -> (b -> a))")? [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 2 + use crate::parser::build_formula; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 326 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0412, E0425, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0412`. [INFO] [stdout] [INFO] [stderr] error: could not compile `implies` (lib test) due to 327 previous errors [INFO] [stderr] error: failed to migrate to next edition [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `cargo fix --edition --allow-no-vcs --allow-dirty --frozen --all --all-targets --message-format=json` (exit status: 101) [INFO] running `Command { std: "docker" "inspect" "cf508ae8c3662943b30b8daf536b0e2fc45a4091dd285a507b16bd3abb3dc216", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cf508ae8c3662943b30b8daf536b0e2fc45a4091dd285a507b16bd3abb3dc216", kill_on_drop: false }` [INFO] [stdout] cf508ae8c3662943b30b8daf536b0e2fc45a4091dd285a507b16bd3abb3dc216