[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/pr-59199/sources/master#bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7/gh/MaXiaoye/CAS706_assignment3_Rust"` [INFO] [stderr] Cloning into 'work/ex/pr-59199/sources/master#bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7/gh/MaXiaoye/CAS706_assignment3_Rust'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/MaXiaoye/CAS706_assignment3_Rust" "work/ex/pr-59199/sources/try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b/gh/MaXiaoye/CAS706_assignment3_Rust"` [INFO] [stderr] Cloning into 'work/ex/pr-59199/sources/try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b/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 master#bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7 [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of MaXiaoye/CAS706_assignment3_Rust on toolchain try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b-alt" "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/pr-59199/sources/master#bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7/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/pr-59199/sources/try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b/gh/MaXiaoye/CAS706_assignment3_Rust/Cargo.toml [INFO] crate MaXiaoye/CAS706_assignment3_Rust already has a lockfile, it will not be regenerated [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] checking MaXiaoye/CAS706_assignment3_Rust against try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b for pr-59199 [INFO] running `"docker" "create" "-v" "/mnt/crater-raid/crater/work/local/target-dirs/pr-59199/worker-2/try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b:/opt/crater/target:rw,Z" "-v" "/mnt/crater-raid/crater/work/ex/pr-59199/sources/try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b/gh/MaXiaoye/CAS706_assignment3_Rust:/opt/crater/workdir:ro,Z" "-v" "/mnt/crater-raid/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/crater-raid/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" "-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" "+68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b-alt" "check" "--frozen" "--all" "--all-targets"` [INFO] [stdout] 930839fe9af19ce602c3459ba7cd1633bf98e3b4d5cb6e4113b1b968483f6d52 [INFO] running `"docker" "start" "-a" "930839fe9af19ce602c3459ba7cd1633bf98e3b4d5cb6e4113b1b968483f6d52"` [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: variant `T_INT` should have an upper camel case name [INFO] [stderr] --> src/main.rs:46:3 [INFO] [stderr] | [INFO] [stderr] 46 | T_INT{ty: Type, value: u32}, [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TInt` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(non_camel_case_types)] on by default [INFO] [stderr] [INFO] [stderr] warning: variant `T_BOOL` should have an upper camel case name [INFO] [stderr] --> src/main.rs:47:6 [INFO] [stderr] | [INFO] [stderr] 47 | T_BOOL{ty: Type, value: bool}, [INFO] [stderr] | ^^^^^^ help: convert the identifier to upper camel case: `TBool` [INFO] [stderr] [INFO] [stderr] warning: variant `T_VAR` should have an upper camel case name [INFO] [stderr] --> src/main.rs:48:6 [INFO] [stderr] | [INFO] [stderr] 48 | T_VAR{ty: Type, name: char}, [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TVar` [INFO] [stderr] [INFO] [stderr] warning: variant `T_FUN` should have an upper camel case name [INFO] [stderr] --> src/main.rs:49:6 [INFO] [stderr] | [INFO] [stderr] 49 | T_FUN{ty: Type, param: Box, body: Box}, [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TFun` [INFO] [stderr] [INFO] [stderr] warning: variant `T_Closure` should have an upper camel case name [INFO] [stderr] --> src/main.rs:50:6 [INFO] [stderr] | [INFO] [stderr] 50 | T_Closure{fun: Box, env: InterpEnv}, [INFO] [stderr] | ^^^^^^^^^ help: convert the identifier to upper camel case: `TClosure` [INFO] [stderr] [INFO] [stderr] warning: variant `T_APP` should have an upper camel case name [INFO] [stderr] --> src/main.rs:51:6 [INFO] [stderr] | [INFO] [stderr] 51 | T_APP{ty: Type, fun: Box, arg: Box}, [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TApp` [INFO] [stderr] [INFO] [stderr] warning: variant `T_CALC` should have an upper camel case name [INFO] [stderr] --> src/main.rs:52:6 [INFO] [stderr] | [INFO] [stderr] 52 | T_CALC{ty: Type, op: char, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^ help: convert the identifier to upper camel case: `TCalc` [INFO] [stderr] [INFO] [stderr] warning: variant `T_NOT` should have an upper camel case name [INFO] [stderr] --> src/main.rs:53:6 [INFO] [stderr] | [INFO] [stderr] 53 | T_NOT{ty: Type, exp: Box}, [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TNot` [INFO] [stderr] [INFO] [stderr] warning: variant `T_AND` should have an upper camel case name [INFO] [stderr] --> src/main.rs:54:6 [INFO] [stderr] | [INFO] [stderr] 54 | T_AND{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TAnd` [INFO] [stderr] [INFO] [stderr] warning: variant `T_OR` should have an upper camel case name [INFO] [stderr] --> src/main.rs:55:6 [INFO] [stderr] | [INFO] [stderr] 55 | T_OR{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^ help: convert the identifier to upper camel case: `TOr` [INFO] [stderr] [INFO] [stderr] warning: variant `T_EQU` should have an upper camel case name [INFO] [stderr] --> src/main.rs:56:6 [INFO] [stderr] | [INFO] [stderr] 56 | T_EQU{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TEqu` [INFO] [stderr] [INFO] [stderr] warning: variant `T_LT` should have an upper camel case name [INFO] [stderr] --> src/main.rs:57:6 [INFO] [stderr] | [INFO] [stderr] 57 | T_LT{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^ help: convert the identifier to upper camel case: `TLt` [INFO] [stderr] [INFO] [stderr] warning: variant `T_IF` should have an upper camel case name [INFO] [stderr] --> src/main.rs:58:6 [INFO] [stderr] | [INFO] [stderr] 58 | T_IF{ty: Type, exp1: Box, exp2: Box, exp3: Box}, [INFO] [stderr] | ^^^^ help: convert the identifier to upper camel case: `TIf` [INFO] [stderr] [INFO] [stderr] warning: variant `T_LET` should have an upper camel case name [INFO] [stderr] --> src/main.rs:59:6 [INFO] [stderr] | [INFO] [stderr] 59 | T_LET{ty: Type, exp1: Box, exp2: Box, exp3: Box} [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TLet` [INFO] [stderr] [INFO] [stderr] warning: variant `T_INT` should have an upper camel case name [INFO] [stderr] --> src/main.rs:46:3 [INFO] [stderr] | [INFO] [stderr] 46 | T_INT{ty: Type, value: u32}, [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TInt` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(non_camel_case_types)] on by default [INFO] [stderr] [INFO] [stderr] warning: variant `T_BOOL` should have an upper camel case name [INFO] [stderr] --> src/main.rs:47:6 [INFO] [stderr] | [INFO] [stderr] 47 | T_BOOL{ty: Type, value: bool}, [INFO] [stderr] | ^^^^^^ help: convert the identifier to upper camel case: `TBool` [INFO] [stderr] [INFO] [stderr] warning: variant `T_VAR` should have an upper camel case name [INFO] [stderr] --> src/main.rs:48:6 [INFO] [stderr] | [INFO] [stderr] 48 | T_VAR{ty: Type, name: char}, [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TVar` [INFO] [stderr] [INFO] [stderr] warning: variant `T_FUN` should have an upper camel case name [INFO] [stderr] --> src/main.rs:49:6 [INFO] [stderr] | [INFO] [stderr] 49 | T_FUN{ty: Type, param: Box, body: Box}, [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TFun` [INFO] [stderr] [INFO] [stderr] warning: variant `T_Closure` should have an upper camel case name [INFO] [stderr] --> src/main.rs:50:6 [INFO] [stderr] | [INFO] [stderr] 50 | T_Closure{fun: Box, env: InterpEnv}, [INFO] [stderr] | ^^^^^^^^^ help: convert the identifier to upper camel case: `TClosure` [INFO] [stderr] [INFO] [stderr] warning: variant `T_APP` should have an upper camel case name [INFO] [stderr] --> src/main.rs:51:6 [INFO] [stderr] | [INFO] [stderr] 51 | T_APP{ty: Type, fun: Box, arg: Box}, [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TApp` [INFO] [stderr] [INFO] [stderr] warning: variant `T_CALC` should have an upper camel case name [INFO] [stderr] --> src/main.rs:52:6 [INFO] [stderr] | [INFO] [stderr] 52 | T_CALC{ty: Type, op: char, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^^ help: convert the identifier to upper camel case: `TCalc` [INFO] [stderr] [INFO] [stderr] warning: variant `T_NOT` should have an upper camel case name [INFO] [stderr] --> src/main.rs:53:6 [INFO] [stderr] | [INFO] [stderr] 53 | T_NOT{ty: Type, exp: Box}, [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TNot` [INFO] [stderr] [INFO] [stderr] warning: variant `T_AND` should have an upper camel case name [INFO] [stderr] --> src/main.rs:54:6 [INFO] [stderr] | [INFO] [stderr] 54 | T_AND{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TAnd` [INFO] [stderr] [INFO] [stderr] warning: variant `T_OR` should have an upper camel case name [INFO] [stderr] --> src/main.rs:55:6 [INFO] [stderr] | [INFO] [stderr] 55 | T_OR{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^ help: convert the identifier to upper camel case: `TOr` [INFO] [stderr] [INFO] [stderr] warning: variant `T_EQU` should have an upper camel case name [INFO] [stderr] --> src/main.rs:56:6 [INFO] [stderr] | [INFO] [stderr] 56 | T_EQU{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TEqu` [INFO] [stderr] [INFO] [stderr] warning: variant `T_LT` should have an upper camel case name [INFO] [stderr] --> src/main.rs:57:6 [INFO] [stderr] | [INFO] [stderr] 57 | T_LT{ty: Type, exp1: Box, exp2: Box}, [INFO] [stderr] | ^^^^ help: convert the identifier to upper camel case: `TLt` [INFO] [stderr] [INFO] [stderr] warning: variant `T_IF` should have an upper camel case name [INFO] [stderr] --> src/main.rs:58:6 [INFO] [stderr] | [INFO] [stderr] 58 | T_IF{ty: Type, exp1: Box, exp2: Box, exp3: Box}, [INFO] [stderr] | ^^^^ help: convert the identifier to upper camel case: `TIf` [INFO] [stderr] [INFO] [stderr] warning: variant `T_LET` should have an upper camel case name [INFO] [stderr] --> src/main.rs:59:6 [INFO] [stderr] | [INFO] [stderr] 59 | T_LET{ty: Type, exp1: Box, exp2: Box, exp3: Box} [INFO] [stderr] | ^^^^^ help: convert the identifier to upper camel case: `TLet` [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 prefixing with an underscore: `_a1` [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 prefixing with an underscore: `_v` [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 prefixing with an underscore: `_v` [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 prefixing with an underscore: `_n` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_o` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_solutions` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_v` [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 prefixing with an underscore: `_v` [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 prefixing with an underscore: `_n` [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 prefixing with an underscore: `_b` [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 prefixing with an underscore: `_p` [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 prefixing with an underscore: `_a` [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 prefixing with an underscore: `_f` [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 prefixing with an underscore: `_e1` [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 prefixing with an underscore: `_e2` [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 prefixing with an underscore: `_o` [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 prefixing with an underscore: `_e` [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 prefixing with an underscore: `_e1` [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 prefixing with an underscore: `_e2` [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 prefixing with an underscore: `_e1` [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 prefixing with an underscore: `_e2` [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 prefixing with an underscore: `_e1` [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 prefixing with an underscore: `_e2` [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 prefixing with an underscore: `_e1` [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 prefixing with an underscore: `_e2` [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 prefixing with an underscore: `_e1` [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 prefixing with an underscore: `_e2` [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 prefixing with an underscore: `_e3` [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 prefixing with an underscore: `_e1` [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 prefixing with an underscore: `_e2` [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 prefixing with an underscore: `_e3` [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: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: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 [INFO] [stderr] --> src/main.rs:33:9 [INFO] [stderr] | [INFO] [stderr] 33 | TyFun{ParamTy: Box, ReturnTy: Box} [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `param_ty` [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 [INFO] [stderr] --> src/main.rs:33:29 [INFO] [stderr] | [INFO] [stderr] 33 | TyFun{ParamTy: Box, ReturnTy: Box} [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `return_ty` [INFO] [stderr] [INFO] [stderr] warning: function `freshVar` should have a snake case name [INFO] [stderr] --> src/main.rs:37:5 [INFO] [stderr] | [INFO] [stderr] 37 | fn freshVar(v: &mut u32) -> Type { [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `fresh_var` [INFO] [stderr] [INFO] [stderr] warning: method `getType` should have a snake case name [INFO] [stderr] --> src/main.rs:65:6 [INFO] [stderr] | [INFO] [stderr] 65 | fn getType(self) -> Type { [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `get_type` [INFO] [stderr] [INFO] [stderr] warning: structure field `Env` should have a snake case name [INFO] [stderr] --> src/main.rs:88:3 [INFO] [stderr] | [INFO] [stderr] 88 | Env: HashMap [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `env` [INFO] [stderr] [INFO] [stderr] warning: variable `varNum` should have a snake case name [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] | ^^^^^^ help: convert the identifier to snake case: `var_num` [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy` should have a snake case name [INFO] [stderr] --> src/main.rs:113:9 [INFO] [stderr] | [INFO] [stderr] 113 | let paramTy = freshVar(varNum); [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `param_ty` [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy1` should have a snake case name [INFO] [stderr] --> src/main.rs:114:9 [INFO] [stderr] | [INFO] [stderr] 114 | let paramTy1 = paramTy.clone(); [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `param_ty1` [INFO] [stderr] [INFO] [stderr] warning: variable `paramBinder` should have a snake case name [INFO] [stderr] --> src/main.rs:116:9 [INFO] [stderr] | [INFO] [stderr] 116 | let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: p}; [INFO] [stderr] | ^^^^^^^^^^^ help: convert the identifier to snake case: `param_binder` [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy` should have a snake case name [INFO] [stderr] --> src/main.rs:134:12 [INFO] [stderr] | [INFO] [stderr] 134 | let paramTy = freshVar(varNum); [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `param_ty` [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy1` should have a snake case name [INFO] [stderr] --> src/main.rs:135:9 [INFO] [stderr] | [INFO] [stderr] 135 | let paramTy1 = paramTy.clone(); [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `param_ty1` [INFO] [stderr] [INFO] [stderr] warning: variable `paramBinder` should have a snake case name [INFO] [stderr] --> src/main.rs:137:9 [INFO] [stderr] | [INFO] [stderr] 137 | let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: e1}; [INFO] [stderr] | ^^^^^^^^^^^ help: convert the identifier to snake case: `param_binder` [INFO] [stderr] [INFO] [stderr] warning: structure field `typeA` should have a snake case name [INFO] [stderr] --> src/main.rs:149:3 [INFO] [stderr] | [INFO] [stderr] 149 | typeA: Type, [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `type_a` [INFO] [stderr] [INFO] [stderr] warning: structure field `typeB` should have a snake case name [INFO] [stderr] --> src/main.rs:150:3 [INFO] [stderr] | [INFO] [stderr] 150 | typeB: Type [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `type_b` [INFO] [stderr] [INFO] [stderr] warning: method `fromPair` should have a snake case name [INFO] [stderr] --> src/main.rs:277:6 [INFO] [stderr] | [INFO] [stderr] 277 | fn fromPair(tvar: u32, ty: Type) -> Substitution { [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `from_pair` [INFO] [stderr] [INFO] [stderr] warning: method `applyToSet` should have a snake case name [INFO] [stderr] --> src/main.rs:284:6 [INFO] [stderr] | [INFO] [stderr] 284 | fn applyToSet (&self,constraints: &mut Vec) -> Vec { [INFO] [stderr] | ^^^^^^^^^^ help: convert the identifier to snake case: `apply_to_set` [INFO] [stderr] [INFO] [stderr] warning: method `applyOneType` should have a snake case name [INFO] [stderr] --> src/main.rs:293:6 [INFO] [stderr] | [INFO] [stderr] 293 | fn applyOneType(&self, ty: Type) -> Type { [INFO] [stderr] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `apply_one_type` [INFO] [stderr] [INFO] [stderr] warning: variable `solutionType` should have a snake case name [INFO] [stderr] --> src/main.rs:311:8 [INFO] [stderr] | [INFO] [stderr] 311 | for solutionType in self.solutions.values_mut() { [INFO] [stderr] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `solution_type` [INFO] [stderr] [INFO] [stderr] warning: variable `solutionOne` should have a snake case name [INFO] [stderr] --> src/main.rs:330:12 [INFO] [stderr] | [INFO] [stderr] 330 | let mut solutionOne = unifyOne(constraints[0].clone()); [INFO] [stderr] | ^^^^^^^^^^^ help: convert the identifier to snake case: `solution_one` [INFO] [stderr] [INFO] [stderr] warning: variable `updateConstraints` should have a snake case name [INFO] [stderr] --> src/main.rs:334:12 [INFO] [stderr] | [INFO] [stderr] 334 | let mut updateConstraints = solutionOne.applyToSet(&mut vec1); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `update_constraints` [INFO] [stderr] [INFO] [stderr] warning: variable `solutionRest` should have a snake case name [INFO] [stderr] --> src/main.rs:336:8 [INFO] [stderr] | [INFO] [stderr] 336 | let solutionRest = unify(updateConstraints); [INFO] [stderr] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `solution_rest` [INFO] [stderr] [INFO] [stderr] warning: function `unifyOne` should have a snake case name [INFO] [stderr] --> src/main.rs:343:5 [INFO] [stderr] | [INFO] [stderr] 343 | fn unifyOne(constraint: Constraint) -> Substitution { [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `unify_one` [INFO] [stderr] [INFO] [stderr] warning: function `unifyVar` should have a snake case name [INFO] [stderr] --> src/main.rs:356:5 [INFO] [stderr] | [INFO] [stderr] 356 | fn unifyVar(tvar: u32, ty: Type) -> Substitution { [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `unify_var` [INFO] [stderr] [INFO] [stderr] warning: function `typeInference` should have a snake case name [INFO] [stderr] --> src/main.rs:397:5 [INFO] [stderr] | [INFO] [stderr] 397 | fn typeInference(term: UntypedTerm) { [INFO] [stderr] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `type_inference` [INFO] [stderr] [INFO] [stderr] warning: variable `EnvT` should have a snake case name [INFO] [stderr] --> src/main.rs:398:11 [INFO] [stderr] | [INFO] [stderr] 398 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^ help: convert the identifier to snake case: `env_t` [INFO] [stderr] [INFO] [stderr] warning: variable `TypedTerm` should have a snake case name [INFO] [stderr] --> src/main.rs:399:10 [INFO] [stderr] | [INFO] [stderr] 399 | let TypedTerm = annotate(term, EnvT, &mut 0); [INFO] [stderr] | ^^^^^^^^^ help: convert the identifier to snake case: `typed_term` [INFO] [stderr] [INFO] [stderr] warning: variable `Constraints` should have a snake case name [INFO] [stderr] --> src/main.rs:400:10 [INFO] [stderr] | [INFO] [stderr] 400 | let Constraints = collect(TypedTerm.clone()); [INFO] [stderr] | ^^^^^^^^^^^ help: convert the identifier to snake case: `constraints` [INFO] [stderr] [INFO] [stderr] warning: structure field `Env` should have a snake case name [INFO] [stderr] --> src/main.rs:415:3 [INFO] [stderr] | [INFO] [stderr] 415 | Env: HashMap [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `env` [INFO] [stderr] [INFO] [stderr] warning: function `Interp` should have a snake case name [INFO] [stderr] --> src/main.rs:433:5 [INFO] [stderr] | [INFO] [stderr] 433 | fn Interp(term: TypedTerm, env: &mut InterpEnv) -> TypedTerm { [INFO] [stderr] | ^^^^^^ help: convert the identifier to snake case: `interp` [INFO] [stderr] [INFO] [stderr] warning: variable `EnvNew` should have a snake case name [INFO] [stderr] --> src/main.rs:443:19 [INFO] [stderr] | [INFO] [stderr] 443 | let mut EnvNew = InterpEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^ help: convert the identifier to snake case: `env_new` [INFO] [stderr] [INFO] [stderr] warning: variable `EnvNew` should have a snake case name [INFO] [stderr] --> src/main.rs:508:19 [INFO] [stderr] | [INFO] [stderr] 508 | let mut EnvNew = InterpEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^ help: convert the identifier to snake case: `env_new` [INFO] [stderr] [INFO] [stderr] warning: function `InterpE` should have a snake case name [INFO] [stderr] --> src/main.rs:522:5 [INFO] [stderr] | [INFO] [stderr] 522 | fn InterpE(term: UntypedTerm) { [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `interp_e` [INFO] [stderr] [INFO] [stderr] warning: variable `EnvT` should have a snake case name [INFO] [stderr] --> src/main.rs:523:11 [INFO] [stderr] | [INFO] [stderr] 523 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^ help: convert the identifier to snake case: `env_t` [INFO] [stderr] [INFO] [stderr] warning: variable `TypedTerm` should have a snake case name [INFO] [stderr] --> src/main.rs:524:10 [INFO] [stderr] | [INFO] [stderr] 524 | let TypedTerm = annotate(term, EnvT, &mut 0); [INFO] [stderr] | ^^^^^^^^^ help: convert the identifier to snake case: `typed_term` [INFO] [stderr] [INFO] [stderr] warning: variable `Constraints` should have a snake case name [INFO] [stderr] --> src/main.rs:525:10 [INFO] [stderr] | [INFO] [stderr] 525 | let Constraints = collect(TypedTerm.clone()); [INFO] [stderr] | ^^^^^^^^^^^ help: convert the identifier to snake case: `constraints` [INFO] [stderr] [INFO] [stderr] warning: variable `EnvI` should have a snake case name [INFO] [stderr] --> src/main.rs:528:14 [INFO] [stderr] | [INFO] [stderr] 528 | let mut EnvI = InterpEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^ help: convert the identifier to snake case: `env_i` [INFO] [stderr] [INFO] [stderr] warning: function `Add` should have a snake case name [INFO] [stderr] --> src/main.rs:534:5 [INFO] [stderr] | [INFO] [stderr] 534 | fn Add(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `add` [INFO] [stderr] [INFO] [stderr] warning: function `Minus` should have a snake case name [INFO] [stderr] --> src/main.rs:541:5 [INFO] [stderr] | [INFO] [stderr] 541 | fn Minus(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `minus` [INFO] [stderr] [INFO] [stderr] warning: function `Mul` should have a snake case name [INFO] [stderr] --> src/main.rs:548:5 [INFO] [stderr] | [INFO] [stderr] 548 | fn Mul(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `mul` [INFO] [stderr] [INFO] [stderr] warning: function `Div` should have a snake case name [INFO] [stderr] --> src/main.rs:555:5 [INFO] [stderr] | [INFO] [stderr] 555 | fn Div(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `div` [INFO] [stderr] [INFO] [stderr] warning: function `Lt` should have a snake case name [INFO] [stderr] --> src/main.rs:562:5 [INFO] [stderr] | [INFO] [stderr] 562 | fn Lt(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^ help: convert the identifier to snake case: `lt` [INFO] [stderr] [INFO] [stderr] warning: function `And` should have a snake case name [INFO] [stderr] --> src/main.rs:570:5 [INFO] [stderr] | [INFO] [stderr] 570 | fn And(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `and` [INFO] [stderr] [INFO] [stderr] warning: function `Or` should have a snake case name [INFO] [stderr] --> src/main.rs:577:5 [INFO] [stderr] | [INFO] [stderr] 577 | fn Or(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^ help: convert the identifier to snake case: `or` [INFO] [stderr] [INFO] [stderr] warning: function `Equ` should have a snake case name [INFO] [stderr] --> src/main.rs:584:5 [INFO] [stderr] | [INFO] [stderr] 584 | fn Equ(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `equ` [INFO] [stderr] [INFO] [stderr] warning: variable `EnvT` should have a snake case name [INFO] [stderr] --> src/main.rs:613:10 [INFO] [stderr] | [INFO] [stderr] 613 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^ help: convert the identifier to snake case: `env_t` [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 prefixing with an underscore: `_a1` [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 prefixing with an underscore: `_v` [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 prefixing with an underscore: `_v` [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 prefixing with an underscore: `_n` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_o` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_t` [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 prefixing with an underscore: `_solutions` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_t1` [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 prefixing with an underscore: `_t2` [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 prefixing with an underscore: `_v` [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 prefixing with an underscore: `_v` [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 prefixing with an underscore: `_n` [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 prefixing with an underscore: `_b` [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 prefixing with an underscore: `_p` [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 prefixing with an underscore: `_a` [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 prefixing with an underscore: `_f` [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 prefixing with an underscore: `_e1` [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 prefixing with an underscore: `_e2` [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 prefixing with an underscore: `_o` [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 prefixing with an underscore: `_e` [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 prefixing with an underscore: `_e1` [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 prefixing with an underscore: `_e2` [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 prefixing with an underscore: `_e1` [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 prefixing with an underscore: `_e2` [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 prefixing with an underscore: `_e1` [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 prefixing with an underscore: `_e2` [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 prefixing with an underscore: `_e1` [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 prefixing with an underscore: `_e2` [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 prefixing with an underscore: `_e1` [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 prefixing with an underscore: `_e2` [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 prefixing with an underscore: `_e3` [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 prefixing with an underscore: `_e1` [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 prefixing with an underscore: `_e2` [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 prefixing with an underscore: `_e3` [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: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: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: structure field `ParamTy` should have a snake case name [INFO] [stderr] --> src/main.rs:33:9 [INFO] [stderr] | [INFO] [stderr] 33 | TyFun{ParamTy: Box, ReturnTy: Box} [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `param_ty` [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 [INFO] [stderr] --> src/main.rs:33:29 [INFO] [stderr] | [INFO] [stderr] 33 | TyFun{ParamTy: Box, ReturnTy: Box} [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `return_ty` [INFO] [stderr] [INFO] [stderr] warning: function `freshVar` should have a snake case name [INFO] [stderr] --> src/main.rs:37:5 [INFO] [stderr] | [INFO] [stderr] 37 | fn freshVar(v: &mut u32) -> Type { [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `fresh_var` [INFO] [stderr] [INFO] [stderr] warning: method `getType` should have a snake case name [INFO] [stderr] --> src/main.rs:65:6 [INFO] [stderr] | [INFO] [stderr] 65 | fn getType(self) -> Type { [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `get_type` [INFO] [stderr] [INFO] [stderr] warning: structure field `Env` should have a snake case name [INFO] [stderr] --> src/main.rs:88:3 [INFO] [stderr] | [INFO] [stderr] 88 | Env: HashMap [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `env` [INFO] [stderr] [INFO] [stderr] warning: variable `varNum` should have a snake case name [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] | ^^^^^^ help: convert the identifier to snake case: `var_num` [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy` should have a snake case name [INFO] [stderr] --> src/main.rs:113:9 [INFO] [stderr] | [INFO] [stderr] 113 | let paramTy = freshVar(varNum); [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `param_ty` [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy1` should have a snake case name [INFO] [stderr] --> src/main.rs:114:9 [INFO] [stderr] | [INFO] [stderr] 114 | let paramTy1 = paramTy.clone(); [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `param_ty1` [INFO] [stderr] [INFO] [stderr] warning: variable `paramBinder` should have a snake case name [INFO] [stderr] --> src/main.rs:116:9 [INFO] [stderr] | [INFO] [stderr] 116 | let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: p}; [INFO] [stderr] | ^^^^^^^^^^^ help: convert the identifier to snake case: `param_binder` [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy` should have a snake case name [INFO] [stderr] --> src/main.rs:134:12 [INFO] [stderr] | [INFO] [stderr] 134 | let paramTy = freshVar(varNum); [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `param_ty` [INFO] [stderr] [INFO] [stderr] warning: variable `paramTy1` should have a snake case name [INFO] [stderr] --> src/main.rs:135:9 [INFO] [stderr] | [INFO] [stderr] 135 | let paramTy1 = paramTy.clone(); [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `param_ty1` [INFO] [stderr] [INFO] [stderr] warning: variable `paramBinder` should have a snake case name [INFO] [stderr] --> src/main.rs:137:9 [INFO] [stderr] | [INFO] [stderr] 137 | let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: e1}; [INFO] [stderr] | ^^^^^^^^^^^ help: convert the identifier to snake case: `param_binder` [INFO] [stderr] [INFO] [stderr] warning: structure field `typeA` should have a snake case name [INFO] [stderr] --> src/main.rs:149:3 [INFO] [stderr] | [INFO] [stderr] 149 | typeA: Type, [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `type_a` [INFO] [stderr] [INFO] [stderr] warning: structure field `typeB` should have a snake case name [INFO] [stderr] --> src/main.rs:150:3 [INFO] [stderr] | [INFO] [stderr] 150 | typeB: Type [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `type_b` [INFO] [stderr] [INFO] [stderr] warning: method `fromPair` should have a snake case name [INFO] [stderr] --> src/main.rs:277:6 [INFO] [stderr] | [INFO] [stderr] 277 | fn fromPair(tvar: u32, ty: Type) -> Substitution { [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `from_pair` [INFO] [stderr] [INFO] [stderr] warning: method `applyToSet` should have a snake case name [INFO] [stderr] --> src/main.rs:284:6 [INFO] [stderr] | [INFO] [stderr] 284 | fn applyToSet (&self,constraints: &mut Vec) -> Vec { [INFO] [stderr] | ^^^^^^^^^^ help: convert the identifier to snake case: `apply_to_set` [INFO] [stderr] [INFO] [stderr] warning: method `applyOneType` should have a snake case name [INFO] [stderr] --> src/main.rs:293:6 [INFO] [stderr] | [INFO] [stderr] 293 | fn applyOneType(&self, ty: Type) -> Type { [INFO] [stderr] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `apply_one_type` [INFO] [stderr] [INFO] [stderr] warning: variable `solutionType` should have a snake case name [INFO] [stderr] --> src/main.rs:311:8 [INFO] [stderr] | [INFO] [stderr] 311 | for solutionType in self.solutions.values_mut() { [INFO] [stderr] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `solution_type` [INFO] [stderr] [INFO] [stderr] warning: variable `solutionOne` should have a snake case name [INFO] [stderr] --> src/main.rs:330:12 [INFO] [stderr] | [INFO] [stderr] 330 | let mut solutionOne = unifyOne(constraints[0].clone()); [INFO] [stderr] | ^^^^^^^^^^^ help: convert the identifier to snake case: `solution_one` [INFO] [stderr] [INFO] [stderr] warning: variable `updateConstraints` should have a snake case name [INFO] [stderr] --> src/main.rs:334:12 [INFO] [stderr] | [INFO] [stderr] 334 | let mut updateConstraints = solutionOne.applyToSet(&mut vec1); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `update_constraints` [INFO] [stderr] [INFO] [stderr] warning: variable `solutionRest` should have a snake case name [INFO] [stderr] --> src/main.rs:336:8 [INFO] [stderr] | [INFO] [stderr] 336 | let solutionRest = unify(updateConstraints); [INFO] [stderr] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `solution_rest` [INFO] [stderr] [INFO] [stderr] warning: function `unifyOne` should have a snake case name [INFO] [stderr] --> src/main.rs:343:5 [INFO] [stderr] | [INFO] [stderr] 343 | fn unifyOne(constraint: Constraint) -> Substitution { [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `unify_one` [INFO] [stderr] [INFO] [stderr] warning: function `unifyVar` should have a snake case name [INFO] [stderr] --> src/main.rs:356:5 [INFO] [stderr] | [INFO] [stderr] 356 | fn unifyVar(tvar: u32, ty: Type) -> Substitution { [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `unify_var` [INFO] [stderr] [INFO] [stderr] warning: function `typeInference` should have a snake case name [INFO] [stderr] --> src/main.rs:397:5 [INFO] [stderr] | [INFO] [stderr] 397 | fn typeInference(term: UntypedTerm) { [INFO] [stderr] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `type_inference` [INFO] [stderr] [INFO] [stderr] warning: variable `EnvT` should have a snake case name [INFO] [stderr] --> src/main.rs:398:11 [INFO] [stderr] | [INFO] [stderr] 398 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^ help: convert the identifier to snake case: `env_t` [INFO] [stderr] [INFO] [stderr] warning: variable `TypedTerm` should have a snake case name [INFO] [stderr] --> src/main.rs:399:10 [INFO] [stderr] | [INFO] [stderr] 399 | let TypedTerm = annotate(term, EnvT, &mut 0); [INFO] [stderr] | ^^^^^^^^^ help: convert the identifier to snake case: `typed_term` [INFO] [stderr] [INFO] [stderr] warning: variable `Constraints` should have a snake case name [INFO] [stderr] --> src/main.rs:400:10 [INFO] [stderr] | [INFO] [stderr] 400 | let Constraints = collect(TypedTerm.clone()); [INFO] [stderr] | ^^^^^^^^^^^ help: convert the identifier to snake case: `constraints` [INFO] [stderr] [INFO] [stderr] warning: structure field `Env` should have a snake case name [INFO] [stderr] --> src/main.rs:415:3 [INFO] [stderr] | [INFO] [stderr] 415 | Env: HashMap [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `env` [INFO] [stderr] [INFO] [stderr] warning: function `Interp` should have a snake case name [INFO] [stderr] --> src/main.rs:433:5 [INFO] [stderr] | [INFO] [stderr] 433 | fn Interp(term: TypedTerm, env: &mut InterpEnv) -> TypedTerm { [INFO] [stderr] | ^^^^^^ help: convert the identifier to snake case: `interp` [INFO] [stderr] [INFO] [stderr] warning: variable `EnvNew` should have a snake case name [INFO] [stderr] --> src/main.rs:443:19 [INFO] [stderr] | [INFO] [stderr] 443 | let mut EnvNew = InterpEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^ help: convert the identifier to snake case: `env_new` [INFO] [stderr] [INFO] [stderr] warning: variable `EnvNew` should have a snake case name [INFO] [stderr] --> src/main.rs:508:19 [INFO] [stderr] | [INFO] [stderr] 508 | let mut EnvNew = InterpEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^^^ help: convert the identifier to snake case: `env_new` [INFO] [stderr] [INFO] [stderr] warning: function `InterpE` should have a snake case name [INFO] [stderr] --> src/main.rs:522:5 [INFO] [stderr] | [INFO] [stderr] 522 | fn InterpE(term: UntypedTerm) { [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `interp_e` [INFO] [stderr] [INFO] [stderr] warning: variable `EnvT` should have a snake case name [INFO] [stderr] --> src/main.rs:523:11 [INFO] [stderr] | [INFO] [stderr] 523 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^ help: convert the identifier to snake case: `env_t` [INFO] [stderr] [INFO] [stderr] warning: variable `TypedTerm` should have a snake case name [INFO] [stderr] --> src/main.rs:524:10 [INFO] [stderr] | [INFO] [stderr] 524 | let TypedTerm = annotate(term, EnvT, &mut 0); [INFO] [stderr] | ^^^^^^^^^ help: convert the identifier to snake case: `typed_term` [INFO] [stderr] [INFO] [stderr] warning: variable `Constraints` should have a snake case name [INFO] [stderr] --> src/main.rs:525:10 [INFO] [stderr] | [INFO] [stderr] 525 | let Constraints = collect(TypedTerm.clone()); [INFO] [stderr] | ^^^^^^^^^^^ help: convert the identifier to snake case: `constraints` [INFO] [stderr] [INFO] [stderr] warning: variable `EnvI` should have a snake case name [INFO] [stderr] --> src/main.rs:528:14 [INFO] [stderr] | [INFO] [stderr] 528 | let mut EnvI = InterpEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^ help: convert the identifier to snake case: `env_i` [INFO] [stderr] [INFO] [stderr] warning: function `Add` should have a snake case name [INFO] [stderr] --> src/main.rs:534:5 [INFO] [stderr] | [INFO] [stderr] 534 | fn Add(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `add` [INFO] [stderr] [INFO] [stderr] warning: function `Minus` should have a snake case name [INFO] [stderr] --> src/main.rs:541:5 [INFO] [stderr] | [INFO] [stderr] 541 | fn Minus(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^^^^ help: convert the identifier to snake case: `minus` [INFO] [stderr] [INFO] [stderr] warning: function `Mul` should have a snake case name [INFO] [stderr] --> src/main.rs:548:5 [INFO] [stderr] | [INFO] [stderr] 548 | fn Mul(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `mul` [INFO] [stderr] [INFO] [stderr] warning: function `Div` should have a snake case name [INFO] [stderr] --> src/main.rs:555:5 [INFO] [stderr] | [INFO] [stderr] 555 | fn Div(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `div` [INFO] [stderr] [INFO] [stderr] warning: function `Lt` should have a snake case name [INFO] [stderr] --> src/main.rs:562:5 [INFO] [stderr] | [INFO] [stderr] 562 | fn Lt(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^ help: convert the identifier to snake case: `lt` [INFO] [stderr] [INFO] [stderr] warning: function `And` should have a snake case name [INFO] [stderr] --> src/main.rs:570:5 [INFO] [stderr] | [INFO] [stderr] 570 | fn And(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `and` [INFO] [stderr] [INFO] [stderr] warning: function `Or` should have a snake case name [INFO] [stderr] --> src/main.rs:577:5 [INFO] [stderr] | [INFO] [stderr] 577 | fn Or(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^ help: convert the identifier to snake case: `or` [INFO] [stderr] [INFO] [stderr] warning: function `Equ` should have a snake case name [INFO] [stderr] --> src/main.rs:584:5 [INFO] [stderr] | [INFO] [stderr] 584 | fn Equ(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { [INFO] [stderr] | ^^^ help: convert the identifier to snake case: `equ` [INFO] [stderr] [INFO] [stderr] warning: variable `EnvT` should have a snake case name [INFO] [stderr] --> src/main.rs:613:10 [INFO] [stderr] | [INFO] [stderr] 613 | let mut EnvT = TypeEnv{Env: HashMap::new()}; [INFO] [stderr] | ^^^^ help: convert the identifier to snake case: `env_t` [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.69s [INFO] running `"docker" "inspect" "930839fe9af19ce602c3459ba7cd1633bf98e3b4d5cb6e4113b1b968483f6d52"` [INFO] running `"docker" "rm" "-f" "930839fe9af19ce602c3459ba7cd1633bf98e3b4d5cb6e4113b1b968483f6d52"` [INFO] [stdout] 930839fe9af19ce602c3459ba7cd1633bf98e3b4d5cb6e4113b1b968483f6d52