[INFO] cloning repository https://github.com/loevendallund/dataflow [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/loevendallund/dataflow" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Floevendallund%2Fdataflow", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Floevendallund%2Fdataflow'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 3fa5f116a622d9f63d921c9ea408eb0b34c2bee0 [INFO] checking loevendallund/dataflow against master#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Floevendallund%2Fdataflow" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/loevendallund/dataflow on toolchain 1f12b9b0fdbe735968ac002792a720f0ba4faca6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/loevendallund/dataflow [INFO] finished tweaking git repo https://github.com/loevendallund/dataflow [INFO] tweaked toml for git repo https://github.com/loevendallund/dataflow written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/loevendallund/dataflow already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded pest v2.6.1 [INFO] [stderr] Downloaded pest_meta v2.6.1 [INFO] [stderr] Downloaded pest_generator v2.6.1 [INFO] [stderr] Downloaded pest_derive v2.6.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 260c0c6686e08a4a81a3d0d62446aeda66cb0da8ec41094942c3cca87c0b32ce [INFO] running `Command { std: "docker" "start" "-a" "260c0c6686e08a4a81a3d0d62446aeda66cb0da8ec41094942c3cca87c0b32ce", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "260c0c6686e08a4a81a3d0d62446aeda66cb0da8ec41094942c3cca87c0b32ce", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "260c0c6686e08a4a81a3d0d62446aeda66cb0da8ec41094942c3cca87c0b32ce", kill_on_drop: false }` [INFO] [stdout] 260c0c6686e08a4a81a3d0d62446aeda66cb0da8ec41094942c3cca87c0b32ce [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8871d320a2b36abf813b8f346332e1fa0fffdf68e3e19ff6168a3510ca90acdc [INFO] running `Command { std: "docker" "start" "-a" "8871d320a2b36abf813b8f346332e1fa0fffdf68e3e19ff6168a3510ca90acdc", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.60 [INFO] [stderr] Compiling quote v1.0.28 [INFO] [stderr] Compiling unicode-ident v1.0.9 [INFO] [stderr] Compiling thiserror v1.0.40 [INFO] [stderr] Compiling ucd-trie v0.1.5 [INFO] [stderr] Compiling once_cell v1.18.0 [INFO] [stderr] Compiling syn v2.0.18 [INFO] [stderr] Compiling thiserror-impl v1.0.40 [INFO] [stderr] Compiling pest v2.6.1 [INFO] [stderr] Compiling pest_meta v2.6.1 [INFO] [stderr] Compiling pest_generator v2.6.1 [INFO] [stderr] Compiling pest_derive v2.6.1 [INFO] [stderr] Checking dataflow v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `std::io` [INFO] [stdout] --> src/main.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::io; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/occParser.rs:297:16 [INFO] [stdout] | [INFO] [stdout] 297 | if (l_pats.len() != l_occs.len()) { unreachable!(); } [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 297 - if (l_pats.len() != l_occs.len()) { unreachable!(); } [INFO] [stdout] 297 + if l_pats.len() != l_occs.len() { unreachable!(); } [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/occParser.rs:369:8 [INFO] [stdout] | [INFO] [stdout] 369 | if (inner.clone().count() == 1) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 369 - if (inner.clone().count() == 1) [INFO] [stdout] 369 + if inner.clone().count() == 1 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::io` [INFO] [stdout] --> src/main.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::io; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fs` [INFO] [stdout] --> src/exprParser.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use std::fs; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/exprParser.rs:142:16 [INFO] [stdout] | [INFO] [stdout] 142 | if (l_pats.len() != l_exprs.len()) { unreachable!(); } [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 142 - if (l_pats.len() != l_exprs.len()) { unreachable!(); } [INFO] [stdout] 142 + if l_pats.len() != l_exprs.len() { unreachable!(); } [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/occParser.rs:297:16 [INFO] [stdout] | [INFO] [stdout] 297 | if (l_pats.len() != l_occs.len()) { unreachable!(); } [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 297 - if (l_pats.len() != l_occs.len()) { unreachable!(); } [INFO] [stdout] 297 + if l_pats.len() != l_occs.len() { unreachable!(); } [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/exprParser.rs:214:8 [INFO] [stdout] | [INFO] [stdout] 214 | if (inner.clone().count() == 1) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 214 - if (inner.clone().count() == 1) [INFO] [stdout] 214 + if inner.clone().count() == 1 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/occParser.rs:369:8 [INFO] [stdout] | [INFO] [stdout] 369 | if (inner.clone().count() == 1) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 369 - if (inner.clone().count() == 1) [INFO] [stdout] 369 + if inner.clone().count() == 1 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::occParser` [INFO] [stdout] --> src/convExprToOcc.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::occParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fs` [INFO] [stdout] --> src/exprParser.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use std::fs; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::HashMap` [INFO] [stdout] --> src/approxOrder.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::collections::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `hash` and `process::id` [INFO] [stdout] --> src/tc.rs:1:33 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{collections::HashMap, process::id, hash}; [INFO] [stdout] | ^^^^^^^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/exprParser.rs:142:16 [INFO] [stdout] | [INFO] [stdout] 142 | if (l_pats.len() != l_exprs.len()) { unreachable!(); } [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 142 - if (l_pats.len() != l_exprs.len()) { unreachable!(); } [INFO] [stdout] 142 + if l_pats.len() != l_exprs.len() { unreachable!(); } [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator::Val` [INFO] [stdout] --> src/main.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 27 | use crate::evaluator::Val; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around `if` condition [INFO] [stdout] --> src/exprParser.rs:214:8 [INFO] [stdout] | [INFO] [stdout] 214 | if (inner.clone().count() == 1) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 214 - if (inner.clone().count() == 1) [INFO] [stdout] 214 + if inner.clone().count() == 1 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator::SOcc` [INFO] [stdout] --> src/main.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use crate::evaluator::SOcc; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::occParser` [INFO] [stdout] --> src/convExprToOcc.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::occParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::tc::TypeChecker` [INFO] [stdout] --> src/main.rs:30:5 [INFO] [stdout] | [INFO] [stdout] 30 | use crate::tc::TypeChecker; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::typechecker::SemOcc` [INFO] [stdout] --> src/main.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | use crate::typechecker::SemOcc; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::collections::HashMap` [INFO] [stdout] --> src/approxOrder.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::collections::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `hash` and `process::id` [INFO] [stdout] --> src/tc.rs:1:33 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{collections::HashMap, process::id, hash}; [INFO] [stdout] | ^^^^^^^^^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::occParser` [INFO] [stdout] --> src/tests/tests.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::occParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator` [INFO] [stdout] --> src/tests/tests.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::evaluator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::occParser` [INFO] [stdout] --> src/tests/var.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::occParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator` [INFO] [stdout] --> src/tests/var.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::evaluator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::occParser` [INFO] [stdout] --> src/tests/constants.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::occParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator` [INFO] [stdout] --> src/tests/constants.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::evaluator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::occParser` [INFO] [stdout] --> src/tests/func.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::occParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator` [INFO] [stdout] --> src/tests/func.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::evaluator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::occParser` [INFO] [stdout] --> src/tests/app.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::occParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator` [INFO] [stdout] --> src/tests/app.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::evaluator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::occParser` [INFO] [stdout] --> src/tests/fapp.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::occParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator` [INFO] [stdout] --> src/tests/fapp.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::evaluator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::occParser` [INFO] [stdout] --> src/tests/letTest.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::occParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator` [INFO] [stdout] --> src/tests/letTest.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::evaluator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::occParser` [INFO] [stdout] --> src/tests/case.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::occParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator` [INFO] [stdout] --> src/tests/case.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::evaluator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::tc::SemOcc` [INFO] [stdout] --> src/tests/case.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::tc::SemOcc; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::occParser` [INFO] [stdout] --> src/tests/reference.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::occParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator` [INFO] [stdout] --> src/tests/reference.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::evaluator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::occParser` [INFO] [stdout] --> src/tests/reference_read.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::occParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator` [INFO] [stdout] --> src/tests/reference_read.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::evaluator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::occParser` [INFO] [stdout] --> src/tests/reference_write.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::occParser; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator` [INFO] [stdout] --> src/tests/reference_write.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::evaluator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::tc::SemOcc` [INFO] [stdout] --> src/tests/reference_write.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use crate::tc::SemOcc; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator::Val` [INFO] [stdout] --> src/main.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 27 | use crate::evaluator::Val; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::evaluator::SOcc` [INFO] [stdout] --> src/main.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | use crate::evaluator::SOcc; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::tc::TypeChecker` [INFO] [stdout] --> src/main.rs:30:5 [INFO] [stdout] | [INFO] [stdout] 30 | use crate::tc::TypeChecker; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::typechecker::SemOcc` [INFO] [stdout] --> src/main.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | use crate::typechecker::SemOcc; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:171:19 [INFO] [stdout] | [INFO] [stdout] 171 | pub fn Parse_Expr(mut str: String) -> Occ [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:201:15 [INFO] [stdout] | [INFO] [stdout] 201 | fn parse_expr(mut pair: Pair) -> Expr [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:203:9 [INFO] [stdout] | [INFO] [stdout] 203 | let mut expr: Expr; [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:205:9 [INFO] [stdout] | [INFO] [stdout] 205 | let mut rule = pair.into_inner().next().unwrap(); [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:360:19 [INFO] [stdout] | [INFO] [stdout] 360 | pub fn parse_occs(mut pair: Pair) -> Vec> [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:366:9 [INFO] [stdout] | [INFO] [stdout] 366 | fn occs(mut pair: Pair, mut vec: Vec>) -> Vec> [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:381:19 [INFO] [stdout] | [INFO] [stdout] 381 | pub fn parse_pats(mut pair: Pair) -> Vec [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:387:9 [INFO] [stdout] | [INFO] [stdout] 387 | fn pats(mut pair: Pair, mut vec: Vec) -> Vec [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:171:19 [INFO] [stdout] | [INFO] [stdout] 171 | pub fn Parse_Expr(mut str: String) -> Occ [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:201:15 [INFO] [stdout] | [INFO] [stdout] 201 | fn parse_expr(mut pair: Pair) -> Expr [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:203:9 [INFO] [stdout] | [INFO] [stdout] 203 | let mut expr: Expr; [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:205:9 [INFO] [stdout] | [INFO] [stdout] 205 | let mut rule = pair.into_inner().next().unwrap(); [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:360:19 [INFO] [stdout] | [INFO] [stdout] 360 | pub fn parse_occs(mut pair: Pair) -> Vec> [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:366:9 [INFO] [stdout] | [INFO] [stdout] 366 | fn occs(mut pair: Pair, mut vec: Vec>) -> Vec> [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:381:19 [INFO] [stdout] | [INFO] [stdout] 381 | pub fn parse_pats(mut pair: Pair) -> Vec [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/exprParser.rs:24:15 [INFO] [stdout] | [INFO] [stdout] 24 | pub fn parser(mut str: String) -> Expr [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/occParser.rs:387:9 [INFO] [stdout] | [INFO] [stdout] 387 | fn pats(mut pair: Pair, mut vec: Vec) -> Vec [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/exprParser.rs:48:9 [INFO] [stdout] | [INFO] [stdout] 48 | let mut expr: Expr; [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/exprParser.rs:50:9 [INFO] [stdout] | [INFO] [stdout] 50 | let mut rule = pairs.next().unwrap(); [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/exprParser.rs:205:20 [INFO] [stdout] | [INFO] [stdout] 205 | pub fn parse_exprs(mut pair: Pair) -> Vec> [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/exprParser.rs:211:10 [INFO] [stdout] | [INFO] [stdout] 211 | fn exprs(mut pair: Pair, mut vec: Vec>) -> Vec> [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/exprParser.rs:226:19 [INFO] [stdout] | [INFO] [stdout] 226 | pub fn parse_pats(mut pair: Pair) -> Vec [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/exprParser.rs:232:9 [INFO] [stdout] | [INFO] [stdout] 232 | fn pats(mut pair: Pair, mut vec: Vec) -> Vec [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/convExprToOcc.rs:114:14 [INFO] [stdout] | [INFO] [stdout] 114 | fn case_occs(mut evec: Vec>, mut index: usize) -> (Vec>, usize) [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `sto` is never read [INFO] [stdout] --> src/evaluator.rs:52:8 [INFO] [stdout] | [INFO] [stdout] 52 | (v,sto, w, gbind, (L, V)) = eval(occ, env, sto, w, gbind); [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:42:9 [INFO] [stdout] | [INFO] [stdout] 42 | let mut env: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:48:9 [INFO] [stdout] | [INFO] [stdout] 48 | let mut v: Val; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:49:9 [INFO] [stdout] | [INFO] [stdout] 49 | let mut L: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:50:9 [INFO] [stdout] | [INFO] [stdout] 50 | let mut V: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `L` is never read [INFO] [stdout] --> src/evaluator.rs:390:21 [INFO] [stdout] | [INFO] [stdout] 390 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `V` is never read [INFO] [stdout] --> src/evaluator.rs:391:21 [INFO] [stdout] | [INFO] [stdout] 391 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `L` is never read [INFO] [stdout] --> src/evaluator.rs:405:21 [INFO] [stdout] | [INFO] [stdout] 405 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `V` is never read [INFO] [stdout] --> src/evaluator.rs:406:21 [INFO] [stdout] | [INFO] [stdout] 406 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `L1` is never read [INFO] [stdout] --> src/evaluator.rs:407:21 [INFO] [stdout] | [INFO] [stdout] 407 | let mut L1: Vec = Vec::new(); [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `V1` is never read [INFO] [stdout] --> src/evaluator.rs:408:21 [INFO] [stdout] | [INFO] [stdout] 408 | let mut V1: Vec = Vec::new(); [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `L` is never read [INFO] [stdout] --> src/evaluator.rs:429:21 [INFO] [stdout] | [INFO] [stdout] 429 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `V` is never read [INFO] [stdout] --> src/evaluator.rs:430:21 [INFO] [stdout] | [INFO] [stdout] 430 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:64:17 [INFO] [stdout] | [INFO] [stdout] 64 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:65:17 [INFO] [stdout] | [INFO] [stdout] 65 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:110:17 [INFO] [stdout] | [INFO] [stdout] 110 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:111:17 [INFO] [stdout] | [INFO] [stdout] 111 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:287:17 [INFO] [stdout] | [INFO] [stdout] 287 | let mut L: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:288:17 [INFO] [stdout] | [INFO] [stdout] 288 | let mut V: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:289:17 [INFO] [stdout] | [INFO] [stdout] 289 | let mut L1: Vec; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:290:17 [INFO] [stdout] | [INFO] [stdout] 290 | let mut V1: Vec; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:308:17 [INFO] [stdout] | [INFO] [stdout] 308 | let mut L: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:309:17 [INFO] [stdout] | [INFO] [stdout] 309 | let mut V: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:322:33 [INFO] [stdout] | [INFO] [stdout] 322 | ... let mut L1: Vec; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:323:33 [INFO] [stdout] | [INFO] [stdout] 323 | ... let mut V1: Vec; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:470:17 [INFO] [stdout] | [INFO] [stdout] 470 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:471:17 [INFO] [stdout] | [INFO] [stdout] 471 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `t2` is assigned to, but never used [INFO] [stdout] --> src/typechecker.rs:173:17 [INFO] [stdout] | [INFO] [stdout] 173 | let t2: Type; [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_t2` instead [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `t2` is never read [INFO] [stdout] --> src/typechecker.rs:174:58 [INFO] [stdout] | [INFO] [stdout] 174 | ... match occ.clone().expr.LHS { Some(occ1) => {(t2, Gamma) = TCheck(Gamma, Pi.clone(), Box::into_inner(occ1), v, assumption.clone()); ... [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `key` [INFO] [stdout] --> src/typechecker.rs:200:17 [INFO] [stdout] | [INFO] [stdout] 200 | let key = SemOcc { ident: occ.clone().expr.ident, label: occ.clone().label }; [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_key` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:138:26 [INFO] [stdout] | [INFO] [stdout] 138 | let (ti, mut gamma) = TCheck(Gamma.clone(), Pi.clone(), Box::into_inner((*o).clone()), v.clone(), assumption.clone()); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `Pi` [INFO] [stdout] --> src/typechecker.rs:236:64 [INFO] [stdout] | [INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_Pi` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:236:30 [INFO] [stdout] | [INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `point` [INFO] [stdout] --> src/typechecker.rs:252:34 [INFO] [stdout] | [INFO] [stdout] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap, v: Vec>) -> Vec [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_point` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:252:48 [INFO] [stdout] | [INFO] [stdout] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap, v: Vec>) -> Vec [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:287:12 [INFO] [stdout] | [INFO] [stdout] 287 | fn sqUnion(mut t: Type, mut b: Vec) -> Type [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:308:10 [INFO] [stdout] | [INFO] [stdout] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:308:24 [INFO] [stdout] | [INFO] [stdout] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:312:20 [INFO] [stdout] | [INFO] [stdout] 312 | Type::Base{mut delta, mut kappa} => [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:312:31 [INFO] [stdout] | [INFO] [stdout] 312 | Type::Base{mut delta, mut kappa} => [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec1` is never read [INFO] [stdout] --> src/approxOrder.rs:50:13 [INFO] [stdout] | [INFO] [stdout] 50 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec2` is never read [INFO] [stdout] --> src/approxOrder.rs:55:13 [INFO] [stdout] | [INFO] [stdout] 55 | let mut vec2: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `l_vec` is never read [INFO] [stdout] --> src/approxOrder.rs:60:13 [INFO] [stdout] | [INFO] [stdout] 60 | let mut l_vec: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec1` is never read [INFO] [stdout] --> src/approxOrder.rs:75:13 [INFO] [stdout] | [INFO] [stdout] 75 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec2` is never read [INFO] [stdout] --> src/approxOrder.rs:79:13 [INFO] [stdout] | [INFO] [stdout] 79 | let mut vec2: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec1` is never read [INFO] [stdout] --> src/approxOrder.rs:91:13 [INFO] [stdout] | [INFO] [stdout] 91 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec2` is never read [INFO] [stdout] --> src/approxOrder.rs:95:13 [INFO] [stdout] | [INFO] [stdout] 95 | let mut vec2: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec1` is never read [INFO] [stdout] --> src/approxOrder.rs:108:13 [INFO] [stdout] | [INFO] [stdout] 108 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/approxOrder.rs:118:13 [INFO] [stdout] | [INFO] [stdout] 118 | let mut vec2: Vec<(usize,usize)>; [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec1` is never read [INFO] [stdout] --> src/approxOrder.rs:131:13 [INFO] [stdout] | [INFO] [stdout] 131 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/exprParser.rs:24:15 [INFO] [stdout] | [INFO] [stdout] 24 | pub fn parser(mut str: String) -> Expr [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/exprParser.rs:48:9 [INFO] [stdout] | [INFO] [stdout] 48 | let mut expr: Expr; [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/exprParser.rs:50:9 [INFO] [stdout] | [INFO] [stdout] 50 | let mut rule = pairs.next().unwrap(); [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/exprParser.rs:205:20 [INFO] [stdout] | [INFO] [stdout] 205 | pub fn parse_exprs(mut pair: Pair) -> Vec> [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:92:11 [INFO] [stdout] | [INFO] [stdout] 92 | let mut t: Type = match self.gamma.get(&lookup) { Some(val) => { (*val).clone() } None => { unreachable!() }}; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/exprParser.rs:211:10 [INFO] [stdout] | [INFO] [stdout] 211 | fn exprs(mut pair: Pair, mut vec: Vec>) -> Vec> [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/exprParser.rs:226:19 [INFO] [stdout] | [INFO] [stdout] 226 | pub fn parse_pats(mut pair: Pair) -> Vec [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/exprParser.rs:232:9 [INFO] [stdout] | [INFO] [stdout] 232 | fn pats(mut pair: Pair, mut vec: Vec) -> Vec [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/convExprToOcc.rs:114:14 [INFO] [stdout] | [INFO] [stdout] 114 | fn case_occs(mut evec: Vec>, mut index: usize) -> (Vec>, usize) [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `T1` [INFO] [stdout] --> src/tc.rs:253:16 [INFO] [stdout] | [INFO] [stdout] 253 | Type::Abs { T1, T2 } => { unreachable!(); } [INFO] [stdout] | ^^ help: try ignoring the field: `T1: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `T2` [INFO] [stdout] --> src/tc.rs:253:20 [INFO] [stdout] | [INFO] [stdout] 253 | Type::Abs { T1, T2 } => { unreachable!(); } [INFO] [stdout] | ^^ help: try ignoring the field: `T2: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/tc.rs:265:7 [INFO] [stdout] | [INFO] [stdout] 265 | let k: SemOcc = SemOcc { ident: self.occ.clone().expr.ident, label: self.occ.clone().label}; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `T1` [INFO] [stdout] --> src/tc.rs:297:16 [INFO] [stdout] | [INFO] [stdout] 297 | Type::Abs { T1, T2 } => { unreachable!(); } [INFO] [stdout] | ^^ help: try ignoring the field: `T1: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `T2` [INFO] [stdout] --> src/tc.rs:297:20 [INFO] [stdout] | [INFO] [stdout] 297 | Type::Abs { T1, T2 } => { unreachable!(); } [INFO] [stdout] | ^^ help: try ignoring the field: `T2: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `T1` [INFO] [stdout] --> src/tc.rs:326:19 [INFO] [stdout] | [INFO] [stdout] 326 | Type::Abs { T1, T2 } => { unreachable!("Error: mutable bindings cannot be abstractions"); } [INFO] [stdout] | ^^ help: try ignoring the field: `T1: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `sto` is never read [INFO] [stdout] --> src/evaluator.rs:52:8 [INFO] [stdout] | [INFO] [stdout] 52 | (v,sto, w, gbind, (L, V)) = eval(occ, env, sto, w, gbind); [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `T2` [INFO] [stdout] --> src/tc.rs:326:23 [INFO] [stdout] | [INFO] [stdout] 326 | Type::Abs { T1, T2 } => { unreachable!("Error: mutable bindings cannot be abstractions"); } [INFO] [stdout] | ^^ help: try ignoring the field: `T2: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:42:9 [INFO] [stdout] | [INFO] [stdout] 42 | let mut env: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:48:9 [INFO] [stdout] | [INFO] [stdout] 48 | let mut v: Val; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:49:9 [INFO] [stdout] | [INFO] [stdout] 49 | let mut L: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:50:9 [INFO] [stdout] | [INFO] [stdout] 50 | let mut V: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `L` is never read [INFO] [stdout] --> src/evaluator.rs:390:21 [INFO] [stdout] | [INFO] [stdout] 390 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `V` is never read [INFO] [stdout] --> src/evaluator.rs:391:21 [INFO] [stdout] | [INFO] [stdout] 391 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `L` is never read [INFO] [stdout] --> src/evaluator.rs:405:21 [INFO] [stdout] | [INFO] [stdout] 405 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `V` is never read [INFO] [stdout] --> src/evaluator.rs:406:21 [INFO] [stdout] | [INFO] [stdout] 406 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `L1` is never read [INFO] [stdout] --> src/evaluator.rs:407:21 [INFO] [stdout] | [INFO] [stdout] 407 | let mut L1: Vec = Vec::new(); [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `V1` is never read [INFO] [stdout] --> src/evaluator.rs:408:21 [INFO] [stdout] | [INFO] [stdout] 408 | let mut V1: Vec = Vec::new(); [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `L` is never read [INFO] [stdout] --> src/evaluator.rs:429:21 [INFO] [stdout] | [INFO] [stdout] 429 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `V` is never read [INFO] [stdout] --> src/evaluator.rs:430:21 [INFO] [stdout] | [INFO] [stdout] 430 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `delta` [INFO] [stdout] --> src/tc.rs:404:17 [INFO] [stdout] | [INFO] [stdout] 404 | Type::Base { delta, kappa} => [INFO] [stdout] | ^^^^^ help: try ignoring the field: `delta: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `kappa` [INFO] [stdout] --> src/tc.rs:404:24 [INFO] [stdout] | [INFO] [stdout] 404 | Type::Base { delta, kappa} => [INFO] [stdout] | ^^^^^ help: try ignoring the field: `kappa: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `T1` [INFO] [stdout] --> src/tc.rs:408:16 [INFO] [stdout] | [INFO] [stdout] 408 | Type::Abs { T1, T2 } => [INFO] [stdout] | ^^ help: try ignoring the field: `T1: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:400:25 [INFO] [stdout] | [INFO] [stdout] 400 | fn sq_union(&mut self, mut t1: Type, mut t2: Type) -> Type [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:400:39 [INFO] [stdout] | [INFO] [stdout] 400 | fn sq_union(&mut self, mut t1: Type, mut t2: Type) -> Type [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:415:22 [INFO] [stdout] | [INFO] [stdout] 415 | fn union(&mut self, mut t1: Type, mut t2: Type) -> Type [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:415:36 [INFO] [stdout] | [INFO] [stdout] 415 | fn union(&mut self, mut t1: Type, mut t2: Type) -> Type [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:421:9 [INFO] [stdout] | [INFO] [stdout] 421 | let mut d: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:422:9 [INFO] [stdout] | [INFO] [stdout] 422 | let mut k: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:492:7 [INFO] [stdout] | [INFO] [stdout] 492 | let mut condition: bool = true; [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:522:8 [INFO] [stdout] | [INFO] [stdout] 522 | let mut res: Vec = self.get_all_pi(keys.clone()[0]); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:536:9 [INFO] [stdout] | [INFO] [stdout] 536 | let mut temp: Vec = self.get_all_pi(key.clone()); [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:64:17 [INFO] [stdout] | [INFO] [stdout] 64 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:65:17 [INFO] [stdout] | [INFO] [stdout] 65 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:110:17 [INFO] [stdout] | [INFO] [stdout] 110 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:111:17 [INFO] [stdout] | [INFO] [stdout] 111 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:287:17 [INFO] [stdout] | [INFO] [stdout] 287 | let mut L: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:288:17 [INFO] [stdout] | [INFO] [stdout] 288 | let mut V: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:289:17 [INFO] [stdout] | [INFO] [stdout] 289 | let mut L1: Vec; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:290:17 [INFO] [stdout] | [INFO] [stdout] 290 | let mut V1: Vec; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:308:17 [INFO] [stdout] | [INFO] [stdout] 308 | let mut L: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:309:17 [INFO] [stdout] | [INFO] [stdout] 309 | let mut V: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:322:33 [INFO] [stdout] | [INFO] [stdout] 322 | ... let mut L1: Vec; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:323:33 [INFO] [stdout] | [INFO] [stdout] 323 | ... let mut V1: Vec; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:470:17 [INFO] [stdout] | [INFO] [stdout] 470 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/evaluator.rs:471:17 [INFO] [stdout] | [INFO] [stdout] 471 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:67:9 [INFO] [stdout] | [INFO] [stdout] 67 | let mut Gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `t2` is assigned to, but never used [INFO] [stdout] --> src/typechecker.rs:173:17 [INFO] [stdout] | [INFO] [stdout] 173 | let t2: Type; [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_t2` instead [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `t2` is never read [INFO] [stdout] --> src/typechecker.rs:174:58 [INFO] [stdout] | [INFO] [stdout] 174 | ... match occ.clone().expr.LHS { Some(occ1) => {(t2, Gamma) = TCheck(Gamma, Pi.clone(), Box::into_inner(occ1), v, assumption.clone()); ... [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `key` [INFO] [stdout] --> src/typechecker.rs:200:17 [INFO] [stdout] | [INFO] [stdout] 200 | let key = SemOcc { ident: occ.clone().expr.ident, label: occ.clone().label }; [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_key` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `occParser` should have a snake case name [INFO] [stdout] --> src/main.rs:11:9 [INFO] [stdout] | [INFO] [stdout] 11 | pub mod occParser; [INFO] [stdout] | ^^^^^^^^^ help: convert the identifier to snake case: `occ_parser` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `exprParser` should have a snake case name [INFO] [stdout] --> src/main.rs:12:9 [INFO] [stdout] | [INFO] [stdout] 12 | pub mod exprParser; [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `expr_parser` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `convExprToOcc` should have a snake case name [INFO] [stdout] --> src/main.rs:13:9 [INFO] [stdout] | [INFO] [stdout] 13 | pub mod convExprToOcc; [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `conv_expr_to_occ` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `approxOrder` should have a snake case name [INFO] [stdout] --> src/main.rs:16:9 [INFO] [stdout] | [INFO] [stdout] 16 | pub mod approxOrder; [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `approx_order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `File` should have a snake case name [INFO] [stdout] --> src/main.rs:36:9 [INFO] [stdout] | [INFO] [stdout] 36 | let File = fs::read_to_string(&args[1]); [INFO] [stdout] | ^^^^ help: convert the identifier to snake case (notice the capitalization): `file` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `ReadFile` should have a snake case name [INFO] [stdout] --> src/main.rs:37:9 [INFO] [stdout] | [INFO] [stdout] 37 | let ReadFile = match File [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `read_file` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Gamma` should have a snake case name [INFO] [stdout] --> src/main.rs:67:13 [INFO] [stdout] | [INFO] [stdout] 67 | let mut Gamma: HashMap = HashMap::new(); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `gamma` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Pi` should have a snake case name [INFO] [stdout] --> src/main.rs:68:9 [INFO] [stdout] | [INFO] [stdout] 68 | let Pi = approx(occ.clone()); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `pi` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `ExpType` should have a snake case name [INFO] [stdout] --> src/occParser.rs:12:9 [INFO] [stdout] | [INFO] [stdout] 12 | pub ExpType: Type, [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `exp_type` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `LHS` should have a snake case name [INFO] [stdout] --> src/occParser.rs:14:9 [INFO] [stdout] | [INFO] [stdout] 14 | pub LHS: Option>, [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `lhs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `RHS` should have a snake case name [INFO] [stdout] --> src/occParser.rs:15:9 [INFO] [stdout] | [INFO] [stdout] 15 | pub RHS: Option>, [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `rhs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `Pats` should have a snake case name [INFO] [stdout] --> src/occParser.rs:16:9 [INFO] [stdout] | [INFO] [stdout] 16 | pub Pats: Option>, [INFO] [stdout] | ^^^^ help: convert the identifier to snake case: `pats` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `Occs` should have a snake case name [INFO] [stdout] --> src/occParser.rs:17:9 [INFO] [stdout] | [INFO] [stdout] 17 | pub Occs: Option>>, [INFO] [stdout] | ^^^^ help: convert the identifier to snake case (notice the capitalization): `occs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `Great` should have a snake case name [INFO] [stdout] --> src/occParser.rs:111:8 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn Great(c1: Constant, c2: Constant) -> Constant [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `great` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `Less` should have a snake case name [INFO] [stdout] --> src/occParser.rs:121:8 [INFO] [stdout] | [INFO] [stdout] 121 | pub fn Less(c1: Constant, c2: Constant) -> Constant [INFO] [stdout] | ^^^^ help: convert the identifier to snake case: `less` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `Equal` should have a snake case name [INFO] [stdout] --> src/occParser.rs:131:8 [INFO] [stdout] | [INFO] [stdout] 131 | pub fn Equal(c1: Constant, c2: Constant) -> Constant [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `equal` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `NEqual` should have a snake case name [INFO] [stdout] --> src/occParser.rs:141:8 [INFO] [stdout] | [INFO] [stdout] 141 | pub fn NEqual(c1: Constant, c2: Constant) -> Constant [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `nequal` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `GEq` should have a snake case name [INFO] [stdout] --> src/occParser.rs:151:8 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn GEq(c1: Constant, c2: Constant) -> Constant [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `geq` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `LEq` should have a snake case name [INFO] [stdout] --> src/occParser.rs:161:8 [INFO] [stdout] | [INFO] [stdout] 161 | pub fn LEq(c1: Constant, c2: Constant) -> Constant [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `leq` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `Parse_Expr` should have a snake case name [INFO] [stdout] --> src/occParser.rs:171:8 [INFO] [stdout] | [INFO] [stdout] 171 | pub fn Parse_Expr(mut str: String) -> Occ [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `parse_expr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Parsed` should have a snake case name [INFO] [stdout] --> src/occParser.rs:173:9 [INFO] [stdout] | [INFO] [stdout] 173 | let Parsed = ExprParser::parse(Rule::file, &str) [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `parsed` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `ExpType` should have a snake case name [INFO] [stdout] --> src/exprParser.rs:16:9 [INFO] [stdout] | [INFO] [stdout] 16 | pub ExpType: Type, [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `exp_type` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `LHS` should have a snake case name [INFO] [stdout] --> src/exprParser.rs:18:9 [INFO] [stdout] | [INFO] [stdout] 18 | pub LHS: Option>, [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `lhs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `RHS` should have a snake case name [INFO] [stdout] --> src/exprParser.rs:19:9 [INFO] [stdout] | [INFO] [stdout] 19 | pub RHS: Option>, [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `rhs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `Pats` should have a snake case name [INFO] [stdout] --> src/exprParser.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 20 | pub Pats: Option>, [INFO] [stdout] | ^^^^ help: convert the identifier to snake case: `pats` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `Exprs` should have a snake case name [INFO] [stdout] --> src/exprParser.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | pub Exprs: Option>>, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `exprs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Parsed` should have a snake case name [INFO] [stdout] --> src/exprParser.rs:26:9 [INFO] [stdout] | [INFO] [stdout] 26 | let Parsed = ExprParser::parse(Rule::file, &str) [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `parsed` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `eType` should have a snake case name [INFO] [stdout] --> src/convExprToOcc.rs:18:9 [INFO] [stdout] | [INFO] [stdout] 18 | let eType = expression.ExpType; [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `e_type` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `oExpr` should have a snake case name [INFO] [stdout] --> src/convExprToOcc.rs:19:13 [INFO] [stdout] | [INFO] [stdout] 19 | let mut oExpr: Expr = Expr { ExpType: eType.clone(), ident: expression.ident, LHS: None, RHS: None, Pats: expression.Pats, Occs: None }; [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `o_expr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `identR` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:19:9 [INFO] [stdout] | [INFO] [stdout] 19 | identR: String, [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `ident_r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `bodyR` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 20 | bodyR: Box, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `body_r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `penvR` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | penvR: HashMap, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `penv_r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: static variable `next` should have an upper case name [INFO] [stdout] --> src/evaluator.rs:38:12 [INFO] [stdout] | [INFO] [stdout] 38 | static mut next: usize = 0; [INFO] [stdout] | ^^^^ help: convert the identifier to upper case: `NEXT` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_upper_case_globals)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:49:13 [INFO] [stdout] | [INFO] [stdout] 49 | let mut L: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:50:13 [INFO] [stdout] | [INFO] [stdout] 50 | let mut V: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:64:21 [INFO] [stdout] | [INFO] [stdout] 64 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:65:21 [INFO] [stdout] | [INFO] [stdout] 65 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:79:29 [INFO] [stdout] | [INFO] [stdout] 79 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:80:29 [INFO] [stdout] | [INFO] [stdout] 80 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:83:29 [INFO] [stdout] | [INFO] [stdout] 83 | let mut _L1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:84:29 [INFO] [stdout] | [INFO] [stdout] 84 | let mut _V1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:85:25 [INFO] [stdout] | [INFO] [stdout] 85 | let L1: &mut Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:86:25 [INFO] [stdout] | [INFO] [stdout] 86 | let V1: &mut Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:110:21 [INFO] [stdout] | [INFO] [stdout] 110 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:111:21 [INFO] [stdout] | [INFO] [stdout] 111 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:127:29 [INFO] [stdout] | [INFO] [stdout] 127 | let mut L: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:128:29 [INFO] [stdout] | [INFO] [stdout] 128 | let mut V: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:136:37 [INFO] [stdout] | [INFO] [stdout] 136 | ... let mut _L1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:137:37 [INFO] [stdout] | [INFO] [stdout] 137 | ... let mut _V1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:144:33 [INFO] [stdout] | [INFO] [stdout] 144 | ... let L1: &mut Vec = &mut _L1; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:145:33 [INFO] [stdout] | [INFO] [stdout] 145 | ... let V1: &mut Vec = &mut _V1; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:147:37 [INFO] [stdout] | [INFO] [stdout] 147 | ... let mut _L2: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:138:26 [INFO] [stdout] | [INFO] [stdout] 138 | let (ti, mut gamma) = TCheck(Gamma.clone(), Pi.clone(), Box::into_inner((*o).clone()), v.clone(), assumption.clone()); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:148:37 [INFO] [stdout] | [INFO] [stdout] 148 | ... let mut _V2: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:150:33 [INFO] [stdout] | [INFO] [stdout] 150 | ... let L2: &mut Vec = &mut _L2; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:151:33 [INFO] [stdout] | [INFO] [stdout] 151 | ... let V2: &mut Vec = &mut _V2; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:159:37 [INFO] [stdout] | [INFO] [stdout] 159 | ... let mut _L1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:160:37 [INFO] [stdout] | [INFO] [stdout] 160 | ... let mut _V1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:172:37 [INFO] [stdout] | [INFO] [stdout] 172 | ... let mut _L2: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `Pi` [INFO] [stdout] --> src/typechecker.rs:236:64 [INFO] [stdout] | [INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_Pi` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:173:37 [INFO] [stdout] | [INFO] [stdout] 173 | ... let mut _V2: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:176:33 [INFO] [stdout] | [INFO] [stdout] 176 | ... let L1: &mut Vec = &mut _L1; let L2: &mut Vec = &mut _L2; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:176:68 [INFO] [stdout] | [INFO] [stdout] 176 | ... let L1: &mut Vec = &mut _L1; let L2: &mut Vec = &mut _L2; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:177:33 [INFO] [stdout] | [INFO] [stdout] 177 | ... let V1: &mut Vec = &mut _V1; let V2: &mut Vec = &mut _V2; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:177:68 [INFO] [stdout] | [INFO] [stdout] 177 | ... let V1: &mut Vec = &mut _V1; let V2: &mut Vec = &mut _V2; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:193:21 [INFO] [stdout] | [INFO] [stdout] 193 | let mut L: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:194:21 [INFO] [stdout] | [INFO] [stdout] 194 | let mut V: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:195:21 [INFO] [stdout] | [INFO] [stdout] 195 | let mut _L1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:196:21 [INFO] [stdout] | [INFO] [stdout] 196 | let mut _V1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:202:17 [INFO] [stdout] | [INFO] [stdout] 202 | let L1: &mut Vec = &mut _L1; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:203:17 [INFO] [stdout] | [INFO] [stdout] 203 | let V1: &mut Vec = &mut _V1; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:287:21 [INFO] [stdout] | [INFO] [stdout] 287 | let mut L: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:288:21 [INFO] [stdout] | [INFO] [stdout] 288 | let mut V: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:289:21 [INFO] [stdout] | [INFO] [stdout] 289 | let mut L1: Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:290:21 [INFO] [stdout] | [INFO] [stdout] 290 | let mut V1: Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:236:30 [INFO] [stdout] | [INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:308:21 [INFO] [stdout] | [INFO] [stdout] 308 | let mut L: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:309:21 [INFO] [stdout] | [INFO] [stdout] 309 | let mut V: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `point` [INFO] [stdout] --> src/typechecker.rs:252:34 [INFO] [stdout] | [INFO] [stdout] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap, v: Vec>) -> Vec [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_point` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:322:37 [INFO] [stdout] | [INFO] [stdout] 322 | ... let mut L1: Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:323:37 [INFO] [stdout] | [INFO] [stdout] 323 | ... let mut V1: Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:345:21 [INFO] [stdout] | [INFO] [stdout] 345 | let mut L: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:346:21 [INFO] [stdout] | [INFO] [stdout] 346 | let mut V: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:359:37 [INFO] [stdout] | [INFO] [stdout] 359 | ... let mut _L1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:360:37 [INFO] [stdout] | [INFO] [stdout] 360 | ... let mut _V1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:366:33 [INFO] [stdout] | [INFO] [stdout] 366 | ... let L1: &mut Vec = &mut _L1; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:367:33 [INFO] [stdout] | [INFO] [stdout] 367 | ... let V1: &mut Vec = &mut _V1; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:374:37 [INFO] [stdout] | [INFO] [stdout] 374 | ... let mut _L1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:375:37 [INFO] [stdout] | [INFO] [stdout] 375 | ... let mut _V1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:378:33 [INFO] [stdout] | [INFO] [stdout] 378 | ... let L1: &mut Vec = &mut _L1; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:379:33 [INFO] [stdout] | [INFO] [stdout] 379 | ... let V1: &mut Vec = &mut _V1; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:390:21 [INFO] [stdout] | [INFO] [stdout] 390 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:252:48 [INFO] [stdout] | [INFO] [stdout] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap, v: Vec>) -> Vec [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:391:21 [INFO] [stdout] | [INFO] [stdout] 391 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:405:21 [INFO] [stdout] | [INFO] [stdout] 405 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:406:21 [INFO] [stdout] | [INFO] [stdout] 406 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:407:21 [INFO] [stdout] | [INFO] [stdout] 407 | let mut L1: Vec = Vec::new(); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:408:21 [INFO] [stdout] | [INFO] [stdout] 408 | let mut V1: Vec = Vec::new(); [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:429:21 [INFO] [stdout] | [INFO] [stdout] 429 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:430:21 [INFO] [stdout] | [INFO] [stdout] 430 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:439:29 [INFO] [stdout] | [INFO] [stdout] 439 | let mut _L1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:287:12 [INFO] [stdout] | [INFO] [stdout] 287 | fn sqUnion(mut t: Type, mut b: Vec) -> Type [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:440:29 [INFO] [stdout] | [INFO] [stdout] 440 | let mut _V1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:441:25 [INFO] [stdout] | [INFO] [stdout] 441 | let L1: &mut Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:442:25 [INFO] [stdout] | [INFO] [stdout] 442 | let V1: &mut Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:470:21 [INFO] [stdout] | [INFO] [stdout] 470 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:471:21 [INFO] [stdout] | [INFO] [stdout] 471 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `T1` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:24:9 [INFO] [stdout] | [INFO] [stdout] 24 | T1: Option>, [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `T2` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:25:9 [INFO] [stdout] | [INFO] [stdout] 25 | T2: Option>, [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: static variable `next` should have an upper case name [INFO] [stdout] --> src/typechecker.rs:29:12 [INFO] [stdout] | [INFO] [stdout] 29 | static mut next: usize = 0; [INFO] [stdout] | ^^^^ help: convert the identifier to upper case: `NEXT` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `TCheck` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:31:8 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn TCheck(mut Gamma: HashMap, Pi: HashMap, occ: occParser::Occ, v: Vec>, mut assumpt... [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `tcheck` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Gamma` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:31:19 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn TCheck(mut Gamma: HashMap, Pi: HashMap, occ: occParser::Occ, v: Vec>, mut assumpt... [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `gamma` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Pi` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:31:49 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn TCheck(mut Gamma: HashMap, Pi: HashMap, occ: occParser::Occ, v: Vec>, mut assumpt... [INFO] [stdout] | ^^ help: convert the identifier to snake case: `pi` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `GetBinding` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:236:4 [INFO] [stdout] | [INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `get_binding` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Gamma` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:236:34 [INFO] [stdout] | [INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `gamma` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Pi` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:236:64 [INFO] [stdout] | [INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stdout] | ^^ help: convert the identifier to snake case: `pi` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:308:10 [INFO] [stdout] | [INFO] [stdout] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `gBind` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:238:13 [INFO] [stdout] | [INFO] [stdout] 238 | let mut gBind: Option = None; [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `g_bind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `bindOcc` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:239:13 [INFO] [stdout] | [INFO] [stdout] 239 | let mut bindOcc: SemOcc = SemOcc { ident: ident.clone(), label: 0 }; [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `bind_occ` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:308:24 [INFO] [stdout] | [INFO] [stdout] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `GetAllGBinding` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:252:4 [INFO] [stdout] | [INFO] [stdout] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap, v: Vec>) -> Vec [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `get_all_gbinding` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:312:20 [INFO] [stdout] | [INFO] [stdout] 312 | Type::Base{mut delta, mut kappa} => [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Gamma` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:252:52 [INFO] [stdout] | [INFO] [stdout] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap, v: Vec>) -> Vec [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `gamma` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typechecker.rs:312:31 [INFO] [stdout] | [INFO] [stdout] 312 | Type::Base{mut delta, mut kappa} => [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `gBind` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:257:17 [INFO] [stdout] | [INFO] [stdout] 257 | let mut gBind: usize = 0; [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `g_bind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `bindOcc` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:258:17 [INFO] [stdout] | [INFO] [stdout] 258 | let mut bindOcc: SemOcc = SemOcc { ident: ident.clone(), label: 0 }; [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `bind_occ` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `sqUnion` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:287:4 [INFO] [stdout] | [INFO] [stdout] 287 | fn sqUnion(mut t: Type, mut b: Vec) -> Type [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `sq_union` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `Union` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:308:4 [INFO] [stdout] | [INFO] [stdout] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case (notice the capitalization): `union` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `BaseEqual` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:350:4 [INFO] [stdout] | [INFO] [stdout] 350 | fn BaseEqual(t1: Type, t2: Type) -> bool [INFO] [stdout] | ^^^^^^^^^ help: convert the identifier to snake case: `base_equal` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `ApproximateOrder` should have a snake case name [INFO] [stdout] --> src/approxOrder.rs:16:4 [INFO] [stdout] | [INFO] [stdout] 16 | fn ApproximateOrder(occ: Occ, last_point: usize) -> (Vec<(usize,usize)>, usize, Option>) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `approximate_order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `T1` should have a snake case name [INFO] [stdout] --> src/tc.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | T1: Option>, [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `T2` should have a snake case name [INFO] [stdout] --> src/tc.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 28 | T2: Option>, [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: static variable `next` should have an upper case name [INFO] [stdout] --> src/tc.rs:51:12 [INFO] [stdout] | [INFO] [stdout] 51 | static mut next: usize = 0; [INFO] [stdout] | ^^^^ help: convert the identifier to upper case: `NEXT` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec1` is never read [INFO] [stdout] --> src/approxOrder.rs:50:13 [INFO] [stdout] | [INFO] [stdout] 50 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec2` is never read [INFO] [stdout] --> src/approxOrder.rs:55:13 [INFO] [stdout] | [INFO] [stdout] 55 | let mut vec2: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `l_vec` is never read [INFO] [stdout] --> src/approxOrder.rs:60:13 [INFO] [stdout] | [INFO] [stdout] 60 | let mut l_vec: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec1` is never read [INFO] [stdout] --> src/approxOrder.rs:75:13 [INFO] [stdout] | [INFO] [stdout] 75 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec2` is never read [INFO] [stdout] --> src/approxOrder.rs:79:13 [INFO] [stdout] | [INFO] [stdout] 79 | let mut vec2: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec1` is never read [INFO] [stdout] --> src/approxOrder.rs:91:13 [INFO] [stdout] | [INFO] [stdout] 91 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec2` is never read [INFO] [stdout] --> src/approxOrder.rs:95:13 [INFO] [stdout] | [INFO] [stdout] 95 | let mut vec2: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec1` is never read [INFO] [stdout] --> src/approxOrder.rs:108:13 [INFO] [stdout] | [INFO] [stdout] 108 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/approxOrder.rs:118:13 [INFO] [stdout] | [INFO] [stdout] 118 | let mut vec2: Vec<(usize,usize)>; [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `vec1` is never read [INFO] [stdout] --> src/approxOrder.rs:131:13 [INFO] [stdout] | [INFO] [stdout] 131 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:92:11 [INFO] [stdout] | [INFO] [stdout] 92 | let mut t: Type = match self.gamma.get(&lookup) { Some(val) => { (*val).clone() } None => { unreachable!() }}; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `T1` [INFO] [stdout] --> src/tc.rs:253:16 [INFO] [stdout] | [INFO] [stdout] 253 | Type::Abs { T1, T2 } => { unreachable!(); } [INFO] [stdout] | ^^ help: try ignoring the field: `T1: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 223 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `T2` [INFO] [stdout] --> src/tc.rs:253:20 [INFO] [stdout] | [INFO] [stdout] 253 | Type::Abs { T1, T2 } => { unreachable!(); } [INFO] [stdout] | ^^ help: try ignoring the field: `T2: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/tc.rs:265:7 [INFO] [stdout] | [INFO] [stdout] 265 | let k: SemOcc = SemOcc { ident: self.occ.clone().expr.ident, label: self.occ.clone().label}; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `T1` [INFO] [stdout] --> src/tc.rs:297:16 [INFO] [stdout] | [INFO] [stdout] 297 | Type::Abs { T1, T2 } => { unreachable!(); } [INFO] [stdout] | ^^ help: try ignoring the field: `T1: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `T2` [INFO] [stdout] --> src/tc.rs:297:20 [INFO] [stdout] | [INFO] [stdout] 297 | Type::Abs { T1, T2 } => { unreachable!(); } [INFO] [stdout] | ^^ help: try ignoring the field: `T2: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `T1` [INFO] [stdout] --> src/tc.rs:326:19 [INFO] [stdout] | [INFO] [stdout] 326 | Type::Abs { T1, T2 } => { unreachable!("Error: mutable bindings cannot be abstractions"); } [INFO] [stdout] | ^^ help: try ignoring the field: `T1: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `T2` [INFO] [stdout] --> src/tc.rs:326:23 [INFO] [stdout] | [INFO] [stdout] 326 | Type::Abs { T1, T2 } => { unreachable!("Error: mutable bindings cannot be abstractions"); } [INFO] [stdout] | ^^ help: try ignoring the field: `T2: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `delta` [INFO] [stdout] --> src/tc.rs:404:17 [INFO] [stdout] | [INFO] [stdout] 404 | Type::Base { delta, kappa} => [INFO] [stdout] | ^^^^^ help: try ignoring the field: `delta: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `kappa` [INFO] [stdout] --> src/tc.rs:404:24 [INFO] [stdout] | [INFO] [stdout] 404 | Type::Base { delta, kappa} => [INFO] [stdout] | ^^^^^ help: try ignoring the field: `kappa: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `T1` [INFO] [stdout] --> src/tc.rs:408:16 [INFO] [stdout] | [INFO] [stdout] 408 | Type::Abs { T1, T2 } => [INFO] [stdout] | ^^ help: try ignoring the field: `T1: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:400:25 [INFO] [stdout] | [INFO] [stdout] 400 | fn sq_union(&mut self, mut t1: Type, mut t2: Type) -> Type [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:400:39 [INFO] [stdout] | [INFO] [stdout] 400 | fn sq_union(&mut self, mut t1: Type, mut t2: Type) -> Type [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:415:22 [INFO] [stdout] | [INFO] [stdout] 415 | fn union(&mut self, mut t1: Type, mut t2: Type) -> Type [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:415:36 [INFO] [stdout] | [INFO] [stdout] 415 | fn union(&mut self, mut t1: Type, mut t2: Type) -> Type [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:421:9 [INFO] [stdout] | [INFO] [stdout] 421 | let mut d: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:422:9 [INFO] [stdout] | [INFO] [stdout] 422 | let mut k: Vec; [INFO] [stdout] | ----^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:492:7 [INFO] [stdout] | [INFO] [stdout] 492 | let mut condition: bool = true; [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:522:8 [INFO] [stdout] | [INFO] [stdout] 522 | let mut res: Vec = self.get_all_pi(keys.clone()[0]); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tc.rs:536:9 [INFO] [stdout] | [INFO] [stdout] 536 | let mut temp: Vec = self.get_all_pi(key.clone()); [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/func.rs:18:6 [INFO] [stdout] | [INFO] [stdout] 18 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/func.rs:42:9 [INFO] [stdout] | [INFO] [stdout] 42 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/func.rs:69:6 [INFO] [stdout] | [INFO] [stdout] 69 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/func.rs:98:9 [INFO] [stdout] | [INFO] [stdout] 98 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/app.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 20 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/app.rs:22:9 [INFO] [stdout] | [INFO] [stdout] 22 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/app.rs:40:9 [INFO] [stdout] | [INFO] [stdout] 40 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/app.rs:42:9 [INFO] [stdout] | [INFO] [stdout] 42 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/app.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/fapp.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 20 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/fapp.rs:22:9 [INFO] [stdout] | [INFO] [stdout] 22 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/fapp.rs:42:9 [INFO] [stdout] | [INFO] [stdout] 42 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/fapp.rs:67:9 [INFO] [stdout] | [INFO] [stdout] 67 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/fapp.rs:92:9 [INFO] [stdout] | [INFO] [stdout] 92 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/letTest.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/letTest.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/letTest.rs:41:9 [INFO] [stdout] | [INFO] [stdout] 41 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/letTest.rs:43:9 [INFO] [stdout] | [INFO] [stdout] 43 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/letTest.rs:66:9 [INFO] [stdout] | [INFO] [stdout] 66 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/letTest.rs:93:9 [INFO] [stdout] | [INFO] [stdout] 93 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/letTest.rs:122:9 [INFO] [stdout] | [INFO] [stdout] 122 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/letTest.rs:124:9 [INFO] [stdout] | [INFO] [stdout] 124 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/letTest.rs:147:9 [INFO] [stdout] | [INFO] [stdout] 147 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/letTest.rs:149:9 [INFO] [stdout] | [INFO] [stdout] 149 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/letTest.rs:157:9 [INFO] [stdout] | [INFO] [stdout] 157 | let mut kappa: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/case.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/case.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/case.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 28 | let mut delta: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/case.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | let mut kappa: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/case.rs:33:9 [INFO] [stdout] | [INFO] [stdout] 33 | let mut gamma1: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/case.rs:59:9 [INFO] [stdout] | [INFO] [stdout] 59 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/case.rs:61:9 [INFO] [stdout] | [INFO] [stdout] 61 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/case.rs:66:9 [INFO] [stdout] | [INFO] [stdout] 66 | let mut delta: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/case.rs:67:9 [INFO] [stdout] | [INFO] [stdout] 67 | let mut kappa: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/case.rs:71:9 [INFO] [stdout] | [INFO] [stdout] 71 | let mut gamma1: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/case.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/case.rs:107:9 [INFO] [stdout] | [INFO] [stdout] 107 | let mut kappa: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/case.rs:142:9 [INFO] [stdout] | [INFO] [stdout] 142 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/case.rs:150:9 [INFO] [stdout] | [INFO] [stdout] 150 | let mut kappa: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 20 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference.rs:22:9 [INFO] [stdout] | [INFO] [stdout] 22 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference.rs:58:9 [INFO] [stdout] | [INFO] [stdout] 58 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_read.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_read.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_read.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 28 | let mut delta: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_read.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | let mut kappa: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_read.rs:62:9 [INFO] [stdout] | [INFO] [stdout] 62 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_read.rs:70:9 [INFO] [stdout] | [INFO] [stdout] 70 | let mut kappa: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_write.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 20 | let mut gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_write.rs:22:9 [INFO] [stdout] | [INFO] [stdout] 22 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_write.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | let mut kappa: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_write.rs:58:9 [INFO] [stdout] | [INFO] [stdout] 58 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_write.rs:65:9 [INFO] [stdout] | [INFO] [stdout] 65 | let mut delta: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_write.rs:66:9 [INFO] [stdout] | [INFO] [stdout] 66 | let mut kappa: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_write.rs:104:9 [INFO] [stdout] | [INFO] [stdout] 104 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_write.rs:111:9 [INFO] [stdout] | [INFO] [stdout] 111 | let mut delta: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_write.rs:112:9 [INFO] [stdout] | [INFO] [stdout] 112 | let mut kappa: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_write.rs:150:9 [INFO] [stdout] | [INFO] [stdout] 150 | let mut assumption = Vec::new(); [INFO] [stdout] | ----^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_write.rs:158:9 [INFO] [stdout] | [INFO] [stdout] 158 | let mut delta: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/tests/reference_write.rs:159:9 [INFO] [stdout] | [INFO] [stdout] 159 | let mut kappa: Vec = Vec::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:67:9 [INFO] [stdout] | [INFO] [stdout] 67 | let mut Gamma: HashMap = HashMap::new(); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `empty_base` is never used [INFO] [stdout] --> src/tests/tests.rs:21:4 [INFO] [stdout] | [INFO] [stdout] 21 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } } [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `empty_base` is never used [INFO] [stdout] --> src/tests/case.rs:11:4 [INFO] [stdout] | [INFO] [stdout] 11 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } } [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `empty_base` is never used [INFO] [stdout] --> src/tests/reference.rs:10:4 [INFO] [stdout] | [INFO] [stdout] 10 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } } [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `empty_base` is never used [INFO] [stdout] --> src/tests/reference_read.rs:11:4 [INFO] [stdout] | [INFO] [stdout] 11 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } } [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `empty_base` is never used [INFO] [stdout] --> src/tests/reference_write.rs:10:4 [INFO] [stdout] | [INFO] [stdout] 10 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } } [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `occParser` should have a snake case name [INFO] [stdout] --> src/main.rs:11:9 [INFO] [stdout] | [INFO] [stdout] 11 | pub mod occParser; [INFO] [stdout] | ^^^^^^^^^ help: convert the identifier to snake case: `occ_parser` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `exprParser` should have a snake case name [INFO] [stdout] --> src/main.rs:12:9 [INFO] [stdout] | [INFO] [stdout] 12 | pub mod exprParser; [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `expr_parser` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `convExprToOcc` should have a snake case name [INFO] [stdout] --> src/main.rs:13:9 [INFO] [stdout] | [INFO] [stdout] 13 | pub mod convExprToOcc; [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `conv_expr_to_occ` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `approxOrder` should have a snake case name [INFO] [stdout] --> src/main.rs:16:9 [INFO] [stdout] | [INFO] [stdout] 16 | pub mod approxOrder; [INFO] [stdout] | ^^^^^^^^^^^ help: convert the identifier to snake case: `approx_order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `File` should have a snake case name [INFO] [stdout] --> src/main.rs:36:9 [INFO] [stdout] | [INFO] [stdout] 36 | let File = fs::read_to_string(&args[1]); [INFO] [stdout] | ^^^^ help: convert the identifier to snake case (notice the capitalization): `file` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `ReadFile` should have a snake case name [INFO] [stdout] --> src/main.rs:37:9 [INFO] [stdout] | [INFO] [stdout] 37 | let ReadFile = match File [INFO] [stdout] | ^^^^^^^^ help: convert the identifier to snake case: `read_file` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Gamma` should have a snake case name [INFO] [stdout] --> src/main.rs:67:13 [INFO] [stdout] | [INFO] [stdout] 67 | let mut Gamma: HashMap = HashMap::new(); [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `gamma` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Pi` should have a snake case name [INFO] [stdout] --> src/main.rs:68:9 [INFO] [stdout] | [INFO] [stdout] 68 | let Pi = approx(occ.clone()); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `pi` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `ExpType` should have a snake case name [INFO] [stdout] --> src/occParser.rs:12:9 [INFO] [stdout] | [INFO] [stdout] 12 | pub ExpType: Type, [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `exp_type` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `LHS` should have a snake case name [INFO] [stdout] --> src/occParser.rs:14:9 [INFO] [stdout] | [INFO] [stdout] 14 | pub LHS: Option>, [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `lhs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `RHS` should have a snake case name [INFO] [stdout] --> src/occParser.rs:15:9 [INFO] [stdout] | [INFO] [stdout] 15 | pub RHS: Option>, [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `rhs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `Pats` should have a snake case name [INFO] [stdout] --> src/occParser.rs:16:9 [INFO] [stdout] | [INFO] [stdout] 16 | pub Pats: Option>, [INFO] [stdout] | ^^^^ help: convert the identifier to snake case: `pats` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `Occs` should have a snake case name [INFO] [stdout] --> src/occParser.rs:17:9 [INFO] [stdout] | [INFO] [stdout] 17 | pub Occs: Option>>, [INFO] [stdout] | ^^^^ help: convert the identifier to snake case (notice the capitalization): `occs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `Great` should have a snake case name [INFO] [stdout] --> src/occParser.rs:111:8 [INFO] [stdout] | [INFO] [stdout] 111 | pub fn Great(c1: Constant, c2: Constant) -> Constant [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `great` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `Less` should have a snake case name [INFO] [stdout] --> src/occParser.rs:121:8 [INFO] [stdout] | [INFO] [stdout] 121 | pub fn Less(c1: Constant, c2: Constant) -> Constant [INFO] [stdout] | ^^^^ help: convert the identifier to snake case: `less` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `Equal` should have a snake case name [INFO] [stdout] --> src/occParser.rs:131:8 [INFO] [stdout] | [INFO] [stdout] 131 | pub fn Equal(c1: Constant, c2: Constant) -> Constant [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `equal` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `NEqual` should have a snake case name [INFO] [stdout] --> src/occParser.rs:141:8 [INFO] [stdout] | [INFO] [stdout] 141 | pub fn NEqual(c1: Constant, c2: Constant) -> Constant [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `nequal` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `GEq` should have a snake case name [INFO] [stdout] --> src/occParser.rs:151:8 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn GEq(c1: Constant, c2: Constant) -> Constant [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `geq` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `LEq` should have a snake case name [INFO] [stdout] --> src/occParser.rs:161:8 [INFO] [stdout] | [INFO] [stdout] 161 | pub fn LEq(c1: Constant, c2: Constant) -> Constant [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `leq` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `Parse_Expr` should have a snake case name [INFO] [stdout] --> src/occParser.rs:171:8 [INFO] [stdout] | [INFO] [stdout] 171 | pub fn Parse_Expr(mut str: String) -> Occ [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `parse_expr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Parsed` should have a snake case name [INFO] [stdout] --> src/occParser.rs:173:9 [INFO] [stdout] | [INFO] [stdout] 173 | let Parsed = ExprParser::parse(Rule::file, &str) [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `parsed` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `ExpType` should have a snake case name [INFO] [stdout] --> src/exprParser.rs:16:9 [INFO] [stdout] | [INFO] [stdout] 16 | pub ExpType: Type, [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `exp_type` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `LHS` should have a snake case name [INFO] [stdout] --> src/exprParser.rs:18:9 [INFO] [stdout] | [INFO] [stdout] 18 | pub LHS: Option>, [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `lhs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `RHS` should have a snake case name [INFO] [stdout] --> src/exprParser.rs:19:9 [INFO] [stdout] | [INFO] [stdout] 19 | pub RHS: Option>, [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `rhs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `Pats` should have a snake case name [INFO] [stdout] --> src/exprParser.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 20 | pub Pats: Option>, [INFO] [stdout] | ^^^^ help: convert the identifier to snake case: `pats` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `Exprs` should have a snake case name [INFO] [stdout] --> src/exprParser.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | pub Exprs: Option>>, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `exprs` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Parsed` should have a snake case name [INFO] [stdout] --> src/exprParser.rs:26:9 [INFO] [stdout] | [INFO] [stdout] 26 | let Parsed = ExprParser::parse(Rule::file, &str) [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `parsed` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `eType` should have a snake case name [INFO] [stdout] --> src/convExprToOcc.rs:18:9 [INFO] [stdout] | [INFO] [stdout] 18 | let eType = expression.ExpType; [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `e_type` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `oExpr` should have a snake case name [INFO] [stdout] --> src/convExprToOcc.rs:19:13 [INFO] [stdout] | [INFO] [stdout] 19 | let mut oExpr: Expr = Expr { ExpType: eType.clone(), ident: expression.ident, LHS: None, RHS: None, Pats: expression.Pats, Occs: None }; [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `o_expr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `identR` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:19:9 [INFO] [stdout] | [INFO] [stdout] 19 | identR: String, [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `ident_r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `bodyR` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 20 | bodyR: Box, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `body_r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `penvR` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | penvR: HashMap, [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `penv_r` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: static variable `next` should have an upper case name [INFO] [stdout] --> src/evaluator.rs:38:12 [INFO] [stdout] | [INFO] [stdout] 38 | static mut next: usize = 0; [INFO] [stdout] | ^^^^ help: convert the identifier to upper case: `NEXT` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_upper_case_globals)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:49:13 [INFO] [stdout] | [INFO] [stdout] 49 | let mut L: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:50:13 [INFO] [stdout] | [INFO] [stdout] 50 | let mut V: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:64:21 [INFO] [stdout] | [INFO] [stdout] 64 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:65:21 [INFO] [stdout] | [INFO] [stdout] 65 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:79:29 [INFO] [stdout] | [INFO] [stdout] 79 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:80:29 [INFO] [stdout] | [INFO] [stdout] 80 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:83:29 [INFO] [stdout] | [INFO] [stdout] 83 | let mut _L1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:84:29 [INFO] [stdout] | [INFO] [stdout] 84 | let mut _V1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:85:25 [INFO] [stdout] | [INFO] [stdout] 85 | let L1: &mut Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:86:25 [INFO] [stdout] | [INFO] [stdout] 86 | let V1: &mut Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:110:21 [INFO] [stdout] | [INFO] [stdout] 110 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:111:21 [INFO] [stdout] | [INFO] [stdout] 111 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:127:29 [INFO] [stdout] | [INFO] [stdout] 127 | let mut L: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:128:29 [INFO] [stdout] | [INFO] [stdout] 128 | let mut V: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:136:37 [INFO] [stdout] | [INFO] [stdout] 136 | ... let mut _L1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:137:37 [INFO] [stdout] | [INFO] [stdout] 137 | ... let mut _V1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:144:33 [INFO] [stdout] | [INFO] [stdout] 144 | ... let L1: &mut Vec = &mut _L1; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:145:33 [INFO] [stdout] | [INFO] [stdout] 145 | ... let V1: &mut Vec = &mut _V1; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:147:37 [INFO] [stdout] | [INFO] [stdout] 147 | ... let mut _L2: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:148:37 [INFO] [stdout] | [INFO] [stdout] 148 | ... let mut _V2: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:150:33 [INFO] [stdout] | [INFO] [stdout] 150 | ... let L2: &mut Vec = &mut _L2; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:151:33 [INFO] [stdout] | [INFO] [stdout] 151 | ... let V2: &mut Vec = &mut _V2; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:159:37 [INFO] [stdout] | [INFO] [stdout] 159 | ... let mut _L1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:160:37 [INFO] [stdout] | [INFO] [stdout] 160 | ... let mut _V1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:172:37 [INFO] [stdout] | [INFO] [stdout] 172 | ... let mut _L2: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:173:37 [INFO] [stdout] | [INFO] [stdout] 173 | ... let mut _V2: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:176:33 [INFO] [stdout] | [INFO] [stdout] 176 | ... let L1: &mut Vec = &mut _L1; let L2: &mut Vec = &mut _L2; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:176:68 [INFO] [stdout] | [INFO] [stdout] 176 | ... let L1: &mut Vec = &mut _L1; let L2: &mut Vec = &mut _L2; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:177:33 [INFO] [stdout] | [INFO] [stdout] 177 | ... let V1: &mut Vec = &mut _V1; let V2: &mut Vec = &mut _V2; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V2` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:177:68 [INFO] [stdout] | [INFO] [stdout] 177 | ... let V1: &mut Vec = &mut _V1; let V2: &mut Vec = &mut _V2; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:193:21 [INFO] [stdout] | [INFO] [stdout] 193 | let mut L: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:194:21 [INFO] [stdout] | [INFO] [stdout] 194 | let mut V: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:195:21 [INFO] [stdout] | [INFO] [stdout] 195 | let mut _L1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:196:21 [INFO] [stdout] | [INFO] [stdout] 196 | let mut _V1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:202:17 [INFO] [stdout] | [INFO] [stdout] 202 | let L1: &mut Vec = &mut _L1; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:203:17 [INFO] [stdout] | [INFO] [stdout] 203 | let V1: &mut Vec = &mut _V1; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:287:21 [INFO] [stdout] | [INFO] [stdout] 287 | let mut L: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:288:21 [INFO] [stdout] | [INFO] [stdout] 288 | let mut V: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:289:21 [INFO] [stdout] | [INFO] [stdout] 289 | let mut L1: Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:290:21 [INFO] [stdout] | [INFO] [stdout] 290 | let mut V1: Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:308:21 [INFO] [stdout] | [INFO] [stdout] 308 | let mut L: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:309:21 [INFO] [stdout] | [INFO] [stdout] 309 | let mut V: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:322:37 [INFO] [stdout] | [INFO] [stdout] 322 | ... let mut L1: Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:323:37 [INFO] [stdout] | [INFO] [stdout] 323 | ... let mut V1: Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:345:21 [INFO] [stdout] | [INFO] [stdout] 345 | let mut L: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:346:21 [INFO] [stdout] | [INFO] [stdout] 346 | let mut V: Vec; [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:359:37 [INFO] [stdout] | [INFO] [stdout] 359 | ... let mut _L1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:360:37 [INFO] [stdout] | [INFO] [stdout] 360 | ... let mut _V1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:366:33 [INFO] [stdout] | [INFO] [stdout] 366 | ... let L1: &mut Vec = &mut _L1; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:367:33 [INFO] [stdout] | [INFO] [stdout] 367 | ... let V1: &mut Vec = &mut _V1; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:374:37 [INFO] [stdout] | [INFO] [stdout] 374 | ... let mut _L1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:375:37 [INFO] [stdout] | [INFO] [stdout] 375 | ... let mut _V1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:378:33 [INFO] [stdout] | [INFO] [stdout] 378 | ... let L1: &mut Vec = &mut _L1; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:379:33 [INFO] [stdout] | [INFO] [stdout] 379 | ... let V1: &mut Vec = &mut _V1; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:390:21 [INFO] [stdout] | [INFO] [stdout] 390 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:391:21 [INFO] [stdout] | [INFO] [stdout] 391 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:405:21 [INFO] [stdout] | [INFO] [stdout] 405 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:406:21 [INFO] [stdout] | [INFO] [stdout] 406 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:407:21 [INFO] [stdout] | [INFO] [stdout] 407 | let mut L1: Vec = Vec::new(); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:408:21 [INFO] [stdout] | [INFO] [stdout] 408 | let mut V1: Vec = Vec::new(); [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:429:21 [INFO] [stdout] | [INFO] [stdout] 429 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:430:21 [INFO] [stdout] | [INFO] [stdout] 430 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:439:29 [INFO] [stdout] | [INFO] [stdout] 439 | let mut _L1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `_V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:440:29 [INFO] [stdout] | [INFO] [stdout] 440 | let mut _V1: Vec; [INFO] [stdout] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:441:25 [INFO] [stdout] | [INFO] [stdout] 441 | let L1: &mut Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V1` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:442:25 [INFO] [stdout] | [INFO] [stdout] 442 | let V1: &mut Vec; [INFO] [stdout] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `L` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:470:21 [INFO] [stdout] | [INFO] [stdout] 470 | let mut L: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case: `l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `V` should have a snake case name [INFO] [stdout] --> src/evaluator.rs:471:21 [INFO] [stdout] | [INFO] [stdout] 471 | let mut V: Vec = Vec::new(); [INFO] [stdout] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `T1` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:24:9 [INFO] [stdout] | [INFO] [stdout] 24 | T1: Option>, [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `T2` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:25:9 [INFO] [stdout] | [INFO] [stdout] 25 | T2: Option>, [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: static variable `next` should have an upper case name [INFO] [stdout] --> src/typechecker.rs:29:12 [INFO] [stdout] | [INFO] [stdout] 29 | static mut next: usize = 0; [INFO] [stdout] | ^^^^ help: convert the identifier to upper case: `NEXT` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `TCheck` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:31:8 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn TCheck(mut Gamma: HashMap, Pi: HashMap, occ: occParser::Occ, v: Vec>, mut assumpt... [INFO] [stdout] | ^^^^^^ help: convert the identifier to snake case: `tcheck` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Gamma` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:31:19 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn TCheck(mut Gamma: HashMap, Pi: HashMap, occ: occParser::Occ, v: Vec>, mut assumpt... [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `gamma` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Pi` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:31:49 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn TCheck(mut Gamma: HashMap, Pi: HashMap, occ: occParser::Occ, v: Vec>, mut assumpt... [INFO] [stdout] | ^^ help: convert the identifier to snake case: `pi` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `GetBinding` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:236:4 [INFO] [stdout] | [INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `get_binding` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Gamma` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:236:34 [INFO] [stdout] | [INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `gamma` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Pi` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:236:64 [INFO] [stdout] | [INFO] [stdout] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stdout] | ^^ help: convert the identifier to snake case: `pi` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `gBind` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:238:13 [INFO] [stdout] | [INFO] [stdout] 238 | let mut gBind: Option = None; [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `g_bind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `bindOcc` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:239:13 [INFO] [stdout] | [INFO] [stdout] 239 | let mut bindOcc: SemOcc = SemOcc { ident: ident.clone(), label: 0 }; [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `bind_occ` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `GetAllGBinding` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:252:4 [INFO] [stdout] | [INFO] [stdout] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap, v: Vec>) -> Vec [INFO] [stdout] | ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `get_all_gbinding` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `Gamma` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:252:52 [INFO] [stdout] | [INFO] [stdout] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap, v: Vec>) -> Vec [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `gamma` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `gBind` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:257:17 [INFO] [stdout] | [INFO] [stdout] 257 | let mut gBind: usize = 0; [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case: `g_bind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `bindOcc` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:258:17 [INFO] [stdout] | [INFO] [stdout] 258 | let mut bindOcc: SemOcc = SemOcc { ident: ident.clone(), label: 0 }; [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `bind_occ` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `sqUnion` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:287:4 [INFO] [stdout] | [INFO] [stdout] 287 | fn sqUnion(mut t: Type, mut b: Vec) -> Type [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `sq_union` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `Union` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:308:4 [INFO] [stdout] | [INFO] [stdout] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type [INFO] [stdout] | ^^^^^ help: convert the identifier to snake case (notice the capitalization): `union` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `BaseEqual` should have a snake case name [INFO] [stdout] --> src/typechecker.rs:350:4 [INFO] [stdout] | [INFO] [stdout] 350 | fn BaseEqual(t1: Type, t2: Type) -> bool [INFO] [stdout] | ^^^^^^^^^ help: convert the identifier to snake case: `base_equal` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `ApproximateOrder` should have a snake case name [INFO] [stdout] --> src/approxOrder.rs:16:4 [INFO] [stdout] | [INFO] [stdout] 16 | fn ApproximateOrder(occ: Occ, last_point: usize) -> (Vec<(usize,usize)>, usize, Option>) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `approximate_order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `T1` should have a snake case name [INFO] [stdout] --> src/tc.rs:27:9 [INFO] [stdout] | [INFO] [stdout] 27 | T1: Option>, [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `T2` should have a snake case name [INFO] [stdout] --> src/tc.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 28 | T2: Option>, [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: static variable `next` should have an upper case name [INFO] [stdout] --> src/tc.rs:51:12 [INFO] [stdout] | [INFO] [stdout] 51 | static mut next: usize = 0; [INFO] [stdout] | ^^^^ help: convert the identifier to upper case: `NEXT` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: module `letTest` should have a snake case name [INFO] [stdout] --> src/tests/tests.rs:15:22 [INFO] [stdout] | [INFO] [stdout] 15 | #[cfg(test)] pub mod letTest; [INFO] [stdout] | ^^^^^^^ help: convert the identifier to snake case: `let_test` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T1` should have a snake case name [INFO] [stdout] --> src/tests/func.rs:27:6 [INFO] [stdout] | [INFO] [stdout] 27 | let T1 = Some(Box::new(tc::Type::Base { delta: Vec::new() , kappa: Vec::new() })); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T2` should have a snake case name [INFO] [stdout] --> src/tests/func.rs:28:6 [INFO] [stdout] | [INFO] [stdout] 28 | let T2 = Some(Box::new(tc::Type::Base { delta: Vec::new() , kappa: Vec::new() })); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T1` should have a snake case name [INFO] [stdout] --> src/tests/func.rs:54:9 [INFO] [stdout] | [INFO] [stdout] 54 | let T1 = Some(Box::new(tc::Type::Base { delta: Vec::new() , kappa: Vec::new() })); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T2` should have a snake case name [INFO] [stdout] --> src/tests/func.rs:55:9 [INFO] [stdout] | [INFO] [stdout] 55 | let T2 = Some(Box::new(tc::Type::Base { delta , kappa: Vec::new() })); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T1` should have a snake case name [INFO] [stdout] --> src/tests/func.rs:83:9 [INFO] [stdout] | [INFO] [stdout] 83 | let T1 = Some(Box::new(tc::Type::Base { delta , kappa: Vec::new() })); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T2` should have a snake case name [INFO] [stdout] --> src/tests/func.rs:84:9 [INFO] [stdout] | [INFO] [stdout] 84 | let T2 = Some(Box::new(tc::Type::Base { delta: Vec::new() , kappa: Vec::new() })); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T1` should have a snake case name [INFO] [stdout] --> src/tests/func.rs:116:9 [INFO] [stdout] | [INFO] [stdout] 116 | let T1 = Some(Box::new(tc::Type::Base { delta: delta1.clone() , kappa: Vec::new() })); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `T2` should have a snake case name [INFO] [stdout] --> src/tests/func.rs:117:9 [INFO] [stdout] | [INFO] [stdout] 117 | let T2 = Some(Box::new(tc::Type::Base { delta: delta2.clone() , kappa: Vec::new() })); [INFO] [stdout] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 321 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 6.03s [INFO] running `Command { std: "docker" "inspect" "8871d320a2b36abf813b8f346332e1fa0fffdf68e3e19ff6168a3510ca90acdc", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8871d320a2b36abf813b8f346332e1fa0fffdf68e3e19ff6168a3510ca90acdc", kill_on_drop: false }` [INFO] [stdout] 8871d320a2b36abf813b8f346332e1fa0fffdf68e3e19ff6168a3510ca90acdc