Dec 18 06:38:53.990 INFO checking MaXiaoye/CAS706_assignment3_Rust against try#0b8c5828f68d7b2840b81fa51239346dc97fef5a for pr-54252
Dec 18 06:38:53.990 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-54252/worker-0/try#0b8c5828f68d7b2840b81fa51239346dc97fef5a:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-54252/sources/try#0b8c5828f68d7b2840b81fa51239346dc97fef5a/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" "-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" "+0b8c5828f68d7b2840b81fa51239346dc97fef5a-alt" "check" "--frozen" "--all" "--all-targets"`
Dec 18 06:38:57.293 INFO [stdout] 9c1a80e251e5b0ee9f536b6a5d7f9a9086430f5383cf4200e24fb4f272699c19
Dec 18 06:38:57.319 INFO running `"docker" "start" "-a" "9c1a80e251e5b0ee9f536b6a5d7f9a9086430f5383cf4200e24fb4f272699c19"`
Dec 18 06:38:58.766 INFO [stderr] warning: An explicit [[bin]] section is specified in Cargo.toml which currently
Dec 18 06:38:58.766 INFO [stderr] disables Cargo from automatically inferring other binary targets.
Dec 18 06:38:58.766 INFO [stderr] This inference behavior will change in the Rust 2018 edition and the following
Dec 18 06:38:58.766 INFO [stderr] files will be included as a binary target:
Dec 18 06:38:58.766 INFO [stderr] 
Dec 18 06:38:58.766 INFO [stderr] * /opt/crater/workdir/src/main.rs
Dec 18 06:38:58.766 INFO [stderr] 
Dec 18 06:38:58.766 INFO [stderr] This is likely to break cargo build or cargo test as these files may not be
Dec 18 06:38:58.766 INFO [stderr] ready to be compiled as a binary target today. You can future-proof yourself
Dec 18 06:38:58.766 INFO [stderr] and disable this warning by adding `autobins = false` to your [package]
Dec 18 06:38:58.766 INFO [stderr] section. You may also move the files to a location where Cargo would not
Dec 18 06:38:58.766 INFO [stderr] automatically infer them to be a target, such as in subfolders.
Dec 18 06:38:58.766 INFO [stderr] 
Dec 18 06:38:58.766 INFO [stderr] For more information on this warning you can consult
Dec 18 06:38:58.766 INFO [stderr] https://github.com/rust-lang/cargo/issues/5330
Dec 18 06:38:58.766 INFO [stderr] warning: path `/opt/crater/workdir/src/main.rs` was erroneously implicitly accepted for binary `hello_world`,
Dec 18 06:38:58.766 INFO [stderr] please set bin.path in Cargo.toml
Dec 18 06:38:58.768 INFO [stderr]     Checking assignmentThree_Rust v0.0.1 (/opt/crater/workdir)
Dec 18 06:38:59.204 INFO [stderr] warning: unreachable pattern
Dec 18 06:38:59.204 INFO [stderr]    --> src/main.rs:141:4
Dec 18 06:38:59.204 INFO [stderr]     |
Dec 18 06:38:59.204 INFO [stderr] 141 |             _ => panic!("undefined term!")
Dec 18 06:38:59.204 INFO [stderr]     |             ^
Dec 18 06:38:59.204 INFO [stderr]     |
Dec 18 06:38:59.204 INFO [stderr]     = note: #[warn(unreachable_patterns)] on by default
Dec 18 06:38:59.204 INFO [stderr] 
Dec 18 06:38:59.206 INFO [stderr] warning: unused variable: `a1`
Dec 18 06:38:59.206 INFO [stderr]    --> src/main.rs:600:6
Dec 18 06:38:59.206 INFO [stderr]     |
Dec 18 06:38:59.206 INFO [stderr] 600 |     let a1 = UntypedTerm::APP{fun: Box::new(f1.clone()), arg: Box::new(i1.clone())};
Dec 18 06:38:59.206 INFO [stderr]     |         ^^ help: consider using `_a1` instead
Dec 18 06:38:59.206 INFO [stderr]     |
Dec 18 06:38:59.206 INFO [stderr]     = note: #[warn(unused_variables)] on by default
Dec 18 06:38:59.206 INFO [stderr] 
Dec 18 06:38:59.207 INFO [stderr] warning: unused variable: `v`
Dec 18 06:38:59.207 INFO [stderr]    --> src/main.rs:156:35
Dec 18 06:38:59.207 INFO [stderr]     |
Dec 18 06:38:59.207 INFO [stderr] 156 |             TypedTerm::T_INT{ty: t, value: v} => vec![Constraint{typeA: t, typeB: Type::TyInt}],
Dec 18 06:38:59.207 INFO [stderr]     |                                            ^ help: consider using `_v` instead
Dec 18 06:38:59.207 INFO [stderr] 
Dec 18 06:38:59.207 INFO [stderr] warning: unused variable: `v`
Dec 18 06:38:59.207 INFO [stderr]    --> src/main.rs:157:36
Dec 18 06:38:59.207 INFO [stderr]     |
Dec 18 06:38:59.207 INFO [stderr] 157 |             TypedTerm::T_BOOL{ty: t, value: v} => vec![Constraint{typeA: t, typeB: Type::TyBool}],
Dec 18 06:38:59.207 INFO [stderr]     |                                             ^ help: consider using `_v` instead
Dec 18 06:38:59.207 INFO [stderr] 
Dec 18 06:38:59.207 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.207 INFO [stderr]    --> src/main.rs:165:25
Dec 18 06:38:59.207 INFO [stderr]     |
Dec 18 06:38:59.207 INFO [stderr] 165 |             TypedTerm::T_VAR{ty: t, name: n} => vec![],
Dec 18 06:38:59.207 INFO [stderr]     |                                  ^ help: consider using `_t` instead
Dec 18 06:38:59.207 INFO [stderr] 
Dec 18 06:38:59.207 INFO [stderr] warning: unused variable: `n`
Dec 18 06:38:59.207 INFO [stderr]    --> src/main.rs:165:34
Dec 18 06:38:59.207 INFO [stderr]     |
Dec 18 06:38:59.207 INFO [stderr] 165 |             TypedTerm::T_VAR{ty: t, name: n} => vec![],
Dec 18 06:38:59.207 INFO [stderr]     |                                           ^ help: consider using `_n` instead
Dec 18 06:38:59.207 INFO [stderr] 
Dec 18 06:38:59.207 INFO [stderr] warning: unused variable: `o`
Dec 18 06:38:59.207 INFO [stderr]    --> src/main.rs:175:33
Dec 18 06:38:59.207 INFO [stderr]     |
Dec 18 06:38:59.207 INFO [stderr] 175 |             TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => {
Dec 18 06:38:59.207 INFO [stderr]     |                                          ^ help: consider using `_o` instead
Dec 18 06:38:59.207 INFO [stderr] 
Dec 18 06:38:59.208 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.208 INFO [stderr]    --> src/main.rs:437:31
Dec 18 06:38:59.208 INFO [stderr]     |
Dec 18 06:38:59.208 INFO [stderr] 437 |             TypedTerm::T_VAR{ty: t, name: n} => {
Dec 18 06:38:59.208 INFO [stderr]     |                                  ^ help: consider using `_t` instead
Dec 18 06:38:59.208 INFO [stderr] 
Dec 18 06:38:59.208 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.208 INFO [stderr]    --> src/main.rs:441:31
Dec 18 06:38:59.208 INFO [stderr]     |
Dec 18 06:38:59.208 INFO [stderr] 441 |             TypedTerm::T_APP{ty: t, fun: f, arg: a} => {
Dec 18 06:38:59.208 INFO [stderr]     |                                  ^ help: consider using `_t` instead
Dec 18 06:38:59.208 INFO [stderr] 
Dec 18 06:38:59.208 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.208 INFO [stderr]    --> src/main.rs:447:34
Dec 18 06:38:59.208 INFO [stderr]     |
Dec 18 06:38:59.208 INFO [stderr] 447 |                         TypedTerm::T_FUN{ty: t1, param: p1, body: b1} => match *p1.clone() {
Dec 18 06:38:59.208 INFO [stderr]     |                                              ^^ help: consider using `_t1` instead
Dec 18 06:38:59.208 INFO [stderr] 
Dec 18 06:38:59.208 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.208 INFO [stderr]    --> src/main.rs:448:35
Dec 18 06:38:59.208 INFO [stderr]     |
Dec 18 06:38:59.208 INFO [stderr] 448 |                             TypedTerm::T_VAR{ty: t2, name: n1} => {
Dec 18 06:38:59.208 INFO [stderr]     |                                                  ^^ help: consider using `_t2` instead
Dec 18 06:38:59.208 INFO [stderr] 
Dec 18 06:38:59.208 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.208 INFO [stderr]    --> src/main.rs:459:32
Dec 18 06:38:59.208 INFO [stderr]     |
Dec 18 06:38:59.208 INFO [stderr] 459 |             TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => {
Dec 18 06:38:59.208 INFO [stderr]     |                                   ^ help: consider using `_t` instead
Dec 18 06:38:59.208 INFO [stderr] 
Dec 18 06:38:59.208 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.208 INFO [stderr]    --> src/main.rs:470:31
Dec 18 06:38:59.208 INFO [stderr]     |
Dec 18 06:38:59.208 INFO [stderr] 470 |             TypedTerm::T_NOT{ty: t, exp: e} => {
Dec 18 06:38:59.208 INFO [stderr]     |                                  ^ help: consider using `_t` instead
Dec 18 06:38:59.209 INFO [stderr] 
Dec 18 06:38:59.209 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.209 INFO [stderr]    --> src/main.rs:477:31
Dec 18 06:38:59.209 INFO [stderr]     |
Dec 18 06:38:59.209 INFO [stderr] 477 |             TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => {
Dec 18 06:38:59.209 INFO [stderr]     |                                  ^ help: consider using `_t` instead
Dec 18 06:38:59.209 INFO [stderr] 
Dec 18 06:38:59.210 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.210 INFO [stderr]    --> src/main.rs:482:30
Dec 18 06:38:59.210 INFO [stderr]     |
Dec 18 06:38:59.210 INFO [stderr] 482 |             TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => {
Dec 18 06:38:59.210 INFO [stderr]     |                                 ^ help: consider using `_t` instead
Dec 18 06:38:59.210 INFO [stderr] 
Dec 18 06:38:59.210 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.210 INFO [stderr]    --> src/main.rs:487:31
Dec 18 06:38:59.210 INFO [stderr]     |
Dec 18 06:38:59.210 INFO [stderr] 487 |             TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => {
Dec 18 06:38:59.210 INFO [stderr]     |                                  ^ help: consider using `_t` instead
Dec 18 06:38:59.210 INFO [stderr] 
Dec 18 06:38:59.210 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.210 INFO [stderr]    --> src/main.rs:492:30
Dec 18 06:38:59.210 INFO [stderr]     |
Dec 18 06:38:59.210 INFO [stderr] 492 |             TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => {
Dec 18 06:38:59.210 INFO [stderr]     |                                 ^ help: consider using `_t` instead
Dec 18 06:38:59.210 INFO [stderr] 
Dec 18 06:38:59.210 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.210 INFO [stderr]    --> src/main.rs:497:30
Dec 18 06:38:59.210 INFO [stderr]     |
Dec 18 06:38:59.210 INFO [stderr] 497 |             TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => {
Dec 18 06:38:59.210 INFO [stderr]     |                                 ^ help: consider using `_t` instead
Dec 18 06:38:59.210 INFO [stderr] 
Dec 18 06:38:59.210 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.210 INFO [stderr]    --> src/main.rs:502:34
Dec 18 06:38:59.210 INFO [stderr]     |
Dec 18 06:38:59.210 INFO [stderr] 502 |                     TypedTerm::T_BOOL{ty: t1, value: v} => if v {v2} else {v3},
Dec 18 06:38:59.210 INFO [stderr]     |                                           ^^ help: consider using `_t1` instead
Dec 18 06:38:59.210 INFO [stderr] 
Dec 18 06:38:59.210 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.210 INFO [stderr]    --> src/main.rs:506:31
Dec 18 06:38:59.210 INFO [stderr]     |
Dec 18 06:38:59.210 INFO [stderr] 506 |             TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => {
Dec 18 06:38:59.210 INFO [stderr]     |                                  ^ help: consider using `_t` instead
Dec 18 06:38:59.210 INFO [stderr] 
Dec 18 06:38:59.210 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.210 INFO [stderr]    --> src/main.rs:511:33
Dec 18 06:38:59.210 INFO [stderr]     |
Dec 18 06:38:59.210 INFO [stderr] 511 |                     TypedTerm::T_VAR{ty: t, name: n} => {
Dec 18 06:38:59.210 INFO [stderr]     |                                          ^ help: consider using `_t` instead
Dec 18 06:38:59.210 INFO [stderr] 
Dec 18 06:38:59.210 INFO [stderr] warning: unused variable: `solutions`
Dec 18 06:38:59.210 INFO [stderr]    --> src/main.rs:526:10
Dec 18 06:38:59.210 INFO [stderr]     |
Dec 18 06:38:59.210 INFO [stderr] 526 |         let solutions = unify(Constraints);
Dec 18 06:38:59.210 INFO [stderr]     |             ^^^^^^^^^ help: consider using `_solutions` instead
Dec 18 06:38:59.210 INFO [stderr] 
Dec 18 06:38:59.213 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.213 INFO [stderr]    --> src/main.rs:536:26
Dec 18 06:38:59.214 INFO [stderr]     |
Dec 18 06:38:59.214 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},
Dec 18 06:38:59.214 INFO [stderr]     |                                   ^^ help: consider using `_t1` instead
Dec 18 06:38:59.217 INFO [stderr] 
Dec 18 06:38:59.217 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.217 INFO [stderr]    --> src/main.rs:536:63
Dec 18 06:38:59.217 INFO [stderr]     |
Dec 18 06:38:59.217 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},
Dec 18 06:38:59.217 INFO [stderr]     |                                                                        ^^ help: consider using `_t2` instead
Dec 18 06:38:59.217 INFO [stderr] 
Dec 18 06:38:59.217 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.217 INFO [stderr]    --> src/main.rs:543:26
Dec 18 06:38:59.217 INFO [stderr]     |
Dec 18 06:38:59.217 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},
Dec 18 06:38:59.217 INFO [stderr]     |                                   ^^ help: consider using `_t1` instead
Dec 18 06:38:59.217 INFO [stderr] 
Dec 18 06:38:59.217 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.217 INFO [stderr]    --> src/main.rs:543:63
Dec 18 06:38:59.217 INFO [stderr]     |
Dec 18 06:38:59.217 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},
Dec 18 06:38:59.217 INFO [stderr]     |                                                                        ^^ help: consider using `_t2` instead
Dec 18 06:38:59.217 INFO [stderr] 
Dec 18 06:38:59.217 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.217 INFO [stderr]    --> src/main.rs:550:26
Dec 18 06:38:59.218 INFO [stderr]     |
Dec 18 06:38:59.218 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},
Dec 18 06:38:59.218 INFO [stderr]     |                                   ^^ help: consider using `_t1` instead
Dec 18 06:38:59.218 INFO [stderr] 
Dec 18 06:38:59.218 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.218 INFO [stderr]    --> src/main.rs:550:63
Dec 18 06:38:59.218 INFO [stderr]     |
Dec 18 06:38:59.218 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},
Dec 18 06:38:59.218 INFO [stderr]     |                                                                        ^^ help: consider using `_t2` instead
Dec 18 06:38:59.218 INFO [stderr] 
Dec 18 06:38:59.218 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.218 INFO [stderr]    --> src/main.rs:557:26
Dec 18 06:38:59.218 INFO [stderr]     |
Dec 18 06:38:59.218 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},
Dec 18 06:38:59.218 INFO [stderr]     |                                   ^^ help: consider using `_t1` instead
Dec 18 06:38:59.218 INFO [stderr] 
Dec 18 06:38:59.218 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.218 INFO [stderr]    --> src/main.rs:557:63
Dec 18 06:38:59.218 INFO [stderr]     |
Dec 18 06:38:59.218 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},
Dec 18 06:38:59.218 INFO [stderr]     |                                                                        ^^ help: consider using `_t2` instead
Dec 18 06:38:59.218 INFO [stderr] 
Dec 18 06:38:59.218 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.218 INFO [stderr]    --> src/main.rs:564:26
Dec 18 06:38:59.218 INFO [stderr]     |
Dec 18 06:38:59.218 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},
Dec 18 06:38:59.218 INFO [stderr]     |                                   ^^ help: consider using `_t1` instead
Dec 18 06:38:59.218 INFO [stderr] 
Dec 18 06:38:59.218 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.218 INFO [stderr]    --> src/main.rs:564:63
Dec 18 06:38:59.218 INFO [stderr]     |
Dec 18 06:38:59.218 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},
Dec 18 06:38:59.218 INFO [stderr]     |                                                                        ^^ help: consider using `_t2` instead
Dec 18 06:38:59.218 INFO [stderr] 
Dec 18 06:38:59.218 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.218 INFO [stderr]    --> src/main.rs:572:27
Dec 18 06:38:59.218 INFO [stderr]     |
Dec 18 06:38:59.218 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},
Dec 18 06:38:59.218 INFO [stderr]     |                                    ^^ help: consider using `_t1` instead
Dec 18 06:38:59.218 INFO [stderr] 
Dec 18 06:38:59.218 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.218 INFO [stderr]    --> src/main.rs:572:65
Dec 18 06:38:59.218 INFO [stderr]     |
Dec 18 06:38:59.218 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},
Dec 18 06:38:59.218 INFO [stderr]     |                                                                          ^^ help: consider using `_t2` instead
Dec 18 06:38:59.218 INFO [stderr] 
Dec 18 06:38:59.218 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.218 INFO [stderr]    --> src/main.rs:579:27
Dec 18 06:38:59.218 INFO [stderr]     |
Dec 18 06:38:59.218 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},
Dec 18 06:38:59.218 INFO [stderr]     |                                    ^^ help: consider using `_t1` instead
Dec 18 06:38:59.218 INFO [stderr] 
Dec 18 06:38:59.218 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.218 INFO [stderr]    --> src/main.rs:579:65
Dec 18 06:38:59.218 INFO [stderr]     |
Dec 18 06:38:59.218 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},
Dec 18 06:38:59.218 INFO [stderr]     |                                                                          ^^ help: consider using `_t2` instead
Dec 18 06:38:59.218 INFO [stderr] 
Dec 18 06:38:59.218 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.218 INFO [stderr]    --> src/main.rs:586:27
Dec 18 06:38:59.218 INFO [stderr]     |
Dec 18 06:38:59.218 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},
Dec 18 06:38:59.218 INFO [stderr]     |                                    ^^ help: consider using `_t1` instead
Dec 18 06:38:59.218 INFO [stderr] 
Dec 18 06:38:59.218 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.218 INFO [stderr]    --> src/main.rs:586:65
Dec 18 06:38:59.218 INFO [stderr]     |
Dec 18 06:38:59.218 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},
Dec 18 06:38:59.218 INFO [stderr]     |                                                                          ^^ help: consider using `_t2` instead
Dec 18 06:38:59.218 INFO [stderr] 
Dec 18 06:38:59.218 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.218 INFO [stderr]    --> src/main.rs:587:26
Dec 18 06:38:59.218 INFO [stderr]     |
Dec 18 06:38:59.218 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},
Dec 18 06:38:59.218 INFO [stderr]     |                                   ^^ help: consider using `_t1` instead
Dec 18 06:38:59.218 INFO [stderr] 
Dec 18 06:38:59.218 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.218 INFO [stderr]    --> src/main.rs:587:63
Dec 18 06:38:59.218 INFO [stderr]     |
Dec 18 06:38:59.218 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},
Dec 18 06:38:59.218 INFO [stderr]     |                                                                        ^^ help: consider using `_t2` instead
Dec 18 06:38:59.218 INFO [stderr] 
Dec 18 06:38:59.218 INFO [stderr] warning: unused variable: `v`
Dec 18 06:38:59.218 INFO [stderr]   --> src/main.rs:67:36
Dec 18 06:38:59.218 INFO [stderr]    |
Dec 18 06:38:59.218 INFO [stderr] 67 |                 TypedTerm::T_INT{ty: t, value: v} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                                ^ help: consider using `_v` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `v`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:68:40
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 68 |                 TypedTerm::T_BOOL{ty: t, value: v} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                                 ^ help: consider using `_v` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `n`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:69:38
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 69 |                 TypedTerm::T_VAR{ty: t, name: n} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                               ^ help: consider using `_n` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `p`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:70:39
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 70 |                 TypedTerm::T_FUN{ty: t, param: p, body: b} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                                ^ help: consider using `_p` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `b`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:70:48
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 70 |                 TypedTerm::T_FUN{ty: t, param: p, body: b} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                                         ^ help: consider using `_b` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `f`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:71:37
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 71 |                 TypedTerm::T_APP{ty: t, fun: f, arg: a} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                              ^ help: consider using `_f` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `a`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:71:45
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 71 |                 TypedTerm::T_APP{ty: t, fun: f, arg: a} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                                      ^ help: consider using `_a` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `o`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:72:37
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 72 |                 TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                              ^ help: consider using `_o` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `e1`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:72:46
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 72 |                 TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                                       ^^ help: consider using `_e1` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `e2`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:72:56
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 72 |                 TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                                                 ^^ help: consider using `_e2` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `e`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:73:37
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 73 |                 TypedTerm::T_NOT{ty: t, exp: e} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                              ^ help: consider using `_e` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `e1`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:74:38
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 74 |                 TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                               ^^ help: consider using `_e1` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `e2`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:74:48
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 74 |                 TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                                         ^^ help: consider using `_e2` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `e1`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:75:37
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 75 |                 TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                              ^^ help: consider using `_e1` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `e2`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:75:47
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 75 |                 TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.219 INFO [stderr]    |                                                        ^^ help: consider using `_e2` instead
Dec 18 06:38:59.219 INFO [stderr] 
Dec 18 06:38:59.219 INFO [stderr] warning: unused variable: `e1`
Dec 18 06:38:59.219 INFO [stderr]   --> src/main.rs:76:38
Dec 18 06:38:59.219 INFO [stderr]    |
Dec 18 06:38:59.219 INFO [stderr] 76 |                 TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.220 INFO [stderr]    |                                               ^^ help: consider using `_e1` instead
Dec 18 06:38:59.220 INFO [stderr] 
Dec 18 06:38:59.220 INFO [stderr] warning: unused variable: `e2`
Dec 18 06:38:59.220 INFO [stderr]   --> src/main.rs:76:48
Dec 18 06:38:59.220 INFO [stderr]    |
Dec 18 06:38:59.220 INFO [stderr] 76 |                 TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.220 INFO [stderr]    |                                                         ^^ help: consider using `_e2` instead
Dec 18 06:38:59.220 INFO [stderr] 
Dec 18 06:38:59.220 INFO [stderr] warning: unused variable: `e1`
Dec 18 06:38:59.220 INFO [stderr]   --> src/main.rs:77:37
Dec 18 06:38:59.220 INFO [stderr]    |
Dec 18 06:38:59.220 INFO [stderr] 77 |                 TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.220 INFO [stderr]    |                                              ^^ help: consider using `_e1` instead
Dec 18 06:38:59.220 INFO [stderr] 
Dec 18 06:38:59.220 INFO [stderr] warning: unused variable: `e2`
Dec 18 06:38:59.220 INFO [stderr]   --> src/main.rs:77:47
Dec 18 06:38:59.220 INFO [stderr]    |
Dec 18 06:38:59.220 INFO [stderr] 77 |                 TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.220 INFO [stderr]    |                                                        ^^ help: consider using `_e2` instead
Dec 18 06:38:59.220 INFO [stderr] 
Dec 18 06:38:59.220 INFO [stderr] warning: unused variable: `e1`
Dec 18 06:38:59.220 INFO [stderr]   --> src/main.rs:78:37
Dec 18 06:38:59.220 INFO [stderr]    |
Dec 18 06:38:59.220 INFO [stderr] 78 |                 TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t,
Dec 18 06:38:59.220 INFO [stderr]    |                                              ^^ help: consider using `_e1` instead
Dec 18 06:38:59.220 INFO [stderr] 
Dec 18 06:38:59.220 INFO [stderr] warning: unused variable: `e2`
Dec 18 06:38:59.220 INFO [stderr]   --> src/main.rs:78:47
Dec 18 06:38:59.220 INFO [stderr]    |
Dec 18 06:38:59.220 INFO [stderr] 78 |                 TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t,
Dec 18 06:38:59.220 INFO [stderr]    |                                                        ^^ help: consider using `_e2` instead
Dec 18 06:38:59.220 INFO [stderr] 
Dec 18 06:38:59.220 INFO [stderr] warning: unused variable: `e3`
Dec 18 06:38:59.220 INFO [stderr]   --> src/main.rs:78:57
Dec 18 06:38:59.220 INFO [stderr]    |
Dec 18 06:38:59.220 INFO [stderr] 78 |                 TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t,
Dec 18 06:38:59.220 INFO [stderr]    |                                                                  ^^ help: consider using `_e3` instead
Dec 18 06:38:59.220 INFO [stderr] 
Dec 18 06:38:59.220 INFO [stderr] warning: unused variable: `e1`
Dec 18 06:38:59.220 INFO [stderr]   --> src/main.rs:79:38
Dec 18 06:38:59.220 INFO [stderr]    |
Dec 18 06:38:59.220 INFO [stderr] 79 |                 TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t,
Dec 18 06:38:59.220 INFO [stderr]    |                                               ^^ help: consider using `_e1` instead
Dec 18 06:38:59.220 INFO [stderr] 
Dec 18 06:38:59.220 INFO [stderr] warning: unused variable: `e2`
Dec 18 06:38:59.220 INFO [stderr]   --> src/main.rs:79:48
Dec 18 06:38:59.220 INFO [stderr]    |
Dec 18 06:38:59.220 INFO [stderr] 79 |                 TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t,
Dec 18 06:38:59.220 INFO [stderr]    |                                                         ^^ help: consider using `_e2` instead
Dec 18 06:38:59.220 INFO [stderr] 
Dec 18 06:38:59.220 INFO [stderr] warning: unused variable: `e3`
Dec 18 06:38:59.220 INFO [stderr]   --> src/main.rs:79:58
Dec 18 06:38:59.220 INFO [stderr]    |
Dec 18 06:38:59.220 INFO [stderr] 79 |                 TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t,
Dec 18 06:38:59.220 INFO [stderr]    |                                                                   ^^ help: consider using `_e3` instead
Dec 18 06:38:59.220 INFO [stderr] 
Dec 18 06:38:59.228 INFO [stderr] warning: variable does not need to be mutable
Dec 18 06:38:59.228 INFO [stderr]    --> src/main.rs:613:6
Dec 18 06:38:59.228 INFO [stderr]     |
Dec 18 06:38:59.228 INFO [stderr] 613 |     let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.228 INFO [stderr]     |         ----^^^^
Dec 18 06:38:59.228 INFO [stderr]     |         |
Dec 18 06:38:59.228 INFO [stderr]     |         help: remove this `mut`
Dec 18 06:38:59.228 INFO [stderr]     |
Dec 18 06:38:59.228 INFO [stderr]     = note: #[warn(unused_mut)] on by default
Dec 18 06:38:59.228 INFO [stderr] 
Dec 18 06:38:59.277 INFO [stderr] warning: variable does not need to be mutable
Dec 18 06:38:59.277 INFO [stderr]    --> src/main.rs:334:8
Dec 18 06:38:59.277 INFO [stderr]     |
Dec 18 06:38:59.277 INFO [stderr] 334 |             let mut updateConstraints = solutionOne.applyToSet(&mut vec1);
Dec 18 06:38:59.277 INFO [stderr]     |                 ----^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.277 INFO [stderr]     |                 |
Dec 18 06:38:59.277 INFO [stderr]     |                 help: remove this `mut`
Dec 18 06:38:59.277 INFO [stderr] 
Dec 18 06:38:59.288 INFO [stderr] warning: variable does not need to be mutable
Dec 18 06:38:59.288 INFO [stderr]    --> src/main.rs:398:7
Dec 18 06:38:59.288 INFO [stderr]     |
Dec 18 06:38:59.288 INFO [stderr] 398 |         let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.288 INFO [stderr]     |             ----^^^^
Dec 18 06:38:59.288 INFO [stderr]     |             |
Dec 18 06:38:59.288 INFO [stderr]     |             help: remove this `mut`
Dec 18 06:38:59.288 INFO [stderr] 
Dec 18 06:38:59.301 INFO [stderr] warning: variable does not need to be mutable
Dec 18 06:38:59.301 INFO [stderr]    --> src/main.rs:523:7
Dec 18 06:38:59.301 INFO [stderr]     |
Dec 18 06:38:59.301 INFO [stderr] 523 |         let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.301 INFO [stderr]     |             ----^^^^
Dec 18 06:38:59.301 INFO [stderr]     |             |
Dec 18 06:38:59.301 INFO [stderr]     |             help: remove this `mut`
Dec 18 06:38:59.301 INFO [stderr] 
Dec 18 06:38:59.312 INFO [stderr] warning: variant is never constructed: `NOT`
Dec 18 06:38:59.312 INFO [stderr]   --> src/main.rs:16:6
Dec 18 06:38:59.312 INFO [stderr]    |
Dec 18 06:38:59.312 INFO [stderr] 16 |         NOT{exp: Box<UntypedTerm>},
Dec 18 06:38:59.312 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.312 INFO [stderr]    |
Dec 18 06:38:59.312 INFO [stderr]    = note: #[warn(dead_code)] on by default
Dec 18 06:38:59.312 INFO [stderr] 
Dec 18 06:38:59.312 INFO [stderr] warning: variant is never constructed: `AND`
Dec 18 06:38:59.312 INFO [stderr]   --> src/main.rs:17:6
Dec 18 06:38:59.312 INFO [stderr]    |
Dec 18 06:38:59.312 INFO [stderr] 17 |         AND{exp1: Box<UntypedTerm>, exp2: Box<UntypedTerm>},
Dec 18 06:38:59.312 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.312 INFO [stderr] 
Dec 18 06:38:59.312 INFO [stderr] warning: variant is never constructed: `OR`
Dec 18 06:38:59.313 INFO [stderr]   --> src/main.rs:18:6
Dec 18 06:38:59.313 INFO [stderr]    |
Dec 18 06:38:59.313 INFO [stderr] 18 |         OR{exp1: Box<UntypedTerm>, exp2: Box<UntypedTerm>},
Dec 18 06:38:59.313 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.313 INFO [stderr] 
Dec 18 06:38:59.313 INFO [stderr] warning: variant is never constructed: `LT`
Dec 18 06:38:59.313 INFO [stderr]   --> src/main.rs:20:6
Dec 18 06:38:59.313 INFO [stderr]    |
Dec 18 06:38:59.313 INFO [stderr] 20 |         LT{exp1: Box<UntypedTerm>, exp2: Box<UntypedTerm>},
Dec 18 06:38:59.313 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.313 INFO [stderr] 
Dec 18 06:38:59.313 INFO [stderr] warning: variant is never constructed: `IF`
Dec 18 06:38:59.313 INFO [stderr]   --> src/main.rs:21:6
Dec 18 06:38:59.313 INFO [stderr]    |
Dec 18 06:38:59.313 INFO [stderr] 21 |         IF{exp1: Box<UntypedTerm>, exp2: Box<UntypedTerm>, exp3: Box<UntypedTerm>},
Dec 18 06:38:59.313 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.313 INFO [stderr] 
Dec 18 06:38:59.313 INFO [stderr] warning: method is never used: `empty`
Dec 18 06:38:59.313 INFO [stderr]    --> src/main.rs:272:3
Dec 18 06:38:59.313 INFO [stderr]     |
Dec 18 06:38:59.313 INFO [stderr] 272 |         fn empty() -> Substitution {
Dec 18 06:38:59.313 INFO [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.313 INFO [stderr] 
Dec 18 06:38:59.313 INFO [stderr] warning: method is never used: `fromPair`
Dec 18 06:38:59.313 INFO [stderr]    --> src/main.rs:277:3
Dec 18 06:38:59.313 INFO [stderr]     |
Dec 18 06:38:59.313 INFO [stderr] 277 |         fn fromPair(tvar: u32, ty: Type) -> Substitution {
Dec 18 06:38:59.313 INFO [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.313 INFO [stderr] 
Dec 18 06:38:59.324 INFO [stderr] warning: structure field `ParamTy` should have a snake case name such as `param_ty`
Dec 18 06:38:59.324 INFO [stderr]   --> src/main.rs:33:9
Dec 18 06:38:59.324 INFO [stderr]    |
Dec 18 06:38:59.324 INFO [stderr] 33 |         TyFun{ParamTy: Box<Type>, ReturnTy: Box<Type>}
Dec 18 06:38:59.324 INFO [stderr]    |               ^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.324 INFO [stderr]    |
Dec 18 06:38:59.324 INFO [stderr]    = note: #[warn(non_snake_case)] on by default
Dec 18 06:38:59.324 INFO [stderr] 
Dec 18 06:38:59.324 INFO [stderr] warning: structure field `ReturnTy` should have a snake case name such as `return_ty`
Dec 18 06:38:59.324 INFO [stderr]   --> src/main.rs:33:29
Dec 18 06:38:59.324 INFO [stderr]    |
Dec 18 06:38:59.324 INFO [stderr] 33 |         TyFun{ParamTy: Box<Type>, ReturnTy: Box<Type>}
Dec 18 06:38:59.324 INFO [stderr]    |                                   ^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.324 INFO [stderr] 
Dec 18 06:38:59.324 INFO [stderr] warning: function `freshVar` should have a snake case name such as `fresh_var`
Dec 18 06:38:59.324 INFO [stderr]   --> src/main.rs:37:2
Dec 18 06:38:59.324 INFO [stderr]    |
Dec 18 06:38:59.324 INFO [stderr] 37 |       fn freshVar(v: &mut u32) -> Type {
Dec 18 06:38:59.324 INFO [stderr]    |  _____^
Dec 18 06:38:59.324 INFO [stderr] 38 | |         *v+=1;
Dec 18 06:38:59.324 INFO [stderr] 39 | |         Type::TyVar{num: *v}
Dec 18 06:38:59.324 INFO [stderr] 40 | |     } 
Dec 18 06:38:59.324 INFO [stderr]    | |_____^
Dec 18 06:38:59.324 INFO [stderr] 
Dec 18 06:38:59.324 INFO [stderr] warning: variant `T_INT` should have a camel case name such as `TInt`
Dec 18 06:38:59.324 INFO [stderr]   --> src/main.rs:46:3
Dec 18 06:38:59.324 INFO [stderr]    |
Dec 18 06:38:59.324 INFO [stderr] 46 |         T_INT{ty: Type, value: u32},
Dec 18 06:38:59.324 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.324 INFO [stderr]    |
Dec 18 06:38:59.324 INFO [stderr]    = note: #[warn(non_camel_case_types)] on by default
Dec 18 06:38:59.324 INFO [stderr] 
Dec 18 06:38:59.324 INFO [stderr] warning: variant `T_BOOL` should have a camel case name such as `TBool`
Dec 18 06:38:59.324 INFO [stderr]   --> src/main.rs:47:6
Dec 18 06:38:59.324 INFO [stderr]    |
Dec 18 06:38:59.324 INFO [stderr] 47 |         T_BOOL{ty: Type, value: bool},
Dec 18 06:38:59.324 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.324 INFO [stderr] 
Dec 18 06:38:59.324 INFO [stderr] warning: variant `T_VAR` should have a camel case name such as `TVar`
Dec 18 06:38:59.324 INFO [stderr]   --> src/main.rs:48:6
Dec 18 06:38:59.324 INFO [stderr]    |
Dec 18 06:38:59.324 INFO [stderr] 48 |         T_VAR{ty: Type, name: char},
Dec 18 06:38:59.324 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.324 INFO [stderr] 
Dec 18 06:38:59.324 INFO [stderr] warning: variant `T_FUN` should have a camel case name such as `TFun`
Dec 18 06:38:59.324 INFO [stderr]   --> src/main.rs:49:6
Dec 18 06:38:59.324 INFO [stderr]    |
Dec 18 06:38:59.324 INFO [stderr] 49 |         T_FUN{ty: Type, param: Box<TypedTerm>, body: Box<TypedTerm>},
Dec 18 06:38:59.324 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.324 INFO [stderr] 
Dec 18 06:38:59.324 INFO [stderr] warning: variant `T_Closure` should have a camel case name such as `TClosure`
Dec 18 06:38:59.324 INFO [stderr]   --> src/main.rs:50:6
Dec 18 06:38:59.324 INFO [stderr]    |
Dec 18 06:38:59.324 INFO [stderr] 50 |         T_Closure{fun: Box<TypedTerm>, env: InterpEnv},
Dec 18 06:38:59.324 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.324 INFO [stderr] 
Dec 18 06:38:59.324 INFO [stderr] warning: variant `T_APP` should have a camel case name such as `TApp`
Dec 18 06:38:59.324 INFO [stderr]   --> src/main.rs:51:6
Dec 18 06:38:59.324 INFO [stderr]    |
Dec 18 06:38:59.324 INFO [stderr] 51 |         T_APP{ty: Type, fun: Box<TypedTerm>, arg: Box<TypedTerm>},
Dec 18 06:38:59.324 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.324 INFO [stderr] 
Dec 18 06:38:59.324 INFO [stderr] warning: variant `T_CALC` should have a camel case name such as `TCalc`
Dec 18 06:38:59.324 INFO [stderr]   --> src/main.rs:52:6
Dec 18 06:38:59.325 INFO [stderr]    |
Dec 18 06:38:59.325 INFO [stderr] 52 |         T_CALC{ty: Type, op: char, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 18 06:38:59.325 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.325 INFO [stderr] 
Dec 18 06:38:59.325 INFO [stderr] warning: variant `T_NOT` should have a camel case name such as `TNot`
Dec 18 06:38:59.325 INFO [stderr]   --> src/main.rs:53:6
Dec 18 06:38:59.325 INFO [stderr]    |
Dec 18 06:38:59.325 INFO [stderr] 53 |         T_NOT{ty: Type, exp: Box<TypedTerm>},
Dec 18 06:38:59.325 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.325 INFO [stderr] 
Dec 18 06:38:59.325 INFO [stderr] warning: variant `T_AND` should have a camel case name such as `TAnd`
Dec 18 06:38:59.325 INFO [stderr]   --> src/main.rs:54:6
Dec 18 06:38:59.325 INFO [stderr]    |
Dec 18 06:38:59.325 INFO [stderr] 54 |         T_AND{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 18 06:38:59.325 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.325 INFO [stderr] 
Dec 18 06:38:59.325 INFO [stderr] warning: variant `T_OR` should have a camel case name such as `TOr`
Dec 18 06:38:59.325 INFO [stderr]   --> src/main.rs:55:6
Dec 18 06:38:59.325 INFO [stderr]    |
Dec 18 06:38:59.325 INFO [stderr] 55 |         T_OR{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 18 06:38:59.325 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.325 INFO [stderr] 
Dec 18 06:38:59.325 INFO [stderr] warning: variant `T_EQU` should have a camel case name such as `TEqu`
Dec 18 06:38:59.325 INFO [stderr]   --> src/main.rs:56:6
Dec 18 06:38:59.325 INFO [stderr]    |
Dec 18 06:38:59.325 INFO [stderr] 56 |         T_EQU{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 18 06:38:59.325 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.325 INFO [stderr] 
Dec 18 06:38:59.325 INFO [stderr] warning: variant `T_LT` should have a camel case name such as `TLt`
Dec 18 06:38:59.325 INFO [stderr]   --> src/main.rs:57:6
Dec 18 06:38:59.325 INFO [stderr]    |
Dec 18 06:38:59.325 INFO [stderr] 57 |         T_LT{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 18 06:38:59.325 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.325 INFO [stderr] 
Dec 18 06:38:59.325 INFO [stderr] warning: variant `T_IF` should have a camel case name such as `TIf`
Dec 18 06:38:59.325 INFO [stderr]   --> src/main.rs:58:6
Dec 18 06:38:59.325 INFO [stderr]    |
Dec 18 06:38:59.325 INFO [stderr] 58 |         T_IF{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>, exp3: Box<TypedTerm>},
Dec 18 06:38:59.325 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.325 INFO [stderr] 
Dec 18 06:38:59.325 INFO [stderr] warning: variant `T_LET` should have a camel case name such as `TLet`
Dec 18 06:38:59.325 INFO [stderr]   --> src/main.rs:59:6
Dec 18 06:38:59.325 INFO [stderr]    |
Dec 18 06:38:59.325 INFO [stderr] 59 |         T_LET{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>, exp3: Box<TypedTerm>}
Dec 18 06:38:59.325 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.325 INFO [stderr] 
Dec 18 06:38:59.325 INFO [stderr] warning: method `getType` should have a snake case name such as `get_type`
Dec 18 06:38:59.325 INFO [stderr]   --> src/main.rs:65:3
Dec 18 06:38:59.325 INFO [stderr]    |
Dec 18 06:38:59.325 INFO [stderr] 65 |           fn getType(self) -> Type {
Dec 18 06:38:59.325 INFO [stderr]    |  _________^
Dec 18 06:38:59.325 INFO [stderr] 66 | |             match self {
Dec 18 06:38:59.325 INFO [stderr] 67 | |                 TypedTerm::T_INT{ty: t, value: v} => t,
Dec 18 06:38:59.325 INFO [stderr] 68 | |                 TypedTerm::T_BOOL{ty: t, value: v} => t,
Dec 18 06:38:59.325 INFO [stderr] ...  |
Dec 18 06:38:59.325 INFO [stderr] 81 | |             }
Dec 18 06:38:59.325 INFO [stderr] 82 | |         }
Dec 18 06:38:59.325 INFO [stderr]    | |_________^
Dec 18 06:38:59.325 INFO [stderr] 
Dec 18 06:38:59.325 INFO [stderr] warning: structure field `Env` should have a snake case name such as `env`
Dec 18 06:38:59.325 INFO [stderr]   --> src/main.rs:88:3
Dec 18 06:38:59.325 INFO [stderr]    |
Dec 18 06:38:59.325 INFO [stderr] 88 |         Env: HashMap<char,Type>
Dec 18 06:38:59.325 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.325 INFO [stderr] 
Dec 18 06:38:59.325 INFO [stderr] warning: variable `varNum` should have a snake case name such as `var_num`
Dec 18 06:38:59.325 INFO [stderr]    --> src/main.rs:107:52
Dec 18 06:38:59.325 INFO [stderr]     |
Dec 18 06:38:59.325 INFO [stderr] 107 |     fn annotate(term: UntypedTerm, mut tenv: TypeEnv, varNum: &mut u32) -> TypedTerm {
Dec 18 06:38:59.325 INFO [stderr]     |                                                       ^^^^^^
Dec 18 06:38:59.325 INFO [stderr] 
Dec 18 06:38:59.325 INFO [stderr] warning: variable `paramTy` should have a snake case name such as `param_ty`
Dec 18 06:38:59.325 INFO [stderr]    --> src/main.rs:113:9
Dec 18 06:38:59.325 INFO [stderr]     |
Dec 18 06:38:59.325 INFO [stderr] 113 |                 let paramTy = freshVar(varNum);
Dec 18 06:38:59.325 INFO [stderr]     |                     ^^^^^^^
Dec 18 06:38:59.325 INFO [stderr] 
Dec 18 06:38:59.325 INFO [stderr] warning: variable `paramTy1` should have a snake case name such as `param_ty1`
Dec 18 06:38:59.325 INFO [stderr]    --> src/main.rs:114:9
Dec 18 06:38:59.325 INFO [stderr]     |
Dec 18 06:38:59.325 INFO [stderr] 114 |                 let paramTy1 = paramTy.clone();
Dec 18 06:38:59.325 INFO [stderr]     |                     ^^^^^^^^
Dec 18 06:38:59.325 INFO [stderr] 
Dec 18 06:38:59.325 INFO [stderr] warning: variable `paramBinder` should have a snake case name such as `param_binder`
Dec 18 06:38:59.325 INFO [stderr]    --> src/main.rs:116:9
Dec 18 06:38:59.325 INFO [stderr]     |
Dec 18 06:38:59.325 INFO [stderr] 116 |                 let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: p};                
Dec 18 06:38:59.325 INFO [stderr]     |                     ^^^^^^^^^^^
Dec 18 06:38:59.325 INFO [stderr] 
Dec 18 06:38:59.325 INFO [stderr] warning: variable `paramTy` should have a snake case name such as `param_ty`
Dec 18 06:38:59.326 INFO [stderr]    --> src/main.rs:134:12
Dec 18 06:38:59.326 INFO [stderr]     |
Dec 18 06:38:59.326 INFO [stderr] 134 |                 let paramTy = freshVar(varNum);
Dec 18 06:38:59.326 INFO [stderr]     |                     ^^^^^^^
Dec 18 06:38:59.326 INFO [stderr] 
Dec 18 06:38:59.326 INFO [stderr] warning: variable `paramTy1` should have a snake case name such as `param_ty1`
Dec 18 06:38:59.326 INFO [stderr]    --> src/main.rs:135:9
Dec 18 06:38:59.326 INFO [stderr]     |
Dec 18 06:38:59.326 INFO [stderr] 135 |                 let paramTy1 = paramTy.clone();
Dec 18 06:38:59.326 INFO [stderr]     |                     ^^^^^^^^
Dec 18 06:38:59.326 INFO [stderr] 
Dec 18 06:38:59.326 INFO [stderr] warning: variable `paramBinder` should have a snake case name such as `param_binder`
Dec 18 06:38:59.326 INFO [stderr]    --> src/main.rs:137:9
Dec 18 06:38:59.326 INFO [stderr]     |
Dec 18 06:38:59.326 INFO [stderr] 137 |                 let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: e1};
Dec 18 06:38:59.326 INFO [stderr]     |                     ^^^^^^^^^^^
Dec 18 06:38:59.326 INFO [stderr] 
Dec 18 06:38:59.326 INFO [stderr] warning: structure field `typeA` should have a snake case name such as `type_a`
Dec 18 06:38:59.326 INFO [stderr]    --> src/main.rs:149:3
Dec 18 06:38:59.326 INFO [stderr]     |
Dec 18 06:38:59.326 INFO [stderr] 149 |         typeA: Type,
Dec 18 06:38:59.326 INFO [stderr]     |         ^^^^^^^^^^^
Dec 18 06:38:59.326 INFO [stderr] 
Dec 18 06:38:59.326 INFO [stderr] warning: structure field `typeB` should have a snake case name such as `type_b`
Dec 18 06:38:59.326 INFO [stderr]    --> src/main.rs:150:3
Dec 18 06:38:59.326 INFO [stderr]     |
Dec 18 06:38:59.326 INFO [stderr] 150 |         typeB: Type
Dec 18 06:38:59.326 INFO [stderr]     |         ^^^^^^^^^^^
Dec 18 06:38:59.326 INFO [stderr] 
Dec 18 06:38:59.328 INFO [stderr] warning: method `fromPair` should have a snake case name such as `from_pair`
Dec 18 06:38:59.328 INFO [stderr]    --> src/main.rs:277:3
Dec 18 06:38:59.328 INFO [stderr]     |
Dec 18 06:38:59.328 INFO [stderr] 277 |           fn fromPair(tvar: u32, ty: Type) -> Substitution {
Dec 18 06:38:59.328 INFO [stderr]     |  _________^
Dec 18 06:38:59.328 INFO [stderr] 278 | |             let mut s1 = HashMap::new();
Dec 18 06:38:59.328 INFO [stderr] 279 | |             s1.insert(tvar, ty);
Dec 18 06:38:59.328 INFO [stderr] 280 | |             Substitution{solutions: s1}
Dec 18 06:38:59.328 INFO [stderr] 281 | |         }
Dec 18 06:38:59.328 INFO [stderr]     | |_________^
Dec 18 06:38:59.328 INFO [stderr] 
Dec 18 06:38:59.328 INFO [stderr] warning: method `applyToSet` should have a snake case name such as `apply_to_set`
Dec 18 06:38:59.328 INFO [stderr]    --> src/main.rs:284:3
Dec 18 06:38:59.328 INFO [stderr]     |
Dec 18 06:38:59.328 INFO [stderr] 284 |           fn applyToSet (&self,constraints: &mut Vec<Constraint>) -> Vec<Constraint> {
Dec 18 06:38:59.328 INFO [stderr]     |  _________^
Dec 18 06:38:59.328 INFO [stderr] 285 | |             for elem in constraints.iter_mut() {
Dec 18 06:38:59.328 INFO [stderr] 286 | |                 //traverse target constraint set and update each type in all elements. 
Dec 18 06:38:59.328 INFO [stderr] 287 | |                 *elem = Constraint{typeA: Self::applyOneType(&self, elem.typeA.clone()), typeB: Self::applyOneType(&self,elem.typeB.clone())}
Dec 18 06:38:59.328 INFO [stderr] 288 | |             }
Dec 18 06:38:59.328 INFO [stderr] 289 | |             constraints.clone()
Dec 18 06:38:59.328 INFO [stderr] 290 | |         }
Dec 18 06:38:59.328 INFO [stderr]     | |_________^
Dec 18 06:38:59.328 INFO [stderr] 
Dec 18 06:38:59.328 INFO [stderr] warning: method `applyOneType` should have a snake case name such as `apply_one_type`
Dec 18 06:38:59.328 INFO [stderr]    --> src/main.rs:293:3
Dec 18 06:38:59.328 INFO [stderr]     |
Dec 18 06:38:59.328 INFO [stderr] 293 |           fn applyOneType(&self, ty: Type) -> Type {
Dec 18 06:38:59.328 INFO [stderr]     |  _________^
Dec 18 06:38:59.328 INFO [stderr] 294 | |             match ty {
Dec 18 06:38:59.328 INFO [stderr] 295 | |                 Type::TyInt => ty,
Dec 18 06:38:59.328 INFO [stderr] 296 | |                 Type::TyBool => ty,
Dec 18 06:38:59.328 INFO [stderr] ...   |
Dec 18 06:38:59.328 INFO [stderr] 305 | |             }
Dec 18 06:38:59.328 INFO [stderr] 306 | |         }
Dec 18 06:38:59.328 INFO [stderr]     | |_________^
Dec 18 06:38:59.328 INFO [stderr] 
Dec 18 06:38:59.328 INFO [stderr] warning: variable `solutionType` should have a snake case name such as `solution_type`
Dec 18 06:38:59.328 INFO [stderr]    --> src/main.rs:311:8
Dec 18 06:38:59.328 INFO [stderr]     |
Dec 18 06:38:59.328 INFO [stderr] 311 |             for solutionType in self.solutions.values_mut() {
Dec 18 06:38:59.328 INFO [stderr]     |                 ^^^^^^^^^^^^
Dec 18 06:38:59.328 INFO [stderr] 
Dec 18 06:38:59.328 INFO [stderr] warning: variable `solutionOne` should have a snake case name such as `solution_one`
Dec 18 06:38:59.328 INFO [stderr]    --> src/main.rs:330:8
Dec 18 06:38:59.328 INFO [stderr]     |
Dec 18 06:38:59.328 INFO [stderr] 330 |             let mut solutionOne = unifyOne(constraints[0].clone());
Dec 18 06:38:59.328 INFO [stderr]     |                 ^^^^^^^^^^^^^^^
Dec 18 06:38:59.328 INFO [stderr] 
Dec 18 06:38:59.328 INFO [stderr] warning: variable `updateConstraints` should have a snake case name such as `update_constraints`
Dec 18 06:38:59.328 INFO [stderr]    --> src/main.rs:334:8
Dec 18 06:38:59.328 INFO [stderr]     |
Dec 18 06:38:59.328 INFO [stderr] 334 |             let mut updateConstraints = solutionOne.applyToSet(&mut vec1);
Dec 18 06:38:59.328 INFO [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.328 INFO [stderr] 
Dec 18 06:38:59.328 INFO [stderr] warning: variable `solutionRest` should have a snake case name such as `solution_rest`
Dec 18 06:38:59.328 INFO [stderr]    --> src/main.rs:336:8
Dec 18 06:38:59.328 INFO [stderr]     |
Dec 18 06:38:59.328 INFO [stderr] 336 |             let solutionRest = unify(updateConstraints);
Dec 18 06:38:59.328 INFO [stderr]     |                 ^^^^^^^^^^^^
Dec 18 06:38:59.328 INFO [stderr] 
Dec 18 06:38:59.329 INFO [stderr] warning: function `unifyOne` should have a snake case name such as `unify_one`
Dec 18 06:38:59.329 INFO [stderr]    --> src/main.rs:343:2
Dec 18 06:38:59.329 INFO [stderr]     |
Dec 18 06:38:59.329 INFO [stderr] 343 |       fn unifyOne(constraint: Constraint) -> Substitution {
Dec 18 06:38:59.329 INFO [stderr]     |  _____^
Dec 18 06:38:59.329 INFO [stderr] 344 | |         match (constraint.typeA, constraint.typeB) {
Dec 18 06:38:59.329 INFO [stderr] 345 | |             (Type::TyInt, Type:: TyInt) => Substitution{solutions: HashMap::new()},
Dec 18 06:38:59.329 INFO [stderr] 346 | |             (Type::TyBool, Type:: TyBool) => Substitution{solutions: HashMap::new()},
Dec 18 06:38:59.329 INFO [stderr] ...   |
Dec 18 06:38:59.329 INFO [stderr] 352 | |         }
Dec 18 06:38:59.329 INFO [stderr] 353 | |     }
Dec 18 06:38:59.329 INFO [stderr]     | |_____^
Dec 18 06:38:59.329 INFO [stderr] 
Dec 18 06:38:59.329 INFO [stderr] warning: function `unifyVar` should have a snake case name such as `unify_var`
Dec 18 06:38:59.329 INFO [stderr]    --> src/main.rs:356:2
Dec 18 06:38:59.329 INFO [stderr]     |
Dec 18 06:38:59.329 INFO [stderr] 356 |       fn unifyVar(tvar: u32, ty: Type) -> Substitution {
Dec 18 06:38:59.329 INFO [stderr]     |  _____^
Dec 18 06:38:59.329 INFO [stderr] 357 | |         match ty {
Dec 18 06:38:59.329 INFO [stderr] 358 | |             //do nothing if they are the same type variable
Dec 18 06:38:59.329 INFO [stderr] 359 | |             Type::TyVar{num: n} => {
Dec 18 06:38:59.329 INFO [stderr] ...   |
Dec 18 06:38:59.329 INFO [stderr] 383 | |         }
Dec 18 06:38:59.329 INFO [stderr] 384 | |     }
Dec 18 06:38:59.329 INFO [stderr]     | |_____^
Dec 18 06:38:59.329 INFO [stderr] 
Dec 18 06:38:59.329 INFO [stderr] warning: function `typeInference` should have a snake case name such as `type_inference`
Dec 18 06:38:59.329 INFO [stderr]    --> src/main.rs:397:2
Dec 18 06:38:59.329 INFO [stderr]     |
Dec 18 06:38:59.329 INFO [stderr] 397 |       fn typeInference(term: UntypedTerm) {
Dec 18 06:38:59.329 INFO [stderr]     |  _____^
Dec 18 06:38:59.329 INFO [stderr] 398 | |         let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.329 INFO [stderr] 399 | |         let TypedTerm = annotate(term, EnvT, &mut 0);
Dec 18 06:38:59.329 INFO [stderr] 400 | |         let Constraints = collect(TypedTerm.clone());
Dec 18 06:38:59.329 INFO [stderr] ...   |
Dec 18 06:38:59.329 INFO [stderr] 408 | |         println!(" ");
Dec 18 06:38:59.329 INFO [stderr] 409 | |     }
Dec 18 06:38:59.329 INFO [stderr]     | |_____^
Dec 18 06:38:59.329 INFO [stderr] 
Dec 18 06:38:59.329 INFO [stderr] warning: variable `EnvT` should have a snake case name such as `env_t`
Dec 18 06:38:59.329 INFO [stderr]    --> src/main.rs:398:7
Dec 18 06:38:59.329 INFO [stderr]     |
Dec 18 06:38:59.329 INFO [stderr] 398 |         let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.330 INFO [stderr]     |             ^^^^^^^^
Dec 18 06:38:59.330 INFO [stderr] 
Dec 18 06:38:59.330 INFO [stderr] warning: variable `TypedTerm` should have a snake case name such as `typed_term`
Dec 18 06:38:59.330 INFO [stderr]    --> src/main.rs:399:10
Dec 18 06:38:59.330 INFO [stderr]     |
Dec 18 06:38:59.330 INFO [stderr] 399 |         let TypedTerm = annotate(term, EnvT, &mut 0);
Dec 18 06:38:59.330 INFO [stderr]     |             ^^^^^^^^^
Dec 18 06:38:59.330 INFO [stderr] 
Dec 18 06:38:59.330 INFO [stderr] warning: variable `Constraints` should have a snake case name such as `constraints`
Dec 18 06:38:59.330 INFO [stderr]    --> src/main.rs:400:10
Dec 18 06:38:59.330 INFO [stderr]     |
Dec 18 06:38:59.330 INFO [stderr] 400 |         let Constraints = collect(TypedTerm.clone());
Dec 18 06:38:59.330 INFO [stderr]     |             ^^^^^^^^^^^
Dec 18 06:38:59.330 INFO [stderr] 
Dec 18 06:38:59.330 INFO [stderr] warning: structure field `Env` should have a snake case name such as `env`
Dec 18 06:38:59.330 INFO [stderr]    --> src/main.rs:415:3
Dec 18 06:38:59.330 INFO [stderr]     |
Dec 18 06:38:59.330 INFO [stderr] 415 |         Env: HashMap<char,TypedTerm>
Dec 18 06:38:59.330 INFO [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.330 INFO [stderr] 
Dec 18 06:38:59.330 INFO [stderr] warning: function `Interp` should have a snake case name such as `interp`
Dec 18 06:38:59.330 INFO [stderr]    --> src/main.rs:433:2
Dec 18 06:38:59.330 INFO [stderr]     |
Dec 18 06:38:59.330 INFO [stderr] 433 |       fn Interp(term: TypedTerm, env: &mut InterpEnv) -> TypedTerm {
Dec 18 06:38:59.330 INFO [stderr]     |  _____^
Dec 18 06:38:59.330 INFO [stderr] 434 | |         match term {
Dec 18 06:38:59.330 INFO [stderr] 435 | |             TypedTerm::T_INT{ty: t, value: v} => TypedTerm::T_INT{ty: t, value: v},
Dec 18 06:38:59.330 INFO [stderr] 436 | |             TypedTerm::T_BOOL{ty: t, value: v} => TypedTerm::T_BOOL{ty: t, value: v},
Dec 18 06:38:59.330 INFO [stderr] ...   |
Dec 18 06:38:59.330 INFO [stderr] 519 | |         }
Dec 18 06:38:59.330 INFO [stderr] 520 | |     }
Dec 18 06:38:59.330 INFO [stderr]     | |_____^
Dec 18 06:38:59.330 INFO [stderr] 
Dec 18 06:38:59.330 INFO [stderr] warning: variable `EnvNew` should have a snake case name such as `env_new`
Dec 18 06:38:59.330 INFO [stderr]    --> src/main.rs:443:15
Dec 18 06:38:59.330 INFO [stderr]     |
Dec 18 06:38:59.330 INFO [stderr] 443 |                 let mut EnvNew = InterpEnv{Env: HashMap::new()};
Dec 18 06:38:59.330 INFO [stderr]     |                     ^^^^^^^^^^
Dec 18 06:38:59.330 INFO [stderr] 
Dec 18 06:38:59.330 INFO [stderr] warning: variable `EnvNew` should have a snake case name such as `env_new`
Dec 18 06:38:59.330 INFO [stderr]    --> src/main.rs:508:15
Dec 18 06:38:59.330 INFO [stderr]     |
Dec 18 06:38:59.331 INFO [stderr] 508 |                 let mut EnvNew = InterpEnv{Env: HashMap::new()};
Dec 18 06:38:59.331 INFO [stderr]     |                     ^^^^^^^^^^
Dec 18 06:38:59.331 INFO [stderr] 
Dec 18 06:38:59.331 INFO [stderr] warning: function `InterpE` should have a snake case name such as `interp_e`
Dec 18 06:38:59.331 INFO [stderr]    --> src/main.rs:522:2
Dec 18 06:38:59.331 INFO [stderr]     |
Dec 18 06:38:59.331 INFO [stderr] 522 |       fn InterpE(term: UntypedTerm) {
Dec 18 06:38:59.331 INFO [stderr]     |  _____^
Dec 18 06:38:59.331 INFO [stderr] 523 | |         let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.331 INFO [stderr] 524 | |         let TypedTerm = annotate(term, EnvT, &mut 0);
Dec 18 06:38:59.331 INFO [stderr] 525 | |         let Constraints = collect(TypedTerm.clone());
Dec 18 06:38:59.331 INFO [stderr] ...   |
Dec 18 06:38:59.331 INFO [stderr] 530 | |         println!("{:?}",Interp(TypedTerm, &mut EnvI));
Dec 18 06:38:59.331 INFO [stderr] 531 | |     }
Dec 18 06:38:59.331 INFO [stderr]     | |_____^
Dec 18 06:38:59.331 INFO [stderr] 
Dec 18 06:38:59.331 INFO [stderr] warning: variable `EnvT` should have a snake case name such as `env_t`
Dec 18 06:38:59.331 INFO [stderr]    --> src/main.rs:523:7
Dec 18 06:38:59.331 INFO [stderr]     |
Dec 18 06:38:59.331 INFO [stderr] 523 |         let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.331 INFO [stderr]     |             ^^^^^^^^
Dec 18 06:38:59.331 INFO [stderr] 
Dec 18 06:38:59.331 INFO [stderr] warning: variable `TypedTerm` should have a snake case name such as `typed_term`
Dec 18 06:38:59.331 INFO [stderr]    --> src/main.rs:524:10
Dec 18 06:38:59.331 INFO [stderr]     |
Dec 18 06:38:59.331 INFO [stderr] 524 |         let TypedTerm = annotate(term, EnvT, &mut 0);
Dec 18 06:38:59.331 INFO [stderr]     |             ^^^^^^^^^
Dec 18 06:38:59.331 INFO [stderr] 
Dec 18 06:38:59.332 INFO [stderr] warning: variable `Constraints` should have a snake case name such as `constraints`
Dec 18 06:38:59.332 INFO [stderr]    --> src/main.rs:525:10
Dec 18 06:38:59.332 INFO [stderr]     |
Dec 18 06:38:59.332 INFO [stderr] 525 |         let Constraints = collect(TypedTerm.clone());
Dec 18 06:38:59.332 INFO [stderr]     |             ^^^^^^^^^^^
Dec 18 06:38:59.332 INFO [stderr] 
Dec 18 06:38:59.332 INFO [stderr] warning: variable `EnvI` should have a snake case name such as `env_i`
Dec 18 06:38:59.332 INFO [stderr]    --> src/main.rs:528:10
Dec 18 06:38:59.332 INFO [stderr]     |
Dec 18 06:38:59.332 INFO [stderr] 528 |         let mut EnvI = InterpEnv{Env: HashMap::new()};
Dec 18 06:38:59.332 INFO [stderr]     |             ^^^^^^^^
Dec 18 06:38:59.332 INFO [stderr] 
Dec 18 06:38:59.332 INFO [stderr] warning: function `Add` should have a snake case name such as `add`
Dec 18 06:38:59.332 INFO [stderr]    --> src/main.rs:534:2
Dec 18 06:38:59.332 INFO [stderr]     |
Dec 18 06:38:59.332 INFO [stderr] 534 |       fn Add(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.332 INFO [stderr]     |  _____^
Dec 18 06:38:59.332 INFO [stderr] 535 | |         match (a1,a2) {
Dec 18 06:38:59.332 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},
Dec 18 06:38:59.332 INFO [stderr] 537 | |             _ => panic!("undefined !")
Dec 18 06:38:59.332 INFO [stderr] 538 | |         }
Dec 18 06:38:59.332 INFO [stderr] 539 | |     }
Dec 18 06:38:59.332 INFO [stderr]     | |_____^
Dec 18 06:38:59.332 INFO [stderr] 
Dec 18 06:38:59.332 INFO [stderr] warning: function `Minus` should have a snake case name such as `minus`
Dec 18 06:38:59.332 INFO [stderr]    --> src/main.rs:541:2
Dec 18 06:38:59.332 INFO [stderr]     |
Dec 18 06:38:59.332 INFO [stderr] 541 |       fn Minus(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.332 INFO [stderr]     |  _____^
Dec 18 06:38:59.332 INFO [stderr] 542 | |         match (a1,a2) {
Dec 18 06:38:59.332 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},
Dec 18 06:38:59.332 INFO [stderr] 544 | |             _ => panic!("undefined !")
Dec 18 06:38:59.332 INFO [stderr] 545 | |         }
Dec 18 06:38:59.332 INFO [stderr] 546 | |     }
Dec 18 06:38:59.332 INFO [stderr]     | |_____^
Dec 18 06:38:59.332 INFO [stderr] 
Dec 18 06:38:59.332 INFO [stderr] warning: function `Mul` should have a snake case name such as `mul`
Dec 18 06:38:59.332 INFO [stderr]    --> src/main.rs:548:2
Dec 18 06:38:59.332 INFO [stderr]     |
Dec 18 06:38:59.332 INFO [stderr] 548 |       fn Mul(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.332 INFO [stderr]     |  _____^
Dec 18 06:38:59.332 INFO [stderr] 549 | |         match (a1,a2) {
Dec 18 06:38:59.332 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},
Dec 18 06:38:59.332 INFO [stderr] 551 | |             _ => panic!("undefined !")
Dec 18 06:38:59.332 INFO [stderr] 552 | |         }
Dec 18 06:38:59.332 INFO [stderr] 553 | |     }
Dec 18 06:38:59.332 INFO [stderr]     | |_____^
Dec 18 06:38:59.332 INFO [stderr] 
Dec 18 06:38:59.332 INFO [stderr] warning: function `Div` should have a snake case name such as `div`
Dec 18 06:38:59.332 INFO [stderr]    --> src/main.rs:555:2
Dec 18 06:38:59.332 INFO [stderr]     |
Dec 18 06:38:59.332 INFO [stderr] 555 |       fn Div(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.332 INFO [stderr]     |  _____^
Dec 18 06:38:59.332 INFO [stderr] 556 | |         match (a1,a2) {
Dec 18 06:38:59.332 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},
Dec 18 06:38:59.332 INFO [stderr] 558 | |             _ => panic!("undefined !")
Dec 18 06:38:59.332 INFO [stderr] 559 | |         }
Dec 18 06:38:59.332 INFO [stderr] 560 | |     }
Dec 18 06:38:59.332 INFO [stderr]     | |_____^
Dec 18 06:38:59.332 INFO [stderr] 
Dec 18 06:38:59.332 INFO [stderr] warning: function `Lt` should have a snake case name such as `lt`
Dec 18 06:38:59.332 INFO [stderr]    --> src/main.rs:562:2
Dec 18 06:38:59.332 INFO [stderr]     |
Dec 18 06:38:59.332 INFO [stderr] 562 |       fn Lt(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.332 INFO [stderr]     |  _____^
Dec 18 06:38:59.332 INFO [stderr] 563 | |         match (a1,a2) {
Dec 18 06:38:59.332 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},
Dec 18 06:38:59.332 INFO [stderr] 565 | |             _ => panic!("undefined !")
Dec 18 06:38:59.332 INFO [stderr] 566 | |         }
Dec 18 06:38:59.332 INFO [stderr] 567 | |     }
Dec 18 06:38:59.332 INFO [stderr]     | |_____^
Dec 18 06:38:59.332 INFO [stderr] 
Dec 18 06:38:59.336 INFO [stderr] warning: function `And` should have a snake case name such as `and`
Dec 18 06:38:59.336 INFO [stderr]    --> src/main.rs:570:2
Dec 18 06:38:59.336 INFO [stderr]     |
Dec 18 06:38:59.336 INFO [stderr] 570 |       fn And(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.336 INFO [stderr]     |  _____^
Dec 18 06:38:59.336 INFO [stderr] 571 | |         match (a1,a2) {
Dec 18 06:38:59.336 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},
Dec 18 06:38:59.336 INFO [stderr] 573 | |             _ => panic!("undefined !")
Dec 18 06:38:59.336 INFO [stderr] 574 | |         }
Dec 18 06:38:59.336 INFO [stderr] 575 | |     }
Dec 18 06:38:59.336 INFO [stderr]     | |_____^
Dec 18 06:38:59.336 INFO [stderr] 
Dec 18 06:38:59.336 INFO [stderr] warning: function `Or` should have a snake case name such as `or`
Dec 18 06:38:59.336 INFO [stderr]    --> src/main.rs:577:2
Dec 18 06:38:59.336 INFO [stderr]     |
Dec 18 06:38:59.336 INFO [stderr] 577 |       fn Or(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.336 INFO [stderr]     |  _____^
Dec 18 06:38:59.336 INFO [stderr] 578 | |         match (a1,a2) {
Dec 18 06:38:59.336 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},
Dec 18 06:38:59.336 INFO [stderr] 580 | |             _ => panic!("undefined !")
Dec 18 06:38:59.336 INFO [stderr] 581 | |         }
Dec 18 06:38:59.336 INFO [stderr] 582 | |     }
Dec 18 06:38:59.336 INFO [stderr]     | |_____^
Dec 18 06:38:59.336 INFO [stderr] 
Dec 18 06:38:59.336 INFO [stderr] warning: function `Equ` should have a snake case name such as `equ`
Dec 18 06:38:59.336 INFO [stderr]    --> src/main.rs:584:2
Dec 18 06:38:59.337 INFO [stderr]     |
Dec 18 06:38:59.337 INFO [stderr] 584 |       fn Equ(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.337 INFO [stderr]     |  _____^
Dec 18 06:38:59.337 INFO [stderr] 585 | |         match (a1,a2) {
Dec 18 06:38:59.337 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},
Dec 18 06:38:59.337 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},
Dec 18 06:38:59.337 INFO [stderr] 588 | |             _ => panic!("undefined !")
Dec 18 06:38:59.337 INFO [stderr] 589 | |         }
Dec 18 06:38:59.337 INFO [stderr] 590 | |     }
Dec 18 06:38:59.337 INFO [stderr]     | |_____^
Dec 18 06:38:59.337 INFO [stderr] 
Dec 18 06:38:59.337 INFO [stderr] warning: variable `EnvT` should have a snake case name such as `env_t`
Dec 18 06:38:59.337 INFO [stderr]    --> src/main.rs:613:6
Dec 18 06:38:59.337 INFO [stderr]     |
Dec 18 06:38:59.337 INFO [stderr] 613 |     let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.337 INFO [stderr]     |         ^^^^^^^^
Dec 18 06:38:59.337 INFO [stderr] 
Dec 18 06:38:59.392 INFO [stderr] warning: unreachable pattern
Dec 18 06:38:59.392 INFO [stderr]    --> src/main.rs:141:4
Dec 18 06:38:59.392 INFO [stderr]     |
Dec 18 06:38:59.392 INFO [stderr] 141 |             _ => panic!("undefined term!")
Dec 18 06:38:59.392 INFO [stderr]     |             ^
Dec 18 06:38:59.392 INFO [stderr]     |
Dec 18 06:38:59.392 INFO [stderr]     = note: #[warn(unreachable_patterns)] on by default
Dec 18 06:38:59.392 INFO [stderr] 
Dec 18 06:38:59.392 INFO [stderr] warning: unused variable: `a1`
Dec 18 06:38:59.392 INFO [stderr]    --> src/main.rs:600:6
Dec 18 06:38:59.392 INFO [stderr]     |
Dec 18 06:38:59.392 INFO [stderr] 600 |     let a1 = UntypedTerm::APP{fun: Box::new(f1.clone()), arg: Box::new(i1.clone())};
Dec 18 06:38:59.392 INFO [stderr]     |         ^^ help: consider using `_a1` instead
Dec 18 06:38:59.392 INFO [stderr]     |
Dec 18 06:38:59.392 INFO [stderr]     = note: #[warn(unused_variables)] on by default
Dec 18 06:38:59.392 INFO [stderr] 
Dec 18 06:38:59.392 INFO [stderr] warning: unused variable: `v`
Dec 18 06:38:59.392 INFO [stderr]    --> src/main.rs:156:35
Dec 18 06:38:59.392 INFO [stderr]     |
Dec 18 06:38:59.392 INFO [stderr] 156 |             TypedTerm::T_INT{ty: t, value: v} => vec![Constraint{typeA: t, typeB: Type::TyInt}],
Dec 18 06:38:59.392 INFO [stderr]     |                                            ^ help: consider using `_v` instead
Dec 18 06:38:59.392 INFO [stderr] 
Dec 18 06:38:59.392 INFO [stderr] warning: unused variable: `v`
Dec 18 06:38:59.392 INFO [stderr]    --> src/main.rs:157:36
Dec 18 06:38:59.392 INFO [stderr]     |
Dec 18 06:38:59.392 INFO [stderr] 157 |             TypedTerm::T_BOOL{ty: t, value: v} => vec![Constraint{typeA: t, typeB: Type::TyBool}],
Dec 18 06:38:59.392 INFO [stderr]     |                                             ^ help: consider using `_v` instead
Dec 18 06:38:59.392 INFO [stderr] 
Dec 18 06:38:59.392 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.392 INFO [stderr]    --> src/main.rs:165:25
Dec 18 06:38:59.392 INFO [stderr]     |
Dec 18 06:38:59.392 INFO [stderr] 165 |             TypedTerm::T_VAR{ty: t, name: n} => vec![],
Dec 18 06:38:59.392 INFO [stderr]     |                                  ^ help: consider using `_t` instead
Dec 18 06:38:59.392 INFO [stderr] 
Dec 18 06:38:59.392 INFO [stderr] warning: unused variable: `n`
Dec 18 06:38:59.392 INFO [stderr]    --> src/main.rs:165:34
Dec 18 06:38:59.392 INFO [stderr]     |
Dec 18 06:38:59.392 INFO [stderr] 165 |             TypedTerm::T_VAR{ty: t, name: n} => vec![],
Dec 18 06:38:59.392 INFO [stderr]     |                                           ^ help: consider using `_n` instead
Dec 18 06:38:59.392 INFO [stderr] 
Dec 18 06:38:59.392 INFO [stderr] warning: unused variable: `o`
Dec 18 06:38:59.392 INFO [stderr]    --> src/main.rs:175:33
Dec 18 06:38:59.392 INFO [stderr]     |
Dec 18 06:38:59.392 INFO [stderr] 175 |             TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => {
Dec 18 06:38:59.392 INFO [stderr]     |                                          ^ help: consider using `_o` instead
Dec 18 06:38:59.392 INFO [stderr] 
Dec 18 06:38:59.392 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.392 INFO [stderr]    --> src/main.rs:437:31
Dec 18 06:38:59.392 INFO [stderr]     |
Dec 18 06:38:59.392 INFO [stderr] 437 |             TypedTerm::T_VAR{ty: t, name: n} => {
Dec 18 06:38:59.392 INFO [stderr]     |                                  ^ help: consider using `_t` instead
Dec 18 06:38:59.392 INFO [stderr] 
Dec 18 06:38:59.392 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.392 INFO [stderr]    --> src/main.rs:441:31
Dec 18 06:38:59.392 INFO [stderr]     |
Dec 18 06:38:59.393 INFO [stderr] 441 |             TypedTerm::T_APP{ty: t, fun: f, arg: a} => {
Dec 18 06:38:59.393 INFO [stderr]     |                                  ^ help: consider using `_t` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:447:34
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 INFO [stderr] 447 |                         TypedTerm::T_FUN{ty: t1, param: p1, body: b1} => match *p1.clone() {
Dec 18 06:38:59.393 INFO [stderr]     |                                              ^^ help: consider using `_t1` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:448:35
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 INFO [stderr] 448 |                             TypedTerm::T_VAR{ty: t2, name: n1} => {
Dec 18 06:38:59.393 INFO [stderr]     |                                                  ^^ help: consider using `_t2` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:459:32
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 INFO [stderr] 459 |             TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => {
Dec 18 06:38:59.393 INFO [stderr]     |                                   ^ help: consider using `_t` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:470:31
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 INFO [stderr] 470 |             TypedTerm::T_NOT{ty: t, exp: e} => {
Dec 18 06:38:59.393 INFO [stderr]     |                                  ^ help: consider using `_t` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:477:31
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 INFO [stderr] 477 |             TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => {
Dec 18 06:38:59.393 INFO [stderr]     |                                  ^ help: consider using `_t` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:482:30
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 INFO [stderr] 482 |             TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => {
Dec 18 06:38:59.393 INFO [stderr]     |                                 ^ help: consider using `_t` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:487:31
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 INFO [stderr] 487 |             TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => {
Dec 18 06:38:59.393 INFO [stderr]     |                                  ^ help: consider using `_t` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:492:30
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 INFO [stderr] 492 |             TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => {
Dec 18 06:38:59.393 INFO [stderr]     |                                 ^ help: consider using `_t` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:497:30
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 INFO [stderr] 497 |             TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => {
Dec 18 06:38:59.393 INFO [stderr]     |                                 ^ help: consider using `_t` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:502:34
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 INFO [stderr] 502 |                     TypedTerm::T_BOOL{ty: t1, value: v} => if v {v2} else {v3},
Dec 18 06:38:59.393 INFO [stderr]     |                                           ^^ help: consider using `_t1` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:506:31
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 INFO [stderr] 506 |             TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => {
Dec 18 06:38:59.393 INFO [stderr]     |                                  ^ help: consider using `_t` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `t`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:511:33
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 INFO [stderr] 511 |                     TypedTerm::T_VAR{ty: t, name: n} => {
Dec 18 06:38:59.393 INFO [stderr]     |                                          ^ help: consider using `_t` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `solutions`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:526:10
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 INFO [stderr] 526 |         let solutions = unify(Constraints);
Dec 18 06:38:59.393 INFO [stderr]     |             ^^^^^^^^^ help: consider using `_solutions` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:536:26
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 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},
Dec 18 06:38:59.393 INFO [stderr]     |                                   ^^ help: consider using `_t1` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.393 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.393 INFO [stderr]    --> src/main.rs:536:63
Dec 18 06:38:59.393 INFO [stderr]     |
Dec 18 06:38:59.393 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},
Dec 18 06:38:59.393 INFO [stderr]     |                                                                        ^^ help: consider using `_t2` instead
Dec 18 06:38:59.393 INFO [stderr] 
Dec 18 06:38:59.394 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.394 INFO [stderr]    --> src/main.rs:543:26
Dec 18 06:38:59.394 INFO [stderr]     |
Dec 18 06:38:59.394 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},
Dec 18 06:38:59.394 INFO [stderr]     |                                   ^^ help: consider using `_t1` instead
Dec 18 06:38:59.394 INFO [stderr] 
Dec 18 06:38:59.394 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.394 INFO [stderr]    --> src/main.rs:543:63
Dec 18 06:38:59.394 INFO [stderr]     |
Dec 18 06:38:59.394 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},
Dec 18 06:38:59.394 INFO [stderr]     |                                                                        ^^ help: consider using `_t2` instead
Dec 18 06:38:59.394 INFO [stderr] 
Dec 18 06:38:59.394 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.394 INFO [stderr]    --> src/main.rs:550:26
Dec 18 06:38:59.394 INFO [stderr]     |
Dec 18 06:38:59.394 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},
Dec 18 06:38:59.394 INFO [stderr]     |                                   ^^ help: consider using `_t1` instead
Dec 18 06:38:59.394 INFO [stderr] 
Dec 18 06:38:59.394 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.394 INFO [stderr]    --> src/main.rs:550:63
Dec 18 06:38:59.394 INFO [stderr]     |
Dec 18 06:38:59.394 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},
Dec 18 06:38:59.394 INFO [stderr]     |                                                                        ^^ help: consider using `_t2` instead
Dec 18 06:38:59.394 INFO [stderr] 
Dec 18 06:38:59.394 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.394 INFO [stderr]    --> src/main.rs:557:26
Dec 18 06:38:59.394 INFO [stderr]     |
Dec 18 06:38:59.394 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},
Dec 18 06:38:59.394 INFO [stderr]     |                                   ^^ help: consider using `_t1` instead
Dec 18 06:38:59.394 INFO [stderr] 
Dec 18 06:38:59.394 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.394 INFO [stderr]    --> src/main.rs:557:63
Dec 18 06:38:59.394 INFO [stderr]     |
Dec 18 06:38:59.394 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},
Dec 18 06:38:59.394 INFO [stderr]     |                                                                        ^^ help: consider using `_t2` instead
Dec 18 06:38:59.396 INFO [stderr] 
Dec 18 06:38:59.396 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.396 INFO [stderr]    --> src/main.rs:564:26
Dec 18 06:38:59.396 INFO [stderr]     |
Dec 18 06:38:59.396 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},
Dec 18 06:38:59.396 INFO [stderr]     |                                   ^^ help: consider using `_t1` instead
Dec 18 06:38:59.396 INFO [stderr] 
Dec 18 06:38:59.396 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.396 INFO [stderr]    --> src/main.rs:564:63
Dec 18 06:38:59.396 INFO [stderr]     |
Dec 18 06:38:59.396 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},
Dec 18 06:38:59.396 INFO [stderr]     |                                                                        ^^ help: consider using `_t2` instead
Dec 18 06:38:59.396 INFO [stderr] 
Dec 18 06:38:59.396 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.396 INFO [stderr]    --> src/main.rs:572:27
Dec 18 06:38:59.396 INFO [stderr]     |
Dec 18 06:38:59.396 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},
Dec 18 06:38:59.396 INFO [stderr]     |                                    ^^ help: consider using `_t1` instead
Dec 18 06:38:59.396 INFO [stderr] 
Dec 18 06:38:59.396 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.396 INFO [stderr]    --> src/main.rs:572:65
Dec 18 06:38:59.396 INFO [stderr]     |
Dec 18 06:38:59.396 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},
Dec 18 06:38:59.396 INFO [stderr]     |                                                                          ^^ help: consider using `_t2` instead
Dec 18 06:38:59.396 INFO [stderr] 
Dec 18 06:38:59.396 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.396 INFO [stderr]    --> src/main.rs:579:27
Dec 18 06:38:59.396 INFO [stderr]     |
Dec 18 06:38:59.396 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},
Dec 18 06:38:59.396 INFO [stderr]     |                                    ^^ help: consider using `_t1` instead
Dec 18 06:38:59.396 INFO [stderr] 
Dec 18 06:38:59.396 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.396 INFO [stderr]    --> src/main.rs:579:65
Dec 18 06:38:59.396 INFO [stderr]     |
Dec 18 06:38:59.396 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},
Dec 18 06:38:59.396 INFO [stderr]     |                                                                          ^^ help: consider using `_t2` instead
Dec 18 06:38:59.396 INFO [stderr] 
Dec 18 06:38:59.396 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.397 INFO [stderr]    --> src/main.rs:586:27
Dec 18 06:38:59.397 INFO [stderr]     |
Dec 18 06:38:59.397 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},
Dec 18 06:38:59.397 INFO [stderr]     |                                    ^^ help: consider using `_t1` instead
Dec 18 06:38:59.397 INFO [stderr] 
Dec 18 06:38:59.397 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.397 INFO [stderr]    --> src/main.rs:586:65
Dec 18 06:38:59.397 INFO [stderr]     |
Dec 18 06:38:59.397 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},
Dec 18 06:38:59.397 INFO [stderr]     |                                                                          ^^ help: consider using `_t2` instead
Dec 18 06:38:59.397 INFO [stderr] 
Dec 18 06:38:59.397 INFO [stderr] warning: unused variable: `t1`
Dec 18 06:38:59.397 INFO [stderr]    --> src/main.rs:587:26
Dec 18 06:38:59.397 INFO [stderr]     |
Dec 18 06:38:59.397 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},
Dec 18 06:38:59.397 INFO [stderr]     |                                   ^^ help: consider using `_t1` instead
Dec 18 06:38:59.397 INFO [stderr] 
Dec 18 06:38:59.397 INFO [stderr] warning: unused variable: `t2`
Dec 18 06:38:59.397 INFO [stderr]    --> src/main.rs:587:63
Dec 18 06:38:59.397 INFO [stderr]     |
Dec 18 06:38:59.397 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},
Dec 18 06:38:59.397 INFO [stderr]     |                                                                        ^^ help: consider using `_t2` instead
Dec 18 06:38:59.397 INFO [stderr] 
Dec 18 06:38:59.397 INFO [stderr] warning: unused variable: `v`
Dec 18 06:38:59.397 INFO [stderr]   --> src/main.rs:67:36
Dec 18 06:38:59.397 INFO [stderr]    |
Dec 18 06:38:59.397 INFO [stderr] 67 |                 TypedTerm::T_INT{ty: t, value: v} => t,
Dec 18 06:38:59.397 INFO [stderr]    |                                                ^ help: consider using `_v` instead
Dec 18 06:38:59.397 INFO [stderr] 
Dec 18 06:38:59.397 INFO [stderr] warning: unused variable: `v`
Dec 18 06:38:59.397 INFO [stderr]   --> src/main.rs:68:40
Dec 18 06:38:59.397 INFO [stderr]    |
Dec 18 06:38:59.397 INFO [stderr] 68 |                 TypedTerm::T_BOOL{ty: t, value: v} => t,
Dec 18 06:38:59.397 INFO [stderr]    |                                                 ^ help: consider using `_v` instead
Dec 18 06:38:59.397 INFO [stderr] 
Dec 18 06:38:59.397 INFO [stderr] warning: unused variable: `n`
Dec 18 06:38:59.397 INFO [stderr]   --> src/main.rs:69:38
Dec 18 06:38:59.398 INFO [stderr]    |
Dec 18 06:38:59.398 INFO [stderr] 69 |                 TypedTerm::T_VAR{ty: t, name: n} => t,
Dec 18 06:38:59.398 INFO [stderr]    |                                               ^ help: consider using `_n` instead
Dec 18 06:38:59.398 INFO [stderr] 
Dec 18 06:38:59.398 INFO [stderr] warning: unused variable: `p`
Dec 18 06:38:59.398 INFO [stderr]   --> src/main.rs:70:39
Dec 18 06:38:59.398 INFO [stderr]    |
Dec 18 06:38:59.398 INFO [stderr] 70 |                 TypedTerm::T_FUN{ty: t, param: p, body: b} => t,
Dec 18 06:38:59.398 INFO [stderr]    |                                                ^ help: consider using `_p` instead
Dec 18 06:38:59.398 INFO [stderr] 
Dec 18 06:38:59.398 INFO [stderr] warning: unused variable: `b`
Dec 18 06:38:59.398 INFO [stderr]   --> src/main.rs:70:48
Dec 18 06:38:59.398 INFO [stderr]    |
Dec 18 06:38:59.398 INFO [stderr] 70 |                 TypedTerm::T_FUN{ty: t, param: p, body: b} => t,
Dec 18 06:38:59.398 INFO [stderr]    |                                                         ^ help: consider using `_b` instead
Dec 18 06:38:59.398 INFO [stderr] 
Dec 18 06:38:59.398 INFO [stderr] warning: unused variable: `f`
Dec 18 06:38:59.398 INFO [stderr]   --> src/main.rs:71:37
Dec 18 06:38:59.398 INFO [stderr]    |
Dec 18 06:38:59.398 INFO [stderr] 71 |                 TypedTerm::T_APP{ty: t, fun: f, arg: a} => t,
Dec 18 06:38:59.398 INFO [stderr]    |                                              ^ help: consider using `_f` instead
Dec 18 06:38:59.398 INFO [stderr] 
Dec 18 06:38:59.398 INFO [stderr] warning: unused variable: `a`
Dec 18 06:38:59.398 INFO [stderr]   --> src/main.rs:71:45
Dec 18 06:38:59.398 INFO [stderr]    |
Dec 18 06:38:59.398 INFO [stderr] 71 |                 TypedTerm::T_APP{ty: t, fun: f, arg: a} => t,
Dec 18 06:38:59.398 INFO [stderr]    |                                                      ^ help: consider using `_a` instead
Dec 18 06:38:59.398 INFO [stderr] 
Dec 18 06:38:59.398 INFO [stderr] warning: unused variable: `o`
Dec 18 06:38:59.398 INFO [stderr]   --> src/main.rs:72:37
Dec 18 06:38:59.398 INFO [stderr]    |
Dec 18 06:38:59.398 INFO [stderr] 72 |                 TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.398 INFO [stderr]    |                                              ^ help: consider using `_o` instead
Dec 18 06:38:59.398 INFO [stderr] 
Dec 18 06:38:59.398 INFO [stderr] warning: unused variable: `e1`
Dec 18 06:38:59.398 INFO [stderr]   --> src/main.rs:72:46
Dec 18 06:38:59.398 INFO [stderr]    |
Dec 18 06:38:59.398 INFO [stderr] 72 |                 TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.398 INFO [stderr]    |                                                       ^^ help: consider using `_e1` instead
Dec 18 06:38:59.398 INFO [stderr] 
Dec 18 06:38:59.398 INFO [stderr] warning: unused variable: `e2`
Dec 18 06:38:59.398 INFO [stderr]   --> src/main.rs:72:56
Dec 18 06:38:59.398 INFO [stderr]    |
Dec 18 06:38:59.398 INFO [stderr] 72 |                 TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.398 INFO [stderr]    |                                                                 ^^ help: consider using `_e2` instead
Dec 18 06:38:59.398 INFO [stderr] 
Dec 18 06:38:59.398 INFO [stderr] warning: unused variable: `e`
Dec 18 06:38:59.398 INFO [stderr]   --> src/main.rs:73:37
Dec 18 06:38:59.398 INFO [stderr]    |
Dec 18 06:38:59.398 INFO [stderr] 73 |                 TypedTerm::T_NOT{ty: t, exp: e} => t,
Dec 18 06:38:59.398 INFO [stderr]    |                                              ^ help: consider using `_e` instead
Dec 18 06:38:59.398 INFO [stderr] 
Dec 18 06:38:59.398 INFO [stderr] warning: unused variable: `e1`
Dec 18 06:38:59.398 INFO [stderr]   --> src/main.rs:74:38
Dec 18 06:38:59.398 INFO [stderr]    |
Dec 18 06:38:59.398 INFO [stderr] 74 |                 TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.398 INFO [stderr]    |                                               ^^ help: consider using `_e1` instead
Dec 18 06:38:59.398 INFO [stderr] 
Dec 18 06:38:59.398 INFO [stderr] warning: unused variable: `e2`
Dec 18 06:38:59.398 INFO [stderr]   --> src/main.rs:74:48
Dec 18 06:38:59.398 INFO [stderr]    |
Dec 18 06:38:59.398 INFO [stderr] 74 |                 TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.398 INFO [stderr]    |                                                         ^^ help: consider using `_e2` instead
Dec 18 06:38:59.398 INFO [stderr] 
Dec 18 06:38:59.398 INFO [stderr] warning: unused variable: `e1`
Dec 18 06:38:59.398 INFO [stderr]   --> src/main.rs:75:37
Dec 18 06:38:59.398 INFO [stderr]    |
Dec 18 06:38:59.400 INFO [stderr] 75 |                 TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.400 INFO [stderr]    |                                              ^^ help: consider using `_e1` instead
Dec 18 06:38:59.400 INFO [stderr] 
Dec 18 06:38:59.400 INFO [stderr] warning: unused variable: `e2`
Dec 18 06:38:59.400 INFO [stderr]   --> src/main.rs:75:47
Dec 18 06:38:59.400 INFO [stderr]    |
Dec 18 06:38:59.400 INFO [stderr] 75 |                 TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.400 INFO [stderr]    |                                                        ^^ help: consider using `_e2` instead
Dec 18 06:38:59.400 INFO [stderr] 
Dec 18 06:38:59.400 INFO [stderr] warning: unused variable: `e1`
Dec 18 06:38:59.400 INFO [stderr]   --> src/main.rs:76:38
Dec 18 06:38:59.400 INFO [stderr]    |
Dec 18 06:38:59.400 INFO [stderr] 76 |                 TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.400 INFO [stderr]    |                                               ^^ help: consider using `_e1` instead
Dec 18 06:38:59.400 INFO [stderr] 
Dec 18 06:38:59.400 INFO [stderr] warning: unused variable: `e2`
Dec 18 06:38:59.400 INFO [stderr]   --> src/main.rs:76:48
Dec 18 06:38:59.400 INFO [stderr]    |
Dec 18 06:38:59.400 INFO [stderr] 76 |                 TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.400 INFO [stderr]    |                                                         ^^ help: consider using `_e2` instead
Dec 18 06:38:59.401 INFO [stderr] 
Dec 18 06:38:59.401 INFO [stderr] warning: unused variable: `e1`
Dec 18 06:38:59.401 INFO [stderr]   --> src/main.rs:77:37
Dec 18 06:38:59.401 INFO [stderr]    |
Dec 18 06:38:59.401 INFO [stderr] 77 |                 TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.401 INFO [stderr]    |                                              ^^ help: consider using `_e1` instead
Dec 18 06:38:59.401 INFO [stderr] 
Dec 18 06:38:59.401 INFO [stderr] warning: unused variable: `e2`
Dec 18 06:38:59.401 INFO [stderr]   --> src/main.rs:77:47
Dec 18 06:38:59.401 INFO [stderr]    |
Dec 18 06:38:59.401 INFO [stderr] 77 |                 TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => t,
Dec 18 06:38:59.401 INFO [stderr]    |                                                        ^^ help: consider using `_e2` instead
Dec 18 06:38:59.401 INFO [stderr] 
Dec 18 06:38:59.401 INFO [stderr] warning: unused variable: `e1`
Dec 18 06:38:59.401 INFO [stderr]   --> src/main.rs:78:37
Dec 18 06:38:59.401 INFO [stderr]    |
Dec 18 06:38:59.401 INFO [stderr] 78 |                 TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t,
Dec 18 06:38:59.401 INFO [stderr]    |                                              ^^ help: consider using `_e1` instead
Dec 18 06:38:59.401 INFO [stderr] 
Dec 18 06:38:59.401 INFO [stderr] warning: unused variable: `e2`
Dec 18 06:38:59.401 INFO [stderr]   --> src/main.rs:78:47
Dec 18 06:38:59.401 INFO [stderr]    |
Dec 18 06:38:59.401 INFO [stderr] 78 |                 TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t,
Dec 18 06:38:59.401 INFO [stderr]    |                                                        ^^ help: consider using `_e2` instead
Dec 18 06:38:59.401 INFO [stderr] 
Dec 18 06:38:59.401 INFO [stderr] warning: unused variable: `e3`
Dec 18 06:38:59.401 INFO [stderr]   --> src/main.rs:78:57
Dec 18 06:38:59.401 INFO [stderr]    |
Dec 18 06:38:59.401 INFO [stderr] 78 |                 TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t,
Dec 18 06:38:59.401 INFO [stderr]    |                                                                  ^^ help: consider using `_e3` instead
Dec 18 06:38:59.401 INFO [stderr] 
Dec 18 06:38:59.401 INFO [stderr] warning: unused variable: `e1`
Dec 18 06:38:59.401 INFO [stderr]   --> src/main.rs:79:38
Dec 18 06:38:59.401 INFO [stderr]    |
Dec 18 06:38:59.401 INFO [stderr] 79 |                 TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t,
Dec 18 06:38:59.401 INFO [stderr]    |                                               ^^ help: consider using `_e1` instead
Dec 18 06:38:59.401 INFO [stderr] 
Dec 18 06:38:59.401 INFO [stderr] warning: unused variable: `e2`
Dec 18 06:38:59.401 INFO [stderr]   --> src/main.rs:79:48
Dec 18 06:38:59.401 INFO [stderr]    |
Dec 18 06:38:59.401 INFO [stderr] 79 |                 TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t,
Dec 18 06:38:59.401 INFO [stderr]    |                                                         ^^ help: consider using `_e2` instead
Dec 18 06:38:59.401 INFO [stderr] 
Dec 18 06:38:59.401 INFO [stderr] warning: unused variable: `e3`
Dec 18 06:38:59.401 INFO [stderr]   --> src/main.rs:79:58
Dec 18 06:38:59.401 INFO [stderr]    |
Dec 18 06:38:59.401 INFO [stderr] 79 |                 TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t,
Dec 18 06:38:59.401 INFO [stderr]    |                                                                   ^^ help: consider using `_e3` instead
Dec 18 06:38:59.401 INFO [stderr] 
Dec 18 06:38:59.401 INFO [stderr] warning: variable does not need to be mutable
Dec 18 06:38:59.401 INFO [stderr]    --> src/main.rs:613:6
Dec 18 06:38:59.401 INFO [stderr]     |
Dec 18 06:38:59.401 INFO [stderr] 613 |     let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.401 INFO [stderr]     |         ----^^^^
Dec 18 06:38:59.401 INFO [stderr]     |         |
Dec 18 06:38:59.401 INFO [stderr]     |         help: remove this `mut`
Dec 18 06:38:59.401 INFO [stderr]     |
Dec 18 06:38:59.401 INFO [stderr]     = note: #[warn(unused_mut)] on by default
Dec 18 06:38:59.401 INFO [stderr] 
Dec 18 06:38:59.452 INFO [stderr] warning: variable does not need to be mutable
Dec 18 06:38:59.452 INFO [stderr]    --> src/main.rs:334:8
Dec 18 06:38:59.452 INFO [stderr]     |
Dec 18 06:38:59.452 INFO [stderr] 334 |             let mut updateConstraints = solutionOne.applyToSet(&mut vec1);
Dec 18 06:38:59.452 INFO [stderr]     |                 ----^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.452 INFO [stderr]     |                 |
Dec 18 06:38:59.452 INFO [stderr]     |                 help: remove this `mut`
Dec 18 06:38:59.452 INFO [stderr] 
Dec 18 06:38:59.452 INFO [stderr] warning: variable does not need to be mutable
Dec 18 06:38:59.452 INFO [stderr]    --> src/main.rs:398:7
Dec 18 06:38:59.452 INFO [stderr]     |
Dec 18 06:38:59.452 INFO [stderr] 398 |         let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.453 INFO [stderr]     |             ----^^^^
Dec 18 06:38:59.453 INFO [stderr]     |             |
Dec 18 06:38:59.453 INFO [stderr]     |             help: remove this `mut`
Dec 18 06:38:59.453 INFO [stderr] 
Dec 18 06:38:59.460 INFO [stderr] warning: variable does not need to be mutable
Dec 18 06:38:59.460 INFO [stderr]    --> src/main.rs:523:7
Dec 18 06:38:59.460 INFO [stderr]     |
Dec 18 06:38:59.460 INFO [stderr] 523 |         let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.460 INFO [stderr]     |             ----^^^^
Dec 18 06:38:59.460 INFO [stderr]     |             |
Dec 18 06:38:59.460 INFO [stderr]     |             help: remove this `mut`
Dec 18 06:38:59.460 INFO [stderr] 
Dec 18 06:38:59.470 INFO [stderr] warning: structure field `ParamTy` should have a snake case name such as `param_ty`
Dec 18 06:38:59.470 INFO [stderr]   --> src/main.rs:33:9
Dec 18 06:38:59.470 INFO [stderr]    |
Dec 18 06:38:59.470 INFO [stderr] 33 |         TyFun{ParamTy: Box<Type>, ReturnTy: Box<Type>}
Dec 18 06:38:59.470 INFO [stderr]    |               ^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.470 INFO [stderr]    |
Dec 18 06:38:59.470 INFO [stderr]    = note: #[warn(non_snake_case)] on by default
Dec 18 06:38:59.470 INFO [stderr] 
Dec 18 06:38:59.472 INFO [stderr] warning: structure field `ReturnTy` should have a snake case name such as `return_ty`
Dec 18 06:38:59.472 INFO [stderr]   --> src/main.rs:33:29
Dec 18 06:38:59.472 INFO [stderr]    |
Dec 18 06:38:59.472 INFO [stderr] 33 |         TyFun{ParamTy: Box<Type>, ReturnTy: Box<Type>}
Dec 18 06:38:59.472 INFO [stderr]    |                                   ^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.472 INFO [stderr] 
Dec 18 06:38:59.472 INFO [stderr] warning: function `freshVar` should have a snake case name such as `fresh_var`
Dec 18 06:38:59.472 INFO [stderr]   --> src/main.rs:37:2
Dec 18 06:38:59.472 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr] 37 |       fn freshVar(v: &mut u32) -> Type {
Dec 18 06:38:59.473 INFO [stderr]    |  _____^
Dec 18 06:38:59.473 INFO [stderr] 38 | |         *v+=1;
Dec 18 06:38:59.473 INFO [stderr] 39 | |         Type::TyVar{num: *v}
Dec 18 06:38:59.473 INFO [stderr] 40 | |     } 
Dec 18 06:38:59.473 INFO [stderr]    | |_____^
Dec 18 06:38:59.473 INFO [stderr] 
Dec 18 06:38:59.473 INFO [stderr] warning: variant `T_INT` should have a camel case name such as `TInt`
Dec 18 06:38:59.473 INFO [stderr]   --> src/main.rs:46:3
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr] 46 |         T_INT{ty: Type, value: u32},
Dec 18 06:38:59.473 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr]    = note: #[warn(non_camel_case_types)] on by default
Dec 18 06:38:59.473 INFO [stderr] 
Dec 18 06:38:59.473 INFO [stderr] warning: variant `T_BOOL` should have a camel case name such as `TBool`
Dec 18 06:38:59.473 INFO [stderr]   --> src/main.rs:47:6
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr] 47 |         T_BOOL{ty: Type, value: bool},
Dec 18 06:38:59.473 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.473 INFO [stderr] 
Dec 18 06:38:59.473 INFO [stderr] warning: variant `T_VAR` should have a camel case name such as `TVar`
Dec 18 06:38:59.473 INFO [stderr]   --> src/main.rs:48:6
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr] 48 |         T_VAR{ty: Type, name: char},
Dec 18 06:38:59.473 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.473 INFO [stderr] 
Dec 18 06:38:59.473 INFO [stderr] warning: variant `T_FUN` should have a camel case name such as `TFun`
Dec 18 06:38:59.473 INFO [stderr]   --> src/main.rs:49:6
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr] 49 |         T_FUN{ty: Type, param: Box<TypedTerm>, body: Box<TypedTerm>},
Dec 18 06:38:59.473 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.473 INFO [stderr] 
Dec 18 06:38:59.473 INFO [stderr] warning: variant `T_Closure` should have a camel case name such as `TClosure`
Dec 18 06:38:59.473 INFO [stderr]   --> src/main.rs:50:6
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr] 50 |         T_Closure{fun: Box<TypedTerm>, env: InterpEnv},
Dec 18 06:38:59.473 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.473 INFO [stderr] 
Dec 18 06:38:59.473 INFO [stderr] warning: variant `T_APP` should have a camel case name such as `TApp`
Dec 18 06:38:59.473 INFO [stderr]   --> src/main.rs:51:6
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr] 51 |         T_APP{ty: Type, fun: Box<TypedTerm>, arg: Box<TypedTerm>},
Dec 18 06:38:59.473 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.473 INFO [stderr] 
Dec 18 06:38:59.473 INFO [stderr] warning: variant `T_CALC` should have a camel case name such as `TCalc`
Dec 18 06:38:59.473 INFO [stderr]   --> src/main.rs:52:6
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr] 52 |         T_CALC{ty: Type, op: char, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 18 06:38:59.473 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.473 INFO [stderr] 
Dec 18 06:38:59.473 INFO [stderr] warning: variant `T_NOT` should have a camel case name such as `TNot`
Dec 18 06:38:59.473 INFO [stderr]   --> src/main.rs:53:6
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr] 53 |         T_NOT{ty: Type, exp: Box<TypedTerm>},
Dec 18 06:38:59.473 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.473 INFO [stderr] 
Dec 18 06:38:59.473 INFO [stderr] warning: variant `T_AND` should have a camel case name such as `TAnd`
Dec 18 06:38:59.473 INFO [stderr]   --> src/main.rs:54:6
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr] 54 |         T_AND{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 18 06:38:59.473 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.473 INFO [stderr] 
Dec 18 06:38:59.473 INFO [stderr] warning: variant `T_OR` should have a camel case name such as `TOr`
Dec 18 06:38:59.473 INFO [stderr]   --> src/main.rs:55:6
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr] 55 |         T_OR{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 18 06:38:59.473 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.473 INFO [stderr] 
Dec 18 06:38:59.473 INFO [stderr] warning: variant `T_EQU` should have a camel case name such as `TEqu`
Dec 18 06:38:59.473 INFO [stderr]   --> src/main.rs:56:6
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr] 56 |         T_EQU{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 18 06:38:59.473 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.473 INFO [stderr] 
Dec 18 06:38:59.473 INFO [stderr] warning: variant `T_LT` should have a camel case name such as `TLt`
Dec 18 06:38:59.473 INFO [stderr]   --> src/main.rs:57:6
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr] 57 |         T_LT{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
Dec 18 06:38:59.473 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.473 INFO [stderr] 
Dec 18 06:38:59.473 INFO [stderr] warning: variant `T_IF` should have a camel case name such as `TIf`
Dec 18 06:38:59.473 INFO [stderr]   --> src/main.rs:58:6
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.473 INFO [stderr] 58 |         T_IF{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>, exp3: Box<TypedTerm>},
Dec 18 06:38:59.473 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.473 INFO [stderr] 
Dec 18 06:38:59.473 INFO [stderr] warning: variant `T_LET` should have a camel case name such as `TLet`
Dec 18 06:38:59.473 INFO [stderr]   --> src/main.rs:59:6
Dec 18 06:38:59.473 INFO [stderr]    |
Dec 18 06:38:59.474 INFO [stderr] 59 |         T_LET{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>, exp3: Box<TypedTerm>}
Dec 18 06:38:59.474 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.474 INFO [stderr] 
Dec 18 06:38:59.474 INFO [stderr] warning: method `getType` should have a snake case name such as `get_type`
Dec 18 06:38:59.474 INFO [stderr]   --> src/main.rs:65:3
Dec 18 06:38:59.474 INFO [stderr]    |
Dec 18 06:38:59.474 INFO [stderr] 65 |           fn getType(self) -> Type {
Dec 18 06:38:59.474 INFO [stderr]    |  _________^
Dec 18 06:38:59.474 INFO [stderr] 66 | |             match self {
Dec 18 06:38:59.474 INFO [stderr] 67 | |                 TypedTerm::T_INT{ty: t, value: v} => t,
Dec 18 06:38:59.474 INFO [stderr] 68 | |                 TypedTerm::T_BOOL{ty: t, value: v} => t,
Dec 18 06:38:59.474 INFO [stderr] ...  |
Dec 18 06:38:59.474 INFO [stderr] 81 | |             }
Dec 18 06:38:59.474 INFO [stderr] 82 | |         }
Dec 18 06:38:59.474 INFO [stderr]    | |_________^
Dec 18 06:38:59.474 INFO [stderr] 
Dec 18 06:38:59.477 INFO [stderr] warning: structure field `Env` should have a snake case name such as `env`
Dec 18 06:38:59.477 INFO [stderr]   --> src/main.rs:88:3
Dec 18 06:38:59.477 INFO [stderr]    |
Dec 18 06:38:59.477 INFO [stderr] 88 |         Env: HashMap<char,Type>
Dec 18 06:38:59.477 INFO [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.477 INFO [stderr] 
Dec 18 06:38:59.477 INFO [stderr] warning: variable `varNum` should have a snake case name such as `var_num`
Dec 18 06:38:59.477 INFO [stderr]    --> src/main.rs:107:52
Dec 18 06:38:59.477 INFO [stderr]     |
Dec 18 06:38:59.477 INFO [stderr] 107 |     fn annotate(term: UntypedTerm, mut tenv: TypeEnv, varNum: &mut u32) -> TypedTerm {
Dec 18 06:38:59.477 INFO [stderr]     |                                                       ^^^^^^
Dec 18 06:38:59.477 INFO [stderr] 
Dec 18 06:38:59.477 INFO [stderr] warning: variable `paramTy` should have a snake case name such as `param_ty`
Dec 18 06:38:59.477 INFO [stderr]    --> src/main.rs:113:9
Dec 18 06:38:59.477 INFO [stderr]     |
Dec 18 06:38:59.477 INFO [stderr] 113 |                 let paramTy = freshVar(varNum);
Dec 18 06:38:59.477 INFO [stderr]     |                     ^^^^^^^
Dec 18 06:38:59.477 INFO [stderr] 
Dec 18 06:38:59.477 INFO [stderr] warning: variable `paramTy1` should have a snake case name such as `param_ty1`
Dec 18 06:38:59.477 INFO [stderr]    --> src/main.rs:114:9
Dec 18 06:38:59.477 INFO [stderr]     |
Dec 18 06:38:59.477 INFO [stderr] 114 |                 let paramTy1 = paramTy.clone();
Dec 18 06:38:59.477 INFO [stderr]     |                     ^^^^^^^^
Dec 18 06:38:59.477 INFO [stderr] 
Dec 18 06:38:59.477 INFO [stderr] warning: variable `paramBinder` should have a snake case name such as `param_binder`
Dec 18 06:38:59.477 INFO [stderr]    --> src/main.rs:116:9
Dec 18 06:38:59.477 INFO [stderr]     |
Dec 18 06:38:59.477 INFO [stderr] 116 |                 let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: p};                
Dec 18 06:38:59.477 INFO [stderr]     |                     ^^^^^^^^^^^
Dec 18 06:38:59.477 INFO [stderr] 
Dec 18 06:38:59.477 INFO [stderr] warning: variable `paramTy` should have a snake case name such as `param_ty`
Dec 18 06:38:59.477 INFO [stderr]    --> src/main.rs:134:12
Dec 18 06:38:59.477 INFO [stderr]     |
Dec 18 06:38:59.477 INFO [stderr] 134 |                 let paramTy = freshVar(varNum);
Dec 18 06:38:59.477 INFO [stderr]     |                     ^^^^^^^
Dec 18 06:38:59.477 INFO [stderr] 
Dec 18 06:38:59.477 INFO [stderr] warning: variable `paramTy1` should have a snake case name such as `param_ty1`
Dec 18 06:38:59.477 INFO [stderr]    --> src/main.rs:135:9
Dec 18 06:38:59.477 INFO [stderr]     |
Dec 18 06:38:59.477 INFO [stderr] 135 |                 let paramTy1 = paramTy.clone();
Dec 18 06:38:59.477 INFO [stderr]     |                     ^^^^^^^^
Dec 18 06:38:59.477 INFO [stderr] 
Dec 18 06:38:59.477 INFO [stderr] warning: variable `paramBinder` should have a snake case name such as `param_binder`
Dec 18 06:38:59.477 INFO [stderr]    --> src/main.rs:137:9
Dec 18 06:38:59.477 INFO [stderr]     |
Dec 18 06:38:59.477 INFO [stderr] 137 |                 let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: e1};
Dec 18 06:38:59.477 INFO [stderr]     |                     ^^^^^^^^^^^
Dec 18 06:38:59.477 INFO [stderr] 
Dec 18 06:38:59.477 INFO [stderr] warning: structure field `typeA` should have a snake case name such as `type_a`
Dec 18 06:38:59.477 INFO [stderr]    --> src/main.rs:149:3
Dec 18 06:38:59.477 INFO [stderr]     |
Dec 18 06:38:59.477 INFO [stderr] 149 |         typeA: Type,
Dec 18 06:38:59.477 INFO [stderr]     |         ^^^^^^^^^^^
Dec 18 06:38:59.477 INFO [stderr] 
Dec 18 06:38:59.477 INFO [stderr] warning: structure field `typeB` should have a snake case name such as `type_b`
Dec 18 06:38:59.477 INFO [stderr]    --> src/main.rs:150:3
Dec 18 06:38:59.477 INFO [stderr]     |
Dec 18 06:38:59.477 INFO [stderr] 150 |         typeB: Type
Dec 18 06:38:59.477 INFO [stderr]     |         ^^^^^^^^^^^
Dec 18 06:38:59.477 INFO [stderr] 
Dec 18 06:38:59.477 INFO [stderr] warning: method `fromPair` should have a snake case name such as `from_pair`
Dec 18 06:38:59.477 INFO [stderr]    --> src/main.rs:277:3
Dec 18 06:38:59.477 INFO [stderr]     |
Dec 18 06:38:59.477 INFO [stderr] 277 |           fn fromPair(tvar: u32, ty: Type) -> Substitution {
Dec 18 06:38:59.477 INFO [stderr]     |  _________^
Dec 18 06:38:59.477 INFO [stderr] 278 | |             let mut s1 = HashMap::new();
Dec 18 06:38:59.477 INFO [stderr] 279 | |             s1.insert(tvar, ty);
Dec 18 06:38:59.477 INFO [stderr] 280 | |             Substitution{solutions: s1}
Dec 18 06:38:59.477 INFO [stderr] 281 | |         }
Dec 18 06:38:59.477 INFO [stderr]     | |_________^
Dec 18 06:38:59.477 INFO [stderr] 
Dec 18 06:38:59.478 INFO [stderr] warning: method `applyToSet` should have a snake case name such as `apply_to_set`
Dec 18 06:38:59.478 INFO [stderr]    --> src/main.rs:284:3
Dec 18 06:38:59.478 INFO [stderr]     |
Dec 18 06:38:59.478 INFO [stderr] 284 |           fn applyToSet (&self,constraints: &mut Vec<Constraint>) -> Vec<Constraint> {
Dec 18 06:38:59.478 INFO [stderr]     |  _________^
Dec 18 06:38:59.478 INFO [stderr] 285 | |             for elem in constraints.iter_mut() {
Dec 18 06:38:59.478 INFO [stderr] 286 | |                 //traverse target constraint set and update each type in all elements. 
Dec 18 06:38:59.478 INFO [stderr] 287 | |                 *elem = Constraint{typeA: Self::applyOneType(&self, elem.typeA.clone()), typeB: Self::applyOneType(&self,elem.typeB.clone())}
Dec 18 06:38:59.478 INFO [stderr] 288 | |             }
Dec 18 06:38:59.478 INFO [stderr] 289 | |             constraints.clone()
Dec 18 06:38:59.478 INFO [stderr] 290 | |         }
Dec 18 06:38:59.478 INFO [stderr]     | |_________^
Dec 18 06:38:59.478 INFO [stderr] 
Dec 18 06:38:59.478 INFO [stderr] warning: method `applyOneType` should have a snake case name such as `apply_one_type`
Dec 18 06:38:59.478 INFO [stderr]    --> src/main.rs:293:3
Dec 18 06:38:59.478 INFO [stderr]     |
Dec 18 06:38:59.478 INFO [stderr] 293 |           fn applyOneType(&self, ty: Type) -> Type {
Dec 18 06:38:59.478 INFO [stderr]     |  _________^
Dec 18 06:38:59.478 INFO [stderr] 294 | |             match ty {
Dec 18 06:38:59.478 INFO [stderr] 295 | |                 Type::TyInt => ty,
Dec 18 06:38:59.478 INFO [stderr] 296 | |                 Type::TyBool => ty,
Dec 18 06:38:59.478 INFO [stderr] ...   |
Dec 18 06:38:59.478 INFO [stderr] 305 | |             }
Dec 18 06:38:59.478 INFO [stderr] 306 | |         }
Dec 18 06:38:59.478 INFO [stderr]     | |_________^
Dec 18 06:38:59.478 INFO [stderr] 
Dec 18 06:38:59.478 INFO [stderr] warning: variable `solutionType` should have a snake case name such as `solution_type`
Dec 18 06:38:59.478 INFO [stderr]    --> src/main.rs:311:8
Dec 18 06:38:59.478 INFO [stderr]     |
Dec 18 06:38:59.478 INFO [stderr] 311 |             for solutionType in self.solutions.values_mut() {
Dec 18 06:38:59.478 INFO [stderr]     |                 ^^^^^^^^^^^^
Dec 18 06:38:59.478 INFO [stderr] 
Dec 18 06:38:59.479 INFO [stderr] warning: variable `solutionOne` should have a snake case name such as `solution_one`
Dec 18 06:38:59.479 INFO [stderr]    --> src/main.rs:330:8
Dec 18 06:38:59.479 INFO [stderr]     |
Dec 18 06:38:59.479 INFO [stderr] 330 |             let mut solutionOne = unifyOne(constraints[0].clone());
Dec 18 06:38:59.479 INFO [stderr]     |                 ^^^^^^^^^^^^^^^
Dec 18 06:38:59.479 INFO [stderr] 
Dec 18 06:38:59.479 INFO [stderr] warning: variable `updateConstraints` should have a snake case name such as `update_constraints`
Dec 18 06:38:59.479 INFO [stderr]    --> src/main.rs:334:8
Dec 18 06:38:59.479 INFO [stderr]     |
Dec 18 06:38:59.479 INFO [stderr] 334 |             let mut updateConstraints = solutionOne.applyToSet(&mut vec1);
Dec 18 06:38:59.479 INFO [stderr]     |                 ^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.479 INFO [stderr] 
Dec 18 06:38:59.479 INFO [stderr] warning: variable `solutionRest` should have a snake case name such as `solution_rest`
Dec 18 06:38:59.479 INFO [stderr]    --> src/main.rs:336:8
Dec 18 06:38:59.479 INFO [stderr]     |
Dec 18 06:38:59.479 INFO [stderr] 336 |             let solutionRest = unify(updateConstraints);
Dec 18 06:38:59.479 INFO [stderr]     |                 ^^^^^^^^^^^^
Dec 18 06:38:59.479 INFO [stderr] 
Dec 18 06:38:59.479 INFO [stderr] warning: function `unifyOne` should have a snake case name such as `unify_one`
Dec 18 06:38:59.479 INFO [stderr]    --> src/main.rs:343:2
Dec 18 06:38:59.479 INFO [stderr]     |
Dec 18 06:38:59.479 INFO [stderr] 343 |       fn unifyOne(constraint: Constraint) -> Substitution {
Dec 18 06:38:59.479 INFO [stderr]     |  _____^
Dec 18 06:38:59.479 INFO [stderr] 344 | |         match (constraint.typeA, constraint.typeB) {
Dec 18 06:38:59.479 INFO [stderr] 345 | |             (Type::TyInt, Type:: TyInt) => Substitution{solutions: HashMap::new()},
Dec 18 06:38:59.479 INFO [stderr] 346 | |             (Type::TyBool, Type:: TyBool) => Substitution{solutions: HashMap::new()},
Dec 18 06:38:59.479 INFO [stderr] ...   |
Dec 18 06:38:59.479 INFO [stderr] 352 | |         }
Dec 18 06:38:59.479 INFO [stderr] 353 | |     }
Dec 18 06:38:59.479 INFO [stderr]     | |_____^
Dec 18 06:38:59.479 INFO [stderr] 
Dec 18 06:38:59.479 INFO [stderr] warning: function `unifyVar` should have a snake case name such as `unify_var`
Dec 18 06:38:59.479 INFO [stderr]    --> src/main.rs:356:2
Dec 18 06:38:59.479 INFO [stderr]     |
Dec 18 06:38:59.479 INFO [stderr] 356 |       fn unifyVar(tvar: u32, ty: Type) -> Substitution {
Dec 18 06:38:59.479 INFO [stderr]     |  _____^
Dec 18 06:38:59.479 INFO [stderr] 357 | |         match ty {
Dec 18 06:38:59.479 INFO [stderr] 358 | |             //do nothing if they are the same type variable
Dec 18 06:38:59.479 INFO [stderr] 359 | |             Type::TyVar{num: n} => {
Dec 18 06:38:59.479 INFO [stderr] ...   |
Dec 18 06:38:59.479 INFO [stderr] 383 | |         }
Dec 18 06:38:59.479 INFO [stderr] 384 | |     }
Dec 18 06:38:59.479 INFO [stderr]     | |_____^
Dec 18 06:38:59.479 INFO [stderr] 
Dec 18 06:38:59.479 INFO [stderr] warning: function `typeInference` should have a snake case name such as `type_inference`
Dec 18 06:38:59.479 INFO [stderr]    --> src/main.rs:397:2
Dec 18 06:38:59.479 INFO [stderr]     |
Dec 18 06:38:59.479 INFO [stderr] 397 |       fn typeInference(term: UntypedTerm) {
Dec 18 06:38:59.479 INFO [stderr]     |  _____^
Dec 18 06:38:59.479 INFO [stderr] 398 | |         let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.479 INFO [stderr] 399 | |         let TypedTerm = annotate(term, EnvT, &mut 0);
Dec 18 06:38:59.479 INFO [stderr] 400 | |         let Constraints = collect(TypedTerm.clone());
Dec 18 06:38:59.479 INFO [stderr] ...   |
Dec 18 06:38:59.479 INFO [stderr] 408 | |         println!(" ");
Dec 18 06:38:59.479 INFO [stderr] 409 | |     }
Dec 18 06:38:59.479 INFO [stderr]     | |_____^
Dec 18 06:38:59.479 INFO [stderr] 
Dec 18 06:38:59.479 INFO [stderr] warning: variable `EnvT` should have a snake case name such as `env_t`
Dec 18 06:38:59.479 INFO [stderr]    --> src/main.rs:398:7
Dec 18 06:38:59.479 INFO [stderr]     |
Dec 18 06:38:59.479 INFO [stderr] 398 |         let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.479 INFO [stderr]     |             ^^^^^^^^
Dec 18 06:38:59.479 INFO [stderr] 
Dec 18 06:38:59.479 INFO [stderr] warning: variable `TypedTerm` should have a snake case name such as `typed_term`
Dec 18 06:38:59.479 INFO [stderr]    --> src/main.rs:399:10
Dec 18 06:38:59.479 INFO [stderr]     |
Dec 18 06:38:59.479 INFO [stderr] 399 |         let TypedTerm = annotate(term, EnvT, &mut 0);
Dec 18 06:38:59.479 INFO [stderr]     |             ^^^^^^^^^
Dec 18 06:38:59.479 INFO [stderr] 
Dec 18 06:38:59.479 INFO [stderr] warning: variable `Constraints` should have a snake case name such as `constraints`
Dec 18 06:38:59.479 INFO [stderr]    --> src/main.rs:400:10
Dec 18 06:38:59.479 INFO [stderr]     |
Dec 18 06:38:59.479 INFO [stderr] 400 |         let Constraints = collect(TypedTerm.clone());
Dec 18 06:38:59.479 INFO [stderr]     |             ^^^^^^^^^^^
Dec 18 06:38:59.479 INFO [stderr] 
Dec 18 06:38:59.479 INFO [stderr] warning: structure field `Env` should have a snake case name such as `env`
Dec 18 06:38:59.479 INFO [stderr]    --> src/main.rs:415:3
Dec 18 06:38:59.479 INFO [stderr]     |
Dec 18 06:38:59.479 INFO [stderr] 415 |         Env: HashMap<char,TypedTerm>
Dec 18 06:38:59.479 INFO [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 18 06:38:59.480 INFO [stderr] 
Dec 18 06:38:59.480 INFO [stderr] warning: function `Interp` should have a snake case name such as `interp`
Dec 18 06:38:59.480 INFO [stderr]    --> src/main.rs:433:2
Dec 18 06:38:59.480 INFO [stderr]     |
Dec 18 06:38:59.480 INFO [stderr] 433 |       fn Interp(term: TypedTerm, env: &mut InterpEnv) -> TypedTerm {
Dec 18 06:38:59.480 INFO [stderr]     |  _____^
Dec 18 06:38:59.480 INFO [stderr] 434 | |         match term {
Dec 18 06:38:59.480 INFO [stderr] 435 | |             TypedTerm::T_INT{ty: t, value: v} => TypedTerm::T_INT{ty: t, value: v},
Dec 18 06:38:59.480 INFO [stderr] 436 | |             TypedTerm::T_BOOL{ty: t, value: v} => TypedTerm::T_BOOL{ty: t, value: v},
Dec 18 06:38:59.480 INFO [stderr] ...   |
Dec 18 06:38:59.480 INFO [stderr] 519 | |         }
Dec 18 06:38:59.480 INFO [stderr] 520 | |     }
Dec 18 06:38:59.480 INFO [stderr]     | |_____^
Dec 18 06:38:59.480 INFO [stderr] 
Dec 18 06:38:59.480 INFO [stderr] warning: variable `EnvNew` should have a snake case name such as `env_new`
Dec 18 06:38:59.480 INFO [stderr]    --> src/main.rs:443:15
Dec 18 06:38:59.480 INFO [stderr]     |
Dec 18 06:38:59.480 INFO [stderr] 443 |                 let mut EnvNew = InterpEnv{Env: HashMap::new()};
Dec 18 06:38:59.480 INFO [stderr]     |                     ^^^^^^^^^^
Dec 18 06:38:59.480 INFO [stderr] 
Dec 18 06:38:59.480 INFO [stderr] warning: variable `EnvNew` should have a snake case name such as `env_new`
Dec 18 06:38:59.480 INFO [stderr]    --> src/main.rs:508:15
Dec 18 06:38:59.480 INFO [stderr]     |
Dec 18 06:38:59.480 INFO [stderr] 508 |                 let mut EnvNew = InterpEnv{Env: HashMap::new()};
Dec 18 06:38:59.480 INFO [stderr]     |                     ^^^^^^^^^^
Dec 18 06:38:59.480 INFO [stderr] 
Dec 18 06:38:59.480 INFO [stderr] warning: function `InterpE` should have a snake case name such as `interp_e`
Dec 18 06:38:59.480 INFO [stderr]    --> src/main.rs:522:2
Dec 18 06:38:59.480 INFO [stderr]     |
Dec 18 06:38:59.480 INFO [stderr] 522 |       fn InterpE(term: UntypedTerm) {
Dec 18 06:38:59.480 INFO [stderr]     |  _____^
Dec 18 06:38:59.480 INFO [stderr] 523 | |         let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.480 INFO [stderr] 524 | |         let TypedTerm = annotate(term, EnvT, &mut 0);
Dec 18 06:38:59.480 INFO [stderr] 525 | |         let Constraints = collect(TypedTerm.clone());
Dec 18 06:38:59.480 INFO [stderr] ...   |
Dec 18 06:38:59.480 INFO [stderr] 530 | |         println!("{:?}",Interp(TypedTerm, &mut EnvI));
Dec 18 06:38:59.480 INFO [stderr] 531 | |     }
Dec 18 06:38:59.480 INFO [stderr]     | |_____^
Dec 18 06:38:59.480 INFO [stderr] 
Dec 18 06:38:59.480 INFO [stderr] warning: variable `EnvT` should have a snake case name such as `env_t`
Dec 18 06:38:59.480 INFO [stderr]    --> src/main.rs:523:7
Dec 18 06:38:59.480 INFO [stderr]     |
Dec 18 06:38:59.480 INFO [stderr] 523 |         let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.480 INFO [stderr]     |             ^^^^^^^^
Dec 18 06:38:59.480 INFO [stderr] 
Dec 18 06:38:59.480 INFO [stderr] warning: variable `TypedTerm` should have a snake case name such as `typed_term`
Dec 18 06:38:59.480 INFO [stderr]    --> src/main.rs:524:10
Dec 18 06:38:59.480 INFO [stderr]     |
Dec 18 06:38:59.480 INFO [stderr] 524 |         let TypedTerm = annotate(term, EnvT, &mut 0);
Dec 18 06:38:59.480 INFO [stderr]     |             ^^^^^^^^^
Dec 18 06:38:59.480 INFO [stderr] 
Dec 18 06:38:59.480 INFO [stderr] warning: variable `Constraints` should have a snake case name such as `constraints`
Dec 18 06:38:59.480 INFO [stderr]    --> src/main.rs:525:10
Dec 18 06:38:59.480 INFO [stderr]     |
Dec 18 06:38:59.480 INFO [stderr] 525 |         let Constraints = collect(TypedTerm.clone());
Dec 18 06:38:59.480 INFO [stderr]     |             ^^^^^^^^^^^
Dec 18 06:38:59.480 INFO [stderr] 
Dec 18 06:38:59.480 INFO [stderr] warning: variable `EnvI` should have a snake case name such as `env_i`
Dec 18 06:38:59.480 INFO [stderr]    --> src/main.rs:528:10
Dec 18 06:38:59.480 INFO [stderr]     |
Dec 18 06:38:59.480 INFO [stderr] 528 |         let mut EnvI = InterpEnv{Env: HashMap::new()};
Dec 18 06:38:59.480 INFO [stderr]     |             ^^^^^^^^
Dec 18 06:38:59.480 INFO [stderr] 
Dec 18 06:38:59.480 INFO [stderr] warning: function `Add` should have a snake case name such as `add`
Dec 18 06:38:59.480 INFO [stderr]    --> src/main.rs:534:2
Dec 18 06:38:59.480 INFO [stderr]     |
Dec 18 06:38:59.480 INFO [stderr] 534 |       fn Add(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.480 INFO [stderr]     |  _____^
Dec 18 06:38:59.480 INFO [stderr] 535 | |         match (a1,a2) {
Dec 18 06:38:59.480 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},
Dec 18 06:38:59.480 INFO [stderr] 537 | |             _ => panic!("undefined !")
Dec 18 06:38:59.480 INFO [stderr] 538 | |         }
Dec 18 06:38:59.480 INFO [stderr] 539 | |     }
Dec 18 06:38:59.480 INFO [stderr]     | |_____^
Dec 18 06:38:59.480 INFO [stderr] 
Dec 18 06:38:59.480 INFO [stderr] warning: function `Minus` should have a snake case name such as `minus`
Dec 18 06:38:59.480 INFO [stderr]    --> src/main.rs:541:2
Dec 18 06:38:59.480 INFO [stderr]     |
Dec 18 06:38:59.480 INFO [stderr] 541 |       fn Minus(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.480 INFO [stderr]     |  _____^
Dec 18 06:38:59.480 INFO [stderr] 542 | |         match (a1,a2) {
Dec 18 06:38:59.480 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},
Dec 18 06:38:59.480 INFO [stderr] 544 | |             _ => panic!("undefined !")
Dec 18 06:38:59.480 INFO [stderr] 545 | |         }
Dec 18 06:38:59.480 INFO [stderr] 546 | |     }
Dec 18 06:38:59.480 INFO [stderr]     | |_____^
Dec 18 06:38:59.480 INFO [stderr] 
Dec 18 06:38:59.480 INFO [stderr] warning: function `Mul` should have a snake case name such as `mul`
Dec 18 06:38:59.481 INFO [stderr]    --> src/main.rs:548:2
Dec 18 06:38:59.481 INFO [stderr]     |
Dec 18 06:38:59.481 INFO [stderr] 548 |       fn Mul(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.481 INFO [stderr]     |  _____^
Dec 18 06:38:59.481 INFO [stderr] 549 | |         match (a1,a2) {
Dec 18 06:38:59.481 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},
Dec 18 06:38:59.481 INFO [stderr] 551 | |             _ => panic!("undefined !")
Dec 18 06:38:59.481 INFO [stderr] 552 | |         }
Dec 18 06:38:59.481 INFO [stderr] 553 | |     }
Dec 18 06:38:59.481 INFO [stderr]     | |_____^
Dec 18 06:38:59.481 INFO [stderr] 
Dec 18 06:38:59.481 INFO [stderr] warning: function `Div` should have a snake case name such as `div`
Dec 18 06:38:59.481 INFO [stderr]    --> src/main.rs:555:2
Dec 18 06:38:59.481 INFO [stderr]     |
Dec 18 06:38:59.481 INFO [stderr] 555 |       fn Div(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.481 INFO [stderr]     |  _____^
Dec 18 06:38:59.481 INFO [stderr] 556 | |         match (a1,a2) {
Dec 18 06:38:59.481 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},
Dec 18 06:38:59.481 INFO [stderr] 558 | |             _ => panic!("undefined !")
Dec 18 06:38:59.481 INFO [stderr] 559 | |         }
Dec 18 06:38:59.481 INFO [stderr] 560 | |     }
Dec 18 06:38:59.481 INFO [stderr]     | |_____^
Dec 18 06:38:59.481 INFO [stderr] 
Dec 18 06:38:59.481 INFO [stderr] warning: function `Lt` should have a snake case name such as `lt`
Dec 18 06:38:59.481 INFO [stderr]    --> src/main.rs:562:2
Dec 18 06:38:59.481 INFO [stderr]     |
Dec 18 06:38:59.481 INFO [stderr] 562 |       fn Lt(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.481 INFO [stderr]     |  _____^
Dec 18 06:38:59.481 INFO [stderr] 563 | |         match (a1,a2) {
Dec 18 06:38:59.481 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},
Dec 18 06:38:59.481 INFO [stderr] 565 | |             _ => panic!("undefined !")
Dec 18 06:38:59.481 INFO [stderr] 566 | |         }
Dec 18 06:38:59.481 INFO [stderr] 567 | |     }
Dec 18 06:38:59.481 INFO [stderr]     | |_____^
Dec 18 06:38:59.481 INFO [stderr] 
Dec 18 06:38:59.481 INFO [stderr] warning: function `And` should have a snake case name such as `and`
Dec 18 06:38:59.481 INFO [stderr]    --> src/main.rs:570:2
Dec 18 06:38:59.481 INFO [stderr]     |
Dec 18 06:38:59.481 INFO [stderr] 570 |       fn And(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.481 INFO [stderr]     |  _____^
Dec 18 06:38:59.481 INFO [stderr] 571 | |         match (a1,a2) {
Dec 18 06:38:59.481 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},
Dec 18 06:38:59.481 INFO [stderr] 573 | |             _ => panic!("undefined !")
Dec 18 06:38:59.481 INFO [stderr] 574 | |         }
Dec 18 06:38:59.481 INFO [stderr] 575 | |     }
Dec 18 06:38:59.481 INFO [stderr]     | |_____^
Dec 18 06:38:59.481 INFO [stderr] 
Dec 18 06:38:59.481 INFO [stderr] warning: function `Or` should have a snake case name such as `or`
Dec 18 06:38:59.481 INFO [stderr]    --> src/main.rs:577:2
Dec 18 06:38:59.481 INFO [stderr]     |
Dec 18 06:38:59.481 INFO [stderr] 577 |       fn Or(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.481 INFO [stderr]     |  _____^
Dec 18 06:38:59.481 INFO [stderr] 578 | |         match (a1,a2) {
Dec 18 06:38:59.481 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},
Dec 18 06:38:59.481 INFO [stderr] 580 | |             _ => panic!("undefined !")
Dec 18 06:38:59.481 INFO [stderr] 581 | |         }
Dec 18 06:38:59.481 INFO [stderr] 582 | |     }
Dec 18 06:38:59.481 INFO [stderr]     | |_____^
Dec 18 06:38:59.481 INFO [stderr] 
Dec 18 06:38:59.481 INFO [stderr] warning: function `Equ` should have a snake case name such as `equ`
Dec 18 06:38:59.481 INFO [stderr]    --> src/main.rs:584:2
Dec 18 06:38:59.481 INFO [stderr]     |
Dec 18 06:38:59.481 INFO [stderr] 584 |       fn Equ(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
Dec 18 06:38:59.481 INFO [stderr]     |  _____^
Dec 18 06:38:59.481 INFO [stderr] 585 | |         match (a1,a2) {
Dec 18 06:38:59.481 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},
Dec 18 06:38:59.481 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},
Dec 18 06:38:59.481 INFO [stderr] 588 | |             _ => panic!("undefined !")
Dec 18 06:38:59.481 INFO [stderr] 589 | |         }
Dec 18 06:38:59.481 INFO [stderr] 590 | |     }
Dec 18 06:38:59.481 INFO [stderr]     | |_____^
Dec 18 06:38:59.481 INFO [stderr] 
Dec 18 06:38:59.481 INFO [stderr] warning: variable `EnvT` should have a snake case name such as `env_t`
Dec 18 06:38:59.481 INFO [stderr]    --> src/main.rs:613:6
Dec 18 06:38:59.481 INFO [stderr]     |
Dec 18 06:38:59.481 INFO [stderr] 613 |     let mut EnvT = TypeEnv{Env: HashMap::new()};
Dec 18 06:38:59.481 INFO [stderr]     |         ^^^^^^^^
Dec 18 06:38:59.481 INFO [stderr] 
Dec 18 06:38:59.502 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.74s
Dec 18 06:39:00.210 INFO running `"docker" "inspect" "9c1a80e251e5b0ee9f536b6a5d7f9a9086430f5383cf4200e24fb4f272699c19"`
Dec 18 06:39:00.398 INFO running `"docker" "rm" "-f" "9c1a80e251e5b0ee9f536b6a5d7f9a9086430f5383cf4200e24fb4f272699c19"`
Dec 18 06:39:00.593 INFO [stdout] 9c1a80e251e5b0ee9f536b6a5d7f9a9086430f5383cf4200e24fb4f272699c19