[INFO] fetching crate implies 0.3.2... [INFO] checking implies-0.3.2 against master#af4a5a13a15fa0c60e06321077ef452f769b42fd for pr-122960-3 [INFO] extracting crate implies 0.3.2 into /workspace/builds/worker-3-tc1/source [INFO] validating manifest of crates.io crate implies 0.3.2 on toolchain af4a5a13a15fa0c60e06321077ef452f769b42fd [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate implies 0.3.2 [INFO] finished tweaking crates.io crate implies 0.3.2 [INFO] tweaked toml for crates.io crate implies 0.3.2 written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 35 packages [INFO] [stderr] Adding bitflags v1.3.2 (latest: v2.5.0) [INFO] [stderr] Adding indoc v1.0.9 (latest: v2.0.5) [INFO] [stderr] Adding pyo3 v0.19.2 (latest: v0.21.1) [INFO] [stderr] Adding pyo3-build-config v0.19.2 (latest: v0.21.1) [INFO] [stderr] Adding pyo3-build-config v0.20.3 (latest: v0.21.1) [INFO] [stderr] Adding pyo3-ffi v0.19.2 (latest: v0.21.1) [INFO] [stderr] Adding pyo3-macros v0.19.2 (latest: v0.21.1) [INFO] [stderr] Adding pyo3-macros-backend v0.19.2 (latest: v0.21.1) [INFO] [stderr] Adding redox_syscall v0.4.1 (latest: v0.5.1) [INFO] [stderr] Adding syn v1.0.109 (latest: v2.0.57) [INFO] [stderr] Adding unindent v0.1.11 (latest: v0.2.3) [INFO] [stderr] Adding windows-targets v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_aarch64_gnullvm v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_aarch64_msvc v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_i686_gnu v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_i686_msvc v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_x86_64_gnu v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_x86_64_gnullvm v0.48.5 (latest: v0.52.4) [INFO] [stderr] Adding windows_x86_64_msvc v0.48.5 (latest: v0.52.4) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded cascade v1.0.1 [INFO] [stderr] Downloaded pyo3-build-config v0.20.3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e4ad6158363ff2d821bfa7d0ba8ebac295b8988ff4119c00585ea3fa63fa3d24 [INFO] running `Command { std: "docker" "start" "-a" "e4ad6158363ff2d821bfa7d0ba8ebac295b8988ff4119c00585ea3fa63fa3d24", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e4ad6158363ff2d821bfa7d0ba8ebac295b8988ff4119c00585ea3fa63fa3d24", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e4ad6158363ff2d821bfa7d0ba8ebac295b8988ff4119c00585ea3fa63fa3d24", kill_on_drop: false }` [INFO] [stdout] e4ad6158363ff2d821bfa7d0ba8ebac295b8988ff4119c00585ea3fa63fa3d24 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] fc6a7c4f3253344e6ea201b42db9b1b89da40fda400a915d7086153fcf36b1e1 [INFO] running `Command { std: "docker" "start" "-a" "fc6a7c4f3253344e6ea201b42db9b1b89da40fda400a915d7086153fcf36b1e1", kill_on_drop: false }` [INFO] [stderr] Compiling implies v0.3.2 (/opt/rustwide/workdir) [INFO] [stderr] Checking cascade v1.0.1 [INFO] [stdout] warning: unused imports: `Tree`, `Zipper` [INFO] [stdout] --> src/tests/prop_formula.rs:1:22 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::formula::{Tree, Zipper}; [INFO] [stdout] | ^^^^ ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Match`, `ParseError`, `ParsedSymbols`, `build_formula`, `build_tree`, `main_operator` [INFO] [stdout] --> src/tests/prop_formula.rs:2:21 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::parser::{build_formula, build_tree, main_operator, Match, ParseError, ParsedSymbols}; [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Atom`, `PropBinary`, `PropFormula`, `PropSymbol`, `PropUnary` [INFO] [stdout] --> src/tests/prop_formula.rs:3:19 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::prop::{Atom, PropBinary, PropFormula, PropSymbol, PropUnary}; [INFO] [stdout] | ^^^^ ^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::symbol::Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::symbol::Symbol; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cascade::cascade` [INFO] [stdout] --> src/tests/prop_formula.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use cascade::cascade; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `HashMap`, `HashSet` [INFO] [stdout] --> src/tests/prop_formula.rs:6:24 [INFO] [stdout] | [INFO] [stdout] 6 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `apply` is never used [INFO] [stdout] --> src/formula.rs:653:8 [INFO] [stdout] | [INFO] [stdout] 360 | / impl Formula [INFO] [stdout] 361 | | where [INFO] [stdout] 362 | | B: Symbolic, [INFO] [stdout] 363 | | U: Symbolic, [INFO] [stdout] 364 | | A: Symbolic, [INFO] [stdout] | |________________- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 653 | 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: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `apply` is never used [INFO] [stdout] --> src/formula.rs:653:8 [INFO] [stdout] | [INFO] [stdout] 360 | / impl Formula [INFO] [stdout] 361 | | where [INFO] [stdout] 362 | | B: Symbolic, [INFO] [stdout] 363 | | U: Symbolic, [INFO] [stdout] 364 | | A: Symbolic, [INFO] [stdout] | |________________- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 653 | 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: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.30s [INFO] running `Command { std: "docker" "inspect" "fc6a7c4f3253344e6ea201b42db9b1b89da40fda400a915d7086153fcf36b1e1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fc6a7c4f3253344e6ea201b42db9b1b89da40fda400a915d7086153fcf36b1e1", kill_on_drop: false }` [INFO] [stdout] fc6a7c4f3253344e6ea201b42db9b1b89da40fda400a915d7086153fcf36b1e1 [INFO] checking implies-0.3.2 against try#36dbcaee1a55543dfc181be52a69d99ff46ff62f for pr-122960-3 [INFO] extracting crate implies 0.3.2 into /workspace/builds/worker-3-tc2/source [INFO] validating manifest of crates.io crate implies 0.3.2 on toolchain 36dbcaee1a55543dfc181be52a69d99ff46ff62f [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate implies 0.3.2 [INFO] finished tweaking crates.io crate implies 0.3.2 [INFO] tweaked toml for crates.io crate implies 0.3.2 written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] b2917525c1c1c648d87ae93c07a987bf69d96b5474536d7e32ea8933c62604d5 [INFO] running `Command { std: "docker" "start" "-a" "b2917525c1c1c648d87ae93c07a987bf69d96b5474536d7e32ea8933c62604d5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "b2917525c1c1c648d87ae93c07a987bf69d96b5474536d7e32ea8933c62604d5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b2917525c1c1c648d87ae93c07a987bf69d96b5474536d7e32ea8933c62604d5", kill_on_drop: false }` [INFO] [stdout] b2917525c1c1c648d87ae93c07a987bf69d96b5474536d7e32ea8933c62604d5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 932c066f3bcba47be7b446143f01740bb3874be90c2cce8ec93ec02fdf4426c2 [INFO] running `Command { std: "docker" "start" "-a" "932c066f3bcba47be7b446143f01740bb3874be90c2cce8ec93ec02fdf4426c2", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] Running `cargo fix --edition` [INFO] [stderr] Compiling implies v0.3.2 (/tmp/fixit) [INFO] [stderr] Checking cascade v1.0.1 [INFO] [stderr] Migrating build.rs from 2021 edition to 2024 [INFO] [stderr] Migrating src/lib.rs from 2021 edition to 2024 [INFO] [stdout] warning: method `apply` is never used [INFO] [stdout] --> src/formula.rs:653:8 [INFO] [stdout] | [INFO] [stdout] 360 | / impl Formula [INFO] [stdout] 361 | | where [INFO] [stdout] 362 | | B: Symbolic, [INFO] [stdout] 363 | | U: Symbolic, [INFO] [stdout] 364 | | A: Symbolic, [INFO] [stdout] | |________________- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 653 | 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: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Fixed src/tests/prop_formula.rs (6 fixes) [INFO] [stdout] warning: method `apply` is never used [INFO] [stdout] --> src/formula.rs:653:8 [INFO] [stdout] | [INFO] [stdout] 360 | / impl Formula [INFO] [stdout] 361 | | where [INFO] [stdout] 362 | | B: Symbolic, [INFO] [stdout] 363 | | U: Symbolic, [INFO] [stdout] 364 | | A: Symbolic, [INFO] [stdout] | |________________- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 653 | 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: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.56s [INFO] [stderr] Running `cargo check` to verify 2024 [INFO] [stderr] Compiling implies v0.3.2 (/tmp/fixit) [INFO] [stdout] error: cannot find macro `cascade` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:320:9 [INFO] [stdout] | [INFO] [stdout] 320 | 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:315:9 [INFO] [stdout] | [INFO] [stdout] 315 | 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:310:9 [INFO] [stdout] | [INFO] [stdout] 310 | 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:308:16 [INFO] [stdout] | [INFO] [stdout] 308 | 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:284:9 [INFO] [stdout] | [INFO] [stdout] 284 | 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:269:13 [INFO] [stdout] | [INFO] [stdout] 269 | 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:268:9 [INFO] [stdout] | [INFO] [stdout] 268 | 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:258:21 [INFO] [stdout] | [INFO] [stdout] 258 | 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:245:9 [INFO] [stdout] | [INFO] [stdout] 245 | 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:234:9 [INFO] [stdout] | [INFO] [stdout] 234 | 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:223:9 [INFO] [stdout] | [INFO] [stdout] 223 | 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:211:9 [INFO] [stdout] | [INFO] [stdout] 211 | 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:200:9 [INFO] [stdout] | [INFO] [stdout] 200 | 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:189:9 [INFO] [stdout] | [INFO] [stdout] 189 | 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:162:18 [INFO] [stdout] | [INFO] [stdout] 162 | 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:383:5 [INFO] [stdout] | [INFO] [stdout] 383 | 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:379:5 [INFO] [stdout] | [INFO] [stdout] 379 | 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:345:5 [INFO] [stdout] | [INFO] [stdout] 345 | 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:331:5 [INFO] [stdout] | [INFO] [stdout] 331 | 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:123:5 [INFO] [stdout] | [INFO] [stdout] 123 | 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:109:19 [INFO] [stdout] | [INFO] [stdout] 109 | 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] warning: method `apply` is never used [INFO] [stdout] --> src/formula.rs:653:8 [INFO] [stdout] | [INFO] [stdout] 360 | / impl Formula [INFO] [stdout] 361 | | where [INFO] [stdout] 362 | | B: Symbolic, [INFO] [stdout] 363 | | U: Symbolic, [INFO] [stdout] 364 | | A: Symbolic, [INFO] [stdout] | |________________- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 653 | 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: 1 warning emitted [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:86:38 [INFO] [stdout] | [INFO] [stdout] 86 | 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:89:13 [INFO] [stdout] | [INFO] [stdout] 89 | 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:89:29 [INFO] [stdout] | [INFO] [stdout] 89 | 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:89:41 [INFO] [stdout] | [INFO] [stdout] 89 | 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:89:52 [INFO] [stdout] | [INFO] [stdout] 89 | 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:90:30 [INFO] [stdout] | [INFO] [stdout] 90 | .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:91:18 [INFO] [stdout] | [INFO] [stdout] 91 | 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:91:34 [INFO] [stdout] | [INFO] [stdout] 91 | 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:91:46 [INFO] [stdout] | [INFO] [stdout] 91 | 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:91:57 [INFO] [stdout] | [INFO] [stdout] 91 | 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:92:10 [INFO] [stdout] | [INFO] [stdout] 92 | _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:92:26 [INFO] [stdout] | [INFO] [stdout] 92 | _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:92:38 [INFO] [stdout] | [INFO] [stdout] 92 | _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:92:49 [INFO] [stdout] | [INFO] [stdout] 92 | _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:93:10 [INFO] [stdout] | [INFO] [stdout] 93 | _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:93:26 [INFO] [stdout] | [INFO] [stdout] 93 | _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:93:38 [INFO] [stdout] | [INFO] [stdout] 93 | _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:93:49 [INFO] [stdout] | [INFO] [stdout] 93 | _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:94:10 [INFO] [stdout] | [INFO] [stdout] 94 | _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:94:26 [INFO] [stdout] | [INFO] [stdout] 94 | _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:94:38 [INFO] [stdout] | [INFO] [stdout] 94 | _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:94:49 [INFO] [stdout] | [INFO] [stdout] 94 | _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:96:9 [INFO] [stdout] | [INFO] [stdout] 96 | 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:96:25 [INFO] [stdout] | [INFO] [stdout] 96 | 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:96:37 [INFO] [stdout] | [INFO] [stdout] 96 | 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:96:48 [INFO] [stdout] | [INFO] [stdout] 96 | 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:97:34 [INFO] [stdout] | [INFO] [stdout] 97 | .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:100:9 [INFO] [stdout] | [INFO] [stdout] 100 | 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:100:25 [INFO] [stdout] | [INFO] [stdout] 100 | 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:100:37 [INFO] [stdout] | [INFO] [stdout] 100 | 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:100:48 [INFO] [stdout] | [INFO] [stdout] 100 | 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:101:34 [INFO] [stdout] | [INFO] [stdout] 101 | .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:103:13 [INFO] [stdout] | [INFO] [stdout] 103 | 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:103:29 [INFO] [stdout] | [INFO] [stdout] 103 | 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:103:41 [INFO] [stdout] | [INFO] [stdout] 103 | 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:103:52 [INFO] [stdout] | [INFO] [stdout] 103 | 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[E0412]: cannot find type `ParseError` in this scope [INFO] [stdout] --> src/tests/prop_formula.rs:108:28 [INFO] [stdout] | [INFO] [stdout] 108 | 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:135:34 [INFO] [stdout] | [INFO] [stdout] 135 | 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:137:19 [INFO] [stdout] | [INFO] [stdout] 137 | 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:138:9 [INFO] [stdout] | [INFO] [stdout] 138 | 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:138:22 [INFO] [stdout] | [INFO] [stdout] 138 | 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:139:9 [INFO] [stdout] | [INFO] [stdout] 139 | 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:139:24 [INFO] [stdout] | [INFO] [stdout] 139 | 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:140:9 [INFO] [stdout] | [INFO] [stdout] 140 | 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:140:23 [INFO] [stdout] | [INFO] [stdout] 140 | 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:141:9 [INFO] [stdout] | [INFO] [stdout] 141 | 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:141:22 [INFO] [stdout] | [INFO] [stdout] 141 | 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:142:9 [INFO] [stdout] | [INFO] [stdout] 142 | 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:142:24 [INFO] [stdout] | [INFO] [stdout] 142 | 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:143:9 [INFO] [stdout] | [INFO] [stdout] 143 | 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:143:22 [INFO] [stdout] | [INFO] [stdout] 143 | 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:144:9 [INFO] [stdout] | [INFO] [stdout] 144 | 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:144:24 [INFO] [stdout] | [INFO] [stdout] 144 | 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:145:9 [INFO] [stdout] | [INFO] [stdout] 145 | 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:145:23 [INFO] [stdout] | [INFO] [stdout] 145 | 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:146:9 [INFO] [stdout] | [INFO] [stdout] 146 | 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:146:22 [INFO] [stdout] | [INFO] [stdout] 146 | 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:148:21 [INFO] [stdout] | [INFO] [stdout] 148 | 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:148:35 [INFO] [stdout] | [INFO] [stdout] 148 | 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:151:9 [INFO] [stdout] | [INFO] [stdout] 151 | 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:152:13 [INFO] [stdout] | [INFO] [stdout] 152 | (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:152:28 [INFO] [stdout] | [INFO] [stdout] 152 | (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:155:9 [INFO] [stdout] | [INFO] [stdout] 155 | 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:156:13 [INFO] [stdout] | [INFO] [stdout] 156 | (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:156:28 [INFO] [stdout] | [INFO] [stdout] 156 | (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:159:9 [INFO] [stdout] | [INFO] [stdout] 159 | 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:160:13 [INFO] [stdout] | [INFO] [stdout] 160 | (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:160:28 [INFO] [stdout] | [INFO] [stdout] 160 | (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:179:16 [INFO] [stdout] | [INFO] [stdout] 179 | 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:184:44 [INFO] [stdout] | [INFO] [stdout] 184 | 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:185:21 [INFO] [stdout] | [INFO] [stdout] 185 | 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:185:37 [INFO] [stdout] | [INFO] [stdout] 185 | 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:185:49 [INFO] [stdout] | [INFO] [stdout] 185 | 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:185:60 [INFO] [stdout] | [INFO] [stdout] 185 | 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:186:20 [INFO] [stdout] | [INFO] [stdout] 186 | 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:186:36 [INFO] [stdout] | [INFO] [stdout] 186 | 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:186:48 [INFO] [stdout] | [INFO] [stdout] 186 | 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:186:59 [INFO] [stdout] | [INFO] [stdout] 186 | 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:219:12 [INFO] [stdout] | [INFO] [stdout] 219 | 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:219:28 [INFO] [stdout] | [INFO] [stdout] 219 | 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:219:40 [INFO] [stdout] | [INFO] [stdout] 219 | 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:219:51 [INFO] [stdout] | [INFO] [stdout] 219 | 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:220:13 [INFO] [stdout] | [INFO] [stdout] 220 | 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:220:29 [INFO] [stdout] | [INFO] [stdout] 220 | 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:220:41 [INFO] [stdout] | [INFO] [stdout] 220 | 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:220:52 [INFO] [stdout] | [INFO] [stdout] 220 | 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:256:38 [INFO] [stdout] | [INFO] [stdout] 256 | 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:257:17 [INFO] [stdout] | [INFO] [stdout] 257 | 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:257:33 [INFO] [stdout] | [INFO] [stdout] 257 | 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:257:45 [INFO] [stdout] | [INFO] [stdout] 257 | 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:257:56 [INFO] [stdout] | [INFO] [stdout] 257 | 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:282:9 [INFO] [stdout] | [INFO] [stdout] 282 | 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:282:25 [INFO] [stdout] | [INFO] [stdout] 282 | 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:282:37 [INFO] [stdout] | [INFO] [stdout] 282 | 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:282:48 [INFO] [stdout] | [INFO] [stdout] 282 | 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:288:9 [INFO] [stdout] | [INFO] [stdout] 288 | 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:288:25 [INFO] [stdout] | [INFO] [stdout] 288 | 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:288:37 [INFO] [stdout] | [INFO] [stdout] 288 | 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:288:48 [INFO] [stdout] | [INFO] [stdout] 288 | 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:294:35 [INFO] [stdout] | [INFO] [stdout] 294 | 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:295:17 [INFO] [stdout] | [INFO] [stdout] 295 | 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:295:33 [INFO] [stdout] | [INFO] [stdout] 295 | 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:295:45 [INFO] [stdout] | [INFO] [stdout] 295 | 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:295:56 [INFO] [stdout] | [INFO] [stdout] 295 | 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:297:9 [INFO] [stdout] | [INFO] [stdout] 297 | 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:297:25 [INFO] [stdout] | [INFO] [stdout] 297 | 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:297:37 [INFO] [stdout] | [INFO] [stdout] 297 | 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:297:48 [INFO] [stdout] | [INFO] [stdout] 297 | 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:299:9 [INFO] [stdout] | [INFO] [stdout] 299 | 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:299:25 [INFO] [stdout] | [INFO] [stdout] 299 | 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:299:37 [INFO] [stdout] | [INFO] [stdout] 299 | 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:299:48 [INFO] [stdout] | [INFO] [stdout] 299 | 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:305:38 [INFO] [stdout] | [INFO] [stdout] 305 | 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:306:14 [INFO] [stdout] | [INFO] [stdout] 306 | 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:306:30 [INFO] [stdout] | [INFO] [stdout] 306 | 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:306:42 [INFO] [stdout] | [INFO] [stdout] 306 | 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:306:53 [INFO] [stdout] | [INFO] [stdout] 306 | 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:307:14 [INFO] [stdout] | [INFO] [stdout] 307 | 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:307:30 [INFO] [stdout] | [INFO] [stdout] 307 | 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:307:42 [INFO] [stdout] | [INFO] [stdout] 307 | 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:307:53 [INFO] [stdout] | [INFO] [stdout] 307 | 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:311:9 [INFO] [stdout] | [INFO] [stdout] 311 | 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:311:25 [INFO] [stdout] | [INFO] [stdout] 311 | 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:311:37 [INFO] [stdout] | [INFO] [stdout] 311 | 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:311:48 [INFO] [stdout] | [INFO] [stdout] 311 | 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:313:14 [INFO] [stdout] | [INFO] [stdout] 313 | 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:313:30 [INFO] [stdout] | [INFO] [stdout] 313 | 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:313:42 [INFO] [stdout] | [INFO] [stdout] 313 | 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:313:53 [INFO] [stdout] | [INFO] [stdout] 313 | 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:318:14 [INFO] [stdout] | [INFO] [stdout] 318 | 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:318:30 [INFO] [stdout] | [INFO] [stdout] 318 | 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:318:42 [INFO] [stdout] | [INFO] [stdout] 318 | 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:318:53 [INFO] [stdout] | [INFO] [stdout] 318 | 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:327:34 [INFO] [stdout] | [INFO] [stdout] 327 | 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:328:17 [INFO] [stdout] | [INFO] [stdout] 328 | 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:328:33 [INFO] [stdout] | [INFO] [stdout] 328 | 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:328:45 [INFO] [stdout] | [INFO] [stdout] 328 | 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:328:56 [INFO] [stdout] | [INFO] [stdout] 328 | 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:329:18 [INFO] [stdout] | [INFO] [stdout] 329 | 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:329:26 [INFO] [stdout] | [INFO] [stdout] 329 | 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:329:32 [INFO] [stdout] | [INFO] [stdout] 329 | 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:329:37 [INFO] [stdout] | [INFO] [stdout] 329 | 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:329:49 [INFO] [stdout] | [INFO] [stdout] 329 | 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:329:60 [INFO] [stdout] | [INFO] [stdout] 329 | 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:329:69 [INFO] [stdout] | [INFO] [stdout] 329 | 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:330:16 [INFO] [stdout] | [INFO] [stdout] 330 | 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:339:9 [INFO] [stdout] | [INFO] [stdout] 339 | 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:339:25 [INFO] [stdout] | [INFO] [stdout] 339 | 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:339:37 [INFO] [stdout] | [INFO] [stdout] 339 | 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:339:48 [INFO] [stdout] | [INFO] [stdout] 339 | 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:354:9 [INFO] [stdout] | [INFO] [stdout] 354 | 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:354:25 [INFO] [stdout] | [INFO] [stdout] 354 | 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:354:37 [INFO] [stdout] | [INFO] [stdout] 354 | 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:354:48 [INFO] [stdout] | [INFO] [stdout] 354 | 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:362:16 [INFO] [stdout] | [INFO] [stdout] 362 | 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:362:32 [INFO] [stdout] | [INFO] [stdout] 362 | 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:362:44 [INFO] [stdout] | [INFO] [stdout] 362 | 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:362:55 [INFO] [stdout] | [INFO] [stdout] 362 | 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:368:30 [INFO] [stdout] | [INFO] [stdout] 368 | 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:369:23 [INFO] [stdout] | [INFO] [stdout] 369 | 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:370:20 [INFO] [stdout] | [INFO] [stdout] 370 | 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:370:35 [INFO] [stdout] | [INFO] [stdout] 370 | 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:371:20 [INFO] [stdout] | [INFO] [stdout] 371 | 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:371:34 [INFO] [stdout] | [INFO] [stdout] 371 | 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:372:20 [INFO] [stdout] | [INFO] [stdout] 372 | 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:372:33 [INFO] [stdout] | [INFO] [stdout] 372 | 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:373:20 [INFO] [stdout] | [INFO] [stdout] 373 | 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:373:33 [INFO] [stdout] | [INFO] [stdout] 373 | 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:374:20 [INFO] [stdout] | [INFO] [stdout] 374 | 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:374:33 [INFO] [stdout] | [INFO] [stdout] 374 | 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:375:23 [INFO] [stdout] | [INFO] [stdout] 375 | 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:375:39 [INFO] [stdout] | [INFO] [stdout] 375 | 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:375:51 [INFO] [stdout] | [INFO] [stdout] 375 | 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:375:62 [INFO] [stdout] | [INFO] [stdout] 375 | 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:391:32 [INFO] [stdout] | [INFO] [stdout] 391 | 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:392:20 [INFO] [stdout] | [INFO] [stdout] 392 | 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:392:34 [INFO] [stdout] | [INFO] [stdout] 392 | 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:394:23 [INFO] [stdout] | [INFO] [stdout] 394 | 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:394:33 [INFO] [stdout] | [INFO] [stdout] 394 | 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:394:46 [INFO] [stdout] | [INFO] [stdout] 394 | 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:394:56 [INFO] [stdout] | [INFO] [stdout] 394 | 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:394:66 [INFO] [stdout] | [INFO] [stdout] 394 | 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:396:43 [INFO] [stdout] | [INFO] [stdout] 396 | .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:397:16 [INFO] [stdout] | [INFO] [stdout] 397 | .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:400:9 [INFO] [stdout] | [INFO] [stdout] 400 | 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 292 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 293 previous errors [INFO] [stderr] error: failed to check after updating to 2024 [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `cargo check --frozen --all --all-targets --message-format=json` (exit status: 101) [INFO] running `Command { std: "docker" "inspect" "932c066f3bcba47be7b446143f01740bb3874be90c2cce8ec93ec02fdf4426c2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "932c066f3bcba47be7b446143f01740bb3874be90c2cce8ec93ec02fdf4426c2", kill_on_drop: false }` [INFO] [stdout] 932c066f3bcba47be7b446143f01740bb3874be90c2cce8ec93ec02fdf4426c2