[INFO] updating cached repository MaXiaoye/CAS706_assignment3_Rust [INFO] running `"git" "fetch" "--all"` [INFO] [stdout] Fetching origin [INFO] [stderr] From git://github.com/MaXiaoye/CAS706_assignment3_Rust [INFO] [stderr] * branch HEAD -> FETCH_HEAD [INFO] running `"git" "clone" "work/cache/sources/gh/MaXiaoye/CAS706_assignment3_Rust" "work/ex/clippy-test-run/sources/stable/gh/MaXiaoye/CAS706_assignment3_Rust"` [INFO] [stderr] Cloning into 'work/ex/clippy-test-run/sources/stable/gh/MaXiaoye/CAS706_assignment3_Rust'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/MaXiaoye/CAS706_assignment3_Rust" "work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/MaXiaoye/CAS706_assignment3_Rust"` [INFO] [stderr] Cloning into 'work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/MaXiaoye/CAS706_assignment3_Rust'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] c026c323ec5117cf87b72eb514b027e0e1f39a8f [INFO] sha for GitHub repo MaXiaoye/CAS706_assignment3_Rust: c026c323ec5117cf87b72eb514b027e0e1f39a8f [INFO] validating manifest of MaXiaoye/CAS706_assignment3_Rust on toolchain stable [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of MaXiaoye/CAS706_assignment3_Rust on toolchain stable+rustflags=-Dclippy::into_iter_on_array [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing MaXiaoye/CAS706_assignment3_Rust [INFO] finished frobbing MaXiaoye/CAS706_assignment3_Rust [INFO] frobbed toml for MaXiaoye/CAS706_assignment3_Rust written to work/ex/clippy-test-run/sources/stable/gh/MaXiaoye/CAS706_assignment3_Rust/Cargo.toml [INFO] started frobbing MaXiaoye/CAS706_assignment3_Rust [INFO] finished frobbing MaXiaoye/CAS706_assignment3_Rust [INFO] frobbed toml for MaXiaoye/CAS706_assignment3_Rust written to work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/MaXiaoye/CAS706_assignment3_Rust/Cargo.toml [INFO] crate MaXiaoye/CAS706_assignment3_Rust has a lockfile. skipping [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] linting MaXiaoye/CAS706_assignment3_Rust against stable+rustflags=-Dclippy::into_iter_on_array for clippy-test-run [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/clippy-test-run/worker-1/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/MaXiaoye/CAS706_assignment3_Rust:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dclippy::into_iter_on_array" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+stable" "clippy" "--frozen" "--all" "--all-targets"` [INFO] [stdout] fe6efcdd4f68ed5087eff0a870bb8b531086993181ce6bba43c18839844cf205 [INFO] running `"docker" "start" "-a" "fe6efcdd4f68ed5087eff0a870bb8b531086993181ce6bba43c18839844cf205"` [INFO] [stderr] warning: An explicit [[bin]] section is specified in Cargo.toml which currently [INFO] [stderr] disables Cargo from automatically inferring other binary targets. [INFO] [stderr] This inference behavior will change in the Rust 2018 edition and the following [INFO] [stderr] files will be included as a binary target: [INFO] [stderr] [INFO] [stderr] * /opt/crater/workdir/src/main.rs [INFO] [stderr] [INFO] [stderr] This is likely to break cargo build or cargo test as these files may not be [INFO] [stderr] ready to be compiled as a binary target today. You can future-proof yourself [INFO] [stderr] and disable this warning by adding `autobins = false` to your [package] [INFO] [stderr] section. You may also move the files to a location where Cargo would not [INFO] [stderr] automatically infer them to be a target, such as in subfolders. [INFO] [stderr] [INFO] [stderr] For more information on this warning you can consult [INFO] [stderr] https://github.com/rust-lang/cargo/issues/5330 [INFO] [stderr] warning: path `/opt/crater/workdir/src/main.rs` was erroneously implicitly accepted for binary `hello_world`, [INFO] [stderr] please set bin.path in Cargo.toml [INFO] [stderr] Checking assignmentThree_Rust v0.0.1 (/opt/crater/workdir) [INFO] [stderr] warning: All variants have the same prefix: `Ty` [INFO] [stderr] --> src/main.rs:29:2 [INFO] [stderr] | [INFO] [stderr] 29 | enum Type { [INFO] [stderr] | _____^ [INFO] [stderr] 30 | | TyInt, [INFO] [stderr] 31 | | TyBool, [INFO] [stderr] 32 | | TyVar{num: u32}, [INFO] [stderr] 33 | | TyFun{ParamTy: Box, ReturnTy: Box} [INFO] [stderr] 34 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(clippy::enum_variant_names)] on by default [INFO] [stderr] = help: remove the prefixes and use full paths to the variants instead of glob imports [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#enum_variant_names [INFO] [stderr] [INFO] [stderr] warning: All variants have the same prefix: `Ty` [INFO] [stderr] --> src/main.rs:29:2 [INFO] [stderr] | [INFO] [stderr] 29 | enum Type { [INFO] [stderr] | _____^ [INFO] [stderr] 30 | | TyInt, [INFO] [stderr] 31 | | TyBool, [INFO] [stderr] 32 | | TyVar{num: u32}, [INFO] [stderr] 33 | | TyFun{ParamTy: Box, ReturnTy: Box} [INFO] [stderr] 34 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(clippy::enum_variant_names)] on by default [INFO] [stderr] = help: remove the prefixes and use full paths to the variants instead of glob imports [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#enum_variant_names [INFO] [stderr] [INFO] [stderr] warning: unreachable pattern [INFO] [stderr] --> src/main.rs:141:4 [INFO] [stderr] | [INFO] [stderr] 141 | _ => panic!("undefined term!") [INFO] [stderr] | ^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unreachable_patterns)] on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `a1` [INFO] [stderr] --> src/main.rs:600:6 [INFO] [stderr] | [INFO] [stderr] 600 | let a1 = UntypedTerm::APP{fun: Box::new(f1.clone()), arg: Box::new(i1.clone())}; [INFO] [stderr] | ^^ help: consider using `_a1` instead [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_variables)] on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `v` [INFO] [stderr] --> src/main.rs:156:35 [INFO] [stderr] | [INFO] [stderr] 156 | TypedTerm::T_INT{ty: t, value: v} => vec![Constraint{typeA: t, typeB: Type::TyInt}], [INFO] [stderr] | ^ help: consider using `_v` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `v` [INFO] [stderr] --> src/main.rs:157:36 [INFO] [stderr] | [INFO] [stderr] 157 | TypedTerm::T_BOOL{ty: t, value: v} => vec![Constraint{typeA: t, typeB: Type::TyBool}], [INFO] [stderr] | ^ help: consider using `_v` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:165:25 [INFO] [stderr] | [INFO] [stderr] 165 | TypedTerm::T_VAR{ty: t, name: n} => vec![], [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n` [INFO] [stderr] --> src/main.rs:165:34 [INFO] [stderr] | [INFO] [stderr] 165 | TypedTerm::T_VAR{ty: t, name: n} => vec![], [INFO] [stderr] | ^ help: consider using `_n` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `o` [INFO] [stderr] --> src/main.rs:175:33 [INFO] [stderr] | [INFO] [stderr] 175 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => { [INFO] [stderr] | ^ help: consider using `_o` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:437:31 [INFO] [stderr] | [INFO] [stderr] 437 | TypedTerm::T_VAR{ty: t, name: n} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:441:31 [INFO] [stderr] | [INFO] [stderr] 441 | TypedTerm::T_APP{ty: t, fun: f, arg: a} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:447:34 [INFO] [stderr] | [INFO] [stderr] 447 | TypedTerm::T_FUN{ty: t1, param: p1, body: b1} => match *p1.clone() { [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:448:35 [INFO] [stderr] | [INFO] [stderr] 448 | TypedTerm::T_VAR{ty: t2, name: n1} => { [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:459:32 [INFO] [stderr] | [INFO] [stderr] 459 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:470:31 [INFO] [stderr] | [INFO] [stderr] 470 | TypedTerm::T_NOT{ty: t, exp: e} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:477:31 [INFO] [stderr] | [INFO] [stderr] 477 | TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:482:30 [INFO] [stderr] | [INFO] [stderr] 482 | TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:487:31 [INFO] [stderr] | [INFO] [stderr] 487 | TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:492:30 [INFO] [stderr] | [INFO] [stderr] 492 | TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:497:30 [INFO] [stderr] | [INFO] [stderr] 497 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:502:34 [INFO] [stderr] | [INFO] [stderr] 502 | TypedTerm::T_BOOL{ty: t1, value: v} => if v {v2} else {v3}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:506:31 [INFO] [stderr] | [INFO] [stderr] 506 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:511:33 [INFO] [stderr] | [INFO] [stderr] 511 | TypedTerm::T_VAR{ty: t, name: n} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `solutions` [INFO] [stderr] --> src/main.rs:526:10 [INFO] [stderr] | [INFO] [stderr] 526 | let solutions = unify(Constraints); [INFO] [stderr] | ^^^^^^^^^ help: consider using `_solutions` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:536:26 [INFO] [stderr] | [INFO] [stderr] 536 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1+v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:536:63 [INFO] [stderr] | [INFO] [stderr] 536 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1+v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:543:26 [INFO] [stderr] | [INFO] [stderr] 543 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1-v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:543:63 [INFO] [stderr] | [INFO] [stderr] 543 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1-v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:550:26 [INFO] [stderr] | [INFO] [stderr] 550 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1*v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:550:63 [INFO] [stderr] | [INFO] [stderr] 550 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1*v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:557:26 [INFO] [stderr] | [INFO] [stderr] 557 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1/v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:557:63 [INFO] [stderr] | [INFO] [stderr] 557 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1/v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:564:26 [INFO] [stderr] | [INFO] [stderr] 564 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyInt, value: v1 < v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:564:63 [INFO] [stderr] | [INFO] [stderr] 564 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyInt, value: v1 < v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:572:27 [INFO] [stderr] | [INFO] [stderr] 572 | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 && v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:572:65 [INFO] [stderr] | [INFO] [stderr] 572 | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 && v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:579:27 [INFO] [stderr] | [INFO] [stderr] 579 | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 || v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:579:65 [INFO] [stderr] | [INFO] [stderr] 579 | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 || v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:586:27 [INFO] [stderr] | [INFO] [stderr] 586 | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 == v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:586:65 [INFO] [stderr] | [INFO] [stderr] 586 | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 == v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:587:26 [INFO] [stderr] | [INFO] [stderr] 587 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 == v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:587:63 [INFO] [stderr] | [INFO] [stderr] 587 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 == v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `v` [INFO] [stderr] --> src/main.rs:67:36 [INFO] [stderr] | [INFO] [stderr] 67 | TypedTerm::T_INT{ty: t, value: v} => t, [INFO] [stderr] | ^ help: consider using `_v` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `v` [INFO] [stderr] --> src/main.rs:68:40 [INFO] [stderr] | [INFO] [stderr] 68 | TypedTerm::T_BOOL{ty: t, value: v} => t, [INFO] [stderr] | ^ help: consider using `_v` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n` [INFO] [stderr] --> src/main.rs:69:38 [INFO] [stderr] | [INFO] [stderr] 69 | TypedTerm::T_VAR{ty: t, name: n} => t, [INFO] [stderr] | ^ help: consider using `_n` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `p` [INFO] [stderr] --> src/main.rs:70:39 [INFO] [stderr] | [INFO] [stderr] 70 | TypedTerm::T_FUN{ty: t, param: p, body: b} => t, [INFO] [stderr] | ^ help: consider using `_p` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `b` [INFO] [stderr] --> src/main.rs:70:48 [INFO] [stderr] | [INFO] [stderr] 70 | TypedTerm::T_FUN{ty: t, param: p, body: b} => t, [INFO] [stderr] | ^ help: consider using `_b` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f` [INFO] [stderr] --> src/main.rs:71:37 [INFO] [stderr] | [INFO] [stderr] 71 | TypedTerm::T_APP{ty: t, fun: f, arg: a} => t, [INFO] [stderr] | ^ help: consider using `_f` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `a` [INFO] [stderr] --> src/main.rs:71:45 [INFO] [stderr] | [INFO] [stderr] 71 | TypedTerm::T_APP{ty: t, fun: f, arg: a} => t, [INFO] [stderr] | ^ help: consider using `_a` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `o` [INFO] [stderr] --> src/main.rs:72:37 [INFO] [stderr] | [INFO] [stderr] 72 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^ help: consider using `_o` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e1` [INFO] [stderr] --> src/main.rs:72:46 [INFO] [stderr] | [INFO] [stderr] 72 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e2` [INFO] [stderr] --> src/main.rs:72:56 [INFO] [stderr] | [INFO] [stderr] 72 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e` [INFO] [stderr] --> src/main.rs:73:37 [INFO] [stderr] | [INFO] [stderr] 73 | TypedTerm::T_NOT{ty: t, exp: e} => t, [INFO] [stderr] | ^ help: consider using `_e` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e1` [INFO] [stderr] --> src/main.rs:74:38 [INFO] [stderr] | [INFO] [stderr] 74 | TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e2` [INFO] [stderr] --> src/main.rs:74:48 [INFO] [stderr] | [INFO] [stderr] 74 | TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e1` [INFO] [stderr] --> src/main.rs:75:37 [INFO] [stderr] | [INFO] [stderr] 75 | TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e2` [INFO] [stderr] --> src/main.rs:75:47 [INFO] [stderr] | [INFO] [stderr] 75 | TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e1` [INFO] [stderr] --> src/main.rs:76:38 [INFO] [stderr] | [INFO] [stderr] 76 | TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e2` [INFO] [stderr] --> src/main.rs:76:48 [INFO] [stderr] | [INFO] [stderr] 76 | TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e1` [INFO] [stderr] --> src/main.rs:77:37 [INFO] [stderr] | [INFO] [stderr] 77 | TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e2` [INFO] [stderr] --> src/main.rs:77:47 [INFO] [stderr] | [INFO] [stderr] 77 | TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e1` [INFO] [stderr] --> src/main.rs:78:37 [INFO] [stderr] | [INFO] [stderr] 78 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, [INFO] [stderr] | ^^ help: consider using `_e1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e2` [INFO] [stderr] --> src/main.rs:78:47 [INFO] [stderr] | [INFO] [stderr] 78 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, [INFO] [stderr] | ^^ help: consider using `_e2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e3` [INFO] [stderr] --> src/main.rs:78:57 [INFO] [stderr] | [INFO] [stderr] 78 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, [INFO] [stderr] | ^^ help: consider using `_e3` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e1` [INFO] [stderr] --> src/main.rs:79:38 [INFO] [stderr] | [INFO] [stderr] 79 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, [INFO] [stderr] | ^^ help: consider using `_e1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e2` [INFO] [stderr] --> src/main.rs:79:48 [INFO] [stderr] | [INFO] [stderr] 79 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, [INFO] [stderr] | ^^ help: consider using `_e2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e3` [INFO] [stderr] --> src/main.rs:79:58 [INFO] [stderr] | [INFO] [stderr] 79 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, [INFO] [stderr] | ^^ help: consider using `_e3` instead [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/main.rs:613:6 [INFO] [stderr] | [INFO] [stderr] 613 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_mut)] on by default [INFO] [stderr] [INFO] [stderr] warning: unreachable pattern [INFO] [stderr] --> src/main.rs:141:4 [INFO] [stderr] | [INFO] [stderr] 141 | _ => panic!("undefined term!") [INFO] [stderr] | ^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unreachable_patterns)] on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `a1` [INFO] [stderr] --> src/main.rs:600:6 [INFO] [stderr] | [INFO] [stderr] 600 | let a1 = UntypedTerm::APP{fun: Box::new(f1.clone()), arg: Box::new(i1.clone())}; [INFO] [stderr] | ^^ help: consider using `_a1` instead [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_variables)] on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `v` [INFO] [stderr] --> src/main.rs:156:35 [INFO] [stderr] | [INFO] [stderr] 156 | TypedTerm::T_INT{ty: t, value: v} => vec![Constraint{typeA: t, typeB: Type::TyInt}], [INFO] [stderr] | ^ help: consider using `_v` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `v` [INFO] [stderr] --> src/main.rs:157:36 [INFO] [stderr] | [INFO] [stderr] 157 | TypedTerm::T_BOOL{ty: t, value: v} => vec![Constraint{typeA: t, typeB: Type::TyBool}], [INFO] [stderr] | ^ help: consider using `_v` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:165:25 [INFO] [stderr] | [INFO] [stderr] 165 | TypedTerm::T_VAR{ty: t, name: n} => vec![], [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n` [INFO] [stderr] --> src/main.rs:165:34 [INFO] [stderr] | [INFO] [stderr] 165 | TypedTerm::T_VAR{ty: t, name: n} => vec![], [INFO] [stderr] | ^ help: consider using `_n` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `o` [INFO] [stderr] --> src/main.rs:175:33 [INFO] [stderr] | [INFO] [stderr] 175 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => { [INFO] [stderr] | ^ help: consider using `_o` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:437:31 [INFO] [stderr] | [INFO] [stderr] 437 | TypedTerm::T_VAR{ty: t, name: n} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:441:31 [INFO] [stderr] | [INFO] [stderr] 441 | TypedTerm::T_APP{ty: t, fun: f, arg: a} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:447:34 [INFO] [stderr] | [INFO] [stderr] 447 | TypedTerm::T_FUN{ty: t1, param: p1, body: b1} => match *p1.clone() { [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:448:35 [INFO] [stderr] | [INFO] [stderr] 448 | TypedTerm::T_VAR{ty: t2, name: n1} => { [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:459:32 [INFO] [stderr] | [INFO] [stderr] 459 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:470:31 [INFO] [stderr] | [INFO] [stderr] 470 | TypedTerm::T_NOT{ty: t, exp: e} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:477:31 [INFO] [stderr] | [INFO] [stderr] 477 | TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:482:30 [INFO] [stderr] | [INFO] [stderr] 482 | TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:487:31 [INFO] [stderr] | [INFO] [stderr] 487 | TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:492:30 [INFO] [stderr] | [INFO] [stderr] 492 | TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:497:30 [INFO] [stderr] | [INFO] [stderr] 497 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:502:34 [INFO] [stderr] | [INFO] [stderr] 502 | TypedTerm::T_BOOL{ty: t1, value: v} => if v {v2} else {v3}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:506:31 [INFO] [stderr] | [INFO] [stderr] 506 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/main.rs:511:33 [INFO] [stderr] | [INFO] [stderr] 511 | TypedTerm::T_VAR{ty: t, name: n} => { [INFO] [stderr] | ^ help: consider using `_t` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `solutions` [INFO] [stderr] --> src/main.rs:526:10 [INFO] [stderr] | [INFO] [stderr] 526 | let solutions = unify(Constraints); [INFO] [stderr] | ^^^^^^^^^ help: consider using `_solutions` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:536:26 [INFO] [stderr] | [INFO] [stderr] 536 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1+v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:536:63 [INFO] [stderr] | [INFO] [stderr] 536 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1+v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:543:26 [INFO] [stderr] | [INFO] [stderr] 543 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1-v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:543:63 [INFO] [stderr] | [INFO] [stderr] 543 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1-v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:550:26 [INFO] [stderr] | [INFO] [stderr] 550 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1*v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:550:63 [INFO] [stderr] | [INFO] [stderr] 550 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1*v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:557:26 [INFO] [stderr] | [INFO] [stderr] 557 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1/v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:557:63 [INFO] [stderr] | [INFO] [stderr] 557 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1/v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:564:26 [INFO] [stderr] | [INFO] [stderr] 564 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyInt, value: v1 < v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:564:63 [INFO] [stderr] | [INFO] [stderr] 564 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyInt, value: v1 < v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:572:27 [INFO] [stderr] | [INFO] [stderr] 572 | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 && v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:572:65 [INFO] [stderr] | [INFO] [stderr] 572 | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 && v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:579:27 [INFO] [stderr] | [INFO] [stderr] 579 | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 || v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:579:65 [INFO] [stderr] | [INFO] [stderr] 579 | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 || v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:586:27 [INFO] [stderr] | [INFO] [stderr] 586 | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 == v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:586:65 [INFO] [stderr] | [INFO] [stderr] 586 | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 == v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t1` [INFO] [stderr] --> src/main.rs:587:26 [INFO] [stderr] | [INFO] [stderr] 587 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 == v2}, [INFO] [stderr] | ^^ help: consider using `_t1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t2` [INFO] [stderr] --> src/main.rs:587:63 [INFO] [stderr] | [INFO] [stderr] 587 | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 == v2}, [INFO] [stderr] | ^^ help: consider using `_t2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `v` [INFO] [stderr] --> src/main.rs:67:36 [INFO] [stderr] | [INFO] [stderr] 67 | TypedTerm::T_INT{ty: t, value: v} => t, [INFO] [stderr] | ^ help: consider using `_v` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `v` [INFO] [stderr] --> src/main.rs:68:40 [INFO] [stderr] | [INFO] [stderr] 68 | TypedTerm::T_BOOL{ty: t, value: v} => t, [INFO] [stderr] | ^ help: consider using `_v` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n` [INFO] [stderr] --> src/main.rs:69:38 [INFO] [stderr] | [INFO] [stderr] 69 | TypedTerm::T_VAR{ty: t, name: n} => t, [INFO] [stderr] | ^ help: consider using `_n` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `p` [INFO] [stderr] --> src/main.rs:70:39 [INFO] [stderr] | [INFO] [stderr] 70 | TypedTerm::T_FUN{ty: t, param: p, body: b} => t, [INFO] [stderr] | ^ help: consider using `_p` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `b` [INFO] [stderr] --> src/main.rs:70:48 [INFO] [stderr] | [INFO] [stderr] 70 | TypedTerm::T_FUN{ty: t, param: p, body: b} => t, [INFO] [stderr] | ^ help: consider using `_b` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `f` [INFO] [stderr] --> src/main.rs:71:37 [INFO] [stderr] | [INFO] [stderr] 71 | TypedTerm::T_APP{ty: t, fun: f, arg: a} => t, [INFO] [stderr] | ^ help: consider using `_f` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `a` [INFO] [stderr] --> src/main.rs:71:45 [INFO] [stderr] | [INFO] [stderr] 71 | TypedTerm::T_APP{ty: t, fun: f, arg: a} => t, [INFO] [stderr] | ^ help: consider using `_a` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `o` [INFO] [stderr] --> src/main.rs:72:37 [INFO] [stderr] | [INFO] [stderr] 72 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^ help: consider using `_o` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e1` [INFO] [stderr] --> src/main.rs:72:46 [INFO] [stderr] | [INFO] [stderr] 72 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e2` [INFO] [stderr] --> src/main.rs:72:56 [INFO] [stderr] | [INFO] [stderr] 72 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e` [INFO] [stderr] --> src/main.rs:73:37 [INFO] [stderr] | [INFO] [stderr] 73 | TypedTerm::T_NOT{ty: t, exp: e} => t, [INFO] [stderr] | ^ help: consider using `_e` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e1` [INFO] [stderr] --> src/main.rs:74:38 [INFO] [stderr] | [INFO] [stderr] 74 | TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e2` [INFO] [stderr] --> src/main.rs:74:48 [INFO] [stderr] | [INFO] [stderr] 74 | TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e1` [INFO] [stderr] --> src/main.rs:75:37 [INFO] [stderr] | [INFO] [stderr] 75 | TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e2` [INFO] [stderr] --> src/main.rs:75:47 [INFO] [stderr] | [INFO] [stderr] 75 | TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e1` [INFO] [stderr] --> src/main.rs:76:38 [INFO] [stderr] | [INFO] [stderr] 76 | TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e2` [INFO] [stderr] --> src/main.rs:76:48 [INFO] [stderr] | [INFO] [stderr] 76 | TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e1` [INFO] [stderr] --> src/main.rs:77:37 [INFO] [stderr] | [INFO] [stderr] 77 | TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e2` [INFO] [stderr] --> src/main.rs:77:47 [INFO] [stderr] | [INFO] [stderr] 77 | TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => t, [INFO] [stderr] | ^^ help: consider using `_e2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e1` [INFO] [stderr] --> src/main.rs:78:37 [INFO] [stderr] | [INFO] [stderr] 78 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, [INFO] [stderr] | ^^ help: consider using `_e1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e2` [INFO] [stderr] --> src/main.rs:78:47 [INFO] [stderr] | [INFO] [stderr] 78 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, [INFO] [stderr] | ^^ help: consider using `_e2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e3` [INFO] [stderr] --> src/main.rs:78:57 [INFO] [stderr] | [INFO] [stderr] 78 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, [INFO] [stderr] | ^^ help: consider using `_e3` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e1` [INFO] [stderr] --> src/main.rs:79:38 [INFO] [stderr] | [INFO] [stderr] 79 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, [INFO] [stderr] | ^^ help: consider using `_e1` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e2` [INFO] [stderr] --> src/main.rs:79:48 [INFO] [stderr] | [INFO] [stderr] 79 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, [INFO] [stderr] | ^^ help: consider using `_e2` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e3` [INFO] [stderr] --> src/main.rs:79:58 [INFO] [stderr] | [INFO] [stderr] 79 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, [INFO] [stderr] | ^^ help: consider using `_e3` instead [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/main.rs:334:8 [INFO] [stderr] | [INFO] [stderr] 334 | let mut updateConstraints = solutionOne.applyToSet(&mut vec1); [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:398:7 [INFO] [stderr] | [INFO] [stderr] 398 | let mut EnvT = TypeEnv{Env: 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/main.rs:613:6 [INFO] [stderr] | [INFO] [stderr] 613 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_mut)] on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/main.rs:523:7 [INFO] [stderr] | [INFO] [stderr] 523 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `NOT` [INFO] [stderr] --> src/main.rs:16:6 [INFO] [stderr] | [INFO] [stderr] 16 | NOT{exp: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(dead_code)] on by default [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `AND` [INFO] [stderr] --> src/main.rs:17:6 [INFO] [stderr] | [INFO] [stderr] 17 | AND{exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `OR` [INFO] [stderr] --> src/main.rs:18:6 [INFO] [stderr] | [INFO] [stderr] 18 | OR{exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `LT` [INFO] [stderr] --> src/main.rs:20:6 [INFO] [stderr] | [INFO] [stderr] 20 | LT{exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant is never constructed: `IF` [INFO] [stderr] --> src/main.rs:21:6 [INFO] [stderr] | [INFO] [stderr] 21 | IF{exp1: Box, exp2: Box, exp3: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `empty` [INFO] [stderr] --> src/main.rs:272:3 [INFO] [stderr] | [INFO] [stderr] 272 | fn empty() -> Substitution { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `fromPair` [INFO] [stderr] --> src/main.rs:277:3 [INFO] [stderr] | [INFO] [stderr] 277 | fn fromPair(tvar: u32, ty: Type) -> Substitution { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: structure field `ParamTy` should have a snake case name such as `param_ty` [INFO] [stderr] --> src/main.rs:33:9 [INFO] [stderr] | [INFO] [stderr] 33 | TyFun{ParamTy: Box, ReturnTy: Box} [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(non_snake_case)] on by default [INFO] [stderr] [INFO] [stderr] warning: structure field `ReturnTy` should have a snake case name such as `return_ty` [INFO] [stderr] --> src/main.rs:33:29 [INFO] [stderr] | [INFO] [stderr] 33 | TyFun{ParamTy: Box, ReturnTy: Box} [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `freshVar` should have a snake case name such as `fresh_var` [INFO] [stderr] --> src/main.rs:37:2 [INFO] [stderr] | [INFO] [stderr] 37 | fn freshVar(v: &mut u32) -> Type { [INFO] [stderr] | _____^ [INFO] [stderr] 38 | | *v+=1; [INFO] [stderr] 39 | | Type::TyVar{num: *v} [INFO] [stderr] 40 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_INT` should have a camel case name such as `TInt` [INFO] [stderr] --> src/main.rs:46:3 [INFO] [stderr] | [INFO] [stderr] 46 | T_INT{ty: Type, value: u32}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(non_camel_case_types)] on by default [INFO] [stderr] [INFO] [stderr] warning: variant `T_BOOL` should have a camel case name such as `TBool` [INFO] [stderr] --> src/main.rs:47:6 [INFO] [stderr] | [INFO] [stderr] 47 | T_BOOL{ty: Type, value: bool}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_VAR` should have a camel case name such as `TVar` [INFO] [stderr] --> src/main.rs:48:6 [INFO] [stderr] | [INFO] [stderr] 48 | T_VAR{ty: Type, name: char}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_FUN` should have a camel case name such as `TFun` [INFO] [stderr] --> src/main.rs:49:6 [INFO] [stderr] | [INFO] [stderr] 49 | T_FUN{ty: Type, param: Box, body: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_Closure` should have a camel case name such as `TClosure` [INFO] [stderr] --> src/main.rs:50:6 [INFO] [stderr] | [INFO] [stderr] 50 | T_Closure{fun: Box, env: InterpEnv}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_APP` should have a camel case name such as `TApp` [INFO] [stderr] --> src/main.rs:51:6 [INFO] [stderr] | [INFO] [stderr] 51 | T_APP{ty: Type, fun: Box, arg: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_CALC` should have a camel case name such as `TCalc` [INFO] [stderr] --> src/main.rs:52:6 [INFO] [stderr] | [INFO] [stderr] 52 | T_CALC{ty: Type, op: char, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_NOT` should have a camel case name such as `TNot` [INFO] [stderr] --> src/main.rs:53:6 [INFO] [stderr] | [INFO] [stderr] 53 | T_NOT{ty: Type, exp: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_AND` should have a camel case name such as `TAnd` [INFO] [stderr] --> src/main.rs:54:6 [INFO] [stderr] | [INFO] [stderr] 54 | T_AND{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_OR` should have a camel case name such as `TOr` [INFO] [stderr] --> src/main.rs:55:6 [INFO] [stderr] | [INFO] [stderr] 55 | T_OR{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_EQU` should have a camel case name such as `TEqu` [INFO] [stderr] --> src/main.rs:56:6 [INFO] [stderr] | [INFO] [stderr] 56 | T_EQU{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_LT` should have a camel case name such as `TLt` [INFO] [stderr] --> src/main.rs:57:6 [INFO] [stderr] | [INFO] [stderr] 57 | T_LT{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_IF` should have a camel case name such as `TIf` [INFO] [stderr] --> src/main.rs:58:6 [INFO] [stderr] | [INFO] [stderr] 58 | T_IF{ty: Type, exp1: Box, exp2: Box, exp3: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_LET` should have a camel case name such as `TLet` [INFO] [stderr] --> src/main.rs:59:6 [INFO] [stderr] | [INFO] [stderr] 59 | T_LET{ty: Type, exp1: Box, exp2: Box, exp3: Box} [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/main.rs:334:8 [INFO] [stderr] | [INFO] [stderr] 334 | let mut updateConstraints = solutionOne.applyToSet(&mut vec1); [INFO] [stderr] | ----^^^^^^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: method `getType` should have a snake case name such as `get_type` [INFO] [stderr] --> src/main.rs:65:3 [INFO] [stderr] | [INFO] [stderr] 65 | fn getType(self) -> Type { [INFO] [stderr] | _________^ [INFO] [stderr] 66 | | match self { [INFO] [stderr] 67 | | TypedTerm::T_INT{ty: t, value: v} => t, [INFO] [stderr] 68 | | TypedTerm::T_BOOL{ty: t, value: v} => t, [INFO] [stderr] ... | [INFO] [stderr] 81 | | } [INFO] [stderr] 82 | | } [INFO] [stderr] | |_________^ [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/main.rs:398:7 [INFO] [stderr] | [INFO] [stderr] 398 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: structure field `Env` should have a snake case name such as `env` [INFO] [stderr] --> src/main.rs:88:3 [INFO] [stderr] | [INFO] [stderr] 88 | Env: HashMap [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: called `.get().unwrap()` on a HashMap. Using `[]` is more clear and more concise [INFO] [stderr] --> src/main.rs:100:4 [INFO] [stderr] | [INFO] [stderr] 100 | self.Env.get(&name).unwrap().clone() [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try this: `&self.Env[&name]` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(clippy::get_unwrap)] on by default [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#get_unwrap [INFO] [stderr] [INFO] [stderr] warning: variable `varNum` should have a snake case name such as `var_num` [INFO] [stderr] --> src/main.rs:107:52 [INFO] [stderr] | [INFO] [stderr] 107 | fn annotate(term: UntypedTerm, mut tenv: TypeEnv, varNum: &mut u32) -> TypedTerm { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy` should have a snake case name such as `param_ty` [INFO] [stderr] --> src/main.rs:113:9 [INFO] [stderr] | [INFO] [stderr] 113 | let paramTy = freshVar(varNum); [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy1` should have a snake case name such as `param_ty1` [INFO] [stderr] --> src/main.rs:114:9 [INFO] [stderr] | [INFO] [stderr] 114 | let paramTy1 = paramTy.clone(); [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `paramBinder` should have a snake case name such as `param_binder` [INFO] [stderr] --> src/main.rs:116:9 [INFO] [stderr] | [INFO] [stderr] 116 | let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: p}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy` should have a snake case name such as `param_ty` [INFO] [stderr] --> src/main.rs:134:12 [INFO] [stderr] | [INFO] [stderr] 134 | let paramTy = freshVar(varNum); [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy1` should have a snake case name such as `param_ty1` [INFO] [stderr] --> src/main.rs:135:9 [INFO] [stderr] | [INFO] [stderr] 135 | let paramTy1 = paramTy.clone(); [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `paramBinder` should have a snake case name such as `param_binder` [INFO] [stderr] --> src/main.rs:137:9 [INFO] [stderr] | [INFO] [stderr] 137 | let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: e1}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: structure field `typeA` should have a snake case name such as `type_a` [INFO] [stderr] --> src/main.rs:149:3 [INFO] [stderr] | [INFO] [stderr] 149 | typeA: Type, [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: structure field `typeB` should have a snake case name such as `type_b` [INFO] [stderr] --> src/main.rs:150:3 [INFO] [stderr] | [INFO] [stderr] 150 | typeB: Type [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/main.rs:523:7 [INFO] [stderr] | [INFO] [stderr] 523 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ----^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: method `fromPair` should have a snake case name such as `from_pair` [INFO] [stderr] --> src/main.rs:277:3 [INFO] [stderr] | [INFO] [stderr] 277 | fn fromPair(tvar: u32, ty: Type) -> Substitution { [INFO] [stderr] | _________^ [INFO] [stderr] 278 | | let mut s1 = HashMap::new(); [INFO] [stderr] 279 | | s1.insert(tvar, ty); [INFO] [stderr] 280 | | Substitution{solutions: s1} [INFO] [stderr] 281 | | } [INFO] [stderr] | |_________^ [INFO] [stderr] [INFO] [stderr] warning: method `applyToSet` should have a snake case name such as `apply_to_set` [INFO] [stderr] --> src/main.rs:284:3 [INFO] [stderr] | [INFO] [stderr] 284 | fn applyToSet (&self,constraints: &mut Vec) -> Vec { [INFO] [stderr] | _________^ [INFO] [stderr] 285 | | for elem in constraints.iter_mut() { [INFO] [stderr] 286 | | //traverse target constraint set and update each type in all elements. [INFO] [stderr] 287 | | *elem = Constraint{typeA: Self::applyOneType(&self, elem.typeA.clone()), typeB: Self::applyOneType(&self,elem.typeB.clone())} [INFO] [stderr] 288 | | } [INFO] [stderr] 289 | | constraints.clone() [INFO] [stderr] 290 | | } [INFO] [stderr] | |_________^ [INFO] [stderr] [INFO] [stderr] warning: method `applyOneType` should have a snake case name such as `apply_one_type` [INFO] [stderr] --> src/main.rs:293:3 [INFO] [stderr] | [INFO] [stderr] 293 | fn applyOneType(&self, ty: Type) -> Type { [INFO] [stderr] | _________^ [INFO] [stderr] 294 | | match ty { [INFO] [stderr] 295 | | Type::TyInt => ty, [INFO] [stderr] 296 | | Type::TyBool => ty, [INFO] [stderr] ... | [INFO] [stderr] 305 | | } [INFO] [stderr] 306 | | } [INFO] [stderr] | |_________^ [INFO] [stderr] [INFO] [stderr] warning: variable `solutionType` should have a snake case name such as `solution_type` [INFO] [stderr] --> src/main.rs:311:8 [INFO] [stderr] | [INFO] [stderr] 311 | for solutionType in self.solutions.values_mut() { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `solutionOne` should have a snake case name such as `solution_one` [INFO] [stderr] --> src/main.rs:330:8 [INFO] [stderr] | [INFO] [stderr] 330 | let mut solutionOne = unifyOne(constraints[0].clone()); [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `updateConstraints` should have a snake case name such as `update_constraints` [INFO] [stderr] --> src/main.rs:334:8 [INFO] [stderr] | [INFO] [stderr] 334 | let mut updateConstraints = solutionOne.applyToSet(&mut vec1); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `solutionRest` should have a snake case name such as `solution_rest` [INFO] [stderr] --> src/main.rs:336:8 [INFO] [stderr] | [INFO] [stderr] 336 | let solutionRest = unify(updateConstraints); [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `unifyOne` should have a snake case name such as `unify_one` [INFO] [stderr] --> src/main.rs:343:2 [INFO] [stderr] | [INFO] [stderr] 343 | fn unifyOne(constraint: Constraint) -> Substitution { [INFO] [stderr] | _____^ [INFO] [stderr] 344 | | match (constraint.typeA, constraint.typeB) { [INFO] [stderr] 345 | | (Type::TyInt, Type:: TyInt) => Substitution{solutions: HashMap::new()}, [INFO] [stderr] 346 | | (Type::TyBool, Type:: TyBool) => Substitution{solutions: HashMap::new()}, [INFO] [stderr] ... | [INFO] [stderr] 352 | | } [INFO] [stderr] 353 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `unifyVar` should have a snake case name such as `unify_var` [INFO] [stderr] --> src/main.rs:356:2 [INFO] [stderr] | [INFO] [stderr] 356 | fn unifyVar(tvar: u32, ty: Type) -> Substitution { [INFO] [stderr] | _____^ [INFO] [stderr] 357 | | match ty { [INFO] [stderr] 358 | | //do nothing if they are the same type variable [INFO] [stderr] 359 | | Type::TyVar{num: n} => { [INFO] [stderr] ... | [INFO] [stderr] 383 | | } [INFO] [stderr] 384 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `typeInference` should have a snake case name such as `type_inference` [INFO] [stderr] --> src/main.rs:397:2 [INFO] [stderr] | [INFO] [stderr] 397 | fn typeInference(term: UntypedTerm) { [INFO] [stderr] | _____^ [INFO] [stderr] 398 | | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] 399 | | let TypedTerm = annotate(term, EnvT, &mut 0); [INFO] [stderr] 400 | | let Constraints = collect(TypedTerm.clone()); [INFO] [stderr] ... | [INFO] [stderr] 408 | | println!(" "); [INFO] [stderr] 409 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: structure field `ParamTy` should have a snake case name such as `param_ty` [INFO] [stderr] --> src/main.rs:33:9 [INFO] [stderr] | [INFO] [stderr] 33 | TyFun{ParamTy: Box, ReturnTy: Box} [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(non_snake_case)] on by default [INFO] [stderr] [INFO] [stderr] warning: structure field `ReturnTy` should have a snake case name such as `return_ty` [INFO] [stderr] --> src/main.rs:33:29 [INFO] [stderr] | [INFO] [stderr] 33 | TyFun{ParamTy: Box, ReturnTy: Box} [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `EnvT` should have a snake case name such as `env_t` [INFO] [stderr] --> src/main.rs:398:7 [INFO] [stderr] | [INFO] [stderr] 398 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `TypedTerm` should have a snake case name such as `typed_term` [INFO] [stderr] --> src/main.rs:399:10 [INFO] [stderr] | [INFO] [stderr] 399 | let TypedTerm = annotate(term, EnvT, &mut 0); [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `Constraints` should have a snake case name such as `constraints` [INFO] [stderr] --> src/main.rs:400:10 [INFO] [stderr] | [INFO] [stderr] 400 | let Constraints = collect(TypedTerm.clone()); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: structure field `Env` should have a snake case name such as `env` [INFO] [stderr] --> src/main.rs:415:3 [INFO] [stderr] | [INFO] [stderr] 415 | Env: HashMap [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: called `.get().unwrap()` on a HashMap. Using `[]` is more clear and more concise [INFO] [stderr] --> src/main.rs:428:4 [INFO] [stderr] | [INFO] [stderr] 428 | self.Env.get(&var).unwrap().clone() [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try this: `&self.Env[&var]` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#get_unwrap [INFO] [stderr] [INFO] [stderr] warning: function `Interp` should have a snake case name such as `interp` [INFO] [stderr] --> src/main.rs:433:2 [INFO] [stderr] | [INFO] [stderr] 433 | fn Interp(term: TypedTerm, env: &mut InterpEnv) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 434 | | match term { [INFO] [stderr] 435 | | TypedTerm::T_INT{ty: t, value: v} => TypedTerm::T_INT{ty: t, value: v}, [INFO] [stderr] 436 | | TypedTerm::T_BOOL{ty: t, value: v} => TypedTerm::T_BOOL{ty: t, value: v}, [INFO] [stderr] ... | [INFO] [stderr] 519 | | } [INFO] [stderr] 520 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `freshVar` should have a snake case name such as `fresh_var` [INFO] [stderr] --> src/main.rs:37:2 [INFO] [stderr] | [INFO] [stderr] 37 | fn freshVar(v: &mut u32) -> Type { [INFO] [stderr] | _____^ [INFO] [stderr] 38 | | *v+=1; [INFO] [stderr] 39 | | Type::TyVar{num: *v} [INFO] [stderr] 40 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_INT` should have a camel case name such as `TInt` [INFO] [stderr] --> src/main.rs:46:3 [INFO] [stderr] | [INFO] [stderr] 46 | T_INT{ty: Type, value: u32}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(non_camel_case_types)] on by default [INFO] [stderr] [INFO] [stderr] warning: variant `T_BOOL` should have a camel case name such as `TBool` [INFO] [stderr] --> src/main.rs:47:6 [INFO] [stderr] | [INFO] [stderr] 47 | T_BOOL{ty: Type, value: bool}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_VAR` should have a camel case name such as `TVar` [INFO] [stderr] --> src/main.rs:48:6 [INFO] [stderr] | [INFO] [stderr] 48 | T_VAR{ty: Type, name: char}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_FUN` should have a camel case name such as `TFun` [INFO] [stderr] --> src/main.rs:49:6 [INFO] [stderr] | [INFO] [stderr] 49 | T_FUN{ty: Type, param: Box, body: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_Closure` should have a camel case name such as `TClosure` [INFO] [stderr] --> src/main.rs:50:6 [INFO] [stderr] | [INFO] [stderr] 50 | T_Closure{fun: Box, env: InterpEnv}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_APP` should have a camel case name such as `TApp` [INFO] [stderr] --> src/main.rs:51:6 [INFO] [stderr] | [INFO] [stderr] 51 | T_APP{ty: Type, fun: Box, arg: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_CALC` should have a camel case name such as `TCalc` [INFO] [stderr] --> src/main.rs:52:6 [INFO] [stderr] | [INFO] [stderr] 52 | T_CALC{ty: Type, op: char, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_NOT` should have a camel case name such as `TNot` [INFO] [stderr] --> src/main.rs:53:6 [INFO] [stderr] | [INFO] [stderr] 53 | T_NOT{ty: Type, exp: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_AND` should have a camel case name such as `TAnd` [INFO] [stderr] --> src/main.rs:54:6 [INFO] [stderr] | [INFO] [stderr] 54 | T_AND{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_OR` should have a camel case name such as `TOr` [INFO] [stderr] --> src/main.rs:55:6 [INFO] [stderr] | [INFO] [stderr] 55 | T_OR{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_EQU` should have a camel case name such as `TEqu` [INFO] [stderr] --> src/main.rs:56:6 [INFO] [stderr] | [INFO] [stderr] 56 | T_EQU{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_LT` should have a camel case name such as `TLt` [INFO] [stderr] --> src/main.rs:57:6 [INFO] [stderr] | [INFO] [stderr] 57 | T_LT{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_IF` should have a camel case name such as `TIf` [INFO] [stderr] --> src/main.rs:58:6 [INFO] [stderr] | [INFO] [stderr] 58 | T_IF{ty: Type, exp1: Box, exp2: Box, exp3: Box}, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variant `T_LET` should have a camel case name such as `TLet` [INFO] [stderr] --> src/main.rs:59:6 [INFO] [stderr] | [INFO] [stderr] 59 | T_LET{ty: Type, exp1: Box, exp2: Box, exp3: Box} [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `getType` should have a snake case name such as `get_type` [INFO] [stderr] --> src/main.rs:65:3 [INFO] [stderr] | [INFO] [stderr] 65 | fn getType(self) -> Type { [INFO] [stderr] | _________^ [INFO] [stderr] 66 | | match self { [INFO] [stderr] 67 | | TypedTerm::T_INT{ty: t, value: v} => t, [INFO] [stderr] 68 | | TypedTerm::T_BOOL{ty: t, value: v} => t, [INFO] [stderr] ... | [INFO] [stderr] 81 | | } [INFO] [stderr] 82 | | } [INFO] [stderr] | |_________^ [INFO] [stderr] [INFO] [stderr] warning: variable `EnvNew` should have a snake case name such as `env_new` [INFO] [stderr] --> src/main.rs:443:15 [INFO] [stderr] | [INFO] [stderr] 443 | let mut EnvNew = InterpEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: structure field `Env` should have a snake case name such as `env` [INFO] [stderr] --> src/main.rs:88:3 [INFO] [stderr] | [INFO] [stderr] 88 | Env: HashMap [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `EnvNew` should have a snake case name such as `env_new` [INFO] [stderr] --> src/main.rs:508:15 [INFO] [stderr] | [INFO] [stderr] 508 | let mut EnvNew = InterpEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: called `.get().unwrap()` on a HashMap. Using `[]` is more clear and more concise [INFO] [stderr] --> src/main.rs:100:4 [INFO] [stderr] | [INFO] [stderr] 100 | self.Env.get(&name).unwrap().clone() [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try this: `&self.Env[&name]` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(clippy::get_unwrap)] on by default [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#get_unwrap [INFO] [stderr] [INFO] [stderr] warning: function `InterpE` should have a snake case name such as `interp_e` [INFO] [stderr] --> src/main.rs:522:2 [INFO] [stderr] | [INFO] [stderr] 522 | fn InterpE(term: UntypedTerm) { [INFO] [stderr] | _____^ [INFO] [stderr] 523 | | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] 524 | | let TypedTerm = annotate(term, EnvT, &mut 0); [INFO] [stderr] 525 | | let Constraints = collect(TypedTerm.clone()); [INFO] [stderr] ... | [INFO] [stderr] 530 | | println!("{:?}",Interp(TypedTerm, &mut EnvI)); [INFO] [stderr] 531 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: variable `varNum` should have a snake case name such as `var_num` [INFO] [stderr] --> src/main.rs:107:52 [INFO] [stderr] | [INFO] [stderr] 107 | fn annotate(term: UntypedTerm, mut tenv: TypeEnv, varNum: &mut u32) -> TypedTerm { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy` should have a snake case name such as `param_ty` [INFO] [stderr] --> src/main.rs:113:9 [INFO] [stderr] | [INFO] [stderr] 113 | let paramTy = freshVar(varNum); [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy1` should have a snake case name such as `param_ty1` [INFO] [stderr] --> src/main.rs:114:9 [INFO] [stderr] | [INFO] [stderr] 114 | let paramTy1 = paramTy.clone(); [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `paramBinder` should have a snake case name such as `param_binder` [INFO] [stderr] --> src/main.rs:116:9 [INFO] [stderr] | [INFO] [stderr] 116 | let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: p}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `EnvT` should have a snake case name such as `env_t` [INFO] [stderr] --> src/main.rs:523:7 [INFO] [stderr] | [INFO] [stderr] 523 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `TypedTerm` should have a snake case name such as `typed_term` [INFO] [stderr] --> src/main.rs:524:10 [INFO] [stderr] | [INFO] [stderr] 524 | let TypedTerm = annotate(term, EnvT, &mut 0); [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `Constraints` should have a snake case name such as `constraints` [INFO] [stderr] --> src/main.rs:525:10 [INFO] [stderr] | [INFO] [stderr] 525 | let Constraints = collect(TypedTerm.clone()); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `EnvI` should have a snake case name such as `env_i` [INFO] [stderr] --> src/main.rs:528:10 [INFO] [stderr] | [INFO] [stderr] 528 | let mut EnvI = InterpEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `Add` should have a snake case name such as `add` [INFO] [stderr] --> src/main.rs:534:2 [INFO] [stderr] | [INFO] [stderr] 534 | fn Add(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 535 | | match (a1,a2) { [INFO] [stderr] 536 | | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1+v2}, [INFO] [stderr] 537 | | _ => panic!("undefined !") [INFO] [stderr] 538 | | } [INFO] [stderr] 539 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `Minus` should have a snake case name such as `minus` [INFO] [stderr] --> src/main.rs:541:2 [INFO] [stderr] | [INFO] [stderr] 541 | fn Minus(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 542 | | match (a1,a2) { [INFO] [stderr] 543 | | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1-v2}, [INFO] [stderr] 544 | | _ => panic!("undefined !") [INFO] [stderr] 545 | | } [INFO] [stderr] 546 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy` should have a snake case name such as `param_ty` [INFO] [stderr] --> src/main.rs:134:12 [INFO] [stderr] | [INFO] [stderr] 134 | let paramTy = freshVar(varNum); [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy1` should have a snake case name such as `param_ty1` [INFO] [stderr] --> src/main.rs:135:9 [INFO] [stderr] | [INFO] [stderr] 135 | let paramTy1 = paramTy.clone(); [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `Mul` should have a snake case name such as `mul` [INFO] [stderr] --> src/main.rs:548:2 [INFO] [stderr] | [INFO] [stderr] 548 | fn Mul(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 549 | | match (a1,a2) { [INFO] [stderr] 550 | | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1*v2}, [INFO] [stderr] 551 | | _ => panic!("undefined !") [INFO] [stderr] 552 | | } [INFO] [stderr] 553 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: variable `paramBinder` should have a snake case name such as `param_binder` [INFO] [stderr] --> src/main.rs:137:9 [INFO] [stderr] | [INFO] [stderr] 137 | let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: e1}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: structure field `typeA` should have a snake case name such as `type_a` [INFO] [stderr] --> src/main.rs:149:3 [INFO] [stderr] | [INFO] [stderr] 149 | typeA: Type, [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: structure field `typeB` should have a snake case name such as `type_b` [INFO] [stderr] --> src/main.rs:150:3 [INFO] [stderr] | [INFO] [stderr] 150 | typeB: Type [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `Div` should have a snake case name such as `div` [INFO] [stderr] --> src/main.rs:555:2 [INFO] [stderr] | [INFO] [stderr] 555 | fn Div(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 556 | | match (a1,a2) { [INFO] [stderr] 557 | | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1/v2}, [INFO] [stderr] 558 | | _ => panic!("undefined !") [INFO] [stderr] 559 | | } [INFO] [stderr] 560 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `Lt` should have a snake case name such as `lt` [INFO] [stderr] --> src/main.rs:562:2 [INFO] [stderr] | [INFO] [stderr] 562 | fn Lt(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 563 | | match (a1,a2) { [INFO] [stderr] 564 | | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyInt, value: v1 < v2}, [INFO] [stderr] 565 | | _ => panic!("undefined !") [INFO] [stderr] 566 | | } [INFO] [stderr] 567 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `And` should have a snake case name such as `and` [INFO] [stderr] --> src/main.rs:570:2 [INFO] [stderr] | [INFO] [stderr] 570 | fn And(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 571 | | match (a1,a2) { [INFO] [stderr] 572 | | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 && v2}, [INFO] [stderr] 573 | | _ => panic!("undefined !") [INFO] [stderr] 574 | | } [INFO] [stderr] 575 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `Or` should have a snake case name such as `or` [INFO] [stderr] --> src/main.rs:577:2 [INFO] [stderr] | [INFO] [stderr] 577 | fn Or(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 578 | | match (a1,a2) { [INFO] [stderr] 579 | | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 || v2}, [INFO] [stderr] 580 | | _ => panic!("undefined !") [INFO] [stderr] 581 | | } [INFO] [stderr] 582 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `Equ` should have a snake case name such as `equ` [INFO] [stderr] --> src/main.rs:584:2 [INFO] [stderr] | [INFO] [stderr] 584 | fn Equ(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 585 | | match (a1,a2) { [INFO] [stderr] 586 | | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 == v2}, [INFO] [stderr] 587 | | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 == v2}, [INFO] [stderr] 588 | | _ => panic!("undefined !") [INFO] [stderr] 589 | | } [INFO] [stderr] 590 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: variable `EnvT` should have a snake case name such as `env_t` [INFO] [stderr] --> src/main.rs:613:6 [INFO] [stderr] | [INFO] [stderr] 613 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method `fromPair` should have a snake case name such as `from_pair` [INFO] [stderr] --> src/main.rs:277:3 [INFO] [stderr] | [INFO] [stderr] 277 | fn fromPair(tvar: u32, ty: Type) -> Substitution { [INFO] [stderr] | _________^ [INFO] [stderr] 278 | | let mut s1 = HashMap::new(); [INFO] [stderr] 279 | | s1.insert(tvar, ty); [INFO] [stderr] 280 | | Substitution{solutions: s1} [INFO] [stderr] 281 | | } [INFO] [stderr] | |_________^ [INFO] [stderr] [INFO] [stderr] warning: method `applyToSet` should have a snake case name such as `apply_to_set` [INFO] [stderr] --> src/main.rs:284:3 [INFO] [stderr] | [INFO] [stderr] 284 | fn applyToSet (&self,constraints: &mut Vec) -> Vec { [INFO] [stderr] | _________^ [INFO] [stderr] 285 | | for elem in constraints.iter_mut() { [INFO] [stderr] 286 | | //traverse target constraint set and update each type in all elements. [INFO] [stderr] 287 | | *elem = Constraint{typeA: Self::applyOneType(&self, elem.typeA.clone()), typeB: Self::applyOneType(&self,elem.typeB.clone())} [INFO] [stderr] 288 | | } [INFO] [stderr] 289 | | constraints.clone() [INFO] [stderr] 290 | | } [INFO] [stderr] | |_________^ [INFO] [stderr] [INFO] [stderr] warning: method `applyOneType` should have a snake case name such as `apply_one_type` [INFO] [stderr] --> src/main.rs:293:3 [INFO] [stderr] | [INFO] [stderr] 293 | fn applyOneType(&self, ty: Type) -> Type { [INFO] [stderr] | _________^ [INFO] [stderr] 294 | | match ty { [INFO] [stderr] 295 | | Type::TyInt => ty, [INFO] [stderr] 296 | | Type::TyBool => ty, [INFO] [stderr] ... | [INFO] [stderr] 305 | | } [INFO] [stderr] 306 | | } [INFO] [stderr] | |_________^ [INFO] [stderr] [INFO] [stderr] warning: variable `solutionType` should have a snake case name such as `solution_type` [INFO] [stderr] --> src/main.rs:311:8 [INFO] [stderr] | [INFO] [stderr] 311 | for solutionType in self.solutions.values_mut() { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `solutionOne` should have a snake case name such as `solution_one` [INFO] [stderr] --> src/main.rs:330:8 [INFO] [stderr] | [INFO] [stderr] 330 | let mut solutionOne = unifyOne(constraints[0].clone()); [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `updateConstraints` should have a snake case name such as `update_constraints` [INFO] [stderr] --> src/main.rs:334:8 [INFO] [stderr] | [INFO] [stderr] 334 | let mut updateConstraints = solutionOne.applyToSet(&mut vec1); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `solutionRest` should have a snake case name such as `solution_rest` [INFO] [stderr] --> src/main.rs:336:8 [INFO] [stderr] | [INFO] [stderr] 336 | let solutionRest = unify(updateConstraints); [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `unifyOne` should have a snake case name such as `unify_one` [INFO] [stderr] --> src/main.rs:343:2 [INFO] [stderr] | [INFO] [stderr] 343 | fn unifyOne(constraint: Constraint) -> Substitution { [INFO] [stderr] | _____^ [INFO] [stderr] 344 | | match (constraint.typeA, constraint.typeB) { [INFO] [stderr] 345 | | (Type::TyInt, Type:: TyInt) => Substitution{solutions: HashMap::new()}, [INFO] [stderr] 346 | | (Type::TyBool, Type:: TyBool) => Substitution{solutions: HashMap::new()}, [INFO] [stderr] ... | [INFO] [stderr] 352 | | } [INFO] [stderr] 353 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `unifyVar` should have a snake case name such as `unify_var` [INFO] [stderr] --> src/main.rs:356:2 [INFO] [stderr] | [INFO] [stderr] 356 | fn unifyVar(tvar: u32, ty: Type) -> Substitution { [INFO] [stderr] | _____^ [INFO] [stderr] 357 | | match ty { [INFO] [stderr] 358 | | //do nothing if they are the same type variable [INFO] [stderr] 359 | | Type::TyVar{num: n} => { [INFO] [stderr] ... | [INFO] [stderr] 383 | | } [INFO] [stderr] 384 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `typeInference` should have a snake case name such as `type_inference` [INFO] [stderr] --> src/main.rs:397:2 [INFO] [stderr] | [INFO] [stderr] 397 | fn typeInference(term: UntypedTerm) { [INFO] [stderr] | _____^ [INFO] [stderr] 398 | | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] 399 | | let TypedTerm = annotate(term, EnvT, &mut 0); [INFO] [stderr] 400 | | let Constraints = collect(TypedTerm.clone()); [INFO] [stderr] ... | [INFO] [stderr] 408 | | println!(" "); [INFO] [stderr] 409 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: variable `EnvT` should have a snake case name such as `env_t` [INFO] [stderr] --> src/main.rs:398:7 [INFO] [stderr] | [INFO] [stderr] 398 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `TypedTerm` should have a snake case name such as `typed_term` [INFO] [stderr] --> src/main.rs:399:10 [INFO] [stderr] | [INFO] [stderr] 399 | let TypedTerm = annotate(term, EnvT, &mut 0); [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `Constraints` should have a snake case name such as `constraints` [INFO] [stderr] --> src/main.rs:400:10 [INFO] [stderr] | [INFO] [stderr] 400 | let Constraints = collect(TypedTerm.clone()); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: structure field `Env` should have a snake case name such as `env` [INFO] [stderr] --> src/main.rs:415:3 [INFO] [stderr] | [INFO] [stderr] 415 | Env: HashMap [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: called `.get().unwrap()` on a HashMap. Using `[]` is more clear and more concise [INFO] [stderr] --> src/main.rs:428:4 [INFO] [stderr] | [INFO] [stderr] 428 | self.Env.get(&var).unwrap().clone() [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try this: `&self.Env[&var]` [INFO] [stderr] | [INFO] [stderr] = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#get_unwrap [INFO] [stderr] [INFO] [stderr] warning: function `Interp` should have a snake case name such as `interp` [INFO] [stderr] --> src/main.rs:433:2 [INFO] [stderr] | [INFO] [stderr] 433 | fn Interp(term: TypedTerm, env: &mut InterpEnv) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 434 | | match term { [INFO] [stderr] 435 | | TypedTerm::T_INT{ty: t, value: v} => TypedTerm::T_INT{ty: t, value: v}, [INFO] [stderr] 436 | | TypedTerm::T_BOOL{ty: t, value: v} => TypedTerm::T_BOOL{ty: t, value: v}, [INFO] [stderr] ... | [INFO] [stderr] 519 | | } [INFO] [stderr] 520 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: variable `EnvNew` should have a snake case name such as `env_new` [INFO] [stderr] --> src/main.rs:443:15 [INFO] [stderr] | [INFO] [stderr] 443 | let mut EnvNew = InterpEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `EnvNew` should have a snake case name such as `env_new` [INFO] [stderr] --> src/main.rs:508:15 [INFO] [stderr] | [INFO] [stderr] 508 | let mut EnvNew = InterpEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `InterpE` should have a snake case name such as `interp_e` [INFO] [stderr] --> src/main.rs:522:2 [INFO] [stderr] | [INFO] [stderr] 522 | fn InterpE(term: UntypedTerm) { [INFO] [stderr] | _____^ [INFO] [stderr] 523 | | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] 524 | | let TypedTerm = annotate(term, EnvT, &mut 0); [INFO] [stderr] 525 | | let Constraints = collect(TypedTerm.clone()); [INFO] [stderr] ... | [INFO] [stderr] 530 | | println!("{:?}",Interp(TypedTerm, &mut EnvI)); [INFO] [stderr] 531 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: variable `EnvT` should have a snake case name such as `env_t` [INFO] [stderr] --> src/main.rs:523:7 [INFO] [stderr] | [INFO] [stderr] 523 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `TypedTerm` should have a snake case name such as `typed_term` [INFO] [stderr] --> src/main.rs:524:10 [INFO] [stderr] | [INFO] [stderr] 524 | let TypedTerm = annotate(term, EnvT, &mut 0); [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `Constraints` should have a snake case name such as `constraints` [INFO] [stderr] --> src/main.rs:525:10 [INFO] [stderr] | [INFO] [stderr] 525 | let Constraints = collect(TypedTerm.clone()); [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable `EnvI` should have a snake case name such as `env_i` [INFO] [stderr] --> src/main.rs:528:10 [INFO] [stderr] | [INFO] [stderr] 528 | let mut EnvI = InterpEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `Add` should have a snake case name such as `add` [INFO] [stderr] --> src/main.rs:534:2 [INFO] [stderr] | [INFO] [stderr] 534 | fn Add(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 535 | | match (a1,a2) { [INFO] [stderr] 536 | | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1+v2}, [INFO] [stderr] 537 | | _ => panic!("undefined !") [INFO] [stderr] 538 | | } [INFO] [stderr] 539 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `Minus` should have a snake case name such as `minus` [INFO] [stderr] --> src/main.rs:541:2 [INFO] [stderr] | [INFO] [stderr] 541 | fn Minus(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 542 | | match (a1,a2) { [INFO] [stderr] 543 | | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1-v2}, [INFO] [stderr] 544 | | _ => panic!("undefined !") [INFO] [stderr] 545 | | } [INFO] [stderr] 546 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `Mul` should have a snake case name such as `mul` [INFO] [stderr] --> src/main.rs:548:2 [INFO] [stderr] | [INFO] [stderr] 548 | fn Mul(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 549 | | match (a1,a2) { [INFO] [stderr] 550 | | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1*v2}, [INFO] [stderr] 551 | | _ => panic!("undefined !") [INFO] [stderr] 552 | | } [INFO] [stderr] 553 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `Div` should have a snake case name such as `div` [INFO] [stderr] --> src/main.rs:555:2 [INFO] [stderr] | [INFO] [stderr] 555 | fn Div(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 556 | | match (a1,a2) { [INFO] [stderr] 557 | | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_INT{ty: Type::TyInt, value: v1/v2}, [INFO] [stderr] 558 | | _ => panic!("undefined !") [INFO] [stderr] 559 | | } [INFO] [stderr] 560 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `Lt` should have a snake case name such as `lt` [INFO] [stderr] --> src/main.rs:562:2 [INFO] [stderr] | [INFO] [stderr] 562 | fn Lt(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 563 | | match (a1,a2) { [INFO] [stderr] 564 | | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyInt, value: v1 < v2}, [INFO] [stderr] 565 | | _ => panic!("undefined !") [INFO] [stderr] 566 | | } [INFO] [stderr] 567 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `And` should have a snake case name such as `and` [INFO] [stderr] --> src/main.rs:570:2 [INFO] [stderr] | [INFO] [stderr] 570 | fn And(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 571 | | match (a1,a2) { [INFO] [stderr] 572 | | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 && v2}, [INFO] [stderr] 573 | | _ => panic!("undefined !") [INFO] [stderr] 574 | | } [INFO] [stderr] 575 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `Or` should have a snake case name such as `or` [INFO] [stderr] --> src/main.rs:577:2 [INFO] [stderr] | [INFO] [stderr] 577 | fn Or(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 578 | | match (a1,a2) { [INFO] [stderr] 579 | | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 || v2}, [INFO] [stderr] 580 | | _ => panic!("undefined !") [INFO] [stderr] 581 | | } [INFO] [stderr] 582 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: function `Equ` should have a snake case name such as `equ` [INFO] [stderr] --> src/main.rs:584:2 [INFO] [stderr] | [INFO] [stderr] 584 | fn Equ(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | _____^ [INFO] [stderr] 585 | | match (a1,a2) { [INFO] [stderr] 586 | | (TypedTerm::T_BOOL{ty: t1, value: v1}, TypedTerm::T_BOOL{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 == v2}, [INFO] [stderr] 587 | | (TypedTerm::T_INT{ty: t1, value: v1}, TypedTerm::T_INT{ty: t2, value: v2}) => TypedTerm::T_BOOL{ty: Type::TyBool, value: v1 == v2}, [INFO] [stderr] 588 | | _ => panic!("undefined !") [INFO] [stderr] 589 | | } [INFO] [stderr] 590 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] [INFO] [stderr] warning: variable `EnvT` should have a snake case name such as `env_t` [INFO] [stderr] --> src/main.rs:613:6 [INFO] [stderr] | [INFO] [stderr] 613 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.04s [INFO] running `"docker" "inspect" "fe6efcdd4f68ed5087eff0a870bb8b531086993181ce6bba43c18839844cf205"` [INFO] running `"docker" "rm" "-f" "fe6efcdd4f68ed5087eff0a870bb8b531086993181ce6bba43c18839844cf205"` [INFO] [stdout] fe6efcdd4f68ed5087eff0a870bb8b531086993181ce6bba43c18839844cf205