Nov 28 12:23:48.968 INFO checking MaXiaoye/CAS706_assignment3_Rust against master#0b9f19dff1347e29bf4362ab5a8fab84b43023b5 for pr-56074 Nov 28 12:23:48.968 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56074/worker-0/master#0b9f19dff1347e29bf4362ab5a8fab84b43023b5:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56074/master#0b9f19dff1347e29bf4362ab5a8fab84b43023b5:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +0b9f19dff1347e29bf4362ab5a8fab84b43023b5-alt check --frozen --all --all-targets" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Nov 28 12:23:49.426 INFO [stdout] 467dffad08255799b9b4cb3127cd25ee069f85a027622056f2a58e2f723921d2 Nov 28 12:23:49.428 INFO running `"docker" "start" "-a" "467dffad08255799b9b4cb3127cd25ee069f85a027622056f2a58e2f723921d2"` Nov 28 12:23:50.970 INFO [stderr] usermod: no changes Nov 28 12:23:51.028 INFO [stderr] warning: An explicit [[bin]] section is specified in Cargo.toml which currently Nov 28 12:23:51.028 INFO [stderr] disables Cargo from automatically inferring other binary targets. Nov 28 12:23:51.028 INFO [stderr] This inference behavior will change in the Rust 2018 edition and the following Nov 28 12:23:51.028 INFO [stderr] files will be included as a binary target: Nov 28 12:23:51.028 INFO [stderr] Nov 28 12:23:51.028 INFO [stderr] * /source/src/main.rs Nov 28 12:23:51.028 INFO [stderr] Nov 28 12:23:51.028 INFO [stderr] This is likely to break cargo build or cargo test as these files may not be Nov 28 12:23:51.029 INFO [stderr] ready to be compiled as a binary target today. You can future-proof yourself Nov 28 12:23:51.029 INFO [stderr] and disable this warning by adding `autobins = false` to your [package] Nov 28 12:23:51.029 INFO [stderr] section. You may also move the files to a location where Cargo would not Nov 28 12:23:51.029 INFO [stderr] automatically infer them to be a target, such as in subfolders. Nov 28 12:23:51.029 INFO [stderr] Nov 28 12:23:51.029 INFO [stderr] For more information on this warning you can consult Nov 28 12:23:51.029 INFO [stderr] https://github.com/rust-lang/cargo/issues/5330 Nov 28 12:23:51.029 INFO [stderr] warning: path `/source/src/main.rs` was erroneously implicitly accepted for binary `hello_world`, Nov 28 12:23:51.029 INFO [stderr] please set bin.path in Cargo.toml Nov 28 12:23:51.051 INFO [stderr] Checking assignmentThree_Rust v0.0.1 (/source) Nov 28 12:23:52.152 INFO [stderr] warning: unreachable pattern Nov 28 12:23:52.152 INFO [stderr] --> src/main.rs:141:4 Nov 28 12:23:52.152 INFO [stderr] | Nov 28 12:23:52.152 INFO [stderr] 141 | _ => panic!("undefined term!") Nov 28 12:23:52.152 INFO [stderr] | ^ Nov 28 12:23:52.152 INFO [stderr] | Nov 28 12:23:52.152 INFO [stderr] = note: #[warn(unreachable_patterns)] on by default Nov 28 12:23:52.152 INFO [stderr] Nov 28 12:23:52.153 INFO [stderr] warning: unreachable pattern Nov 28 12:23:52.153 INFO [stderr] --> src/main.rs:141:4 Nov 28 12:23:52.153 INFO [stderr] | Nov 28 12:23:52.153 INFO [stderr] 141 | _ => panic!("undefined term!") Nov 28 12:23:52.153 INFO [stderr] | ^ Nov 28 12:23:52.153 INFO [stderr] | Nov 28 12:23:52.153 INFO [stderr] = note: #[warn(unreachable_patterns)] on by default Nov 28 12:23:52.153 INFO [stderr] Nov 28 12:23:52.153 INFO [stderr] warning: unused variable: `a1` Nov 28 12:23:52.153 INFO [stderr] --> src/main.rs:600:6 Nov 28 12:23:52.155 INFO [stderr] | Nov 28 12:23:52.155 INFO [stderr] 600 | let a1 = UntypedTerm::APP{fun: Box::new(f1.clone()), arg: Box::new(i1.clone())}; Nov 28 12:23:52.155 INFO [stderr] | ^^ help: consider using `_a1` instead Nov 28 12:23:52.155 INFO [stderr] | Nov 28 12:23:52.155 INFO [stderr] = note: #[warn(unused_variables)] on by default Nov 28 12:23:52.155 INFO [stderr] Nov 28 12:23:52.155 INFO [stderr] warning: unused variable: `v` Nov 28 12:23:52.155 INFO [stderr] --> src/main.rs:156:35 Nov 28 12:23:52.155 INFO [stderr] | Nov 28 12:23:52.155 INFO [stderr] 156 | TypedTerm::T_INT{ty: t, value: v} => vec![Constraint{typeA: t, typeB: Type::TyInt}], Nov 28 12:23:52.155 INFO [stderr] | ^ help: consider using `_v` instead Nov 28 12:23:52.155 INFO [stderr] Nov 28 12:23:52.155 INFO [stderr] warning: unused variable: `v` Nov 28 12:23:52.156 INFO [stderr] --> src/main.rs:157:36 Nov 28 12:23:52.156 INFO [stderr] | Nov 28 12:23:52.156 INFO [stderr] 157 | TypedTerm::T_BOOL{ty: t, value: v} => vec![Constraint{typeA: t, typeB: Type::TyBool}], Nov 28 12:23:52.156 INFO [stderr] | ^ help: consider using `_v` instead Nov 28 12:23:52.156 INFO [stderr] Nov 28 12:23:52.156 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.156 INFO [stderr] --> src/main.rs:165:25 Nov 28 12:23:52.156 INFO [stderr] | Nov 28 12:23:52.156 INFO [stderr] 165 | TypedTerm::T_VAR{ty: t, name: n} => vec![], Nov 28 12:23:52.156 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.156 INFO [stderr] Nov 28 12:23:52.156 INFO [stderr] warning: unused variable: `n` Nov 28 12:23:52.156 INFO [stderr] --> src/main.rs:165:34 Nov 28 12:23:52.156 INFO [stderr] | Nov 28 12:23:52.156 INFO [stderr] 165 | TypedTerm::T_VAR{ty: t, name: n} => vec![], Nov 28 12:23:52.156 INFO [stderr] | ^ help: consider using `_n` instead Nov 28 12:23:52.156 INFO [stderr] Nov 28 12:23:52.156 INFO [stderr] warning: unused variable: `o` Nov 28 12:23:52.156 INFO [stderr] --> src/main.rs:175:33 Nov 28 12:23:52.157 INFO [stderr] | Nov 28 12:23:52.157 INFO [stderr] 175 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => { Nov 28 12:23:52.157 INFO [stderr] | ^ help: consider using `_o` instead Nov 28 12:23:52.157 INFO [stderr] Nov 28 12:23:52.157 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.157 INFO [stderr] --> src/main.rs:437:31 Nov 28 12:23:52.157 INFO [stderr] | Nov 28 12:23:52.157 INFO [stderr] 437 | TypedTerm::T_VAR{ty: t, name: n} => { Nov 28 12:23:52.157 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.157 INFO [stderr] Nov 28 12:23:52.157 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.157 INFO [stderr] --> src/main.rs:441:31 Nov 28 12:23:52.157 INFO [stderr] | Nov 28 12:23:52.157 INFO [stderr] 441 | TypedTerm::T_APP{ty: t, fun: f, arg: a} => { Nov 28 12:23:52.158 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.158 INFO [stderr] Nov 28 12:23:52.158 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.159 INFO [stderr] --> src/main.rs:447:34 Nov 28 12:23:52.159 INFO [stderr] | Nov 28 12:23:52.159 INFO [stderr] 447 | TypedTerm::T_FUN{ty: t1, param: p1, body: b1} => match *p1.clone() { Nov 28 12:23:52.159 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.159 INFO [stderr] Nov 28 12:23:52.159 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.159 INFO [stderr] --> src/main.rs:448:35 Nov 28 12:23:52.159 INFO [stderr] | Nov 28 12:23:52.159 INFO [stderr] 448 | TypedTerm::T_VAR{ty: t2, name: n1} => { Nov 28 12:23:52.159 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.162 INFO [stderr] warning: unused variable: `a1` Nov 28 12:23:52.162 INFO [stderr] --> src/main.rs:600:6 Nov 28 12:23:52.162 INFO [stderr] | Nov 28 12:23:52.162 INFO [stderr] 600 | let a1 = UntypedTerm::APP{fun: Box::new(f1.clone()), arg: Box::new(i1.clone())}; Nov 28 12:23:52.162 INFO [stderr] | ^^ help: consider using `_a1` instead Nov 28 12:23:52.162 INFO [stderr] | Nov 28 12:23:52.162 INFO [stderr] = note: #[warn(unused_variables)] on by default Nov 28 12:23:52.162 INFO [stderr] Nov 28 12:23:52.162 INFO [stderr] warning: unused variable: `v` Nov 28 12:23:52.162 INFO [stderr] --> src/main.rs:156:35 Nov 28 12:23:52.162 INFO [stderr] | Nov 28 12:23:52.162 INFO [stderr] 156 | TypedTerm::T_INT{ty: t, value: v} => vec![Constraint{typeA: t, typeB: Type::TyInt}], Nov 28 12:23:52.162 INFO [stderr] | ^ help: consider using `_v` instead Nov 28 12:23:52.162 INFO [stderr] Nov 28 12:23:52.162 INFO [stderr] warning: unused variable: `v` Nov 28 12:23:52.162 INFO [stderr] --> src/main.rs:157:36 Nov 28 12:23:52.163 INFO [stderr] | Nov 28 12:23:52.163 INFO [stderr] 157 | TypedTerm::T_BOOL{ty: t, value: v} => vec![Constraint{typeA: t, typeB: Type::TyBool}], Nov 28 12:23:52.163 INFO [stderr] | ^ help: consider using `_v` instead Nov 28 12:23:52.163 INFO [stderr] Nov 28 12:23:52.163 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.163 INFO [stderr] --> src/main.rs:165:25 Nov 28 12:23:52.163 INFO [stderr] | Nov 28 12:23:52.163 INFO [stderr] 165 | TypedTerm::T_VAR{ty: t, name: n} => vec![], Nov 28 12:23:52.163 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.163 INFO [stderr] Nov 28 12:23:52.163 INFO [stderr] warning: unused variable: `n` Nov 28 12:23:52.163 INFO [stderr] --> src/main.rs:165:34 Nov 28 12:23:52.163 INFO [stderr] | Nov 28 12:23:52.163 INFO [stderr] 165 | TypedTerm::T_VAR{ty: t, name: n} => vec![], Nov 28 12:23:52.163 INFO [stderr] | ^ help: consider using `_n` instead Nov 28 12:23:52.163 INFO [stderr] Nov 28 12:23:52.164 INFO [stderr] warning: unused variable: `o` Nov 28 12:23:52.164 INFO [stderr] --> src/main.rs:175:33 Nov 28 12:23:52.164 INFO [stderr] | Nov 28 12:23:52.164 INFO [stderr] 175 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => { Nov 28 12:23:52.164 INFO [stderr] | ^ help: consider using `_o` instead Nov 28 12:23:52.164 INFO [stderr] Nov 28 12:23:52.170 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.170 INFO [stderr] --> src/main.rs:437:31 Nov 28 12:23:52.170 INFO [stderr] | Nov 28 12:23:52.170 INFO [stderr] 437 | TypedTerm::T_VAR{ty: t, name: n} => { Nov 28 12:23:52.170 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.170 INFO [stderr] Nov 28 12:23:52.170 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.170 INFO [stderr] --> src/main.rs:441:31 Nov 28 12:23:52.170 INFO [stderr] | Nov 28 12:23:52.170 INFO [stderr] 441 | TypedTerm::T_APP{ty: t, fun: f, arg: a} => { Nov 28 12:23:52.170 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.170 INFO [stderr] Nov 28 12:23:52.170 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.170 INFO [stderr] --> src/main.rs:447:34 Nov 28 12:23:52.170 INFO [stderr] | Nov 28 12:23:52.170 INFO [stderr] 447 | TypedTerm::T_FUN{ty: t1, param: p1, body: b1} => match *p1.clone() { Nov 28 12:23:52.170 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.170 INFO [stderr] Nov 28 12:23:52.170 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.170 INFO [stderr] --> src/main.rs:448:35 Nov 28 12:23:52.171 INFO [stderr] | Nov 28 12:23:52.171 INFO [stderr] 448 | TypedTerm::T_VAR{ty: t2, name: n1} => { Nov 28 12:23:52.171 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.171 INFO [stderr] Nov 28 12:23:52.171 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.171 INFO [stderr] --> src/main.rs:459:32 Nov 28 12:23:52.171 INFO [stderr] | Nov 28 12:23:52.171 INFO [stderr] 459 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => { Nov 28 12:23:52.171 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.171 INFO [stderr] Nov 28 12:23:52.171 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.171 INFO [stderr] --> src/main.rs:470:31 Nov 28 12:23:52.171 INFO [stderr] | Nov 28 12:23:52.171 INFO [stderr] 470 | TypedTerm::T_NOT{ty: t, exp: e} => { Nov 28 12:23:52.171 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.171 INFO [stderr] Nov 28 12:23:52.171 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.171 INFO [stderr] --> src/main.rs:477:31 Nov 28 12:23:52.171 INFO [stderr] | Nov 28 12:23:52.171 INFO [stderr] 477 | TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => { Nov 28 12:23:52.171 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.171 INFO [stderr] Nov 28 12:23:52.171 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.172 INFO [stderr] --> src/main.rs:482:30 Nov 28 12:23:52.172 INFO [stderr] | Nov 28 12:23:52.172 INFO [stderr] 482 | TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => { Nov 28 12:23:52.172 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.172 INFO [stderr] Nov 28 12:23:52.172 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.172 INFO [stderr] --> src/main.rs:487:31 Nov 28 12:23:52.172 INFO [stderr] | Nov 28 12:23:52.172 INFO [stderr] 487 | TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => { Nov 28 12:23:52.172 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.172 INFO [stderr] Nov 28 12:23:52.172 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.172 INFO [stderr] --> src/main.rs:492:30 Nov 28 12:23:52.172 INFO [stderr] | Nov 28 12:23:52.172 INFO [stderr] 492 | TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => { Nov 28 12:23:52.172 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.172 INFO [stderr] Nov 28 12:23:52.172 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.172 INFO [stderr] --> src/main.rs:497:30 Nov 28 12:23:52.172 INFO [stderr] | Nov 28 12:23:52.172 INFO [stderr] 497 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => { Nov 28 12:23:52.173 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.173 INFO [stderr] Nov 28 12:23:52.173 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.173 INFO [stderr] --> src/main.rs:502:34 Nov 28 12:23:52.173 INFO [stderr] | Nov 28 12:23:52.173 INFO [stderr] 502 | TypedTerm::T_BOOL{ty: t1, value: v} => if v {v2} else {v3}, Nov 28 12:23:52.173 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.173 INFO [stderr] Nov 28 12:23:52.173 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.173 INFO [stderr] --> src/main.rs:506:31 Nov 28 12:23:52.173 INFO [stderr] | Nov 28 12:23:52.173 INFO [stderr] 506 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => { Nov 28 12:23:52.173 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.173 INFO [stderr] Nov 28 12:23:52.173 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.173 INFO [stderr] --> src/main.rs:511:33 Nov 28 12:23:52.173 INFO [stderr] | Nov 28 12:23:52.173 INFO [stderr] 511 | TypedTerm::T_VAR{ty: t, name: n} => { Nov 28 12:23:52.173 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.173 INFO [stderr] Nov 28 12:23:52.173 INFO [stderr] warning: unused variable: `solutions` Nov 28 12:23:52.173 INFO [stderr] --> src/main.rs:526:10 Nov 28 12:23:52.174 INFO [stderr] | Nov 28 12:23:52.174 INFO [stderr] 526 | let solutions = unify(Constraints); Nov 28 12:23:52.174 INFO [stderr] | ^^^^^^^^^ help: consider using `_solutions` instead Nov 28 12:23:52.174 INFO [stderr] Nov 28 12:23:52.174 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.174 INFO [stderr] --> src/main.rs:536:26 Nov 28 12:23:52.174 INFO [stderr] | Nov 28 12:23:52.174 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}, Nov 28 12:23:52.174 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.174 INFO [stderr] Nov 28 12:23:52.174 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.174 INFO [stderr] --> src/main.rs:536:63 Nov 28 12:23:52.174 INFO [stderr] | Nov 28 12:23:52.174 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}, Nov 28 12:23:52.174 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.174 INFO [stderr] Nov 28 12:23:52.174 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.174 INFO [stderr] --> src/main.rs:543:26 Nov 28 12:23:52.174 INFO [stderr] | Nov 28 12:23:52.174 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}, Nov 28 12:23:52.174 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.174 INFO [stderr] Nov 28 12:23:52.174 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.175 INFO [stderr] --> src/main.rs:543:63 Nov 28 12:23:52.175 INFO [stderr] | Nov 28 12:23:52.175 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}, Nov 28 12:23:52.175 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.175 INFO [stderr] Nov 28 12:23:52.175 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.175 INFO [stderr] --> src/main.rs:550:26 Nov 28 12:23:52.175 INFO [stderr] | Nov 28 12:23:52.175 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}, Nov 28 12:23:52.175 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.175 INFO [stderr] Nov 28 12:23:52.175 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.175 INFO [stderr] --> src/main.rs:550:63 Nov 28 12:23:52.175 INFO [stderr] | Nov 28 12:23:52.175 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}, Nov 28 12:23:52.175 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.175 INFO [stderr] Nov 28 12:23:52.175 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.175 INFO [stderr] --> src/main.rs:557:26 Nov 28 12:23:52.175 INFO [stderr] | Nov 28 12:23:52.175 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}, Nov 28 12:23:52.175 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.176 INFO [stderr] Nov 28 12:23:52.176 INFO [stderr] Nov 28 12:23:52.176 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.176 INFO [stderr] --> src/main.rs:557:63 Nov 28 12:23:52.176 INFO [stderr] | Nov 28 12:23:52.176 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}, Nov 28 12:23:52.176 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.176 INFO [stderr] Nov 28 12:23:52.176 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.176 INFO [stderr] --> src/main.rs:564:26 Nov 28 12:23:52.176 INFO [stderr] | Nov 28 12:23:52.176 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}, Nov 28 12:23:52.176 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.176 INFO [stderr] Nov 28 12:23:52.176 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.176 INFO [stderr] --> src/main.rs:564:63 Nov 28 12:23:52.176 INFO [stderr] | Nov 28 12:23:52.176 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}, Nov 28 12:23:52.176 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.176 INFO [stderr] Nov 28 12:23:52.176 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.176 INFO [stderr] --> src/main.rs:459:32 Nov 28 12:23:52.177 INFO [stderr] | Nov 28 12:23:52.177 INFO [stderr] 459 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => { Nov 28 12:23:52.177 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.177 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.177 INFO [stderr] --> src/main.rs:572:27 Nov 28 12:23:52.177 INFO [stderr] | Nov 28 12:23:52.177 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}, Nov 28 12:23:52.177 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.177 INFO [stderr] Nov 28 12:23:52.177 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.177 INFO [stderr] Nov 28 12:23:52.177 INFO [stderr] --> src/main.rs:572:65 Nov 28 12:23:52.177 INFO [stderr] | Nov 28 12:23:52.177 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}, Nov 28 12:23:52.177 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.177 INFO [stderr] Nov 28 12:23:52.177 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.177 INFO [stderr] --> src/main.rs:579:27 Nov 28 12:23:52.177 INFO [stderr] | Nov 28 12:23:52.177 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}, Nov 28 12:23:52.177 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.178 INFO [stderr] Nov 28 12:23:52.178 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.178 INFO [stderr] --> src/main.rs:470:31 Nov 28 12:23:52.178 INFO [stderr] | Nov 28 12:23:52.178 INFO [stderr] 470 | TypedTerm::T_NOT{ty: t, exp: e} => { Nov 28 12:23:52.178 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.178 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.178 INFO [stderr] --> src/main.rs:579:65 Nov 28 12:23:52.178 INFO [stderr] | Nov 28 12:23:52.178 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}, Nov 28 12:23:52.178 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.178 INFO [stderr] Nov 28 12:23:52.178 INFO [stderr] Nov 28 12:23:52.178 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.178 INFO [stderr] --> src/main.rs:586:27 Nov 28 12:23:52.178 INFO [stderr] | Nov 28 12:23:52.178 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}, Nov 28 12:23:52.178 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.178 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.178 INFO [stderr] --> src/main.rs:477:31 Nov 28 12:23:52.179 INFO [stderr] | Nov 28 12:23:52.179 INFO [stderr] 477 | TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => { Nov 28 12:23:52.179 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.179 INFO [stderr] Nov 28 12:23:52.179 INFO [stderr] Nov 28 12:23:52.179 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.179 INFO [stderr] --> src/main.rs:586:65 Nov 28 12:23:52.179 INFO [stderr] | Nov 28 12:23:52.179 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}, Nov 28 12:23:52.179 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.179 INFO [stderr] Nov 28 12:23:52.179 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.179 INFO [stderr] --> src/main.rs:587:26 Nov 28 12:23:52.179 INFO [stderr] | Nov 28 12:23:52.179 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}, Nov 28 12:23:52.179 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.179 INFO [stderr] Nov 28 12:23:52.179 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.179 INFO [stderr] --> src/main.rs:482:30 Nov 28 12:23:52.179 INFO [stderr] | Nov 28 12:23:52.179 INFO [stderr] 482 | TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => { Nov 28 12:23:52.180 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.180 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.180 INFO [stderr] --> src/main.rs:587:63 Nov 28 12:23:52.180 INFO [stderr] | Nov 28 12:23:52.180 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}, Nov 28 12:23:52.180 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.180 INFO [stderr] Nov 28 12:23:52.184 INFO [stderr] Nov 28 12:23:52.184 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.184 INFO [stderr] --> src/main.rs:487:31 Nov 28 12:23:52.184 INFO [stderr] | Nov 28 12:23:52.184 INFO [stderr] 487 | TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => { Nov 28 12:23:52.184 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.184 INFO [stderr] warning: unused variable: `v` Nov 28 12:23:52.184 INFO [stderr] --> src/main.rs:67:36 Nov 28 12:23:52.184 INFO [stderr] | Nov 28 12:23:52.184 INFO [stderr] 67 | TypedTerm::T_INT{ty: t, value: v} => t, Nov 28 12:23:52.184 INFO [stderr] | ^ help: consider using `_v` instead Nov 28 12:23:52.185 INFO [stderr] Nov 28 12:23:52.185 INFO [stderr] Nov 28 12:23:52.185 INFO [stderr] warning: unused variable: `v` Nov 28 12:23:52.185 INFO [stderr] --> src/main.rs:68:40 Nov 28 12:23:52.185 INFO [stderr] | Nov 28 12:23:52.185 INFO [stderr] 68 | TypedTerm::T_BOOL{ty: t, value: v} => t, Nov 28 12:23:52.185 INFO [stderr] | ^ help: consider using `_v` instead Nov 28 12:23:52.185 INFO [stderr] Nov 28 12:23:52.185 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.185 INFO [stderr] --> src/main.rs:492:30 Nov 28 12:23:52.185 INFO [stderr] | Nov 28 12:23:52.185 INFO [stderr] 492 | TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => { Nov 28 12:23:52.185 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.185 INFO [stderr] warning: unused variable: `n` Nov 28 12:23:52.185 INFO [stderr] --> src/main.rs:69:38 Nov 28 12:23:52.185 INFO [stderr] | Nov 28 12:23:52.185 INFO [stderr] 69 | TypedTerm::T_VAR{ty: t, name: n} => t, Nov 28 12:23:52.185 INFO [stderr] | ^ help: consider using `_n` instead Nov 28 12:23:52.185 INFO [stderr] Nov 28 12:23:52.185 INFO [stderr] Nov 28 12:23:52.186 INFO [stderr] warning: unused variable: `p` Nov 28 12:23:52.186 INFO [stderr] --> src/main.rs:70:39 Nov 28 12:23:52.186 INFO [stderr] | Nov 28 12:23:52.186 INFO [stderr] 70 | TypedTerm::T_FUN{ty: t, param: p, body: b} => t, Nov 28 12:23:52.186 INFO [stderr] | ^ help: consider using `_p` instead Nov 28 12:23:52.186 INFO [stderr] Nov 28 12:23:52.186 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.186 INFO [stderr] --> src/main.rs:497:30 Nov 28 12:23:52.186 INFO [stderr] | Nov 28 12:23:52.186 INFO [stderr] 497 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => { Nov 28 12:23:52.186 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.186 INFO [stderr] warning: unused variable: `b` Nov 28 12:23:52.186 INFO [stderr] --> src/main.rs:70:48 Nov 28 12:23:52.186 INFO [stderr] | Nov 28 12:23:52.186 INFO [stderr] 70 | TypedTerm::T_FUN{ty: t, param: p, body: b} => t, Nov 28 12:23:52.186 INFO [stderr] | ^ help: consider using `_b` instead Nov 28 12:23:52.186 INFO [stderr] Nov 28 12:23:52.186 INFO [stderr] warning: unused variable: `f` Nov 28 12:23:52.186 INFO [stderr] --> src/main.rs:71:37 Nov 28 12:23:52.186 INFO [stderr] | Nov 28 12:23:52.187 INFO [stderr] 71 | TypedTerm::T_APP{ty: t, fun: f, arg: a} => t, Nov 28 12:23:52.187 INFO [stderr] | ^ help: consider using `_f` instead Nov 28 12:23:52.187 INFO [stderr] Nov 28 12:23:52.187 INFO [stderr] Nov 28 12:23:52.187 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.187 INFO [stderr] warning: unused variable: `a` Nov 28 12:23:52.187 INFO [stderr] --> src/main.rs:502:34 Nov 28 12:23:52.187 INFO [stderr] --> src/main.rs:71:45 Nov 28 12:23:52.187 INFO [stderr] | Nov 28 12:23:52.187 INFO [stderr] | Nov 28 12:23:52.187 INFO [stderr] 502 | TypedTerm::T_BOOL{ty: t1, value: v} => if v {v2} else {v3}, Nov 28 12:23:52.187 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.187 INFO [stderr] 71 | TypedTerm::T_APP{ty: t, fun: f, arg: a} => t, Nov 28 12:23:52.187 INFO [stderr] | ^ help: consider using `_a` instead Nov 28 12:23:52.187 INFO [stderr] Nov 28 12:23:52.187 INFO [stderr] warning: unused variable: `o` Nov 28 12:23:52.187 INFO [stderr] --> src/main.rs:72:37 Nov 28 12:23:52.187 INFO [stderr] | Nov 28 12:23:52.187 INFO [stderr] 72 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.187 INFO [stderr] | ^ help: consider using `_o` instead Nov 28 12:23:52.187 INFO [stderr] Nov 28 12:23:52.188 INFO [stderr] Nov 28 12:23:52.188 INFO [stderr] warning: unused variable: `e1` Nov 28 12:23:52.188 INFO [stderr] --> src/main.rs:72:46 Nov 28 12:23:52.188 INFO [stderr] | Nov 28 12:23:52.188 INFO [stderr] 72 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.188 INFO [stderr] | ^^ help: consider using `_e1` instead Nov 28 12:23:52.188 INFO [stderr] Nov 28 12:23:52.188 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.188 INFO [stderr] --> src/main.rs:506:31 Nov 28 12:23:52.188 INFO [stderr] | Nov 28 12:23:52.188 INFO [stderr] 506 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => { Nov 28 12:23:52.188 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.188 INFO [stderr] Nov 28 12:23:52.188 INFO [stderr] warning: unused variable: `e2` Nov 28 12:23:52.188 INFO [stderr] --> src/main.rs:72:56 Nov 28 12:23:52.188 INFO [stderr] | Nov 28 12:23:52.188 INFO [stderr] 72 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.188 INFO [stderr] | ^^ help: consider using `_e2` instead Nov 28 12:23:52.188 INFO [stderr] Nov 28 12:23:52.188 INFO [stderr] warning: unused variable: `t` Nov 28 12:23:52.188 INFO [stderr] --> src/main.rs:511:33 Nov 28 12:23:52.188 INFO [stderr] | Nov 28 12:23:52.189 INFO [stderr] 511 | TypedTerm::T_VAR{ty: t, name: n} => { Nov 28 12:23:52.189 INFO [stderr] | ^ help: consider using `_t` instead Nov 28 12:23:52.189 INFO [stderr] warning: unused variable: `e` Nov 28 12:23:52.189 INFO [stderr] --> src/main.rs:73:37 Nov 28 12:23:52.189 INFO [stderr] | Nov 28 12:23:52.189 INFO [stderr] 73 | TypedTerm::T_NOT{ty: t, exp: e} => t, Nov 28 12:23:52.189 INFO [stderr] | ^ help: consider using `_e` instead Nov 28 12:23:52.189 INFO [stderr] Nov 28 12:23:52.189 INFO [stderr] warning: unused variable: `e1` Nov 28 12:23:52.189 INFO [stderr] --> src/main.rs:74:38 Nov 28 12:23:52.189 INFO [stderr] | Nov 28 12:23:52.189 INFO [stderr] 74 | TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.189 INFO [stderr] | ^^ help: consider using `_e1` instead Nov 28 12:23:52.189 INFO [stderr] Nov 28 12:23:52.189 INFO [stderr] warning: unused variable: `e2` Nov 28 12:23:52.189 INFO [stderr] Nov 28 12:23:52.189 INFO [stderr] --> src/main.rs:74:48 Nov 28 12:23:52.189 INFO [stderr] | Nov 28 12:23:52.189 INFO [stderr] 74 | TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.189 INFO [stderr] | ^^ help: consider using `_e2` instead Nov 28 12:23:52.189 INFO [stderr] Nov 28 12:23:52.189 INFO [stderr] warning: unused variable: `e1` Nov 28 12:23:52.190 INFO [stderr] --> src/main.rs:75:37 Nov 28 12:23:52.190 INFO [stderr] | Nov 28 12:23:52.190 INFO [stderr] 75 | TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.190 INFO [stderr] | ^^ help: consider using `_e1` instead Nov 28 12:23:52.190 INFO [stderr] Nov 28 12:23:52.190 INFO [stderr] warning: unused variable: `solutions` Nov 28 12:23:52.190 INFO [stderr] --> src/main.rs:526:10 Nov 28 12:23:52.190 INFO [stderr] | Nov 28 12:23:52.190 INFO [stderr] 526 | let solutions = unify(Constraints); Nov 28 12:23:52.190 INFO [stderr] | ^^^^^^^^^ help: consider using `_solutions` instead Nov 28 12:23:52.190 INFO [stderr] warning: unused variable: `e2` Nov 28 12:23:52.190 INFO [stderr] --> src/main.rs:75:47 Nov 28 12:23:52.190 INFO [stderr] | Nov 28 12:23:52.190 INFO [stderr] 75 | TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.190 INFO [stderr] | ^^ help: consider using `_e2` instead Nov 28 12:23:52.190 INFO [stderr] Nov 28 12:23:52.190 INFO [stderr] warning: unused variable: `e1` Nov 28 12:23:52.190 INFO [stderr] --> src/main.rs:76:38 Nov 28 12:23:52.190 INFO [stderr] | Nov 28 12:23:52.190 INFO [stderr] 76 | TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.190 INFO [stderr] | ^^ help: consider using `_e1` instead Nov 28 12:23:52.191 INFO [stderr] Nov 28 12:23:52.191 INFO [stderr] Nov 28 12:23:52.191 INFO [stderr] warning: unused variable: `e2` Nov 28 12:23:52.191 INFO [stderr] --> src/main.rs:76:48 Nov 28 12:23:52.191 INFO [stderr] | Nov 28 12:23:52.191 INFO [stderr] 76 | TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.191 INFO [stderr] | ^^ help: consider using `_e2` instead Nov 28 12:23:52.191 INFO [stderr] Nov 28 12:23:52.191 INFO [stderr] warning: unused variable: `e1` Nov 28 12:23:52.191 INFO [stderr] --> src/main.rs:77:37 Nov 28 12:23:52.191 INFO [stderr] | Nov 28 12:23:52.191 INFO [stderr] 77 | TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.191 INFO [stderr] | ^^ help: consider using `_e1` instead Nov 28 12:23:52.191 INFO [stderr] Nov 28 12:23:52.191 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.191 INFO [stderr] --> src/main.rs:536:26 Nov 28 12:23:52.191 INFO [stderr] | Nov 28 12:23:52.191 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}, Nov 28 12:23:52.191 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.191 INFO [stderr] Nov 28 12:23:52.191 INFO [stderr] warning: unused variable: `e2` Nov 28 12:23:52.192 INFO [stderr] --> src/main.rs:77:47 Nov 28 12:23:52.192 INFO [stderr] | Nov 28 12:23:52.192 INFO [stderr] 77 | TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.192 INFO [stderr] | ^^ help: consider using `_e2` instead Nov 28 12:23:52.192 INFO [stderr] Nov 28 12:23:52.192 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.192 INFO [stderr] --> src/main.rs:536:63 Nov 28 12:23:52.192 INFO [stderr] | Nov 28 12:23:52.192 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}, Nov 28 12:23:52.192 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.192 INFO [stderr] warning: unused variable: `e1` Nov 28 12:23:52.192 INFO [stderr] --> src/main.rs:78:37 Nov 28 12:23:52.192 INFO [stderr] | Nov 28 12:23:52.192 INFO [stderr] 78 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, Nov 28 12:23:52.192 INFO [stderr] | ^^ help: consider using `_e1` instead Nov 28 12:23:52.192 INFO [stderr] Nov 28 12:23:52.192 INFO [stderr] warning: unused variable: `e2` Nov 28 12:23:52.192 INFO [stderr] --> src/main.rs:78:47 Nov 28 12:23:52.192 INFO [stderr] | Nov 28 12:23:52.192 INFO [stderr] 78 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, Nov 28 12:23:52.192 INFO [stderr] | ^^ help: consider using `_e2` instead Nov 28 12:23:52.193 INFO [stderr] Nov 28 12:23:52.193 INFO [stderr] warning: unused variable: `e3` Nov 28 12:23:52.193 INFO [stderr] --> src/main.rs:78:57 Nov 28 12:23:52.193 INFO [stderr] | Nov 28 12:23:52.193 INFO [stderr] 78 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, Nov 28 12:23:52.193 INFO [stderr] | ^^ help: consider using `_e3` instead Nov 28 12:23:52.193 INFO [stderr] Nov 28 12:23:52.193 INFO [stderr] Nov 28 12:23:52.193 INFO [stderr] warning: unused variable: `e1` Nov 28 12:23:52.193 INFO [stderr] --> src/main.rs:79:38 Nov 28 12:23:52.193 INFO [stderr] | Nov 28 12:23:52.193 INFO [stderr] 79 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, Nov 28 12:23:52.193 INFO [stderr] | ^^ help: consider using `_e1` instead Nov 28 12:23:52.193 INFO [stderr] Nov 28 12:23:52.193 INFO [stderr] warning: unused variable: `e2` Nov 28 12:23:52.193 INFO [stderr] --> src/main.rs:79:48 Nov 28 12:23:52.193 INFO [stderr] | Nov 28 12:23:52.193 INFO [stderr] 79 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, Nov 28 12:23:52.193 INFO [stderr] | ^^ help: consider using `_e2` instead Nov 28 12:23:52.193 INFO [stderr] Nov 28 12:23:52.193 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.193 INFO [stderr] --> src/main.rs:543:26 Nov 28 12:23:52.194 INFO [stderr] | Nov 28 12:23:52.194 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}, Nov 28 12:23:52.194 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.194 INFO [stderr] Nov 28 12:23:52.194 INFO [stderr] warning: unused variable: `e3` Nov 28 12:23:52.194 INFO [stderr] --> src/main.rs:79:58 Nov 28 12:23:52.194 INFO [stderr] | Nov 28 12:23:52.194 INFO [stderr] 79 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, Nov 28 12:23:52.194 INFO [stderr] | ^^ help: consider using `_e3` instead Nov 28 12:23:52.194 INFO [stderr] Nov 28 12:23:52.194 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.194 INFO [stderr] --> src/main.rs:543:63 Nov 28 12:23:52.194 INFO [stderr] | Nov 28 12:23:52.194 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}, Nov 28 12:23:52.194 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.194 INFO [stderr] Nov 28 12:23:52.194 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.194 INFO [stderr] --> src/main.rs:550:26 Nov 28 12:23:52.194 INFO [stderr] | Nov 28 12:23:52.194 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}, Nov 28 12:23:52.194 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.194 INFO [stderr] Nov 28 12:23:52.194 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.195 INFO [stderr] --> src/main.rs:550:63 Nov 28 12:23:52.195 INFO [stderr] | Nov 28 12:23:52.195 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}, Nov 28 12:23:52.195 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.195 INFO [stderr] Nov 28 12:23:52.195 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.195 INFO [stderr] --> src/main.rs:557:26 Nov 28 12:23:52.195 INFO [stderr] | Nov 28 12:23:52.195 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}, Nov 28 12:23:52.195 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.195 INFO [stderr] Nov 28 12:23:52.195 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.195 INFO [stderr] --> src/main.rs:557:63 Nov 28 12:23:52.195 INFO [stderr] | Nov 28 12:23:52.195 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}, Nov 28 12:23:52.195 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.195 INFO [stderr] Nov 28 12:23:52.195 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.195 INFO [stderr] --> src/main.rs:564:26 Nov 28 12:23:52.195 INFO [stderr] | Nov 28 12:23:52.195 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}, Nov 28 12:23:52.195 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.196 INFO [stderr] Nov 28 12:23:52.196 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.196 INFO [stderr] --> src/main.rs:564:63 Nov 28 12:23:52.196 INFO [stderr] | Nov 28 12:23:52.196 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}, Nov 28 12:23:52.196 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.196 INFO [stderr] Nov 28 12:23:52.196 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.196 INFO [stderr] --> src/main.rs:572:27 Nov 28 12:23:52.196 INFO [stderr] | Nov 28 12:23:52.196 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}, Nov 28 12:23:52.196 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.196 INFO [stderr] Nov 28 12:23:52.196 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.196 INFO [stderr] --> src/main.rs:572:65 Nov 28 12:23:52.196 INFO [stderr] | Nov 28 12:23:52.196 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}, Nov 28 12:23:52.196 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.196 INFO [stderr] Nov 28 12:23:52.196 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.196 INFO [stderr] --> src/main.rs:579:27 Nov 28 12:23:52.197 INFO [stderr] | Nov 28 12:23:52.197 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}, Nov 28 12:23:52.197 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.197 INFO [stderr] Nov 28 12:23:52.197 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.197 INFO [stderr] --> src/main.rs:579:65 Nov 28 12:23:52.197 INFO [stderr] | Nov 28 12:23:52.197 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}, Nov 28 12:23:52.197 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.197 INFO [stderr] Nov 28 12:23:52.197 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.197 INFO [stderr] --> src/main.rs:586:27 Nov 28 12:23:52.197 INFO [stderr] | Nov 28 12:23:52.197 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}, Nov 28 12:23:52.197 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.197 INFO [stderr] Nov 28 12:23:52.197 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.197 INFO [stderr] --> src/main.rs:586:65 Nov 28 12:23:52.197 INFO [stderr] | Nov 28 12:23:52.197 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}, Nov 28 12:23:52.198 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.198 INFO [stderr] Nov 28 12:23:52.198 INFO [stderr] warning: unused variable: `t1` Nov 28 12:23:52.198 INFO [stderr] --> src/main.rs:587:26 Nov 28 12:23:52.198 INFO [stderr] | Nov 28 12:23:52.198 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}, Nov 28 12:23:52.198 INFO [stderr] | ^^ help: consider using `_t1` instead Nov 28 12:23:52.198 INFO [stderr] Nov 28 12:23:52.198 INFO [stderr] warning: unused variable: `t2` Nov 28 12:23:52.198 INFO [stderr] --> src/main.rs:587:63 Nov 28 12:23:52.198 INFO [stderr] | Nov 28 12:23:52.198 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}, Nov 28 12:23:52.198 INFO [stderr] | ^^ help: consider using `_t2` instead Nov 28 12:23:52.198 INFO [stderr] Nov 28 12:23:52.198 INFO [stderr] warning: unused variable: `v` Nov 28 12:23:52.198 INFO [stderr] --> src/main.rs:67:36 Nov 28 12:23:52.198 INFO [stderr] | Nov 28 12:23:52.198 INFO [stderr] 67 | TypedTerm::T_INT{ty: t, value: v} => t, Nov 28 12:23:52.198 INFO [stderr] | ^ help: consider using `_v` instead Nov 28 12:23:52.198 INFO [stderr] Nov 28 12:23:52.198 INFO [stderr] warning: unused variable: `v` Nov 28 12:23:52.199 INFO [stderr] --> src/main.rs:68:40 Nov 28 12:23:52.199 INFO [stderr] | Nov 28 12:23:52.199 INFO [stderr] 68 | TypedTerm::T_BOOL{ty: t, value: v} => t, Nov 28 12:23:52.199 INFO [stderr] | ^ help: consider using `_v` instead Nov 28 12:23:52.199 INFO [stderr] Nov 28 12:23:52.199 INFO [stderr] warning: unused variable: `n` Nov 28 12:23:52.199 INFO [stderr] --> src/main.rs:69:38 Nov 28 12:23:52.199 INFO [stderr] | Nov 28 12:23:52.199 INFO [stderr] 69 | TypedTerm::T_VAR{ty: t, name: n} => t, Nov 28 12:23:52.199 INFO [stderr] | ^ help: consider using `_n` instead Nov 28 12:23:52.199 INFO [stderr] Nov 28 12:23:52.199 INFO [stderr] warning: unused variable: `p` Nov 28 12:23:52.199 INFO [stderr] --> src/main.rs:70:39 Nov 28 12:23:52.199 INFO [stderr] | Nov 28 12:23:52.199 INFO [stderr] 70 | TypedTerm::T_FUN{ty: t, param: p, body: b} => t, Nov 28 12:23:52.199 INFO [stderr] | ^ help: consider using `_p` instead Nov 28 12:23:52.199 INFO [stderr] Nov 28 12:23:52.199 INFO [stderr] warning: unused variable: `b` Nov 28 12:23:52.199 INFO [stderr] --> src/main.rs:70:48 Nov 28 12:23:52.199 INFO [stderr] | Nov 28 12:23:52.199 INFO [stderr] 70 | TypedTerm::T_FUN{ty: t, param: p, body: b} => t, Nov 28 12:23:52.200 INFO [stderr] | ^ help: consider using `_b` instead Nov 28 12:23:52.200 INFO [stderr] Nov 28 12:23:52.200 INFO [stderr] warning: unused variable: `f` Nov 28 12:23:52.200 INFO [stderr] --> src/main.rs:71:37 Nov 28 12:23:52.200 INFO [stderr] | Nov 28 12:23:52.200 INFO [stderr] 71 | TypedTerm::T_APP{ty: t, fun: f, arg: a} => t, Nov 28 12:23:52.200 INFO [stderr] | ^ help: consider using `_f` instead Nov 28 12:23:52.204 INFO [stderr] Nov 28 12:23:52.204 INFO [stderr] warning: unused variable: `a` Nov 28 12:23:52.204 INFO [stderr] --> src/main.rs:71:45 Nov 28 12:23:52.204 INFO [stderr] | Nov 28 12:23:52.204 INFO [stderr] 71 | TypedTerm::T_APP{ty: t, fun: f, arg: a} => t, Nov 28 12:23:52.204 INFO [stderr] | ^ help: consider using `_a` instead Nov 28 12:23:52.204 INFO [stderr] Nov 28 12:23:52.204 INFO [stderr] warning: unused variable: `o` Nov 28 12:23:52.204 INFO [stderr] --> src/main.rs:72:37 Nov 28 12:23:52.204 INFO [stderr] | Nov 28 12:23:52.204 INFO [stderr] 72 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.205 INFO [stderr] | ^ help: consider using `_o` instead Nov 28 12:23:52.205 INFO [stderr] Nov 28 12:23:52.205 INFO [stderr] warning: unused variable: `e1` Nov 28 12:23:52.205 INFO [stderr] --> src/main.rs:72:46 Nov 28 12:23:52.205 INFO [stderr] | Nov 28 12:23:52.205 INFO [stderr] 72 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.205 INFO [stderr] | ^^ help: consider using `_e1` instead Nov 28 12:23:52.205 INFO [stderr] Nov 28 12:23:52.205 INFO [stderr] warning: unused variable: `e2` Nov 28 12:23:52.205 INFO [stderr] --> src/main.rs:72:56 Nov 28 12:23:52.205 INFO [stderr] | Nov 28 12:23:52.205 INFO [stderr] 72 | TypedTerm::T_CALC{ty: t, op: o, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.205 INFO [stderr] | ^^ help: consider using `_e2` instead Nov 28 12:23:52.205 INFO [stderr] Nov 28 12:23:52.205 INFO [stderr] warning: unused variable: `e` Nov 28 12:23:52.205 INFO [stderr] --> src/main.rs:73:37 Nov 28 12:23:52.205 INFO [stderr] | Nov 28 12:23:52.205 INFO [stderr] 73 | TypedTerm::T_NOT{ty: t, exp: e} => t, Nov 28 12:23:52.205 INFO [stderr] | ^ help: consider using `_e` instead Nov 28 12:23:52.205 INFO [stderr] Nov 28 12:23:52.205 INFO [stderr] warning: unused variable: `e1` Nov 28 12:23:52.206 INFO [stderr] --> src/main.rs:74:38 Nov 28 12:23:52.206 INFO [stderr] | Nov 28 12:23:52.206 INFO [stderr] 74 | TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.206 INFO [stderr] | ^^ help: consider using `_e1` instead Nov 28 12:23:52.206 INFO [stderr] Nov 28 12:23:52.206 INFO [stderr] warning: unused variable: `e2` Nov 28 12:23:52.206 INFO [stderr] --> src/main.rs:74:48 Nov 28 12:23:52.206 INFO [stderr] | Nov 28 12:23:52.206 INFO [stderr] 74 | TypedTerm::T_AND{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.206 INFO [stderr] | ^^ help: consider using `_e2` instead Nov 28 12:23:52.206 INFO [stderr] Nov 28 12:23:52.206 INFO [stderr] warning: unused variable: `e1` Nov 28 12:23:52.206 INFO [stderr] --> src/main.rs:75:37 Nov 28 12:23:52.206 INFO [stderr] | Nov 28 12:23:52.206 INFO [stderr] 75 | TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.206 INFO [stderr] | ^^ help: consider using `_e1` instead Nov 28 12:23:52.206 INFO [stderr] Nov 28 12:23:52.206 INFO [stderr] warning: unused variable: `e2` Nov 28 12:23:52.206 INFO [stderr] --> src/main.rs:75:47 Nov 28 12:23:52.206 INFO [stderr] | Nov 28 12:23:52.206 INFO [stderr] 75 | TypedTerm::T_OR{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.206 INFO [stderr] | ^^ help: consider using `_e2` instead Nov 28 12:23:52.207 INFO [stderr] Nov 28 12:23:52.207 INFO [stderr] warning: unused variable: `e1` Nov 28 12:23:52.207 INFO [stderr] --> src/main.rs:76:38 Nov 28 12:23:52.207 INFO [stderr] | Nov 28 12:23:52.207 INFO [stderr] 76 | TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.207 INFO [stderr] | ^^ help: consider using `_e1` instead Nov 28 12:23:52.207 INFO [stderr] Nov 28 12:23:52.207 INFO [stderr] warning: unused variable: `e2` Nov 28 12:23:52.207 INFO [stderr] --> src/main.rs:76:48 Nov 28 12:23:52.207 INFO [stderr] | Nov 28 12:23:52.207 INFO [stderr] 76 | TypedTerm::T_EQU{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.207 INFO [stderr] | ^^ help: consider using `_e2` instead Nov 28 12:23:52.207 INFO [stderr] Nov 28 12:23:52.207 INFO [stderr] warning: unused variable: `e1` Nov 28 12:23:52.207 INFO [stderr] --> src/main.rs:77:37 Nov 28 12:23:52.207 INFO [stderr] | Nov 28 12:23:52.207 INFO [stderr] 77 | TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.207 INFO [stderr] | ^^ help: consider using `_e1` instead Nov 28 12:23:52.207 INFO [stderr] Nov 28 12:23:52.207 INFO [stderr] warning: unused variable: `e2` Nov 28 12:23:52.207 INFO [stderr] --> src/main.rs:77:47 Nov 28 12:23:52.208 INFO [stderr] | Nov 28 12:23:52.208 INFO [stderr] 77 | TypedTerm::T_LT{ty: t, exp1: e1, exp2: e2} => t, Nov 28 12:23:52.208 INFO [stderr] | ^^ help: consider using `_e2` instead Nov 28 12:23:52.208 INFO [stderr] Nov 28 12:23:52.208 INFO [stderr] warning: unused variable: `e1` Nov 28 12:23:52.208 INFO [stderr] --> src/main.rs:78:37 Nov 28 12:23:52.208 INFO [stderr] | Nov 28 12:23:52.208 INFO [stderr] 78 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, Nov 28 12:23:52.208 INFO [stderr] | ^^ help: consider using `_e1` instead Nov 28 12:23:52.208 INFO [stderr] Nov 28 12:23:52.208 INFO [stderr] warning: unused variable: `e2` Nov 28 12:23:52.208 INFO [stderr] --> src/main.rs:78:47 Nov 28 12:23:52.208 INFO [stderr] | Nov 28 12:23:52.208 INFO [stderr] 78 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, Nov 28 12:23:52.208 INFO [stderr] | ^^ help: consider using `_e2` instead Nov 28 12:23:52.208 INFO [stderr] Nov 28 12:23:52.208 INFO [stderr] warning: unused variable: `e3` Nov 28 12:23:52.209 INFO [stderr] --> src/main.rs:78:57 Nov 28 12:23:52.209 INFO [stderr] | Nov 28 12:23:52.209 INFO [stderr] 78 | TypedTerm::T_IF{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, Nov 28 12:23:52.209 INFO [stderr] | ^^ help: consider using `_e3` instead Nov 28 12:23:52.209 INFO [stderr] Nov 28 12:23:52.209 INFO [stderr] warning: unused variable: `e1` Nov 28 12:23:52.209 INFO [stderr] --> src/main.rs:79:38 Nov 28 12:23:52.209 INFO [stderr] | Nov 28 12:23:52.209 INFO [stderr] 79 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, Nov 28 12:23:52.209 INFO [stderr] | ^^ help: consider using `_e1` instead Nov 28 12:23:52.209 INFO [stderr] Nov 28 12:23:52.209 INFO [stderr] warning: unused variable: `e2` Nov 28 12:23:52.209 INFO [stderr] --> src/main.rs:79:48 Nov 28 12:23:52.209 INFO [stderr] | Nov 28 12:23:52.209 INFO [stderr] 79 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, Nov 28 12:23:52.209 INFO [stderr] | ^^ help: consider using `_e2` instead Nov 28 12:23:52.209 INFO [stderr] Nov 28 12:23:52.209 INFO [stderr] warning: unused variable: `e3` Nov 28 12:23:52.209 INFO [stderr] --> src/main.rs:79:58 Nov 28 12:23:52.209 INFO [stderr] | Nov 28 12:23:52.209 INFO [stderr] 79 | TypedTerm::T_LET{ty: t, exp1: e1, exp2: e2, exp3: e3} => t, Nov 28 12:23:52.210 INFO [stderr] | ^^ help: consider using `_e3` instead Nov 28 12:23:52.210 INFO [stderr] Nov 28 12:23:52.210 INFO [stderr] warning: variable does not need to be mutable Nov 28 12:23:52.210 INFO [stderr] --> src/main.rs:613:6 Nov 28 12:23:52.210 INFO [stderr] | Nov 28 12:23:52.210 INFO [stderr] 613 | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.210 INFO [stderr] | ----^^^^ Nov 28 12:23:52.210 INFO [stderr] | | Nov 28 12:23:52.210 INFO [stderr] | help: remove this `mut` Nov 28 12:23:52.210 INFO [stderr] | Nov 28 12:23:52.210 INFO [stderr] = note: #[warn(unused_mut)] on by default Nov 28 12:23:52.210 INFO [stderr] Nov 28 12:23:52.210 INFO [stderr] warning: variable does not need to be mutable Nov 28 12:23:52.210 INFO [stderr] --> src/main.rs:613:6 Nov 28 12:23:52.210 INFO [stderr] | Nov 28 12:23:52.210 INFO [stderr] 613 | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.210 INFO [stderr] | ----^^^^ Nov 28 12:23:52.210 INFO [stderr] | | Nov 28 12:23:52.210 INFO [stderr] | help: remove this `mut` Nov 28 12:23:52.210 INFO [stderr] | Nov 28 12:23:52.210 INFO [stderr] = note: #[warn(unused_mut)] on by default Nov 28 12:23:52.211 INFO [stderr] Nov 28 12:23:52.211 INFO [stderr] warning: variable does not need to be mutable Nov 28 12:23:52.211 INFO [stderr] --> src/main.rs:334:8 Nov 28 12:23:52.211 INFO [stderr] | Nov 28 12:23:52.211 INFO [stderr] 334 | let mut updateConstraints = solutionOne.applyToSet(&mut vec1); Nov 28 12:23:52.211 INFO [stderr] | ----^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.211 INFO [stderr] | | Nov 28 12:23:52.211 INFO [stderr] | help: remove this `mut` Nov 28 12:23:52.211 INFO [stderr] Nov 28 12:23:52.211 INFO [stderr] warning: variable does not need to be mutable Nov 28 12:23:52.211 INFO [stderr] --> src/main.rs:398:7 Nov 28 12:23:52.211 INFO [stderr] | Nov 28 12:23:52.211 INFO [stderr] 398 | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.211 INFO [stderr] | ----^^^^ Nov 28 12:23:52.211 INFO [stderr] | | Nov 28 12:23:52.211 INFO [stderr] | help: remove this `mut` Nov 28 12:23:52.211 INFO [stderr] Nov 28 12:23:52.211 INFO [stderr] warning: variable does not need to be mutable Nov 28 12:23:52.211 INFO [stderr] --> src/main.rs:334:8 Nov 28 12:23:52.211 INFO [stderr] | Nov 28 12:23:52.211 INFO [stderr] 334 | let mut updateConstraints = solutionOne.applyToSet(&mut vec1); Nov 28 12:23:52.212 INFO [stderr] | ----^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.212 INFO [stderr] | | Nov 28 12:23:52.212 INFO [stderr] | help: remove this `mut` Nov 28 12:23:52.212 INFO [stderr] Nov 28 12:23:52.216 INFO [stderr] warning: variable does not need to be mutable Nov 28 12:23:52.216 INFO [stderr] --> src/main.rs:398:7 Nov 28 12:23:52.216 INFO [stderr] | Nov 28 12:23:52.216 INFO [stderr] 398 | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.216 INFO [stderr] | ----^^^^ Nov 28 12:23:52.217 INFO [stderr] | | Nov 28 12:23:52.217 INFO [stderr] | help: remove this `mut` Nov 28 12:23:52.217 INFO [stderr] Nov 28 12:23:52.217 INFO [stderr] warning: variable does not need to be mutable Nov 28 12:23:52.217 INFO [stderr] --> src/main.rs:523:7 Nov 28 12:23:52.217 INFO [stderr] | Nov 28 12:23:52.217 INFO [stderr] 523 | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.217 INFO [stderr] | ----^^^^ Nov 28 12:23:52.217 INFO [stderr] | | Nov 28 12:23:52.217 INFO [stderr] | help: remove this `mut` Nov 28 12:23:52.217 INFO [stderr] Nov 28 12:23:52.224 INFO [stderr] warning: variable does not need to be mutable Nov 28 12:23:52.224 INFO [stderr] --> src/main.rs:523:7 Nov 28 12:23:52.224 INFO [stderr] | Nov 28 12:23:52.224 INFO [stderr] 523 | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.225 INFO [stderr] | ----^^^^ Nov 28 12:23:52.225 INFO [stderr] | | Nov 28 12:23:52.225 INFO [stderr] | help: remove this `mut` Nov 28 12:23:52.225 INFO [stderr] Nov 28 12:23:52.225 INFO [stderr] warning: variant is never constructed: `NOT` Nov 28 12:23:52.225 INFO [stderr] --> src/main.rs:16:6 Nov 28 12:23:52.225 INFO [stderr] | Nov 28 12:23:52.225 INFO [stderr] 16 | NOT{exp: Box}, Nov 28 12:23:52.225 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.225 INFO [stderr] | Nov 28 12:23:52.225 INFO [stderr] = note: #[warn(dead_code)] on by default Nov 28 12:23:52.225 INFO [stderr] Nov 28 12:23:52.225 INFO [stderr] warning: variant is never constructed: `AND` Nov 28 12:23:52.225 INFO [stderr] --> src/main.rs:17:6 Nov 28 12:23:52.225 INFO [stderr] | Nov 28 12:23:52.225 INFO [stderr] 17 | AND{exp1: Box, exp2: Box}, Nov 28 12:23:52.225 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.225 INFO [stderr] Nov 28 12:23:52.225 INFO [stderr] warning: variant is never constructed: `OR` Nov 28 12:23:52.225 INFO [stderr] --> src/main.rs:18:6 Nov 28 12:23:52.226 INFO [stderr] | Nov 28 12:23:52.226 INFO [stderr] 18 | OR{exp1: Box, exp2: Box}, Nov 28 12:23:52.226 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.226 INFO [stderr] Nov 28 12:23:52.226 INFO [stderr] warning: variant is never constructed: `LT` Nov 28 12:23:52.226 INFO [stderr] --> src/main.rs:20:6 Nov 28 12:23:52.226 INFO [stderr] | Nov 28 12:23:52.226 INFO [stderr] 20 | LT{exp1: Box, exp2: Box}, Nov 28 12:23:52.226 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.226 INFO [stderr] Nov 28 12:23:52.226 INFO [stderr] warning: variant is never constructed: `IF` Nov 28 12:23:52.226 INFO [stderr] --> src/main.rs:21:6 Nov 28 12:23:52.226 INFO [stderr] | Nov 28 12:23:52.226 INFO [stderr] 21 | IF{exp1: Box, exp2: Box, exp3: Box}, Nov 28 12:23:52.226 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.226 INFO [stderr] Nov 28 12:23:52.226 INFO [stderr] warning: method is never used: `empty` Nov 28 12:23:52.226 INFO [stderr] --> src/main.rs:272:3 Nov 28 12:23:52.226 INFO [stderr] | Nov 28 12:23:52.226 INFO [stderr] 272 | fn empty() -> Substitution { Nov 28 12:23:52.226 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.226 INFO [stderr] Nov 28 12:23:52.227 INFO [stderr] warning: method is never used: `fromPair` Nov 28 12:23:52.227 INFO [stderr] --> src/main.rs:277:3 Nov 28 12:23:52.227 INFO [stderr] | Nov 28 12:23:52.227 INFO [stderr] 277 | fn fromPair(tvar: u32, ty: Type) -> Substitution { Nov 28 12:23:52.227 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.227 INFO [stderr] Nov 28 12:23:52.231 INFO [stderr] warning: structure field `ParamTy` should have a snake case name such as `param_ty` Nov 28 12:23:52.231 INFO [stderr] --> src/main.rs:33:9 Nov 28 12:23:52.231 INFO [stderr] | Nov 28 12:23:52.231 INFO [stderr] 33 | TyFun{ParamTy: Box, ReturnTy: Box} Nov 28 12:23:52.231 INFO [stderr] | ^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.231 INFO [stderr] | Nov 28 12:23:52.231 INFO [stderr] = note: #[warn(non_snake_case)] on by default Nov 28 12:23:52.231 INFO [stderr] Nov 28 12:23:52.231 INFO [stderr] warning: structure field `ReturnTy` should have a snake case name such as `return_ty` Nov 28 12:23:52.232 INFO [stderr] --> src/main.rs:33:29 Nov 28 12:23:52.232 INFO [stderr] | Nov 28 12:23:52.232 INFO [stderr] 33 | TyFun{ParamTy: Box, ReturnTy: Box} Nov 28 12:23:52.232 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.232 INFO [stderr] Nov 28 12:23:52.232 INFO [stderr] warning: function `freshVar` should have a snake case name such as `fresh_var` Nov 28 12:23:52.232 INFO [stderr] --> src/main.rs:37:2 Nov 28 12:23:52.232 INFO [stderr] | Nov 28 12:23:52.232 INFO [stderr] 37 | fn freshVar(v: &mut u32) -> Type { Nov 28 12:23:52.232 INFO [stderr] | _____^ Nov 28 12:23:52.232 INFO [stderr] 38 | | *v+=1; Nov 28 12:23:52.232 INFO [stderr] 39 | | Type::TyVar{num: *v} Nov 28 12:23:52.232 INFO [stderr] 40 | | } Nov 28 12:23:52.232 INFO [stderr] | |_____^ Nov 28 12:23:52.232 INFO [stderr] Nov 28 12:23:52.232 INFO [stderr] warning: variant `T_INT` should have a camel case name such as `TInt` Nov 28 12:23:52.232 INFO [stderr] --> src/main.rs:46:3 Nov 28 12:23:52.232 INFO [stderr] | Nov 28 12:23:52.232 INFO [stderr] 46 | T_INT{ty: Type, value: u32}, Nov 28 12:23:52.233 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.233 INFO [stderr] | Nov 28 12:23:52.233 INFO [stderr] = note: #[warn(non_camel_case_types)] on by default Nov 28 12:23:52.233 INFO [stderr] Nov 28 12:23:52.233 INFO [stderr] warning: variant `T_BOOL` should have a camel case name such as `TBool` Nov 28 12:23:52.233 INFO [stderr] --> src/main.rs:47:6 Nov 28 12:23:52.233 INFO [stderr] | Nov 28 12:23:52.233 INFO [stderr] 47 | T_BOOL{ty: Type, value: bool}, Nov 28 12:23:52.233 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.233 INFO [stderr] Nov 28 12:23:52.233 INFO [stderr] warning: variant `T_VAR` should have a camel case name such as `TVar` Nov 28 12:23:52.233 INFO [stderr] --> src/main.rs:48:6 Nov 28 12:23:52.233 INFO [stderr] | Nov 28 12:23:52.233 INFO [stderr] 48 | T_VAR{ty: Type, name: char}, Nov 28 12:23:52.233 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.233 INFO [stderr] Nov 28 12:23:52.233 INFO [stderr] warning: variant `T_FUN` should have a camel case name such as `TFun` Nov 28 12:23:52.233 INFO [stderr] --> src/main.rs:49:6 Nov 28 12:23:52.233 INFO [stderr] | Nov 28 12:23:52.233 INFO [stderr] 49 | T_FUN{ty: Type, param: Box, body: Box}, Nov 28 12:23:52.234 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.234 INFO [stderr] Nov 28 12:23:52.234 INFO [stderr] warning: variant `T_Closure` should have a camel case name such as `TClosure` Nov 28 12:23:52.234 INFO [stderr] --> src/main.rs:50:6 Nov 28 12:23:52.234 INFO [stderr] | Nov 28 12:23:52.234 INFO [stderr] 50 | T_Closure{fun: Box, env: InterpEnv}, Nov 28 12:23:52.234 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.234 INFO [stderr] Nov 28 12:23:52.234 INFO [stderr] warning: variant `T_APP` should have a camel case name such as `TApp` Nov 28 12:23:52.234 INFO [stderr] --> src/main.rs:51:6 Nov 28 12:23:52.234 INFO [stderr] | Nov 28 12:23:52.234 INFO [stderr] 51 | T_APP{ty: Type, fun: Box, arg: Box}, Nov 28 12:23:52.234 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.234 INFO [stderr] Nov 28 12:23:52.234 INFO [stderr] warning: variant `T_CALC` should have a camel case name such as `TCalc` Nov 28 12:23:52.234 INFO [stderr] --> src/main.rs:52:6 Nov 28 12:23:52.234 INFO [stderr] | Nov 28 12:23:52.234 INFO [stderr] 52 | T_CALC{ty: Type, op: char, exp1: Box, exp2: Box}, Nov 28 12:23:52.234 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.234 INFO [stderr] Nov 28 12:23:52.234 INFO [stderr] warning: variant `T_NOT` should have a camel case name such as `TNot` Nov 28 12:23:52.235 INFO [stderr] --> src/main.rs:53:6 Nov 28 12:23:52.235 INFO [stderr] | Nov 28 12:23:52.235 INFO [stderr] 53 | T_NOT{ty: Type, exp: Box}, Nov 28 12:23:52.235 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.235 INFO [stderr] Nov 28 12:23:52.235 INFO [stderr] warning: variant `T_AND` should have a camel case name such as `TAnd` Nov 28 12:23:52.235 INFO [stderr] --> src/main.rs:54:6 Nov 28 12:23:52.235 INFO [stderr] | Nov 28 12:23:52.235 INFO [stderr] 54 | T_AND{ty: Type, exp1: Box, exp2: Box}, Nov 28 12:23:52.235 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.235 INFO [stderr] Nov 28 12:23:52.235 INFO [stderr] warning: variant `T_OR` should have a camel case name such as `TOr` Nov 28 12:23:52.235 INFO [stderr] --> src/main.rs:55:6 Nov 28 12:23:52.235 INFO [stderr] | Nov 28 12:23:52.235 INFO [stderr] 55 | T_OR{ty: Type, exp1: Box, exp2: Box}, Nov 28 12:23:52.235 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.235 INFO [stderr] Nov 28 12:23:52.235 INFO [stderr] warning: variant `T_EQU` should have a camel case name such as `TEqu` Nov 28 12:23:52.235 INFO [stderr] --> src/main.rs:56:6 Nov 28 12:23:52.235 INFO [stderr] | Nov 28 12:23:52.236 INFO [stderr] 56 | T_EQU{ty: Type, exp1: Box, exp2: Box}, Nov 28 12:23:52.236 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.236 INFO [stderr] Nov 28 12:23:52.236 INFO [stderr] warning: variant `T_LT` should have a camel case name such as `TLt` Nov 28 12:23:52.236 INFO [stderr] --> src/main.rs:57:6 Nov 28 12:23:52.236 INFO [stderr] | Nov 28 12:23:52.236 INFO [stderr] 57 | T_LT{ty: Type, exp1: Box, exp2: Box}, Nov 28 12:23:52.236 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.236 INFO [stderr] Nov 28 12:23:52.236 INFO [stderr] warning: variant `T_IF` should have a camel case name such as `TIf` Nov 28 12:23:52.236 INFO [stderr] --> src/main.rs:58:6 Nov 28 12:23:52.236 INFO [stderr] | Nov 28 12:23:52.236 INFO [stderr] 58 | T_IF{ty: Type, exp1: Box, exp2: Box, exp3: Box}, Nov 28 12:23:52.236 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.236 INFO [stderr] Nov 28 12:23:52.236 INFO [stderr] warning: variant `T_LET` should have a camel case name such as `TLet` Nov 28 12:23:52.236 INFO [stderr] --> src/main.rs:59:6 Nov 28 12:23:52.236 INFO [stderr] | Nov 28 12:23:52.236 INFO [stderr] 59 | T_LET{ty: Type, exp1: Box, exp2: Box, exp3: Box} Nov 28 12:23:52.236 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.237 INFO [stderr] Nov 28 12:23:52.237 INFO [stderr] warning: structure field `ParamTy` should have a snake case name such as `param_ty` Nov 28 12:23:52.237 INFO [stderr] --> src/main.rs:33:9 Nov 28 12:23:52.237 INFO [stderr] | Nov 28 12:23:52.237 INFO [stderr] 33 | TyFun{ParamTy: Box, ReturnTy: Box} Nov 28 12:23:52.237 INFO [stderr] | ^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.237 INFO [stderr] | Nov 28 12:23:52.237 INFO [stderr] = note: #[warn(non_snake_case)] on by default Nov 28 12:23:52.237 INFO [stderr] Nov 28 12:23:52.237 INFO [stderr] warning: structure field `ReturnTy` should have a snake case name such as `return_ty` Nov 28 12:23:52.237 INFO [stderr] --> src/main.rs:33:29 Nov 28 12:23:52.237 INFO [stderr] | Nov 28 12:23:52.237 INFO [stderr] 33 | TyFun{ParamTy: Box, ReturnTy: Box} Nov 28 12:23:52.237 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.237 INFO [stderr] Nov 28 12:23:52.237 INFO [stderr] warning: function `freshVar` should have a snake case name such as `fresh_var` Nov 28 12:23:52.237 INFO [stderr] --> src/main.rs:37:2 Nov 28 12:23:52.237 INFO [stderr] | Nov 28 12:23:52.237 INFO [stderr] 37 | fn freshVar(v: &mut u32) -> Type { Nov 28 12:23:52.237 INFO [stderr] | _____^ Nov 28 12:23:52.237 INFO [stderr] 38 | | *v+=1; Nov 28 12:23:52.238 INFO [stderr] 39 | | Type::TyVar{num: *v} Nov 28 12:23:52.238 INFO [stderr] 40 | | } Nov 28 12:23:52.238 INFO [stderr] | |_____^ Nov 28 12:23:52.238 INFO [stderr] Nov 28 12:23:52.238 INFO [stderr] warning: variant `T_INT` should have a camel case name such as `TInt` Nov 28 12:23:52.238 INFO [stderr] --> src/main.rs:46:3 Nov 28 12:23:52.238 INFO [stderr] | Nov 28 12:23:52.238 INFO [stderr] 46 | T_INT{ty: Type, value: u32}, Nov 28 12:23:52.238 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.238 INFO [stderr] | Nov 28 12:23:52.238 INFO [stderr] = note: #[warn(non_camel_case_types)] on by default Nov 28 12:23:52.238 INFO [stderr] Nov 28 12:23:52.238 INFO [stderr] warning: variant `T_BOOL` should have a camel case name such as `TBool` Nov 28 12:23:52.238 INFO [stderr] warning: method `getType` should have a snake case name such as `get_type` Nov 28 12:23:52.238 INFO [stderr] --> src/main.rs:65:3 Nov 28 12:23:52.238 INFO [stderr] | Nov 28 12:23:52.238 INFO [stderr] 65 | fn getType(self) -> Type { Nov 28 12:23:52.238 INFO [stderr] --> src/main.rs:47:6 Nov 28 12:23:52.238 INFO [stderr] | _________^ Nov 28 12:23:52.238 INFO [stderr] 66 | | match self { Nov 28 12:23:52.239 INFO [stderr] | Nov 28 12:23:52.239 INFO [stderr] 47 | T_BOOL{ty: Type, value: bool}, Nov 28 12:23:52.239 INFO [stderr] 67 | | TypedTerm::T_INT{ty: t, value: v} => t, Nov 28 12:23:52.239 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.239 INFO [stderr] 68 | | TypedTerm::T_BOOL{ty: t, value: v} => t, Nov 28 12:23:52.239 INFO [stderr] ... | Nov 28 12:23:52.239 INFO [stderr] 81 | | } Nov 28 12:23:52.239 INFO [stderr] 82 | | } Nov 28 12:23:52.239 INFO [stderr] | |_________^ Nov 28 12:23:52.239 INFO [stderr] Nov 28 12:23:52.239 INFO [stderr] Nov 28 12:23:52.239 INFO [stderr] warning: variant `T_VAR` should have a camel case name such as `TVar` Nov 28 12:23:52.239 INFO [stderr] --> src/main.rs:48:6 Nov 28 12:23:52.239 INFO [stderr] | Nov 28 12:23:52.239 INFO [stderr] 48 | T_VAR{ty: Type, name: char}, Nov 28 12:23:52.239 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.239 INFO [stderr] Nov 28 12:23:52.239 INFO [stderr] warning: structure field `Env` should have a snake case name such as `env` Nov 28 12:23:52.239 INFO [stderr] --> src/main.rs:88:3 Nov 28 12:23:52.239 INFO [stderr] | Nov 28 12:23:52.239 INFO [stderr] 88 | Env: HashMap Nov 28 12:23:52.240 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.240 INFO [stderr] Nov 28 12:23:52.240 INFO [stderr] warning: variant `T_FUN` should have a camel case name such as `TFun` Nov 28 12:23:52.240 INFO [stderr] --> src/main.rs:49:6 Nov 28 12:23:52.240 INFO [stderr] | Nov 28 12:23:52.240 INFO [stderr] 49 | T_FUN{ty: Type, param: Box, body: Box}, Nov 28 12:23:52.240 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.240 INFO [stderr] Nov 28 12:23:52.240 INFO [stderr] warning: variable `varNum` should have a snake case name such as `var_num` Nov 28 12:23:52.240 INFO [stderr] --> src/main.rs:107:52 Nov 28 12:23:52.240 INFO [stderr] | Nov 28 12:23:52.240 INFO [stderr] 107 | fn annotate(term: UntypedTerm, mut tenv: TypeEnv, varNum: &mut u32) -> TypedTerm { Nov 28 12:23:52.240 INFO [stderr] | ^^^^^^ Nov 28 12:23:52.240 INFO [stderr] Nov 28 12:23:52.240 INFO [stderr] warning: variant `T_Closure` should have a camel case name such as `TClosure` Nov 28 12:23:52.240 INFO [stderr] --> src/main.rs:50:6 Nov 28 12:23:52.240 INFO [stderr] | Nov 28 12:23:52.240 INFO [stderr] 50 | T_Closure{fun: Box, env: InterpEnv}, Nov 28 12:23:52.240 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.240 INFO [stderr] Nov 28 12:23:52.241 INFO [stderr] warning: variant `T_APP` should have a camel case name such as `TApp` Nov 28 12:23:52.241 INFO [stderr] --> src/main.rs:51:6 Nov 28 12:23:52.241 INFO [stderr] | Nov 28 12:23:52.241 INFO [stderr] 51 | T_APP{ty: Type, fun: Box, arg: Box}, Nov 28 12:23:52.241 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.241 INFO [stderr] Nov 28 12:23:52.241 INFO [stderr] warning: variable `paramTy` should have a snake case name such as `param_ty` Nov 28 12:23:52.241 INFO [stderr] --> src/main.rs:113:9 Nov 28 12:23:52.241 INFO [stderr] | Nov 28 12:23:52.241 INFO [stderr] 113 | let paramTy = freshVar(varNum); Nov 28 12:23:52.241 INFO [stderr] | ^^^^^^^ Nov 28 12:23:52.241 INFO [stderr] Nov 28 12:23:52.241 INFO [stderr] warning: variant `T_CALC` should have a camel case name such as `TCalc` Nov 28 12:23:52.241 INFO [stderr] --> src/main.rs:52:6 Nov 28 12:23:52.241 INFO [stderr] | Nov 28 12:23:52.241 INFO [stderr] 52 | T_CALC{ty: Type, op: char, exp1: Box, exp2: Box}, Nov 28 12:23:52.241 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.241 INFO [stderr] warning: variable `paramTy1` should have a snake case name such as `param_ty1` Nov 28 12:23:52.241 INFO [stderr] --> src/main.rs:114:9 Nov 28 12:23:52.241 INFO [stderr] | Nov 28 12:23:52.242 INFO [stderr] 114 | let paramTy1 = paramTy.clone(); Nov 28 12:23:52.242 INFO [stderr] | ^^^^^^^^ Nov 28 12:23:52.242 INFO [stderr] Nov 28 12:23:52.242 INFO [stderr] Nov 28 12:23:52.242 INFO [stderr] warning: variable `paramBinder` should have a snake case name such as `param_binder` Nov 28 12:23:52.242 INFO [stderr] --> src/main.rs:116:9 Nov 28 12:23:52.242 INFO [stderr] | Nov 28 12:23:52.242 INFO [stderr] 116 | let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: p}; Nov 28 12:23:52.242 INFO [stderr] | ^^^^^^^^^^^ Nov 28 12:23:52.242 INFO [stderr] Nov 28 12:23:52.242 INFO [stderr] warning: variant `T_NOT` should have a camel case name such as `TNot` Nov 28 12:23:52.242 INFO [stderr] --> src/main.rs:53:6 Nov 28 12:23:52.242 INFO [stderr] | Nov 28 12:23:52.242 INFO [stderr] 53 | T_NOT{ty: Type, exp: Box}, Nov 28 12:23:52.242 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.242 INFO [stderr] Nov 28 12:23:52.242 INFO [stderr] warning: variant `T_AND` should have a camel case name such as `TAnd` Nov 28 12:23:52.242 INFO [stderr] --> src/main.rs:54:6 Nov 28 12:23:52.242 INFO [stderr] | Nov 28 12:23:52.242 INFO [stderr] 54 | T_AND{ty: Type, exp1: Box, exp2: Box}, Nov 28 12:23:52.243 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.243 INFO [stderr] Nov 28 12:23:52.243 INFO [stderr] warning: variant `T_OR` should have a camel case name such as `TOr` Nov 28 12:23:52.243 INFO [stderr] --> src/main.rs:55:6 Nov 28 12:23:52.243 INFO [stderr] | Nov 28 12:23:52.243 INFO [stderr] 55 | T_OR{ty: Type, exp1: Box, exp2: Box}, Nov 28 12:23:52.243 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.243 INFO [stderr] Nov 28 12:23:52.243 INFO [stderr] warning: variant `T_EQU` should have a camel case name such as `TEqu` Nov 28 12:23:52.243 INFO [stderr] --> src/main.rs:56:6 Nov 28 12:23:52.243 INFO [stderr] | Nov 28 12:23:52.243 INFO [stderr] 56 | T_EQU{ty: Type, exp1: Box, exp2: Box}, Nov 28 12:23:52.243 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.243 INFO [stderr] Nov 28 12:23:52.243 INFO [stderr] warning: variant `T_LT` should have a camel case name such as `TLt` Nov 28 12:23:52.243 INFO [stderr] --> src/main.rs:57:6 Nov 28 12:23:52.243 INFO [stderr] | Nov 28 12:23:52.243 INFO [stderr] 57 | T_LT{ty: Type, exp1: Box, exp2: Box}, Nov 28 12:23:52.243 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.243 INFO [stderr] warning: variable `paramTy` should have a snake case name such as `param_ty` Nov 28 12:23:52.243 INFO [stderr] --> src/main.rs:134:12 Nov 28 12:23:52.244 INFO [stderr] | Nov 28 12:23:52.244 INFO [stderr] 134 | let paramTy = freshVar(varNum); Nov 28 12:23:52.244 INFO [stderr] | ^^^^^^^ Nov 28 12:23:52.244 INFO [stderr] Nov 28 12:23:52.244 INFO [stderr] Nov 28 12:23:52.244 INFO [stderr] warning: variable `paramTy1` should have a snake case name such as `param_ty1` Nov 28 12:23:52.244 INFO [stderr] --> src/main.rs:135:9 Nov 28 12:23:52.248 INFO [stderr] | Nov 28 12:23:52.248 INFO [stderr] 135 | let paramTy1 = paramTy.clone(); Nov 28 12:23:52.248 INFO [stderr] | ^^^^^^^^ Nov 28 12:23:52.248 INFO [stderr] Nov 28 12:23:52.248 INFO [stderr] warning: variable `paramBinder` should have a snake case name such as `param_binder` Nov 28 12:23:52.248 INFO [stderr] --> src/main.rs:137:9 Nov 28 12:23:52.248 INFO [stderr] | Nov 28 12:23:52.248 INFO [stderr] 137 | let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: e1}; Nov 28 12:23:52.248 INFO [stderr] | ^^^^^^^^^^^ Nov 28 12:23:52.248 INFO [stderr] Nov 28 12:23:52.248 INFO [stderr] warning: variant `T_IF` should have a camel case name such as `TIf` Nov 28 12:23:52.249 INFO [stderr] --> src/main.rs:58:6 Nov 28 12:23:52.249 INFO [stderr] | Nov 28 12:23:52.249 INFO [stderr] 58 | T_IF{ty: Type, exp1: Box, exp2: Box, exp3: Box}, Nov 28 12:23:52.249 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.249 INFO [stderr] warning: structure field `typeA` should have a snake case name such as `type_a` Nov 28 12:23:52.249 INFO [stderr] Nov 28 12:23:52.249 INFO [stderr] --> src/main.rs:149:3 Nov 28 12:23:52.249 INFO [stderr] | Nov 28 12:23:52.249 INFO [stderr] 149 | typeA: Type, Nov 28 12:23:52.249 INFO [stderr] | ^^^^^^^^^^^ Nov 28 12:23:52.249 INFO [stderr] Nov 28 12:23:52.249 INFO [stderr] warning: structure field `typeB` should have a snake case name such as `type_b` Nov 28 12:23:52.249 INFO [stderr] --> src/main.rs:150:3 Nov 28 12:23:52.249 INFO [stderr] | Nov 28 12:23:52.249 INFO [stderr] 150 | typeB: Type Nov 28 12:23:52.249 INFO [stderr] | ^^^^^^^^^^^ Nov 28 12:23:52.249 INFO [stderr] Nov 28 12:23:52.249 INFO [stderr] warning: variant `T_LET` should have a camel case name such as `TLet` Nov 28 12:23:52.249 INFO [stderr] --> src/main.rs:59:6 Nov 28 12:23:52.249 INFO [stderr] | Nov 28 12:23:52.250 INFO [stderr] 59 | T_LET{ty: Type, exp1: Box, exp2: Box, exp3: Box} Nov 28 12:23:52.250 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.250 INFO [stderr] Nov 28 12:23:52.250 INFO [stderr] warning: method `fromPair` should have a snake case name such as `from_pair` Nov 28 12:23:52.250 INFO [stderr] --> src/main.rs:277:3 Nov 28 12:23:52.250 INFO [stderr] | Nov 28 12:23:52.250 INFO [stderr] 277 | fn fromPair(tvar: u32, ty: Type) -> Substitution { Nov 28 12:23:52.250 INFO [stderr] | _________^ Nov 28 12:23:52.250 INFO [stderr] 278 | | let mut s1 = HashMap::new(); Nov 28 12:23:52.250 INFO [stderr] 279 | | s1.insert(tvar, ty); Nov 28 12:23:52.250 INFO [stderr] 280 | | Substitution{solutions: s1} Nov 28 12:23:52.250 INFO [stderr] 281 | | } Nov 28 12:23:52.250 INFO [stderr] | |_________^ Nov 28 12:23:52.250 INFO [stderr] Nov 28 12:23:52.250 INFO [stderr] warning: method `applyToSet` should have a snake case name such as `apply_to_set` Nov 28 12:23:52.250 INFO [stderr] --> src/main.rs:284:3 Nov 28 12:23:52.250 INFO [stderr] | Nov 28 12:23:52.250 INFO [stderr] 284 | fn applyToSet (&self,constraints: &mut Vec) -> Vec { Nov 28 12:23:52.250 INFO [stderr] | _________^ Nov 28 12:23:52.250 INFO [stderr] 285 | | for elem in constraints.iter_mut() { Nov 28 12:23:52.251 INFO [stderr] 286 | | //traverse target constraint set and update each type in all elements. Nov 28 12:23:52.251 INFO [stderr] 287 | | *elem = Constraint{typeA: Self::applyOneType(&self, elem.typeA.clone()), typeB: Self::applyOneType(&self,elem.typeB.clone())} Nov 28 12:23:52.251 INFO [stderr] 288 | | } Nov 28 12:23:52.251 INFO [stderr] 289 | | constraints.clone() Nov 28 12:23:52.251 INFO [stderr] 290 | | } Nov 28 12:23:52.251 INFO [stderr] | |_________^ Nov 28 12:23:52.251 INFO [stderr] Nov 28 12:23:52.251 INFO [stderr] warning: method `getType` should have a snake case name such as `get_type` Nov 28 12:23:52.251 INFO [stderr] --> src/main.rs:65:3 Nov 28 12:23:52.251 INFO [stderr] | Nov 28 12:23:52.251 INFO [stderr] 65 | fn getType(self) -> Type { Nov 28 12:23:52.251 INFO [stderr] | _________^ Nov 28 12:23:52.251 INFO [stderr] 66 | | match self { Nov 28 12:23:52.251 INFO [stderr] 67 | | TypedTerm::T_INT{ty: t, value: v} => t, Nov 28 12:23:52.251 INFO [stderr] 68 | | TypedTerm::T_BOOL{ty: t, value: v} => t, Nov 28 12:23:52.251 INFO [stderr] ... | Nov 28 12:23:52.251 INFO [stderr] 81 | | } Nov 28 12:23:52.251 INFO [stderr] 82 | | } Nov 28 12:23:52.251 INFO [stderr] | |_________^ Nov 28 12:23:52.251 INFO [stderr] Nov 28 12:23:52.251 INFO [stderr] warning: structure field `Env` should have a snake case name such as `env` Nov 28 12:23:52.252 INFO [stderr] --> src/main.rs:88:3 Nov 28 12:23:52.252 INFO [stderr] | Nov 28 12:23:52.252 INFO [stderr] 88 | Env: HashMap Nov 28 12:23:52.252 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.252 INFO [stderr] Nov 28 12:23:52.252 INFO [stderr] warning: variable `varNum` should have a snake case name such as `var_num` Nov 28 12:23:52.252 INFO [stderr] --> src/main.rs:107:52 Nov 28 12:23:52.252 INFO [stderr] | Nov 28 12:23:52.252 INFO [stderr] 107 | fn annotate(term: UntypedTerm, mut tenv: TypeEnv, varNum: &mut u32) -> TypedTerm { Nov 28 12:23:52.252 INFO [stderr] | ^^^^^^ Nov 28 12:23:52.252 INFO [stderr] warning: method `applyOneType` should have a snake case name such as `apply_one_type` Nov 28 12:23:52.252 INFO [stderr] --> src/main.rs:293:3 Nov 28 12:23:52.252 INFO [stderr] | Nov 28 12:23:52.252 INFO [stderr] 293 | fn applyOneType(&self, ty: Type) -> Type { Nov 28 12:23:52.252 INFO [stderr] | _________^ Nov 28 12:23:52.252 INFO [stderr] 294 | | match ty { Nov 28 12:23:52.252 INFO [stderr] 295 | | Type::TyInt => ty, Nov 28 12:23:52.252 INFO [stderr] 296 | | Type::TyBool => ty, Nov 28 12:23:52.252 INFO [stderr] ... | Nov 28 12:23:52.252 INFO [stderr] 305 | | } Nov 28 12:23:52.252 INFO [stderr] 306 | | } Nov 28 12:23:52.252 INFO [stderr] | |_________^ Nov 28 12:23:52.253 INFO [stderr] Nov 28 12:23:52.253 INFO [stderr] Nov 28 12:23:52.253 INFO [stderr] warning: variable `paramTy` should have a snake case name such as `param_ty` Nov 28 12:23:52.253 INFO [stderr] --> src/main.rs:113:9 Nov 28 12:23:52.253 INFO [stderr] | Nov 28 12:23:52.253 INFO [stderr] 113 | let paramTy = freshVar(varNum); Nov 28 12:23:52.253 INFO [stderr] | ^^^^^^^ Nov 28 12:23:52.253 INFO [stderr] Nov 28 12:23:52.253 INFO [stderr] warning: variable `solutionType` should have a snake case name such as `solution_type` Nov 28 12:23:52.253 INFO [stderr] warning: variable `paramTy1` should have a snake case name such as `param_ty1` Nov 28 12:23:52.253 INFO [stderr] --> src/main.rs:114:9 Nov 28 12:23:52.253 INFO [stderr] | Nov 28 12:23:52.253 INFO [stderr] 114 | let paramTy1 = paramTy.clone(); Nov 28 12:23:52.253 INFO [stderr] | ^^^^^^^^ Nov 28 12:23:52.253 INFO [stderr] --> src/main.rs:311:8 Nov 28 12:23:52.253 INFO [stderr] | Nov 28 12:23:52.253 INFO [stderr] 311 | for solutionType in self.solutions.values_mut() { Nov 28 12:23:52.253 INFO [stderr] | ^^^^^^^^^^^^ Nov 28 12:23:52.253 INFO [stderr] Nov 28 12:23:52.253 INFO [stderr] Nov 28 12:23:52.253 INFO [stderr] warning: variable `paramBinder` should have a snake case name such as `param_binder` Nov 28 12:23:52.254 INFO [stderr] --> src/main.rs:116:9 Nov 28 12:23:52.254 INFO [stderr] | Nov 28 12:23:52.254 INFO [stderr] 116 | let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: p}; Nov 28 12:23:52.254 INFO [stderr] | ^^^^^^^^^^^ Nov 28 12:23:52.254 INFO [stderr] Nov 28 12:23:52.254 INFO [stderr] warning: variable `solutionOne` should have a snake case name such as `solution_one` Nov 28 12:23:52.254 INFO [stderr] --> src/main.rs:330:8 Nov 28 12:23:52.254 INFO [stderr] | Nov 28 12:23:52.254 INFO [stderr] 330 | let mut solutionOne = unifyOne(constraints[0].clone()); Nov 28 12:23:52.254 INFO [stderr] | ^^^^^^^^^^^^^^^ Nov 28 12:23:52.254 INFO [stderr] Nov 28 12:23:52.254 INFO [stderr] warning: variable `updateConstraints` should have a snake case name such as `update_constraints` Nov 28 12:23:52.254 INFO [stderr] --> src/main.rs:334:8 Nov 28 12:23:52.254 INFO [stderr] | Nov 28 12:23:52.254 INFO [stderr] 334 | let mut updateConstraints = solutionOne.applyToSet(&mut vec1); Nov 28 12:23:52.254 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.254 INFO [stderr] Nov 28 12:23:52.254 INFO [stderr] warning: variable `solutionRest` should have a snake case name such as `solution_rest` Nov 28 12:23:52.254 INFO [stderr] --> src/main.rs:336:8 Nov 28 12:23:52.254 INFO [stderr] | Nov 28 12:23:52.255 INFO [stderr] 336 | let solutionRest = unify(updateConstraints); Nov 28 12:23:52.255 INFO [stderr] | ^^^^^^^^^^^^ Nov 28 12:23:52.255 INFO [stderr] Nov 28 12:23:52.255 INFO [stderr] warning: function `unifyOne` should have a snake case name such as `unify_one` Nov 28 12:23:52.255 INFO [stderr] --> src/main.rs:343:2 Nov 28 12:23:52.255 INFO [stderr] | Nov 28 12:23:52.255 INFO [stderr] 343 | fn unifyOne(constraint: Constraint) -> Substitution { Nov 28 12:23:52.255 INFO [stderr] | _____^ Nov 28 12:23:52.255 INFO [stderr] 344 | | match (constraint.typeA, constraint.typeB) { Nov 28 12:23:52.255 INFO [stderr] 345 | | (Type::TyInt, Type:: TyInt) => Substitution{solutions: HashMap::new()}, Nov 28 12:23:52.255 INFO [stderr] 346 | | (Type::TyBool, Type:: TyBool) => Substitution{solutions: HashMap::new()}, Nov 28 12:23:52.255 INFO [stderr] ... | Nov 28 12:23:52.255 INFO [stderr] 352 | | } Nov 28 12:23:52.255 INFO [stderr] 353 | | } Nov 28 12:23:52.255 INFO [stderr] | |_____^ Nov 28 12:23:52.255 INFO [stderr] warning: variable `paramTy` should have a snake case name such as `param_ty` Nov 28 12:23:52.255 INFO [stderr] --> src/main.rs:134:12 Nov 28 12:23:52.255 INFO [stderr] | Nov 28 12:23:52.255 INFO [stderr] 134 | let paramTy = freshVar(varNum); Nov 28 12:23:52.255 INFO [stderr] | ^^^^^^^ Nov 28 12:23:52.255 INFO [stderr] Nov 28 12:23:52.256 INFO [stderr] warning: variable `paramTy1` should have a snake case name such as `param_ty1` Nov 28 12:23:52.256 INFO [stderr] --> src/main.rs:135:9 Nov 28 12:23:52.256 INFO [stderr] | Nov 28 12:23:52.256 INFO [stderr] 135 | let paramTy1 = paramTy.clone(); Nov 28 12:23:52.256 INFO [stderr] | ^^^^^^^^ Nov 28 12:23:52.256 INFO [stderr] Nov 28 12:23:52.256 INFO [stderr] Nov 28 12:23:52.256 INFO [stderr] warning: variable `paramBinder` should have a snake case name such as `param_binder` Nov 28 12:23:52.260 INFO [stderr] --> src/main.rs:137:9 Nov 28 12:23:52.260 INFO [stderr] | Nov 28 12:23:52.260 INFO [stderr] 137 | let paramBinder = TypedTerm::T_VAR{ty: paramTy1, name: e1}; Nov 28 12:23:52.260 INFO [stderr] | ^^^^^^^^^^^ Nov 28 12:23:52.260 INFO [stderr] Nov 28 12:23:52.260 INFO [stderr] warning: structure field `typeA` should have a snake case name such as `type_a` Nov 28 12:23:52.260 INFO [stderr] --> src/main.rs:149:3 Nov 28 12:23:52.261 INFO [stderr] | Nov 28 12:23:52.261 INFO [stderr] 149 | typeA: Type, Nov 28 12:23:52.261 INFO [stderr] | ^^^^^^^^^^^ Nov 28 12:23:52.261 INFO [stderr] Nov 28 12:23:52.261 INFO [stderr] warning: structure field `typeB` should have a snake case name such as `type_b` Nov 28 12:23:52.261 INFO [stderr] --> src/main.rs:150:3 Nov 28 12:23:52.261 INFO [stderr] | Nov 28 12:23:52.261 INFO [stderr] 150 | typeB: Type Nov 28 12:23:52.261 INFO [stderr] | ^^^^^^^^^^^ Nov 28 12:23:52.261 INFO [stderr] Nov 28 12:23:52.261 INFO [stderr] warning: function `unifyVar` should have a snake case name such as `unify_var` Nov 28 12:23:52.261 INFO [stderr] --> src/main.rs:356:2 Nov 28 12:23:52.261 INFO [stderr] | Nov 28 12:23:52.261 INFO [stderr] 356 | fn unifyVar(tvar: u32, ty: Type) -> Substitution { Nov 28 12:23:52.261 INFO [stderr] | _____^ Nov 28 12:23:52.261 INFO [stderr] 357 | | match ty { Nov 28 12:23:52.261 INFO [stderr] 358 | | //do nothing if they are the same type variable Nov 28 12:23:52.261 INFO [stderr] 359 | | Type::TyVar{num: n} => { Nov 28 12:23:52.261 INFO [stderr] ... | Nov 28 12:23:52.261 INFO [stderr] 383 | | } Nov 28 12:23:52.261 INFO [stderr] 384 | | } Nov 28 12:23:52.262 INFO [stderr] | |_____^ Nov 28 12:23:52.262 INFO [stderr] Nov 28 12:23:52.262 INFO [stderr] warning: function `typeInference` should have a snake case name such as `type_inference` Nov 28 12:23:52.262 INFO [stderr] --> src/main.rs:397:2 Nov 28 12:23:52.262 INFO [stderr] | Nov 28 12:23:52.262 INFO [stderr] 397 | fn typeInference(term: UntypedTerm) { Nov 28 12:23:52.262 INFO [stderr] | _____^ Nov 28 12:23:52.262 INFO [stderr] 398 | | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.262 INFO [stderr] 399 | | let TypedTerm = annotate(term, EnvT, &mut 0); Nov 28 12:23:52.262 INFO [stderr] 400 | | let Constraints = collect(TypedTerm.clone()); Nov 28 12:23:52.262 INFO [stderr] ... | Nov 28 12:23:52.262 INFO [stderr] 408 | | println!(" "); Nov 28 12:23:52.262 INFO [stderr] 409 | | } Nov 28 12:23:52.262 INFO [stderr] | |_____^ Nov 28 12:23:52.262 INFO [stderr] Nov 28 12:23:52.262 INFO [stderr] warning: variable `EnvT` should have a snake case name such as `env_t` Nov 28 12:23:52.262 INFO [stderr] --> src/main.rs:398:7 Nov 28 12:23:52.262 INFO [stderr] | Nov 28 12:23:52.262 INFO [stderr] 398 | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.262 INFO [stderr] | ^^^^^^^^ Nov 28 12:23:52.262 INFO [stderr] Nov 28 12:23:52.263 INFO [stderr] warning: variable `TypedTerm` should have a snake case name such as `typed_term` Nov 28 12:23:52.263 INFO [stderr] --> src/main.rs:399:10 Nov 28 12:23:52.263 INFO [stderr] | Nov 28 12:23:52.263 INFO [stderr] 399 | let TypedTerm = annotate(term, EnvT, &mut 0); Nov 28 12:23:52.263 INFO [stderr] | ^^^^^^^^^ Nov 28 12:23:52.263 INFO [stderr] Nov 28 12:23:52.263 INFO [stderr] warning: variable `Constraints` should have a snake case name such as `constraints` Nov 28 12:23:52.263 INFO [stderr] --> src/main.rs:400:10 Nov 28 12:23:52.263 INFO [stderr] | Nov 28 12:23:52.263 INFO [stderr] 400 | let Constraints = collect(TypedTerm.clone()); Nov 28 12:23:52.263 INFO [stderr] | ^^^^^^^^^^^ Nov 28 12:23:52.263 INFO [stderr] warning: method `fromPair` should have a snake case name such as `from_pair` Nov 28 12:23:52.263 INFO [stderr] --> src/main.rs:277:3 Nov 28 12:23:52.263 INFO [stderr] Nov 28 12:23:52.263 INFO [stderr] | Nov 28 12:23:52.263 INFO [stderr] 277 | fn fromPair(tvar: u32, ty: Type) -> Substitution { Nov 28 12:23:52.263 INFO [stderr] | _________^ Nov 28 12:23:52.263 INFO [stderr] 278 | | let mut s1 = HashMap::new(); Nov 28 12:23:52.263 INFO [stderr] 279 | | s1.insert(tvar, ty); Nov 28 12:23:52.263 INFO [stderr] 280 | | Substitution{solutions: s1} Nov 28 12:23:52.264 INFO [stderr] 281 | | } Nov 28 12:23:52.264 INFO [stderr] | |_________^ Nov 28 12:23:52.264 INFO [stderr] Nov 28 12:23:52.264 INFO [stderr] warning: method `applyToSet` should have a snake case name such as `apply_to_set` Nov 28 12:23:52.264 INFO [stderr] --> src/main.rs:284:3 Nov 28 12:23:52.264 INFO [stderr] | Nov 28 12:23:52.264 INFO [stderr] 284 | fn applyToSet (&self,constraints: &mut Vec) -> Vec { Nov 28 12:23:52.264 INFO [stderr] | _________^ Nov 28 12:23:52.264 INFO [stderr] 285 | | for elem in constraints.iter_mut() { Nov 28 12:23:52.264 INFO [stderr] 286 | | //traverse target constraint set and update each type in all elements. Nov 28 12:23:52.264 INFO [stderr] 287 | | *elem = Constraint{typeA: Self::applyOneType(&self, elem.typeA.clone()), typeB: Self::applyOneType(&self,elem.typeB.clone())} Nov 28 12:23:52.264 INFO [stderr] 288 | | } Nov 28 12:23:52.264 INFO [stderr] 289 | | constraints.clone() Nov 28 12:23:52.264 INFO [stderr] 290 | | } Nov 28 12:23:52.264 INFO [stderr] | |_________^ Nov 28 12:23:52.264 INFO [stderr] Nov 28 12:23:52.264 INFO [stderr] warning: structure field `Env` should have a snake case name such as `env` Nov 28 12:23:52.264 INFO [stderr] --> src/main.rs:415:3 Nov 28 12:23:52.264 INFO [stderr] | Nov 28 12:23:52.264 INFO [stderr] 415 | Env: HashMap Nov 28 12:23:52.264 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.264 INFO [stderr] warning: method `applyOneType` should have a snake case name such as `apply_one_type` Nov 28 12:23:52.265 INFO [stderr] --> src/main.rs:293:3 Nov 28 12:23:52.265 INFO [stderr] | Nov 28 12:23:52.265 INFO [stderr] 293 | fn applyOneType(&self, ty: Type) -> Type { Nov 28 12:23:52.265 INFO [stderr] | _________^ Nov 28 12:23:52.265 INFO [stderr] 294 | | match ty { Nov 28 12:23:52.265 INFO [stderr] 295 | | Type::TyInt => ty, Nov 28 12:23:52.265 INFO [stderr] 296 | | Type::TyBool => ty, Nov 28 12:23:52.265 INFO [stderr] ... | Nov 28 12:23:52.265 INFO [stderr] 305 | | } Nov 28 12:23:52.265 INFO [stderr] 306 | | } Nov 28 12:23:52.265 INFO [stderr] | |_________^ Nov 28 12:23:52.265 INFO [stderr] Nov 28 12:23:52.265 INFO [stderr] Nov 28 12:23:52.265 INFO [stderr] warning: variable `solutionType` should have a snake case name such as `solution_type` Nov 28 12:23:52.265 INFO [stderr] --> src/main.rs:311:8 Nov 28 12:23:52.265 INFO [stderr] | Nov 28 12:23:52.265 INFO [stderr] 311 | for solutionType in self.solutions.values_mut() { Nov 28 12:23:52.265 INFO [stderr] | ^^^^^^^^^^^^ Nov 28 12:23:52.265 INFO [stderr] Nov 28 12:23:52.265 INFO [stderr] warning: variable `solutionOne` should have a snake case name such as `solution_one` Nov 28 12:23:52.265 INFO [stderr] --> src/main.rs:330:8 Nov 28 12:23:52.265 INFO [stderr] | Nov 28 12:23:52.265 INFO [stderr] 330 | let mut solutionOne = unifyOne(constraints[0].clone()); Nov 28 12:23:52.265 INFO [stderr] | ^^^^^^^^^^^^^^^ Nov 28 12:23:52.265 INFO [stderr] Nov 28 12:23:52.266 INFO [stderr] warning: function `Interp` should have a snake case name such as `interp` Nov 28 12:23:52.266 INFO [stderr] --> src/main.rs:433:2 Nov 28 12:23:52.266 INFO [stderr] | Nov 28 12:23:52.266 INFO [stderr] 433 | fn Interp(term: TypedTerm, env: &mut InterpEnv) -> TypedTerm { Nov 28 12:23:52.266 INFO [stderr] | _____^ Nov 28 12:23:52.266 INFO [stderr] 434 | | match term { Nov 28 12:23:52.266 INFO [stderr] 435 | | TypedTerm::T_INT{ty: t, value: v} => TypedTerm::T_INT{ty: t, value: v}, Nov 28 12:23:52.266 INFO [stderr] 436 | | TypedTerm::T_BOOL{ty: t, value: v} => TypedTerm::T_BOOL{ty: t, value: v}, Nov 28 12:23:52.266 INFO [stderr] ... | Nov 28 12:23:52.266 INFO [stderr] 519 | | } Nov 28 12:23:52.266 INFO [stderr] 520 | | } Nov 28 12:23:52.266 INFO [stderr] | |_____^ Nov 28 12:23:52.266 INFO [stderr] Nov 28 12:23:52.266 INFO [stderr] warning: variable `updateConstraints` should have a snake case name such as `update_constraints` Nov 28 12:23:52.266 INFO [stderr] --> src/main.rs:334:8 Nov 28 12:23:52.266 INFO [stderr] | Nov 28 12:23:52.266 INFO [stderr] 334 | let mut updateConstraints = solutionOne.applyToSet(&mut vec1); Nov 28 12:23:52.266 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.266 INFO [stderr] Nov 28 12:23:52.266 INFO [stderr] warning: variable `EnvNew` should have a snake case name such as `env_new` Nov 28 12:23:52.267 INFO [stderr] warning: variable `solutionRest` should have a snake case name such as `solution_rest` Nov 28 12:23:52.267 INFO [stderr] --> src/main.rs:336:8 Nov 28 12:23:52.267 INFO [stderr] | Nov 28 12:23:52.267 INFO [stderr] 336 | let solutionRest = unify(updateConstraints); Nov 28 12:23:52.267 INFO [stderr] | ^^^^^^^^^^^^ Nov 28 12:23:52.267 INFO [stderr] --> src/main.rs:443:15 Nov 28 12:23:52.267 INFO [stderr] | Nov 28 12:23:52.267 INFO [stderr] 443 | let mut EnvNew = InterpEnv{Env: HashMap::new()}; Nov 28 12:23:52.267 INFO [stderr] | ^^^^^^^^^^ Nov 28 12:23:52.267 INFO [stderr] Nov 28 12:23:52.267 INFO [stderr] Nov 28 12:23:52.267 INFO [stderr] warning: function `unifyOne` should have a snake case name such as `unify_one` Nov 28 12:23:52.267 INFO [stderr] --> src/main.rs:343:2 Nov 28 12:23:52.267 INFO [stderr] | Nov 28 12:23:52.267 INFO [stderr] 343 | fn unifyOne(constraint: Constraint) -> Substitution { Nov 28 12:23:52.267 INFO [stderr] | _____^ Nov 28 12:23:52.267 INFO [stderr] 344 | | match (constraint.typeA, constraint.typeB) { Nov 28 12:23:52.267 INFO [stderr] 345 | | (Type::TyInt, Type:: TyInt) => Substitution{solutions: HashMap::new()}, Nov 28 12:23:52.267 INFO [stderr] 346 | | (Type::TyBool, Type:: TyBool) => Substitution{solutions: HashMap::new()}, Nov 28 12:23:52.267 INFO [stderr] ... | Nov 28 12:23:52.267 INFO [stderr] 352 | | } Nov 28 12:23:52.267 INFO [stderr] 353 | | } Nov 28 12:23:52.267 INFO [stderr] | |_____^ Nov 28 12:23:52.267 INFO [stderr] Nov 28 12:23:52.268 INFO [stderr] warning: variable `EnvNew` should have a snake case name such as `env_new` Nov 28 12:23:52.268 INFO [stderr] --> src/main.rs:508:15 Nov 28 12:23:52.268 INFO [stderr] | Nov 28 12:23:52.268 INFO [stderr] 508 | let mut EnvNew = InterpEnv{Env: HashMap::new()}; Nov 28 12:23:52.268 INFO [stderr] | ^^^^^^^^^^ Nov 28 12:23:52.268 INFO [stderr] Nov 28 12:23:52.268 INFO [stderr] warning: function `unifyVar` should have a snake case name such as `unify_var` Nov 28 12:23:52.268 INFO [stderr] --> src/main.rs:356:2 Nov 28 12:23:52.268 INFO [stderr] | Nov 28 12:23:52.268 INFO [stderr] 356 | fn unifyVar(tvar: u32, ty: Type) -> Substitution { Nov 28 12:23:52.268 INFO [stderr] | _____^ Nov 28 12:23:52.268 INFO [stderr] 357 | | match ty { Nov 28 12:23:52.268 INFO [stderr] 358 | | //do nothing if they are the same type variable Nov 28 12:23:52.268 INFO [stderr] 359 | | Type::TyVar{num: n} => { Nov 28 12:23:52.268 INFO [stderr] ... | Nov 28 12:23:52.268 INFO [stderr] 383 | | } Nov 28 12:23:52.268 INFO [stderr] 384 | | } Nov 28 12:23:52.268 INFO [stderr] | |_____^ Nov 28 12:23:52.268 INFO [stderr] Nov 28 12:23:52.268 INFO [stderr] warning: function `InterpE` should have a snake case name such as `interp_e` Nov 28 12:23:52.268 INFO [stderr] --> src/main.rs:522:2 Nov 28 12:23:52.268 INFO [stderr] | Nov 28 12:23:52.268 INFO [stderr] 522 | fn InterpE(term: UntypedTerm) { Nov 28 12:23:52.269 INFO [stderr] | _____^ Nov 28 12:23:52.269 INFO [stderr] 523 | | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.269 INFO [stderr] 524 | | let TypedTerm = annotate(term, EnvT, &mut 0); Nov 28 12:23:52.269 INFO [stderr] 525 | | let Constraints = collect(TypedTerm.clone()); Nov 28 12:23:52.269 INFO [stderr] ... | Nov 28 12:23:52.269 INFO [stderr] 530 | | println!("{:?}",Interp(TypedTerm, &mut EnvI)); Nov 28 12:23:52.269 INFO [stderr] 531 | | } Nov 28 12:23:52.269 INFO [stderr] | |_____^ Nov 28 12:23:52.269 INFO [stderr] Nov 28 12:23:52.269 INFO [stderr] warning: variable `EnvT` should have a snake case name such as `env_t` Nov 28 12:23:52.269 INFO [stderr] --> src/main.rs:523:7 Nov 28 12:23:52.269 INFO [stderr] | Nov 28 12:23:52.269 INFO [stderr] 523 | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.269 INFO [stderr] | ^^^^^^^^ Nov 28 12:23:52.269 INFO [stderr] Nov 28 12:23:52.269 INFO [stderr] warning: variable `TypedTerm` should have a snake case name such as `typed_term` Nov 28 12:23:52.269 INFO [stderr] --> src/main.rs:524:10 Nov 28 12:23:52.269 INFO [stderr] | Nov 28 12:23:52.269 INFO [stderr] 524 | let TypedTerm = annotate(term, EnvT, &mut 0); Nov 28 12:23:52.269 INFO [stderr] | ^^^^^^^^^ Nov 28 12:23:52.269 INFO [stderr] Nov 28 12:23:52.269 INFO [stderr] warning: variable `Constraints` should have a snake case name such as `constraints` Nov 28 12:23:52.269 INFO [stderr] --> src/main.rs:525:10 Nov 28 12:23:52.270 INFO [stderr] | Nov 28 12:23:52.270 INFO [stderr] 525 | let Constraints = collect(TypedTerm.clone()); Nov 28 12:23:52.270 INFO [stderr] | ^^^^^^^^^^^ Nov 28 12:23:52.270 INFO [stderr] Nov 28 12:23:52.270 INFO [stderr] warning: function `typeInference` should have a snake case name such as `type_inference` Nov 28 12:23:52.270 INFO [stderr] --> src/main.rs:397:2 Nov 28 12:23:52.270 INFO [stderr] | Nov 28 12:23:52.270 INFO [stderr] 397 | fn typeInference(term: UntypedTerm) { Nov 28 12:23:52.270 INFO [stderr] | _____^ Nov 28 12:23:52.270 INFO [stderr] 398 | | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.270 INFO [stderr] 399 | | let TypedTerm = annotate(term, EnvT, &mut 0); Nov 28 12:23:52.270 INFO [stderr] 400 | | let Constraints = collect(TypedTerm.clone()); Nov 28 12:23:52.270 INFO [stderr] ... | Nov 28 12:23:52.270 INFO [stderr] 408 | | println!(" "); Nov 28 12:23:52.270 INFO [stderr] 409 | | } Nov 28 12:23:52.270 INFO [stderr] | |_____^ Nov 28 12:23:52.270 INFO [stderr] warning: variable `EnvI` should have a snake case name such as `env_i` Nov 28 12:23:52.270 INFO [stderr] --> src/main.rs:528:10 Nov 28 12:23:52.270 INFO [stderr] | Nov 28 12:23:52.270 INFO [stderr] 528 | let mut EnvI = InterpEnv{Env: HashMap::new()}; Nov 28 12:23:52.271 INFO [stderr] | ^^^^^^^^ Nov 28 12:23:52.271 INFO [stderr] Nov 28 12:23:52.271 INFO [stderr] Nov 28 12:23:52.271 INFO [stderr] warning: function `Add` should have a snake case name such as `add` Nov 28 12:23:52.271 INFO [stderr] --> src/main.rs:534:2 Nov 28 12:23:52.271 INFO [stderr] | Nov 28 12:23:52.271 INFO [stderr] 534 | fn Add(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.271 INFO [stderr] | _____^ Nov 28 12:23:52.271 INFO [stderr] 535 | | match (a1,a2) { Nov 28 12:23:52.271 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}, Nov 28 12:23:52.271 INFO [stderr] 537 | | _ => panic!("undefined !") Nov 28 12:23:52.271 INFO [stderr] 538 | | } Nov 28 12:23:52.271 INFO [stderr] 539 | | } Nov 28 12:23:52.271 INFO [stderr] | |_____^ Nov 28 12:23:52.271 INFO [stderr] Nov 28 12:23:52.271 INFO [stderr] warning: variable `EnvT` should have a snake case name such as `env_t` Nov 28 12:23:52.271 INFO [stderr] --> src/main.rs:398:7 Nov 28 12:23:52.271 INFO [stderr] | Nov 28 12:23:52.271 INFO [stderr] 398 | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.271 INFO [stderr] | ^^^^^^^^ Nov 28 12:23:52.271 INFO [stderr] Nov 28 12:23:52.272 INFO [stderr] warning: function `Minus` should have a snake case name such as `minus` Nov 28 12:23:52.272 INFO [stderr] warning: variable `TypedTerm` should have a snake case name such as `typed_term` Nov 28 12:23:52.272 INFO [stderr] --> src/main.rs:399:10 Nov 28 12:23:52.272 INFO [stderr] | Nov 28 12:23:52.272 INFO [stderr] --> src/main.rs:541:2 Nov 28 12:23:52.272 INFO [stderr] 399 | let TypedTerm = annotate(term, EnvT, &mut 0); Nov 28 12:23:52.272 INFO [stderr] | ^^^^^^^^^ Nov 28 12:23:52.276 INFO [stderr] | Nov 28 12:23:52.276 INFO [stderr] 541 | fn Minus(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.276 INFO [stderr] | _____^ Nov 28 12:23:52.276 INFO [stderr] 542 | | match (a1,a2) { Nov 28 12:23:52.276 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}, Nov 28 12:23:52.276 INFO [stderr] 544 | | _ => panic!("undefined !") Nov 28 12:23:52.276 INFO [stderr] 545 | | } Nov 28 12:23:52.276 INFO [stderr] 546 | | } Nov 28 12:23:52.276 INFO [stderr] | |_____^ Nov 28 12:23:52.277 INFO [stderr] Nov 28 12:23:52.277 INFO [stderr] Nov 28 12:23:52.277 INFO [stderr] warning: function `Mul` should have a snake case name such as `mul` Nov 28 12:23:52.277 INFO [stderr] --> src/main.rs:548:2 Nov 28 12:23:52.277 INFO [stderr] | Nov 28 12:23:52.277 INFO [stderr] 548 | fn Mul(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.277 INFO [stderr] | _____^ Nov 28 12:23:52.277 INFO [stderr] 549 | | match (a1,a2) { Nov 28 12:23:52.277 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}, Nov 28 12:23:52.277 INFO [stderr] 551 | | _ => panic!("undefined !") Nov 28 12:23:52.277 INFO [stderr] 552 | | } Nov 28 12:23:52.277 INFO [stderr] 553 | | } Nov 28 12:23:52.277 INFO [stderr] | |_____^ Nov 28 12:23:52.277 INFO [stderr] Nov 28 12:23:52.277 INFO [stderr] warning: variable `Constraints` should have a snake case name such as `constraints` Nov 28 12:23:52.277 INFO [stderr] --> src/main.rs:400:10 Nov 28 12:23:52.277 INFO [stderr] | Nov 28 12:23:52.277 INFO [stderr] 400 | let Constraints = collect(TypedTerm.clone()); Nov 28 12:23:52.277 INFO [stderr] | ^^^^^^^^^^^ Nov 28 12:23:52.277 INFO [stderr] Nov 28 12:23:52.278 INFO [stderr] warning: function `Div` should have a snake case name such as `div` Nov 28 12:23:52.278 INFO [stderr] --> src/main.rs:555:2 Nov 28 12:23:52.278 INFO [stderr] | Nov 28 12:23:52.278 INFO [stderr] 555 | fn Div(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.278 INFO [stderr] | _____^ Nov 28 12:23:52.278 INFO [stderr] 556 | | match (a1,a2) { Nov 28 12:23:52.278 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}, Nov 28 12:23:52.278 INFO [stderr] 558 | | _ => panic!("undefined !") Nov 28 12:23:52.278 INFO [stderr] 559 | | } Nov 28 12:23:52.278 INFO [stderr] 560 | | } Nov 28 12:23:52.278 INFO [stderr] | |_____^ Nov 28 12:23:52.278 INFO [stderr] Nov 28 12:23:52.278 INFO [stderr] warning: structure field `Env` should have a snake case name such as `env` Nov 28 12:23:52.278 INFO [stderr] --> src/main.rs:415:3 Nov 28 12:23:52.278 INFO [stderr] | Nov 28 12:23:52.278 INFO [stderr] 415 | Env: HashMap Nov 28 12:23:52.278 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 28 12:23:52.278 INFO [stderr] warning: function `Lt` should have a snake case name such as `lt` Nov 28 12:23:52.278 INFO [stderr] --> src/main.rs:562:2 Nov 28 12:23:52.278 INFO [stderr] | Nov 28 12:23:52.278 INFO [stderr] 562 | fn Lt(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.279 INFO [stderr] | _____^ Nov 28 12:23:52.279 INFO [stderr] 563 | | match (a1,a2) { Nov 28 12:23:52.279 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}, Nov 28 12:23:52.279 INFO [stderr] 565 | | _ => panic!("undefined !") Nov 28 12:23:52.279 INFO [stderr] 566 | | } Nov 28 12:23:52.279 INFO [stderr] 567 | | } Nov 28 12:23:52.279 INFO [stderr] | |_____^ Nov 28 12:23:52.279 INFO [stderr] Nov 28 12:23:52.279 INFO [stderr] warning: function `And` should have a snake case name such as `and` Nov 28 12:23:52.279 INFO [stderr] --> src/main.rs:570:2 Nov 28 12:23:52.279 INFO [stderr] | Nov 28 12:23:52.279 INFO [stderr] 570 | fn And(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.279 INFO [stderr] | _____^ Nov 28 12:23:52.279 INFO [stderr] 571 | | match (a1,a2) { Nov 28 12:23:52.279 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}, Nov 28 12:23:52.279 INFO [stderr] 573 | | _ => panic!("undefined !") Nov 28 12:23:52.279 INFO [stderr] 574 | | } Nov 28 12:23:52.279 INFO [stderr] 575 | | } Nov 28 12:23:52.279 INFO [stderr] | |_____^ Nov 28 12:23:52.279 INFO [stderr] Nov 28 12:23:52.279 INFO [stderr] Nov 28 12:23:52.280 INFO [stderr] warning: function `Or` should have a snake case name such as `or` Nov 28 12:23:52.280 INFO [stderr] --> src/main.rs:577:2 Nov 28 12:23:52.280 INFO [stderr] | Nov 28 12:23:52.280 INFO [stderr] 577 | fn Or(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.280 INFO [stderr] | _____^ Nov 28 12:23:52.280 INFO [stderr] 578 | | match (a1,a2) { Nov 28 12:23:52.280 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}, Nov 28 12:23:52.280 INFO [stderr] 580 | | _ => panic!("undefined !") Nov 28 12:23:52.280 INFO [stderr] 581 | | } Nov 28 12:23:52.280 INFO [stderr] 582 | | } Nov 28 12:23:52.280 INFO [stderr] | |_____^ Nov 28 12:23:52.280 INFO [stderr] Nov 28 12:23:52.280 INFO [stderr] warning: function `Equ` should have a snake case name such as `equ` Nov 28 12:23:52.280 INFO [stderr] --> src/main.rs:584:2 Nov 28 12:23:52.280 INFO [stderr] | Nov 28 12:23:52.280 INFO [stderr] 584 | fn Equ(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.280 INFO [stderr] | _____^ Nov 28 12:23:52.280 INFO [stderr] 585 | | match (a1,a2) { Nov 28 12:23:52.280 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}, Nov 28 12:23:52.280 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}, Nov 28 12:23:52.281 INFO [stderr] 588 | | _ => panic!("undefined !") Nov 28 12:23:52.281 INFO [stderr] 589 | | } Nov 28 12:23:52.281 INFO [stderr] 590 | | } Nov 28 12:23:52.281 INFO [stderr] | |_____^ Nov 28 12:23:52.281 INFO [stderr] Nov 28 12:23:52.281 INFO [stderr] warning: variable `EnvT` should have a snake case name such as `env_t` Nov 28 12:23:52.281 INFO [stderr] --> src/main.rs:613:6 Nov 28 12:23:52.281 INFO [stderr] | Nov 28 12:23:52.281 INFO [stderr] 613 | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.281 INFO [stderr] | ^^^^^^^^ Nov 28 12:23:52.281 INFO [stderr] Nov 28 12:23:52.281 INFO [stderr] warning: function `Interp` should have a snake case name such as `interp` Nov 28 12:23:52.281 INFO [stderr] --> src/main.rs:433:2 Nov 28 12:23:52.281 INFO [stderr] | Nov 28 12:23:52.281 INFO [stderr] 433 | fn Interp(term: TypedTerm, env: &mut InterpEnv) -> TypedTerm { Nov 28 12:23:52.281 INFO [stderr] | _____^ Nov 28 12:23:52.281 INFO [stderr] 434 | | match term { Nov 28 12:23:52.281 INFO [stderr] 435 | | TypedTerm::T_INT{ty: t, value: v} => TypedTerm::T_INT{ty: t, value: v}, Nov 28 12:23:52.281 INFO [stderr] 436 | | TypedTerm::T_BOOL{ty: t, value: v} => TypedTerm::T_BOOL{ty: t, value: v}, Nov 28 12:23:52.281 INFO [stderr] ... | Nov 28 12:23:52.282 INFO [stderr] 519 | | } Nov 28 12:23:52.282 INFO [stderr] 520 | | } Nov 28 12:23:52.282 INFO [stderr] | |_____^ Nov 28 12:23:52.282 INFO [stderr] Nov 28 12:23:52.282 INFO [stderr] warning: variable `EnvNew` should have a snake case name such as `env_new` Nov 28 12:23:52.282 INFO [stderr] --> src/main.rs:443:15 Nov 28 12:23:52.282 INFO [stderr] | Nov 28 12:23:52.282 INFO [stderr] 443 | let mut EnvNew = InterpEnv{Env: HashMap::new()}; Nov 28 12:23:52.282 INFO [stderr] | ^^^^^^^^^^ Nov 28 12:23:52.282 INFO [stderr] Nov 28 12:23:52.282 INFO [stderr] warning: variable `EnvNew` should have a snake case name such as `env_new` Nov 28 12:23:52.282 INFO [stderr] --> src/main.rs:508:15 Nov 28 12:23:52.282 INFO [stderr] | Nov 28 12:23:52.282 INFO [stderr] 508 | let mut EnvNew = InterpEnv{Env: HashMap::new()}; Nov 28 12:23:52.282 INFO [stderr] | ^^^^^^^^^^ Nov 28 12:23:52.282 INFO [stderr] Nov 28 12:23:52.282 INFO [stderr] warning: function `InterpE` should have a snake case name such as `interp_e` Nov 28 12:23:52.282 INFO [stderr] --> src/main.rs:522:2 Nov 28 12:23:52.282 INFO [stderr] | Nov 28 12:23:52.282 INFO [stderr] 522 | fn InterpE(term: UntypedTerm) { Nov 28 12:23:52.282 INFO [stderr] | _____^ Nov 28 12:23:52.283 INFO [stderr] 523 | | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.283 INFO [stderr] 524 | | let TypedTerm = annotate(term, EnvT, &mut 0); Nov 28 12:23:52.283 INFO [stderr] 525 | | let Constraints = collect(TypedTerm.clone()); Nov 28 12:23:52.283 INFO [stderr] ... | Nov 28 12:23:52.283 INFO [stderr] 530 | | println!("{:?}",Interp(TypedTerm, &mut EnvI)); Nov 28 12:23:52.283 INFO [stderr] 531 | | } Nov 28 12:23:52.283 INFO [stderr] | |_____^ Nov 28 12:23:52.283 INFO [stderr] Nov 28 12:23:52.283 INFO [stderr] warning: variable `EnvT` should have a snake case name such as `env_t` Nov 28 12:23:52.283 INFO [stderr] --> src/main.rs:523:7 Nov 28 12:23:52.283 INFO [stderr] | Nov 28 12:23:52.283 INFO [stderr] 523 | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.283 INFO [stderr] | ^^^^^^^^ Nov 28 12:23:52.283 INFO [stderr] Nov 28 12:23:52.283 INFO [stderr] warning: variable `TypedTerm` should have a snake case name such as `typed_term` Nov 28 12:23:52.283 INFO [stderr] --> src/main.rs:524:10 Nov 28 12:23:52.283 INFO [stderr] | Nov 28 12:23:52.283 INFO [stderr] 524 | let TypedTerm = annotate(term, EnvT, &mut 0); Nov 28 12:23:52.283 INFO [stderr] | ^^^^^^^^^ Nov 28 12:23:52.283 INFO [stderr] Nov 28 12:23:52.283 INFO [stderr] warning: variable `Constraints` should have a snake case name such as `constraints` Nov 28 12:23:52.284 INFO [stderr] --> src/main.rs:525:10 Nov 28 12:23:52.284 INFO [stderr] | Nov 28 12:23:52.284 INFO [stderr] 525 | let Constraints = collect(TypedTerm.clone()); Nov 28 12:23:52.284 INFO [stderr] | ^^^^^^^^^^^ Nov 28 12:23:52.284 INFO [stderr] Nov 28 12:23:52.284 INFO [stderr] warning: variable `EnvI` should have a snake case name such as `env_i` Nov 28 12:23:52.284 INFO [stderr] --> src/main.rs:528:10 Nov 28 12:23:52.284 INFO [stderr] | Nov 28 12:23:52.284 INFO [stderr] 528 | let mut EnvI = InterpEnv{Env: HashMap::new()}; Nov 28 12:23:52.284 INFO [stderr] | ^^^^^^^^ Nov 28 12:23:52.284 INFO [stderr] Nov 28 12:23:52.284 INFO [stderr] warning: function `Add` should have a snake case name such as `add` Nov 28 12:23:52.284 INFO [stderr] --> src/main.rs:534:2 Nov 28 12:23:52.284 INFO [stderr] | Nov 28 12:23:52.284 INFO [stderr] 534 | fn Add(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.284 INFO [stderr] | _____^ Nov 28 12:23:52.284 INFO [stderr] 535 | | match (a1,a2) { Nov 28 12:23:52.284 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}, Nov 28 12:23:52.284 INFO [stderr] 537 | | _ => panic!("undefined !") Nov 28 12:23:52.284 INFO [stderr] 538 | | } Nov 28 12:23:52.285 INFO [stderr] 539 | | } Nov 28 12:23:52.285 INFO [stderr] | |_____^ Nov 28 12:23:52.285 INFO [stderr] Nov 28 12:23:52.285 INFO [stderr] warning: function `Minus` should have a snake case name such as `minus` Nov 28 12:23:52.285 INFO [stderr] --> src/main.rs:541:2 Nov 28 12:23:52.285 INFO [stderr] | Nov 28 12:23:52.285 INFO [stderr] 541 | fn Minus(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.285 INFO [stderr] | _____^ Nov 28 12:23:52.285 INFO [stderr] 542 | | match (a1,a2) { Nov 28 12:23:52.285 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}, Nov 28 12:23:52.285 INFO [stderr] 544 | | _ => panic!("undefined !") Nov 28 12:23:52.285 INFO [stderr] 545 | | } Nov 28 12:23:52.285 INFO [stderr] 546 | | } Nov 28 12:23:52.285 INFO [stderr] | |_____^ Nov 28 12:23:52.285 INFO [stderr] Nov 28 12:23:52.285 INFO [stderr] warning: function `Mul` should have a snake case name such as `mul` Nov 28 12:23:52.285 INFO [stderr] --> src/main.rs:548:2 Nov 28 12:23:52.285 INFO [stderr] | Nov 28 12:23:52.285 INFO [stderr] 548 | fn Mul(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.285 INFO [stderr] | _____^ Nov 28 12:23:52.285 INFO [stderr] 549 | | match (a1,a2) { Nov 28 12:23:52.285 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}, Nov 28 12:23:52.286 INFO [stderr] 551 | | _ => panic!("undefined !") Nov 28 12:23:52.286 INFO [stderr] 552 | | } Nov 28 12:23:52.286 INFO [stderr] 553 | | } Nov 28 12:23:52.286 INFO [stderr] | |_____^ Nov 28 12:23:52.286 INFO [stderr] Nov 28 12:23:52.286 INFO [stderr] warning: function `Div` should have a snake case name such as `div` Nov 28 12:23:52.286 INFO [stderr] --> src/main.rs:555:2 Nov 28 12:23:52.286 INFO [stderr] | Nov 28 12:23:52.286 INFO [stderr] 555 | fn Div(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.286 INFO [stderr] | _____^ Nov 28 12:23:52.286 INFO [stderr] 556 | | match (a1,a2) { Nov 28 12:23:52.286 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}, Nov 28 12:23:52.286 INFO [stderr] 558 | | _ => panic!("undefined !") Nov 28 12:23:52.286 INFO [stderr] 559 | | } Nov 28 12:23:52.286 INFO [stderr] 560 | | } Nov 28 12:23:52.286 INFO [stderr] | |_____^ Nov 28 12:23:52.286 INFO [stderr] Nov 28 12:23:52.286 INFO [stderr] warning: function `Lt` should have a snake case name such as `lt` Nov 28 12:23:52.286 INFO [stderr] --> src/main.rs:562:2 Nov 28 12:23:52.286 INFO [stderr] | Nov 28 12:23:52.287 INFO [stderr] 562 | fn Lt(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.287 INFO [stderr] | _____^ Nov 28 12:23:52.287 INFO [stderr] 563 | | match (a1,a2) { Nov 28 12:23:52.287 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}, Nov 28 12:23:52.287 INFO [stderr] 565 | | _ => panic!("undefined !") Nov 28 12:23:52.287 INFO [stderr] 566 | | } Nov 28 12:23:52.287 INFO [stderr] 567 | | } Nov 28 12:23:52.287 INFO [stderr] | |_____^ Nov 28 12:23:52.287 INFO [stderr] Nov 28 12:23:52.287 INFO [stderr] warning: function `And` should have a snake case name such as `and` Nov 28 12:23:52.287 INFO [stderr] --> src/main.rs:570:2 Nov 28 12:23:52.287 INFO [stderr] | Nov 28 12:23:52.287 INFO [stderr] 570 | fn And(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.287 INFO [stderr] | _____^ Nov 28 12:23:52.287 INFO [stderr] 571 | | match (a1,a2) { Nov 28 12:23:52.287 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}, Nov 28 12:23:52.287 INFO [stderr] 573 | | _ => panic!("undefined !") Nov 28 12:23:52.287 INFO [stderr] 574 | | } Nov 28 12:23:52.287 INFO [stderr] 575 | | } Nov 28 12:23:52.287 INFO [stderr] | |_____^ Nov 28 12:23:52.287 INFO [stderr] Nov 28 12:23:52.288 INFO [stderr] warning: function `Or` should have a snake case name such as `or` Nov 28 12:23:52.288 INFO [stderr] --> src/main.rs:577:2 Nov 28 12:23:52.288 INFO [stderr] | Nov 28 12:23:52.288 INFO [stderr] 577 | fn Or(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.288 INFO [stderr] | _____^ Nov 28 12:23:52.288 INFO [stderr] 578 | | match (a1,a2) { Nov 28 12:23:52.288 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}, Nov 28 12:23:52.288 INFO [stderr] 580 | | _ => panic!("undefined !") Nov 28 12:23:52.288 INFO [stderr] 581 | | } Nov 28 12:23:52.288 INFO [stderr] 582 | | } Nov 28 12:23:52.288 INFO [stderr] | |_____^ Nov 28 12:23:52.288 INFO [stderr] Nov 28 12:23:52.288 INFO [stderr] warning: function `Equ` should have a snake case name such as `equ` Nov 28 12:23:52.288 INFO [stderr] --> src/main.rs:584:2 Nov 28 12:23:52.288 INFO [stderr] | Nov 28 12:23:52.288 INFO [stderr] 584 | fn Equ(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm { Nov 28 12:23:52.289 INFO [stderr] | _____^ Nov 28 12:23:52.289 INFO [stderr] 585 | | match (a1,a2) { Nov 28 12:23:52.289 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}, Nov 28 12:23:52.289 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}, Nov 28 12:23:52.289 INFO [stderr] 588 | | _ => panic!("undefined !") Nov 28 12:23:52.289 INFO [stderr] 589 | | } Nov 28 12:23:52.289 INFO [stderr] 590 | | } Nov 28 12:23:52.289 INFO [stderr] | |_____^ Nov 28 12:23:52.289 INFO [stderr] Nov 28 12:23:52.289 INFO [stderr] warning: variable `EnvT` should have a snake case name such as `env_t` Nov 28 12:23:52.289 INFO [stderr] --> src/main.rs:613:6 Nov 28 12:23:52.289 INFO [stderr] | Nov 28 12:23:52.289 INFO [stderr] 613 | let mut EnvT = TypeEnv{Env: HashMap::new()}; Nov 28 12:23:52.289 INFO [stderr] | ^^^^^^^^ Nov 28 12:23:52.289 INFO [stderr] Nov 28 12:23:52.289 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.27s Nov 28 12:23:52.289 INFO [stderr] su: No module specific data is present Nov 28 12:23:53.012 INFO running `"docker" "inspect" "467dffad08255799b9b4cb3127cd25ee069f85a027622056f2a58e2f723921d2"` Nov 28 12:23:53.416 INFO running `"docker" "rm" "-f" "467dffad08255799b9b4cb3127cd25ee069f85a027622056f2a58e2f723921d2"` Nov 28 12:23:53.776 INFO [stdout] 467dffad08255799b9b4cb3127cd25ee069f85a027622056f2a58e2f723921d2