[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] testing loevendallund/dataflow against try#b83b707f97d809763b7861afa7638871f3339a33 for pr-145838-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Floevendallund%2Fdataflow" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [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-5-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/loevendallund/dataflow on toolchain b83b707f97d809763b7861afa7638871f3339a33 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [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" "+b83b707f97d809763b7861afa7638871f3339a33" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e52684a2e46512bcaf4e768aeecd1a914b43cee4ddb60779125476e8959b150d [INFO] running `Command { std: "docker" "start" "-a" "e52684a2e46512bcaf4e768aeecd1a914b43cee4ddb60779125476e8959b150d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e52684a2e46512bcaf4e768aeecd1a914b43cee4ddb60779125476e8959b150d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e52684a2e46512bcaf4e768aeecd1a914b43cee4ddb60779125476e8959b150d", kill_on_drop: false }` [INFO] [stdout] e52684a2e46512bcaf4e768aeecd1a914b43cee4ddb60779125476e8959b150d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 74879531480ab77446504062d9bdf6b7b13968d116513d2fa12bd7b395e10803 [INFO] running `Command { std: "docker" "start" "-a" "74879531480ab77446504062d9bdf6b7b13968d116513d2fa12bd7b395e10803", kill_on_drop: false }` [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 thiserror 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] Compiling 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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::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/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::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::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::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)]` (part of `#[warn(unused)]`) 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/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/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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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/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: 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/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: 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)]` (part of `#[warn(nonstandard_style)]`) 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] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_upper_case_globals)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] help: convert the identifier to upper case [INFO] [stdout] | [INFO] [stdout] 38 - static mut next: usize = 0; [INFO] [stdout] 38 + static mut NEXT: usize = 0; [INFO] [stdout] | [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: creating a shared reference to mutable static [INFO] [stdout] --> src/evaluator.rs:396:49 [INFO] [stdout] | [INFO] [stdout] 396 | unsafe { loc = "_nu".to_string() + &next.to_string(); next = next+1; } [INFO] [stdout] | ^^^^^^^^^^^^^^^^ shared reference to mutable static [INFO] [stdout] | [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives [INFO] [stdout] = note: `#[warn(static_mut_refs)]` (part of `#[warn(rust_2024_compatibility)]`) on by default [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] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: convert the identifier to upper case [INFO] [stdout] | [INFO] [stdout] 29 - static mut next: usize = 0; [INFO] [stdout] 29 + static mut NEXT: usize = 0; [INFO] [stdout] | [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: creating a shared reference to mutable static [INFO] [stdout] --> src/typechecker.rs:159:47 [INFO] [stdout] | [INFO] [stdout] 159 | let id = "_nu".to_string() + &next.to_string(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^ shared reference to mutable static [INFO] [stdout] | [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives [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] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: convert the identifier to upper case [INFO] [stdout] | [INFO] [stdout] 51 - static mut next: usize = 0; [INFO] [stdout] 51 + static mut NEXT: usize = 0; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: creating a shared reference to mutable static [INFO] [stdout] --> src/tc.rs:223:34 [INFO] [stdout] | [INFO] [stdout] 223 | let id = "_nu".to_string() + &next.to_string(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^ shared reference to mutable static [INFO] [stdout] | [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.29s [INFO] running `Command { std: "docker" "inspect" "74879531480ab77446504062d9bdf6b7b13968d116513d2fa12bd7b395e10803", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "74879531480ab77446504062d9bdf6b7b13968d116513d2fa12bd7b395e10803", kill_on_drop: false }` [INFO] [stdout] 74879531480ab77446504062d9bdf6b7b13968d116513d2fa12bd7b395e10803 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a387de881d09145522a7929f1a108d5b6e3aa7004a8cfefc9647c01fee32d38a [INFO] running `Command { std: "docker" "start" "-a" "a387de881d09145522a7929f1a108d5b6e3aa7004a8cfefc9647c01fee32d38a", kill_on_drop: false }` [INFO] [stderr] Compiling 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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::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/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::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::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)]` (part of `#[warn(unused)]`) 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/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/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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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/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: 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(nonstandard_style)]`) 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] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_upper_case_globals)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stdout] help: convert the identifier to upper case [INFO] [stdout] | [INFO] [stdout] 38 - static mut next: usize = 0; [INFO] [stdout] 38 + static mut NEXT: usize = 0; [INFO] [stdout] | [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: creating a shared reference to mutable static [INFO] [stdout] --> src/evaluator.rs:396:49 [INFO] [stdout] | [INFO] [stdout] 396 | unsafe { loc = "_nu".to_string() + &next.to_string(); next = next+1; } [INFO] [stdout] | ^^^^^^^^^^^^^^^^ shared reference to mutable static [INFO] [stdout] | [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives [INFO] [stdout] = note: `#[warn(static_mut_refs)]` (part of `#[warn(rust_2024_compatibility)]`) on by default [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] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: convert the identifier to upper case [INFO] [stdout] | [INFO] [stdout] 29 - static mut next: usize = 0; [INFO] [stdout] 29 + static mut NEXT: usize = 0; [INFO] [stdout] | [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: creating a shared reference to mutable static [INFO] [stdout] --> src/typechecker.rs:159:47 [INFO] [stdout] | [INFO] [stdout] 159 | let id = "_nu".to_string() + &next.to_string(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^ shared reference to mutable static [INFO] [stdout] | [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives [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] | ^^^^ [INFO] [stdout] | [INFO] [stdout] help: convert the identifier to upper case [INFO] [stdout] | [INFO] [stdout] 51 - static mut next: usize = 0; [INFO] [stdout] 51 + static mut NEXT: usize = 0; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: creating a shared reference to mutable static [INFO] [stdout] --> src/tc.rs:223:34 [INFO] [stdout] | [INFO] [stdout] 223 | let id = "_nu".to_string() + &next.to_string(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^ shared reference to mutable static [INFO] [stdout] | [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives [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] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 2.18s [INFO] running `Command { std: "docker" "inspect" "a387de881d09145522a7929f1a108d5b6e3aa7004a8cfefc9647c01fee32d38a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a387de881d09145522a7929f1a108d5b6e3aa7004a8cfefc9647c01fee32d38a", kill_on_drop: false }` [INFO] [stdout] a387de881d09145522a7929f1a108d5b6e3aa7004a8cfefc9647c01fee32d38a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 49823a38845ef22c466143015323c0304ca27e451dcb57ed56dff7ce47eeef6f [INFO] running `Command { std: "docker" "start" "-a" "49823a38845ef22c466143015323c0304ca27e451dcb57ed56dff7ce47eeef6f", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `std::io` [INFO] [stderr] --> src/main.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | use std::io; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unnecessary parentheses around `if` condition [INFO] [stderr] --> src/occParser.rs:297:16 [INFO] [stderr] | [INFO] [stderr] 297 | if (l_pats.len() != l_occs.len()) { unreachable!(); } [INFO] [stderr] | ^ ^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] help: remove these parentheses [INFO] [stderr] | [INFO] [stderr] 297 - if (l_pats.len() != l_occs.len()) { unreachable!(); } [INFO] [stderr] 297 + if l_pats.len() != l_occs.len() { unreachable!(); } [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: unnecessary parentheses around `if` condition [INFO] [stderr] --> src/occParser.rs:369:8 [INFO] [stderr] | [INFO] [stderr] 369 | if (inner.clone().count() == 1) [INFO] [stderr] | ^ ^ [INFO] [stderr] | [INFO] [stderr] help: remove these parentheses [INFO] [stderr] | [INFO] [stderr] 369 - if (inner.clone().count() == 1) [INFO] [stderr] 369 + if inner.clone().count() == 1 [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::fs` [INFO] [stderr] --> src/exprParser.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use std::fs; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unnecessary parentheses around `if` condition [INFO] [stderr] --> src/exprParser.rs:142:16 [INFO] [stderr] | [INFO] [stderr] 142 | if (l_pats.len() != l_exprs.len()) { unreachable!(); } [INFO] [stderr] | ^ ^ [INFO] [stderr] | [INFO] [stderr] help: remove these parentheses [INFO] [stderr] | [INFO] [stderr] 142 - if (l_pats.len() != l_exprs.len()) { unreachable!(); } [INFO] [stderr] 142 + if l_pats.len() != l_exprs.len() { unreachable!(); } [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: unnecessary parentheses around `if` condition [INFO] [stderr] --> src/exprParser.rs:214:8 [INFO] [stderr] | [INFO] [stderr] 214 | if (inner.clone().count() == 1) [INFO] [stderr] | ^ ^ [INFO] [stderr] | [INFO] [stderr] help: remove these parentheses [INFO] [stderr] | [INFO] [stderr] 214 - if (inner.clone().count() == 1) [INFO] [stderr] 214 + if inner.clone().count() == 1 [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::occParser` [INFO] [stderr] --> src/convExprToOcc.rs:1:5 [INFO] [stderr] | [INFO] [stderr] 1 | use crate::occParser; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::collections::HashMap` [INFO] [stderr] --> src/approxOrder.rs:1:5 [INFO] [stderr] | [INFO] [stderr] 1 | use std::collections::HashMap; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `hash` and `process::id` [INFO] [stderr] --> src/tc.rs:1:33 [INFO] [stderr] | [INFO] [stderr] 1 | use std::{collections::HashMap, process::id, hash}; [INFO] [stderr] | ^^^^^^^^^^^ ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::occParser` [INFO] [stderr] --> src/tests/tests.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::occParser; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::evaluator` [INFO] [stderr] --> src/tests/tests.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::evaluator; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::occParser` [INFO] [stderr] --> src/tests/var.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::occParser; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::evaluator` [INFO] [stderr] --> src/tests/var.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::evaluator; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::occParser` [INFO] [stderr] --> src/tests/constants.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::occParser; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::evaluator` [INFO] [stderr] --> src/tests/constants.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::evaluator; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::occParser` [INFO] [stderr] --> src/tests/func.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::occParser; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::evaluator` [INFO] [stderr] --> src/tests/func.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::evaluator; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::occParser` [INFO] [stderr] --> src/tests/app.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::occParser; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::evaluator` [INFO] [stderr] --> src/tests/app.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::evaluator; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::occParser` [INFO] [stderr] --> src/tests/fapp.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::occParser; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::evaluator` [INFO] [stderr] --> src/tests/fapp.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::evaluator; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::occParser` [INFO] [stderr] --> src/tests/letTest.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::occParser; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::evaluator` [INFO] [stderr] --> src/tests/letTest.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::evaluator; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::occParser` [INFO] [stderr] --> src/tests/case.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::occParser; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::evaluator` [INFO] [stderr] --> src/tests/case.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::evaluator; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::tc::SemOcc` [INFO] [stderr] --> src/tests/case.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use crate::tc::SemOcc; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::occParser` [INFO] [stderr] --> src/tests/reference.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::occParser; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::evaluator` [INFO] [stderr] --> src/tests/reference.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::evaluator; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::occParser` [INFO] [stderr] --> src/tests/reference_read.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::occParser; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::evaluator` [INFO] [stderr] --> src/tests/reference_read.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::evaluator; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::occParser` [INFO] [stderr] --> src/tests/reference_write.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use crate::occParser; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::evaluator` [INFO] [stderr] --> src/tests/reference_write.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use crate::evaluator; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::tc::SemOcc` [INFO] [stderr] --> src/tests/reference_write.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use crate::tc::SemOcc; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::evaluator::Val` [INFO] [stderr] --> src/main.rs:27:5 [INFO] [stderr] | [INFO] [stderr] 27 | use crate::evaluator::Val; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::evaluator::SOcc` [INFO] [stderr] --> src/main.rs:28:5 [INFO] [stderr] | [INFO] [stderr] 28 | use crate::evaluator::SOcc; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::tc::TypeChecker` [INFO] [stderr] --> src/main.rs:30:5 [INFO] [stderr] | [INFO] [stderr] 30 | use crate::tc::TypeChecker; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `crate::typechecker::SemOcc` [INFO] [stderr] --> src/main.rs:31:5 [INFO] [stderr] | [INFO] [stderr] 31 | use crate::typechecker::SemOcc; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/occParser.rs:171:19 [INFO] [stderr] | [INFO] [stderr] 171 | pub fn Parse_Expr(mut str: String) -> Occ [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/occParser.rs:201:15 [INFO] [stderr] | [INFO] [stderr] 201 | fn parse_expr(mut pair: Pair) -> Expr [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/occParser.rs:203:9 [INFO] [stderr] | [INFO] [stderr] 203 | let mut expr: Expr; [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/occParser.rs:205:9 [INFO] [stderr] | [INFO] [stderr] 205 | let mut rule = pair.into_inner().next().unwrap(); [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/occParser.rs:360:19 [INFO] [stderr] | [INFO] [stderr] 360 | pub fn parse_occs(mut pair: Pair) -> Vec> [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/occParser.rs:366:9 [INFO] [stderr] | [INFO] [stderr] 366 | fn occs(mut pair: Pair, mut vec: Vec>) -> Vec> [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/occParser.rs:381:19 [INFO] [stderr] | [INFO] [stderr] 381 | pub fn parse_pats(mut pair: Pair) -> Vec [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/occParser.rs:387:9 [INFO] [stderr] | [INFO] [stderr] 387 | fn pats(mut pair: Pair, mut vec: Vec) -> Vec [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/exprParser.rs:24:15 [INFO] [stderr] | [INFO] [stderr] 24 | pub fn parser(mut str: String) -> Expr [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/exprParser.rs:48:9 [INFO] [stderr] | [INFO] [stderr] 48 | let mut expr: Expr; [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/exprParser.rs:50:9 [INFO] [stderr] | [INFO] [stderr] 50 | let mut rule = pairs.next().unwrap(); [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/exprParser.rs:205:20 [INFO] [stderr] | [INFO] [stderr] 205 | pub fn parse_exprs(mut pair: Pair) -> Vec> [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/exprParser.rs:211:10 [INFO] [stderr] | [INFO] [stderr] 211 | fn exprs(mut pair: Pair, mut vec: Vec>) -> Vec> [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/exprParser.rs:226:19 [INFO] [stderr] | [INFO] [stderr] 226 | pub fn parse_pats(mut pair: Pair) -> Vec [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/exprParser.rs:232:9 [INFO] [stderr] | [INFO] [stderr] 232 | fn pats(mut pair: Pair, mut vec: Vec) -> Vec [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/convExprToOcc.rs:114:14 [INFO] [stderr] | [INFO] [stderr] 114 | fn case_occs(mut evec: Vec>, mut index: usize) -> (Vec>, usize) [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: value assigned to `sto` is never read [INFO] [stderr] --> src/evaluator.rs:52:8 [INFO] [stderr] | [INFO] [stderr] 52 | (v,sto, w, gbind, (L, V)) = eval(occ, env, sto, w, gbind); [INFO] [stderr] | ^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:42:9 [INFO] [stderr] | [INFO] [stderr] 42 | let mut env: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:48:9 [INFO] [stderr] | [INFO] [stderr] 48 | let mut v: Val; [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:49:9 [INFO] [stderr] | [INFO] [stderr] 49 | let mut L: Vec; [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:50:9 [INFO] [stderr] | [INFO] [stderr] 50 | let mut V: Vec; [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: value assigned to `L` is never read [INFO] [stderr] --> src/evaluator.rs:390:21 [INFO] [stderr] | [INFO] [stderr] 390 | let mut L: Vec = Vec::new(); [INFO] [stderr] | ^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `V` is never read [INFO] [stderr] --> src/evaluator.rs:391:21 [INFO] [stderr] | [INFO] [stderr] 391 | let mut V: Vec = Vec::new(); [INFO] [stderr] | ^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `L` is never read [INFO] [stderr] --> src/evaluator.rs:405:21 [INFO] [stderr] | [INFO] [stderr] 405 | let mut L: Vec = Vec::new(); [INFO] [stderr] | ^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `V` is never read [INFO] [stderr] --> src/evaluator.rs:406:21 [INFO] [stderr] | [INFO] [stderr] 406 | let mut V: Vec = Vec::new(); [INFO] [stderr] | ^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `L1` is never read [INFO] [stderr] --> src/evaluator.rs:407:21 [INFO] [stderr] | [INFO] [stderr] 407 | let mut L1: Vec = Vec::new(); [INFO] [stderr] | ^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `V1` is never read [INFO] [stderr] --> src/evaluator.rs:408:21 [INFO] [stderr] | [INFO] [stderr] 408 | let mut V1: Vec = Vec::new(); [INFO] [stderr] | ^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `L` is never read [INFO] [stderr] --> src/evaluator.rs:429:21 [INFO] [stderr] | [INFO] [stderr] 429 | let mut L: Vec = Vec::new(); [INFO] [stderr] | ^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `V` is never read [INFO] [stderr] --> src/evaluator.rs:430:21 [INFO] [stderr] | [INFO] [stderr] 430 | let mut V: Vec = Vec::new(); [INFO] [stderr] | ^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:64:17 [INFO] [stderr] | [INFO] [stderr] 64 | let mut L: Vec = Vec::new(); [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:65:17 [INFO] [stderr] | [INFO] [stderr] 65 | let mut V: Vec = Vec::new(); [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:110:17 [INFO] [stderr] | [INFO] [stderr] 110 | let mut L: Vec = Vec::new(); [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:111:17 [INFO] [stderr] | [INFO] [stderr] 111 | let mut V: Vec = Vec::new(); [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:287:17 [INFO] [stderr] | [INFO] [stderr] 287 | let mut L: Vec; [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:288:17 [INFO] [stderr] | [INFO] [stderr] 288 | let mut V: Vec; [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:289:17 [INFO] [stderr] | [INFO] [stderr] 289 | let mut L1: Vec; [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:290:17 [INFO] [stderr] | [INFO] [stderr] 290 | let mut V1: Vec; [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:308:17 [INFO] [stderr] | [INFO] [stderr] 308 | let mut L: Vec; [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:309:17 [INFO] [stderr] | [INFO] [stderr] 309 | let mut V: Vec; [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:322:33 [INFO] [stderr] | [INFO] [stderr] 322 | ... let mut L1: Vec; [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:323:33 [INFO] [stderr] | [INFO] [stderr] 323 | ... let mut V1: Vec; [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:470:17 [INFO] [stderr] | [INFO] [stderr] 470 | let mut L: Vec = Vec::new(); [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/evaluator.rs:471:17 [INFO] [stderr] | [INFO] [stderr] 471 | let mut V: Vec = Vec::new(); [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable `t2` is assigned to, but never used [INFO] [stderr] --> src/typechecker.rs:173:17 [INFO] [stderr] | [INFO] [stderr] 173 | let t2: Type; [INFO] [stderr] | ^^ [INFO] [stderr] | [INFO] [stderr] = note: consider using `_t2` instead [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: value assigned to `t2` is never read [INFO] [stderr] --> src/typechecker.rs:174:58 [INFO] [stderr] | [INFO] [stderr] 174 | ... match occ.clone().expr.LHS { Some(occ1) => {(t2, Gamma) = TCheck(Gamma, Pi.clone(), Box::into_inner(occ1), v, assumption.clone()); ... [INFO] [stderr] | ^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: unused variable: `key` [INFO] [stderr] --> src/typechecker.rs:200:17 [INFO] [stderr] | [INFO] [stderr] 200 | let key = SemOcc { ident: occ.clone().expr.ident, label: occ.clone().label }; [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_key` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/typechecker.rs:138:26 [INFO] [stderr] | [INFO] [stderr] 138 | let (ti, mut gamma) = TCheck(Gamma.clone(), Pi.clone(), Box::into_inner((*o).clone()), v.clone(), assumption.clone()); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `Pi` [INFO] [stderr] --> src/typechecker.rs:236:64 [INFO] [stderr] | [INFO] [stderr] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_Pi` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/typechecker.rs:236:30 [INFO] [stderr] | [INFO] [stderr] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `point` [INFO] [stderr] --> src/typechecker.rs:252:34 [INFO] [stderr] | [INFO] [stderr] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap, v: Vec>) -> Vec [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_point` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/typechecker.rs:252:48 [INFO] [stderr] | [INFO] [stderr] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap, v: Vec>) -> Vec [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/typechecker.rs:287:12 [INFO] [stderr] | [INFO] [stderr] 287 | fn sqUnion(mut t: Type, mut b: Vec) -> Type [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/typechecker.rs:308:10 [INFO] [stderr] | [INFO] [stderr] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/typechecker.rs:308:24 [INFO] [stderr] | [INFO] [stderr] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/typechecker.rs:312:20 [INFO] [stderr] | [INFO] [stderr] 312 | Type::Base{mut delta, mut kappa} => [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/typechecker.rs:312:31 [INFO] [stderr] | [INFO] [stderr] 312 | Type::Base{mut delta, mut kappa} => [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: value assigned to `vec1` is never read [INFO] [stderr] --> src/approxOrder.rs:50:13 [INFO] [stderr] | [INFO] [stderr] 50 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `vec2` is never read [INFO] [stderr] --> src/approxOrder.rs:55:13 [INFO] [stderr] | [INFO] [stderr] 55 | let mut vec2: Vec<(usize,usize)> = Vec::new(); [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `l_vec` is never read [INFO] [stderr] --> src/approxOrder.rs:60:13 [INFO] [stderr] | [INFO] [stderr] 60 | let mut l_vec: Vec<(usize,usize)> = Vec::new(); [INFO] [stderr] | ^^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `vec1` is never read [INFO] [stderr] --> src/approxOrder.rs:75:13 [INFO] [stderr] | [INFO] [stderr] 75 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `vec2` is never read [INFO] [stderr] --> src/approxOrder.rs:79:13 [INFO] [stderr] | [INFO] [stderr] 79 | let mut vec2: Vec<(usize,usize)> = Vec::new(); [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `vec1` is never read [INFO] [stderr] --> src/approxOrder.rs:91:13 [INFO] [stderr] | [INFO] [stderr] 91 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `vec2` is never read [INFO] [stderr] --> src/approxOrder.rs:95:13 [INFO] [stderr] | [INFO] [stderr] 95 | let mut vec2: Vec<(usize,usize)> = Vec::new(); [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `vec1` is never read [INFO] [stderr] --> src/approxOrder.rs:108:13 [INFO] [stderr] | [INFO] [stderr] 108 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/approxOrder.rs:118:13 [INFO] [stderr] | [INFO] [stderr] 118 | let mut vec2: Vec<(usize,usize)>; [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: value assigned to `vec1` is never read [INFO] [stderr] --> src/approxOrder.rs:131:13 [INFO] [stderr] | [INFO] [stderr] 131 | let mut vec1: Vec<(usize,usize)> = Vec::new(); [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tc.rs:92:11 [INFO] [stderr] | [INFO] [stderr] 92 | let mut t: Type = match self.gamma.get(&lookup) { Some(val) => { (*val).clone() } None => { unreachable!() }}; [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `T1` [INFO] [stderr] --> src/tc.rs:253:16 [INFO] [stderr] | [INFO] [stderr] 253 | Type::Abs { T1, T2 } => { unreachable!(); } [INFO] [stderr] | ^^ help: try ignoring the field: `T1: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `T2` [INFO] [stderr] --> src/tc.rs:253:20 [INFO] [stderr] | [INFO] [stderr] 253 | Type::Abs { T1, T2 } => { unreachable!(); } [INFO] [stderr] | ^^ help: try ignoring the field: `T2: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `k` [INFO] [stderr] --> src/tc.rs:265:7 [INFO] [stderr] | [INFO] [stderr] 265 | let k: SemOcc = SemOcc { ident: self.occ.clone().expr.ident, label: self.occ.clone().label}; [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `T1` [INFO] [stderr] --> src/tc.rs:297:16 [INFO] [stderr] | [INFO] [stderr] 297 | Type::Abs { T1, T2 } => { unreachable!(); } [INFO] [stderr] | ^^ help: try ignoring the field: `T1: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `T2` [INFO] [stderr] --> src/tc.rs:297:20 [INFO] [stderr] | [INFO] [stderr] 297 | Type::Abs { T1, T2 } => { unreachable!(); } [INFO] [stderr] | ^^ help: try ignoring the field: `T2: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `T1` [INFO] [stderr] --> src/tc.rs:326:19 [INFO] [stderr] | [INFO] [stderr] 326 | Type::Abs { T1, T2 } => { unreachable!("Error: mutable bindings cannot be abstractions"); } [INFO] [stderr] | ^^ help: try ignoring the field: `T1: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `T2` [INFO] [stderr] --> src/tc.rs:326:23 [INFO] [stderr] | [INFO] [stderr] 326 | Type::Abs { T1, T2 } => { unreachable!("Error: mutable bindings cannot be abstractions"); } [INFO] [stderr] | ^^ help: try ignoring the field: `T2: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `delta` [INFO] [stderr] --> src/tc.rs:404:17 [INFO] [stderr] | [INFO] [stderr] 404 | Type::Base { delta, kappa} => [INFO] [stderr] | ^^^^^ help: try ignoring the field: `delta: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `kappa` [INFO] [stderr] --> src/tc.rs:404:24 [INFO] [stderr] | [INFO] [stderr] 404 | Type::Base { delta, kappa} => [INFO] [stderr] | ^^^^^ help: try ignoring the field: `kappa: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `T1` [INFO] [stderr] --> src/tc.rs:408:16 [INFO] [stderr] | [INFO] [stderr] 408 | Type::Abs { T1, T2 } => [INFO] [stderr] | ^^ help: try ignoring the field: `T1: _` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tc.rs:400:25 [INFO] [stderr] | [INFO] [stderr] 400 | fn sq_union(&mut self, mut t1: Type, mut t2: Type) -> Type [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tc.rs:400:39 [INFO] [stderr] | [INFO] [stderr] 400 | fn sq_union(&mut self, mut t1: Type, mut t2: Type) -> Type [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tc.rs:415:22 [INFO] [stderr] | [INFO] [stderr] 415 | fn union(&mut self, mut t1: Type, mut t2: Type) -> Type [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tc.rs:415:36 [INFO] [stderr] | [INFO] [stderr] 415 | fn union(&mut self, mut t1: Type, mut t2: Type) -> Type [INFO] [stderr] | ----^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tc.rs:421:9 [INFO] [stderr] | [INFO] [stderr] 421 | let mut d: Vec; [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tc.rs:422:9 [INFO] [stderr] | [INFO] [stderr] 422 | let mut k: Vec; [INFO] [stderr] | ----^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tc.rs:492:7 [INFO] [stderr] | [INFO] [stderr] 492 | let mut condition: bool = true; [INFO] [stderr] | ----^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tc.rs:522:8 [INFO] [stderr] | [INFO] [stderr] 522 | let mut res: Vec = self.get_all_pi(keys.clone()[0]); [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tc.rs:536:9 [INFO] [stderr] | [INFO] [stderr] 536 | let mut temp: Vec = self.get_all_pi(key.clone()); [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/func.rs:18:6 [INFO] [stderr] | [INFO] [stderr] 18 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/func.rs:42:9 [INFO] [stderr] | [INFO] [stderr] 42 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/func.rs:69:6 [INFO] [stderr] | [INFO] [stderr] 69 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/func.rs:98:9 [INFO] [stderr] | [INFO] [stderr] 98 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/app.rs:20:9 [INFO] [stderr] | [INFO] [stderr] 20 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/app.rs:22:9 [INFO] [stderr] | [INFO] [stderr] 22 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/app.rs:40:9 [INFO] [stderr] | [INFO] [stderr] 40 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/app.rs:42:9 [INFO] [stderr] | [INFO] [stderr] 42 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/app.rs:65:9 [INFO] [stderr] | [INFO] [stderr] 65 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/fapp.rs:20:9 [INFO] [stderr] | [INFO] [stderr] 20 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/fapp.rs:22:9 [INFO] [stderr] | [INFO] [stderr] 22 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/fapp.rs:42:9 [INFO] [stderr] | [INFO] [stderr] 42 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/fapp.rs:67:9 [INFO] [stderr] | [INFO] [stderr] 67 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/fapp.rs:92:9 [INFO] [stderr] | [INFO] [stderr] 92 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/letTest.rs:21:9 [INFO] [stderr] | [INFO] [stderr] 21 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/letTest.rs:23:9 [INFO] [stderr] | [INFO] [stderr] 23 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/letTest.rs:41:9 [INFO] [stderr] | [INFO] [stderr] 41 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/letTest.rs:43:9 [INFO] [stderr] | [INFO] [stderr] 43 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/letTest.rs:66:9 [INFO] [stderr] | [INFO] [stderr] 66 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/letTest.rs:93:9 [INFO] [stderr] | [INFO] [stderr] 93 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/letTest.rs:122:9 [INFO] [stderr] | [INFO] [stderr] 122 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/letTest.rs:124:9 [INFO] [stderr] | [INFO] [stderr] 124 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/letTest.rs:147:9 [INFO] [stderr] | [INFO] [stderr] 147 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/letTest.rs:149:9 [INFO] [stderr] | [INFO] [stderr] 149 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/letTest.rs:157:9 [INFO] [stderr] | [INFO] [stderr] 157 | let mut kappa: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/case.rs:21:9 [INFO] [stderr] | [INFO] [stderr] 21 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/case.rs:23:9 [INFO] [stderr] | [INFO] [stderr] 23 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/case.rs:28:9 [INFO] [stderr] | [INFO] [stderr] 28 | let mut delta: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/case.rs:29:9 [INFO] [stderr] | [INFO] [stderr] 29 | let mut kappa: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/case.rs:33:9 [INFO] [stderr] | [INFO] [stderr] 33 | let mut gamma1: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/case.rs:59:9 [INFO] [stderr] | [INFO] [stderr] 59 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/case.rs:61:9 [INFO] [stderr] | [INFO] [stderr] 61 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/case.rs:66:9 [INFO] [stderr] | [INFO] [stderr] 66 | let mut delta: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/case.rs:67:9 [INFO] [stderr] | [INFO] [stderr] 67 | let mut kappa: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/case.rs:71:9 [INFO] [stderr] | [INFO] [stderr] 71 | let mut gamma1: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/case.rs:99:9 [INFO] [stderr] | [INFO] [stderr] 99 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/case.rs:107:9 [INFO] [stderr] | [INFO] [stderr] 107 | let mut kappa: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/case.rs:142:9 [INFO] [stderr] | [INFO] [stderr] 142 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/case.rs:150:9 [INFO] [stderr] | [INFO] [stderr] 150 | let mut kappa: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference.rs:20:9 [INFO] [stderr] | [INFO] [stderr] 20 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference.rs:22:9 [INFO] [stderr] | [INFO] [stderr] 22 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference.rs:58:9 [INFO] [stderr] | [INFO] [stderr] 58 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_read.rs:21:9 [INFO] [stderr] | [INFO] [stderr] 21 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_read.rs:23:9 [INFO] [stderr] | [INFO] [stderr] 23 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_read.rs:28:9 [INFO] [stderr] | [INFO] [stderr] 28 | let mut delta: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_read.rs:29:9 [INFO] [stderr] | [INFO] [stderr] 29 | let mut kappa: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_read.rs:62:9 [INFO] [stderr] | [INFO] [stderr] 62 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_read.rs:70:9 [INFO] [stderr] | [INFO] [stderr] 70 | let mut kappa: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_write.rs:20:9 [INFO] [stderr] | [INFO] [stderr] 20 | let mut gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_write.rs:22:9 [INFO] [stderr] | [INFO] [stderr] 22 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_write.rs:27:9 [INFO] [stderr] | [INFO] [stderr] 27 | let mut kappa: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_write.rs:58:9 [INFO] [stderr] | [INFO] [stderr] 58 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_write.rs:65:9 [INFO] [stderr] | [INFO] [stderr] 65 | let mut delta: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_write.rs:66:9 [INFO] [stderr] | [INFO] [stderr] 66 | let mut kappa: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_write.rs:104:9 [INFO] [stderr] | [INFO] [stderr] 104 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_write.rs:111:9 [INFO] [stderr] | [INFO] [stderr] 111 | let mut delta: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_write.rs:112:9 [INFO] [stderr] | [INFO] [stderr] 112 | let mut kappa: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_write.rs:150:9 [INFO] [stderr] | [INFO] [stderr] 150 | let mut assumption = Vec::new(); [INFO] [stderr] | ----^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_write.rs:158:9 [INFO] [stderr] | [INFO] [stderr] 158 | let mut delta: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/tests/reference_write.rs:159:9 [INFO] [stderr] | [INFO] [stderr] 159 | let mut kappa: Vec = Vec::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/main.rs:67:9 [INFO] [stderr] | [INFO] [stderr] 67 | let mut Gamma: HashMap = HashMap::new(); [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: function `empty_base` is never used [INFO] [stderr] --> src/tests/tests.rs:21:4 [INFO] [stderr] | [INFO] [stderr] 21 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } } [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: function `empty_base` is never used [INFO] [stderr] --> src/tests/case.rs:11:4 [INFO] [stderr] | [INFO] [stderr] 11 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } } [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `empty_base` is never used [INFO] [stderr] --> src/tests/reference.rs:10:4 [INFO] [stderr] | [INFO] [stderr] 10 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } } [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `empty_base` is never used [INFO] [stderr] --> src/tests/reference_read.rs:11:4 [INFO] [stderr] | [INFO] [stderr] 11 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } } [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `empty_base` is never used [INFO] [stderr] --> src/tests/reference_write.rs:10:4 [INFO] [stderr] | [INFO] [stderr] 10 | fn empty_base() -> tc::Type { tc::Type::Base { delta: Vec::new(), kappa: Vec::new() } } [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: module `occParser` should have a snake case name [INFO] [stderr] --> src/main.rs:11:9 [INFO] [stderr] | [INFO] [stderr] 11 | pub mod occParser; [INFO] [stderr] | ^^^^^^^^^ help: convert the identifier to snake case: `occ_parser` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: module `exprParser` should have a snake case name [INFO] [stderr] --> src/main.rs:12:9 [INFO] [stderr] | [INFO] [stderr] 12 | pub mod exprParser; [INFO] [stderr] | ^^^^^^^^^^ help: convert the identifier to snake case: `expr_parser` [INFO] [stderr] [INFO] [stderr] warning: module `convExprToOcc` should have a snake case name [INFO] [stderr] --> src/main.rs:13:9 [INFO] [stderr] | [INFO] [stderr] 13 | pub mod convExprToOcc; [INFO] [stderr] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `conv_expr_to_occ` [INFO] [stderr] [INFO] [stderr] warning: module `approxOrder` should have a snake case name [INFO] [stderr] --> src/main.rs:16:9 [INFO] [stderr] | [INFO] [stderr] 16 | pub mod approxOrder; [INFO] [stderr] | ^^^^^^^^^^^ help: convert the identifier to snake case: `approx_order` [INFO] [stderr] [INFO] [stderr] warning: variable `File` should have a snake case name [INFO] [stderr] --> src/main.rs:36:9 [INFO] [stderr] | [INFO] [stderr] 36 | let File = fs::read_to_string(&args[1]); [INFO] [stderr] | ^^^^ help: convert the identifier to snake case (notice the capitalization): `file` [INFO] [stderr] [INFO] [stderr] warning: variable `ReadFile` should have a snake case name [INFO] [stderr] --> src/main.rs:37:9 [INFO] [stderr] | [INFO] [stderr] 37 | let ReadFile = match File [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `read_file` [INFO] [stderr] [INFO] [stderr] warning: variable `Gamma` should have a snake case name [INFO] [stderr] --> src/main.rs:67:13 [INFO] [stderr] | [INFO] [stderr] 67 | let mut Gamma: HashMap = HashMap::new(); [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `gamma` [INFO] [stderr] [INFO] [stderr] warning: variable `Pi` should have a snake case name [INFO] [stderr] --> src/main.rs:68:9 [INFO] [stderr] | [INFO] [stderr] 68 | let Pi = approx(occ.clone()); [INFO] [stderr] | ^^ help: convert the identifier to snake case: `pi` [INFO] [stderr] [INFO] [stderr] warning: structure field `ExpType` should have a snake case name [INFO] [stderr] --> src/occParser.rs:12:9 [INFO] [stderr] | [INFO] [stderr] 12 | pub ExpType: Type, [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `exp_type` [INFO] [stderr] [INFO] [stderr] warning: structure field `LHS` should have a snake case name [INFO] [stderr] --> src/occParser.rs:14:9 [INFO] [stderr] | [INFO] [stderr] 14 | pub LHS: Option>, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `lhs` [INFO] [stderr] [INFO] [stderr] warning: structure field `RHS` should have a snake case name [INFO] [stderr] --> src/occParser.rs:15:9 [INFO] [stderr] | [INFO] [stderr] 15 | pub RHS: Option>, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `rhs` [INFO] [stderr] [INFO] [stderr] warning: structure field `Pats` should have a snake case name [INFO] [stderr] --> src/occParser.rs:16:9 [INFO] [stderr] | [INFO] [stderr] 16 | pub Pats: Option>, [INFO] [stderr] | ^^^^ help: convert the identifier to snake case: `pats` [INFO] [stderr] [INFO] [stderr] warning: structure field `Occs` should have a snake case name [INFO] [stderr] --> src/occParser.rs:17:9 [INFO] [stderr] | [INFO] [stderr] 17 | pub Occs: Option>>, [INFO] [stderr] | ^^^^ help: convert the identifier to snake case (notice the capitalization): `occs` [INFO] [stderr] [INFO] [stderr] warning: function `Great` should have a snake case name [INFO] [stderr] --> src/occParser.rs:111:8 [INFO] [stderr] | [INFO] [stderr] 111 | pub fn Great(c1: Constant, c2: Constant) -> Constant [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `great` [INFO] [stderr] [INFO] [stderr] warning: function `Less` should have a snake case name [INFO] [stderr] --> src/occParser.rs:121:8 [INFO] [stderr] | [INFO] [stderr] 121 | pub fn Less(c1: Constant, c2: Constant) -> Constant [INFO] [stderr] | ^^^^ help: convert the identifier to snake case: `less` [INFO] [stderr] [INFO] [stderr] warning: function `Equal` should have a snake case name [INFO] [stderr] --> src/occParser.rs:131:8 [INFO] [stderr] | [INFO] [stderr] 131 | pub fn Equal(c1: Constant, c2: Constant) -> Constant [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `equal` [INFO] [stderr] [INFO] [stderr] warning: function `NEqual` should have a snake case name [INFO] [stderr] --> src/occParser.rs:141:8 [INFO] [stderr] | [INFO] [stderr] 141 | pub fn NEqual(c1: Constant, c2: Constant) -> Constant [INFO] [stderr] | ^^^^^^ help: convert the identifier to snake case: `nequal` [INFO] [stderr] [INFO] [stderr] warning: function `GEq` should have a snake case name [INFO] [stderr] --> src/occParser.rs:151:8 [INFO] [stderr] | [INFO] [stderr] 151 | pub fn GEq(c1: Constant, c2: Constant) -> Constant [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `geq` [INFO] [stderr] [INFO] [stderr] warning: function `LEq` should have a snake case name [INFO] [stderr] --> src/occParser.rs:161:8 [INFO] [stderr] | [INFO] [stderr] 161 | pub fn LEq(c1: Constant, c2: Constant) -> Constant [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `leq` [INFO] [stderr] [INFO] [stderr] warning: function `Parse_Expr` should have a snake case name [INFO] [stderr] --> src/occParser.rs:171:8 [INFO] [stderr] | [INFO] [stderr] 171 | pub fn Parse_Expr(mut str: String) -> Occ [INFO] [stderr] | ^^^^^^^^^^ help: convert the identifier to snake case: `parse_expr` [INFO] [stderr] [INFO] [stderr] warning: variable `Parsed` should have a snake case name [INFO] [stderr] --> src/occParser.rs:173:9 [INFO] [stderr] | [INFO] [stderr] 173 | let Parsed = ExprParser::parse(Rule::file, &str) [INFO] [stderr] | ^^^^^^ help: convert the identifier to snake case: `parsed` [INFO] [stderr] [INFO] [stderr] warning: structure field `ExpType` should have a snake case name [INFO] [stderr] --> src/exprParser.rs:16:9 [INFO] [stderr] | [INFO] [stderr] 16 | pub ExpType: Type, [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `exp_type` [INFO] [stderr] [INFO] [stderr] warning: structure field `LHS` should have a snake case name [INFO] [stderr] --> src/exprParser.rs:18:9 [INFO] [stderr] | [INFO] [stderr] 18 | pub LHS: Option>, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `lhs` [INFO] [stderr] [INFO] [stderr] warning: structure field `RHS` should have a snake case name [INFO] [stderr] --> src/exprParser.rs:19:9 [INFO] [stderr] | [INFO] [stderr] 19 | pub RHS: Option>, [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `rhs` [INFO] [stderr] [INFO] [stderr] warning: structure field `Pats` should have a snake case name [INFO] [stderr] --> src/exprParser.rs:20:9 [INFO] [stderr] | [INFO] [stderr] 20 | pub Pats: Option>, [INFO] [stderr] | ^^^^ help: convert the identifier to snake case: `pats` [INFO] [stderr] [INFO] [stderr] warning: structure field `Exprs` should have a snake case name [INFO] [stderr] --> src/exprParser.rs:21:9 [INFO] [stderr] | [INFO] [stderr] 21 | pub Exprs: Option>>, [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `exprs` [INFO] [stderr] [INFO] [stderr] warning: variable `Parsed` should have a snake case name [INFO] [stderr] --> src/exprParser.rs:26:9 [INFO] [stderr] | [INFO] [stderr] 26 | let Parsed = ExprParser::parse(Rule::file, &str) [INFO] [stderr] | ^^^^^^ help: convert the identifier to snake case: `parsed` [INFO] [stderr] [INFO] [stderr] warning: variable `eType` should have a snake case name [INFO] [stderr] --> src/convExprToOcc.rs:18:9 [INFO] [stderr] | [INFO] [stderr] 18 | let eType = expression.ExpType; [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `e_type` [INFO] [stderr] [INFO] [stderr] warning: variable `oExpr` should have a snake case name [INFO] [stderr] --> src/convExprToOcc.rs:19:13 [INFO] [stderr] | [INFO] [stderr] 19 | let mut oExpr: Expr = Expr { ExpType: eType.clone(), ident: expression.ident, LHS: None, RHS: None, Pats: expression.Pats, Occs: None }; [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `o_expr` [INFO] [stderr] [INFO] [stderr] warning: structure field `identR` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:19:9 [INFO] [stderr] | [INFO] [stderr] 19 | identR: String, [INFO] [stderr] | ^^^^^^ help: convert the identifier to snake case: `ident_r` [INFO] [stderr] [INFO] [stderr] warning: structure field `bodyR` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:20:9 [INFO] [stderr] | [INFO] [stderr] 20 | bodyR: Box, [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `body_r` [INFO] [stderr] [INFO] [stderr] warning: structure field `penvR` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:21:9 [INFO] [stderr] | [INFO] [stderr] 21 | penvR: HashMap, [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `penv_r` [INFO] [stderr] [INFO] [stderr] warning: static variable `next` should have an upper case name [INFO] [stderr] --> src/evaluator.rs:38:12 [INFO] [stderr] | [INFO] [stderr] 38 | static mut next: usize = 0; [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_upper_case_globals)]` (part of `#[warn(nonstandard_style)]`) on by default [INFO] [stderr] help: convert the identifier to upper case [INFO] [stderr] | [INFO] [stderr] 38 - static mut next: usize = 0; [INFO] [stderr] 38 + static mut NEXT: usize = 0; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:49:13 [INFO] [stderr] | [INFO] [stderr] 49 | let mut L: Vec; [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `V` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:50:13 [INFO] [stderr] | [INFO] [stderr] 50 | let mut V: Vec; [INFO] [stderr] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:64:21 [INFO] [stderr] | [INFO] [stderr] 64 | let mut L: Vec = Vec::new(); [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `V` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:65:21 [INFO] [stderr] | [INFO] [stderr] 65 | let mut V: Vec = Vec::new(); [INFO] [stderr] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:79:29 [INFO] [stderr] | [INFO] [stderr] 79 | let mut L: Vec = Vec::new(); [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `V` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:80:29 [INFO] [stderr] | [INFO] [stderr] 80 | let mut V: Vec = Vec::new(); [INFO] [stderr] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stderr] [INFO] [stderr] warning: variable `_L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:83:29 [INFO] [stderr] | [INFO] [stderr] 83 | let mut _L1: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stderr] [INFO] [stderr] warning: variable `_V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:84:29 [INFO] [stderr] | [INFO] [stderr] 84 | let mut _V1: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stderr] [INFO] [stderr] warning: variable `L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:85:25 [INFO] [stderr] | [INFO] [stderr] 85 | let L1: &mut Vec; [INFO] [stderr] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stderr] [INFO] [stderr] warning: variable `V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:86:25 [INFO] [stderr] | [INFO] [stderr] 86 | let V1: &mut Vec; [INFO] [stderr] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:110:21 [INFO] [stderr] | [INFO] [stderr] 110 | let mut L: Vec = Vec::new(); [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `V` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:111:21 [INFO] [stderr] | [INFO] [stderr] 111 | let mut V: Vec = Vec::new(); [INFO] [stderr] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:127:29 [INFO] [stderr] | [INFO] [stderr] 127 | let mut L: Vec; [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `V` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:128:29 [INFO] [stderr] | [INFO] [stderr] 128 | let mut V: Vec; [INFO] [stderr] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stderr] [INFO] [stderr] warning: variable `_L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:136:37 [INFO] [stderr] | [INFO] [stderr] 136 | ... let mut _L1: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stderr] [INFO] [stderr] warning: variable `_V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:137:37 [INFO] [stderr] | [INFO] [stderr] 137 | ... let mut _V1: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stderr] [INFO] [stderr] warning: variable `L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:144:33 [INFO] [stderr] | [INFO] [stderr] 144 | ... let L1: &mut Vec = &mut _L1; [INFO] [stderr] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stderr] [INFO] [stderr] warning: variable `V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:145:33 [INFO] [stderr] | [INFO] [stderr] 145 | ... let V1: &mut Vec = &mut _V1; [INFO] [stderr] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stderr] [INFO] [stderr] warning: variable `_L2` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:147:37 [INFO] [stderr] | [INFO] [stderr] 147 | ... let mut _L2: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `_l2` [INFO] [stderr] [INFO] [stderr] warning: variable `_V2` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:148:37 [INFO] [stderr] | [INFO] [stderr] 148 | ... let mut _V2: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v2` [INFO] [stderr] [INFO] [stderr] warning: variable `L2` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:150:33 [INFO] [stderr] | [INFO] [stderr] 150 | ... let L2: &mut Vec = &mut _L2; [INFO] [stderr] | ^^ help: convert the identifier to snake case: `l2` [INFO] [stderr] [INFO] [stderr] warning: variable `V2` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:151:33 [INFO] [stderr] | [INFO] [stderr] 151 | ... let V2: &mut Vec = &mut _V2; [INFO] [stderr] | ^^ help: convert the identifier to snake case (notice the capitalization): `v2` [INFO] [stderr] [INFO] [stderr] warning: variable `_L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:159:37 [INFO] [stderr] | [INFO] [stderr] 159 | ... let mut _L1: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stderr] [INFO] [stderr] warning: variable `_V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:160:37 [INFO] [stderr] | [INFO] [stderr] 160 | ... let mut _V1: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stderr] [INFO] [stderr] warning: variable `_L2` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:172:37 [INFO] [stderr] | [INFO] [stderr] 172 | ... let mut _L2: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `_l2` [INFO] [stderr] [INFO] [stderr] warning: variable `_V2` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:173:37 [INFO] [stderr] | [INFO] [stderr] 173 | ... let mut _V2: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v2` [INFO] [stderr] [INFO] [stderr] warning: variable `L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:176:33 [INFO] [stderr] | [INFO] [stderr] 176 | ... let L1: &mut Vec = &mut _L1; let L2: &mut Vec = &mut _L2; [INFO] [stderr] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stderr] [INFO] [stderr] warning: variable `L2` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:176:68 [INFO] [stderr] | [INFO] [stderr] 176 | ... let L1: &mut Vec = &mut _L1; let L2: &mut Vec = &mut _L2; [INFO] [stderr] | ^^ help: convert the identifier to snake case: `l2` [INFO] [stderr] [INFO] [stderr] warning: variable `V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:177:33 [INFO] [stderr] | [INFO] [stderr] 177 | ... let V1: &mut Vec = &mut _V1; let V2: &mut Vec = &mut _V2; [INFO] [stderr] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stderr] [INFO] [stderr] warning: variable `V2` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:177:68 [INFO] [stderr] | [INFO] [stderr] 177 | ... let V1: &mut Vec = &mut _V1; let V2: &mut Vec = &mut _V2; [INFO] [stderr] | ^^ help: convert the identifier to snake case (notice the capitalization): `v2` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:193:21 [INFO] [stderr] | [INFO] [stderr] 193 | let mut L: Vec; [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `V` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:194:21 [INFO] [stderr] | [INFO] [stderr] 194 | let mut V: Vec; [INFO] [stderr] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stderr] [INFO] [stderr] warning: variable `_L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:195:21 [INFO] [stderr] | [INFO] [stderr] 195 | let mut _L1: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stderr] [INFO] [stderr] warning: variable `_V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:196:21 [INFO] [stderr] | [INFO] [stderr] 196 | let mut _V1: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stderr] [INFO] [stderr] warning: variable `L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:202:17 [INFO] [stderr] | [INFO] [stderr] 202 | let L1: &mut Vec = &mut _L1; [INFO] [stderr] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stderr] [INFO] [stderr] warning: variable `V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:203:17 [INFO] [stderr] | [INFO] [stderr] 203 | let V1: &mut Vec = &mut _V1; [INFO] [stderr] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:287:21 [INFO] [stderr] | [INFO] [stderr] 287 | let mut L: Vec; [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `V` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:288:21 [INFO] [stderr] | [INFO] [stderr] 288 | let mut V: Vec; [INFO] [stderr] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stderr] [INFO] [stderr] warning: variable `L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:289:21 [INFO] [stderr] | [INFO] [stderr] 289 | let mut L1: Vec; [INFO] [stderr] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stderr] [INFO] [stderr] warning: variable `V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:290:21 [INFO] [stderr] | [INFO] [stderr] 290 | let mut V1: Vec; [INFO] [stderr] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:308:21 [INFO] [stderr] | [INFO] [stderr] 308 | let mut L: Vec; [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `V` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:309:21 [INFO] [stderr] | [INFO] [stderr] 309 | let mut V: Vec; [INFO] [stderr] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stderr] [INFO] [stderr] warning: variable `L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:322:37 [INFO] [stderr] | [INFO] [stderr] 322 | ... let mut L1: Vec; [INFO] [stderr] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stderr] [INFO] [stderr] warning: variable `V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:323:37 [INFO] [stderr] | [INFO] [stderr] 323 | ... let mut V1: Vec; [INFO] [stderr] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:345:21 [INFO] [stderr] | [INFO] [stderr] 345 | let mut L: Vec; [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `V` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:346:21 [INFO] [stderr] | [INFO] [stderr] 346 | let mut V: Vec; [INFO] [stderr] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stderr] [INFO] [stderr] warning: variable `_L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:359:37 [INFO] [stderr] | [INFO] [stderr] 359 | ... let mut _L1: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stderr] [INFO] [stderr] warning: variable `_V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:360:37 [INFO] [stderr] | [INFO] [stderr] 360 | ... let mut _V1: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stderr] [INFO] [stderr] warning: variable `L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:366:33 [INFO] [stderr] | [INFO] [stderr] 366 | ... let L1: &mut Vec = &mut _L1; [INFO] [stderr] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stderr] [INFO] [stderr] warning: variable `V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:367:33 [INFO] [stderr] | [INFO] [stderr] 367 | ... let V1: &mut Vec = &mut _V1; [INFO] [stderr] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stderr] [INFO] [stderr] warning: variable `_L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:374:37 [INFO] [stderr] | [INFO] [stderr] 374 | ... let mut _L1: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stderr] [INFO] [stderr] warning: variable `_V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:375:37 [INFO] [stderr] | [INFO] [stderr] 375 | ... let mut _V1: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stderr] [INFO] [stderr] warning: variable `L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:378:33 [INFO] [stderr] | [INFO] [stderr] 378 | ... let L1: &mut Vec = &mut _L1; [INFO] [stderr] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stderr] [INFO] [stderr] warning: variable `V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:379:33 [INFO] [stderr] | [INFO] [stderr] 379 | ... let V1: &mut Vec = &mut _V1; [INFO] [stderr] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:390:21 [INFO] [stderr] | [INFO] [stderr] 390 | let mut L: Vec = Vec::new(); [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `V` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:391:21 [INFO] [stderr] | [INFO] [stderr] 391 | let mut V: Vec = Vec::new(); [INFO] [stderr] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stderr] [INFO] [stderr] warning: creating a shared reference to mutable static [INFO] [stderr] --> src/evaluator.rs:396:49 [INFO] [stderr] | [INFO] [stderr] 396 | unsafe { loc = "_nu".to_string() + &next.to_string(); next = next+1; } [INFO] [stderr] | ^^^^^^^^^^^^^^^^ shared reference to mutable static [INFO] [stderr] | [INFO] [stderr] = note: for more information, see [INFO] [stderr] = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives [INFO] [stderr] = note: `#[warn(static_mut_refs)]` (part of `#[warn(rust_2024_compatibility)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:405:21 [INFO] [stderr] | [INFO] [stderr] 405 | let mut L: Vec = Vec::new(); [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `V` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:406:21 [INFO] [stderr] | [INFO] [stderr] 406 | let mut V: Vec = Vec::new(); [INFO] [stderr] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stderr] [INFO] [stderr] warning: variable `L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:407:21 [INFO] [stderr] | [INFO] [stderr] 407 | let mut L1: Vec = Vec::new(); [INFO] [stderr] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stderr] [INFO] [stderr] warning: variable `V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:408:21 [INFO] [stderr] | [INFO] [stderr] 408 | let mut V1: Vec = Vec::new(); [INFO] [stderr] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:429:21 [INFO] [stderr] | [INFO] [stderr] 429 | let mut L: Vec = Vec::new(); [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `V` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:430:21 [INFO] [stderr] | [INFO] [stderr] 430 | let mut V: Vec = Vec::new(); [INFO] [stderr] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stderr] [INFO] [stderr] warning: variable `_L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:439:29 [INFO] [stderr] | [INFO] [stderr] 439 | let mut _L1: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `_l1` [INFO] [stderr] [INFO] [stderr] warning: variable `_V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:440:29 [INFO] [stderr] | [INFO] [stderr] 440 | let mut _V1: Vec; [INFO] [stderr] | ^^^ help: convert the identifier to snake case (notice the capitalization): `_v1` [INFO] [stderr] [INFO] [stderr] warning: variable `L1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:441:25 [INFO] [stderr] | [INFO] [stderr] 441 | let L1: &mut Vec; [INFO] [stderr] | ^^ help: convert the identifier to snake case: `l1` [INFO] [stderr] [INFO] [stderr] warning: variable `V1` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:442:25 [INFO] [stderr] | [INFO] [stderr] 442 | let V1: &mut Vec; [INFO] [stderr] | ^^ help: convert the identifier to snake case (notice the capitalization): `v1` [INFO] [stderr] [INFO] [stderr] warning: variable `L` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:470:21 [INFO] [stderr] | [INFO] [stderr] 470 | let mut L: Vec = Vec::new(); [INFO] [stderr] | ^ help: convert the identifier to snake case: `l` [INFO] [stderr] [INFO] [stderr] warning: variable `V` should have a snake case name [INFO] [stderr] --> src/evaluator.rs:471:21 [INFO] [stderr] | [INFO] [stderr] 471 | let mut V: Vec = Vec::new(); [INFO] [stderr] | ^ help: convert the identifier to snake case (notice the capitalization): `v` [INFO] [stderr] [INFO] [stderr] warning: structure field `T1` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:24:9 [INFO] [stderr] | [INFO] [stderr] 24 | T1: Option>, [INFO] [stderr] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stderr] [INFO] [stderr] warning: structure field `T2` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:25:9 [INFO] [stderr] | [INFO] [stderr] 25 | T2: Option>, [INFO] [stderr] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stderr] [INFO] [stderr] warning: static variable `next` should have an upper case name [INFO] [stderr] --> src/typechecker.rs:29:12 [INFO] [stderr] | [INFO] [stderr] 29 | static mut next: usize = 0; [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] help: convert the identifier to upper case [INFO] [stderr] | [INFO] [stderr] 29 - static mut next: usize = 0; [INFO] [stderr] 29 + static mut NEXT: usize = 0; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: function `TCheck` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:31:8 [INFO] [stderr] | [INFO] [stderr] 31 | pub fn TCheck(mut Gamma: HashMap, Pi: HashMap, occ: occParser::Occ, v: Vec>, mut assumpt... [INFO] [stderr] | ^^^^^^ help: convert the identifier to snake case: `tcheck` [INFO] [stderr] [INFO] [stderr] warning: variable `Gamma` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:31:19 [INFO] [stderr] | [INFO] [stderr] 31 | pub fn TCheck(mut Gamma: HashMap, Pi: HashMap, occ: occParser::Occ, v: Vec>, mut assumpt... [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `gamma` [INFO] [stderr] [INFO] [stderr] warning: variable `Pi` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:31:49 [INFO] [stderr] | [INFO] [stderr] 31 | pub fn TCheck(mut Gamma: HashMap, Pi: HashMap, occ: occParser::Occ, v: Vec>, mut assumpt... [INFO] [stderr] | ^^ help: convert the identifier to snake case: `pi` [INFO] [stderr] [INFO] [stderr] warning: creating a shared reference to mutable static [INFO] [stderr] --> src/typechecker.rs:159:47 [INFO] [stderr] | [INFO] [stderr] 159 | let id = "_nu".to_string() + &next.to_string(); [INFO] [stderr] | ^^^^^^^^^^^^^^^^ shared reference to mutable static [INFO] [stderr] | [INFO] [stderr] = note: for more information, see [INFO] [stderr] = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives [INFO] [stderr] [INFO] [stderr] warning: function `GetBinding` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:236:4 [INFO] [stderr] | [INFO] [stderr] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stderr] | ^^^^^^^^^^ help: convert the identifier to snake case: `get_binding` [INFO] [stderr] [INFO] [stderr] warning: variable `Gamma` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:236:34 [INFO] [stderr] | [INFO] [stderr] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `gamma` [INFO] [stderr] [INFO] [stderr] warning: variable `Pi` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:236:64 [INFO] [stderr] | [INFO] [stderr] 236 | fn GetBinding(ident: String, mut Gamma: HashMap, Pi: HashMap) -> SemOcc [INFO] [stderr] | ^^ help: convert the identifier to snake case: `pi` [INFO] [stderr] [INFO] [stderr] warning: variable `gBind` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:238:13 [INFO] [stderr] | [INFO] [stderr] 238 | let mut gBind: Option = None; [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `g_bind` [INFO] [stderr] [INFO] [stderr] warning: variable `bindOcc` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:239:13 [INFO] [stderr] | [INFO] [stderr] 239 | let mut bindOcc: SemOcc = SemOcc { ident: ident.clone(), label: 0 }; [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `bind_occ` [INFO] [stderr] [INFO] [stderr] warning: function `GetAllGBinding` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:252:4 [INFO] [stderr] | [INFO] [stderr] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap, v: Vec>) -> Vec [INFO] [stderr] | ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `get_all_gbinding` [INFO] [stderr] [INFO] [stderr] warning: variable `Gamma` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:252:52 [INFO] [stderr] | [INFO] [stderr] 252 | fn GetAllGBinding(ident: String, point: usize, mut Gamma: HashMap, v: Vec>) -> Vec [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `gamma` [INFO] [stderr] [INFO] [stderr] warning: variable `gBind` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:257:17 [INFO] [stderr] | [INFO] [stderr] 257 | let mut gBind: usize = 0; [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `g_bind` [INFO] [stderr] [INFO] [stderr] warning: variable `bindOcc` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:258:17 [INFO] [stderr] | [INFO] [stderr] 258 | let mut bindOcc: SemOcc = SemOcc { ident: ident.clone(), label: 0 }; [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `bind_occ` [INFO] [stderr] [INFO] [stderr] warning: function `sqUnion` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:287:4 [INFO] [stderr] | [INFO] [stderr] 287 | fn sqUnion(mut t: Type, mut b: Vec) -> Type [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `sq_union` [INFO] [stderr] [INFO] [stderr] warning: function `Union` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:308:4 [INFO] [stderr] | [INFO] [stderr] 308 | fn Union(mut t1: Type, mut t2: Type) -> Type [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case (notice the capitalization): `union` [INFO] [stderr] [INFO] [stderr] warning: function `BaseEqual` should have a snake case name [INFO] [stderr] --> src/typechecker.rs:350:4 [INFO] [stderr] | [INFO] [stderr] 350 | fn BaseEqual(t1: Type, t2: Type) -> bool [INFO] [stderr] | ^^^^^^^^^ help: convert the identifier to snake case: `base_equal` [INFO] [stderr] [INFO] [stderr] warning: function `ApproximateOrder` should have a snake case name [INFO] [stderr] --> src/approxOrder.rs:16:4 [INFO] [stderr] | [INFO] [stderr] 16 | fn ApproximateOrder(occ: Occ, last_point: usize) -> (Vec<(usize,usize)>, usize, Option>) [INFO] [stderr] | ^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `approximate_order` [INFO] [stderr] [INFO] [stderr] warning: structure field `T1` should have a snake case name [INFO] [stderr] --> src/tc.rs:27:9 [INFO] [stderr] | [INFO] [stderr] 27 | T1: Option>, [INFO] [stderr] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stderr] [INFO] [stderr] warning: structure field `T2` should have a snake case name [INFO] [stderr] --> src/tc.rs:28:9 [INFO] [stderr] | [INFO] [stderr] 28 | T2: Option>, [INFO] [stderr] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stderr] [INFO] [stderr] warning: static variable `next` should have an upper case name [INFO] [stderr] --> src/tc.rs:51:12 [INFO] [stderr] | [INFO] [stderr] 51 | static mut next: usize = 0; [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] help: convert the identifier to upper case [INFO] [stderr] | [INFO] [stderr] 51 - static mut next: usize = 0; [INFO] [stderr] 51 + static mut NEXT: usize = 0; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: creating a shared reference to mutable static [INFO] [stderr] --> src/tc.rs:223:34 [INFO] [stderr] | [INFO] [stderr] 223 | let id = "_nu".to_string() + &next.to_string(); [INFO] [stderr] | ^^^^^^^^^^^^^^^^ shared reference to mutable static [INFO] [stderr] | [INFO] [stderr] = note: for more information, see [INFO] [stderr] = note: shared references to mutable statics are dangerous; it's undefined behavior if the static is mutated or if a mutable reference is created for it while the shared reference lives [INFO] [stderr] [INFO] [stderr] warning: module `letTest` should have a snake case name [INFO] [stderr] --> src/tests/tests.rs:15:22 [INFO] [stderr] | [INFO] [stderr] 15 | #[cfg(test)] pub mod letTest; [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `let_test` [INFO] [stderr] [INFO] [stderr] warning: variable `T1` should have a snake case name [INFO] [stderr] --> src/tests/func.rs:27:6 [INFO] [stderr] | [INFO] [stderr] 27 | let T1 = Some(Box::new(tc::Type::Base { delta: Vec::new() , kappa: Vec::new() })); [INFO] [stderr] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stderr] [INFO] [stderr] warning: variable `T2` should have a snake case name [INFO] [stderr] --> src/tests/func.rs:28:6 [INFO] [stderr] | [INFO] [stderr] 28 | let T2 = Some(Box::new(tc::Type::Base { delta: Vec::new() , kappa: Vec::new() })); [INFO] [stderr] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stderr] [INFO] [stderr] warning: variable `T1` should have a snake case name [INFO] [stderr] --> src/tests/func.rs:54:9 [INFO] [stderr] | [INFO] [stderr] 54 | let T1 = Some(Box::new(tc::Type::Base { delta: Vec::new() , kappa: Vec::new() })); [INFO] [stderr] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stderr] [INFO] [stderr] warning: variable `T2` should have a snake case name [INFO] [stderr] --> src/tests/func.rs:55:9 [INFO] [stderr] | [INFO] [stderr] 55 | let T2 = Some(Box::new(tc::Type::Base { delta , kappa: Vec::new() })); [INFO] [stderr] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stderr] [INFO] [stderr] warning: variable `T1` should have a snake case name [INFO] [stderr] --> src/tests/func.rs:83:9 [INFO] [stderr] | [INFO] [stderr] 83 | let T1 = Some(Box::new(tc::Type::Base { delta , kappa: Vec::new() })); [INFO] [stderr] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stderr] [INFO] [stderr] warning: variable `T2` should have a snake case name [INFO] [stderr] --> src/tests/func.rs:84:9 [INFO] [stderr] | [INFO] [stderr] 84 | let T2 = Some(Box::new(tc::Type::Base { delta: Vec::new() , kappa: Vec::new() })); [INFO] [stderr] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stderr] [INFO] [stderr] warning: variable `T1` should have a snake case name [INFO] [stderr] --> src/tests/func.rs:116:9 [INFO] [stderr] | [INFO] [stderr] 116 | let T1 = Some(Box::new(tc::Type::Base { delta: delta1.clone() , kappa: Vec::new() })); [INFO] [stderr] | ^^ help: convert the identifier to snake case: `t1` [INFO] [stderr] [INFO] [stderr] warning: variable `T2` should have a snake case name [INFO] [stderr] --> src/tests/func.rs:117:9 [INFO] [stderr] | [INFO] [stderr] 117 | let T2 = Some(Box::new(tc::Type::Base { delta: delta2.clone() , kappa: Vec::new() })); [INFO] [stderr] | ^^ help: convert the identifier to snake case: `t2` [INFO] [stderr] [INFO] [stderr] warning: `dataflow` (bin "dataflow" test) generated 324 warnings (run `cargo fix --bin "dataflow" --tests` to apply 154 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.13s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/dataflow-c23625bdd1b166aa) [INFO] [stdout] [INFO] [stdout] running 38 tests [INFO] [stdout] test tests::all_pi_simple ... ok [INFO] [stdout] test tests::app::const_app ... ok [INFO] [stdout] test tests::case::case_simple ... ok [INFO] [stdout] test tests::case::case_simple_condition ... ok [INFO] [stdout] test tests::app::var_app ... ok [INFO] [stdout] test tests::case::case_simple_condition_var_2 ... ok [INFO] [stdout] test tests::const_occ ... ok [INFO] [stdout] test tests::constants::const_err_occ ... ok [INFO] [stdout] test tests::const_err_occ ... ok [INFO] [stdout] test tests::fapp::var_both_functional_app ... ok [INFO] [stdout] test tests::fapp::const_functional_app ... ok [INFO] [stdout] test tests::fapp::var_left_functional_app ... ok [INFO] [stdout] test tests::func::const_empty_func ... ok [INFO] [stdout] test tests::letTest::var_loc_simple_functional_app ... ok [INFO] [stdout] test tests::letTest::var_empty_var_functional_app ... ok [INFO] [stdout] test tests::func::const_func ... ok [INFO] [stdout] test tests::fapp::var_right_functional_app ... ok [INFO] [stdout] test tests::func::identity_empty_func ... ok [INFO] [stdout] test tests::letTest::const_functional_app ... ok [INFO] [stdout] test tests::func::identity_func ... ok [INFO] [stdout] test tests::reference::var_ref ... ok [INFO] [stdout] test tests::reference_read::read_empty ... ok [INFO] [stdout] test tests::reference_read::read_var ... ok [INFO] [stdout] test tests::app::assumption_app ... ok [INFO] [stdout] test tests::var::var_err_ident_occ ... ok [INFO] [stdout] test tests::reference_write::write_var_empty ... ok [INFO] [stdout] test tests::letTest::var_var_functional_app ... ok [INFO] [stdout] test tests::reference_write::write_var_var ... ok [INFO] [stdout] test tests::reference_write::write_empty ... ok [INFO] [stdout] test tests::reference_write::write_empty_var ... ok [INFO] [stdout] test tests::reference::empty_ref ... ok [INFO] [stdout] test tests::var::var_occ ... ok [INFO] [stdout] test tests::case::case_simple_condition_var_1 ... ok [INFO] [stdout] test tests::letTest::var_loc_complex_functional_app ... ok [INFO] [stdout] test tests::var::var_err_label_occ ... ok [INFO] [stdout] test tests::var::var_err_occ ... ok [INFO] [stdout] test tests::letTest::var_functional_app ... ok [INFO] [stdout] test tests::constants::const_occ ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 38 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "49823a38845ef22c466143015323c0304ca27e451dcb57ed56dff7ce47eeef6f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "49823a38845ef22c466143015323c0304ca27e451dcb57ed56dff7ce47eeef6f", kill_on_drop: false }` [INFO] [stdout] 49823a38845ef22c466143015323c0304ca27e451dcb57ed56dff7ce47eeef6f