[INFO] cloning repository https://github.com/UMjoeypeng/riddle_compiler
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/UMjoeypeng/riddle_compiler" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FUMjoeypeng%2Friddle_compiler", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FUMjoeypeng%2Friddle_compiler'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 54f9d9221af412b850172916b5ffacd63f403128
[INFO] building UMjoeypeng/riddle_compiler against master#11663cd3bfefef7d34e8f0892c250bf698049392+rustflags=-Dtail-expr-drop-order for pr-134523
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FUMjoeypeng%2Friddle_compiler" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/UMjoeypeng/riddle_compiler on toolchain 11663cd3bfefef7d34e8f0892c250bf698049392
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/UMjoeypeng/riddle_compiler
[INFO] finished tweaking git repo https://github.com/UMjoeypeng/riddle_compiler
[INFO] tweaked toml for git repo https://github.com/UMjoeypeng/riddle_compiler written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/UMjoeypeng/riddle_compiler already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded string_cache v0.8.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1cdb9e51040772a7440cb3c302adfed33b208ad3489c1a222dfe622209102aed
[INFO] running `Command { std: "docker" "start" "-a" "1cdb9e51040772a7440cb3c302adfed33b208ad3489c1a222dfe622209102aed", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1cdb9e51040772a7440cb3c302adfed33b208ad3489c1a222dfe622209102aed", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1cdb9e51040772a7440cb3c302adfed33b208ad3489c1a222dfe622209102aed", kill_on_drop: false }`
[INFO] [stdout] 1cdb9e51040772a7440cb3c302adfed33b208ad3489c1a222dfe622209102aed
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dtail-expr-drop-order" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a5c698916eb71fb4ce29e72e4b6f7e8986d6fce35c723ca578a6931f1e04a4c5
[INFO] running `Command { std: "docker" "start" "-a" "a5c698916eb71fb4ce29e72e4b6f7e8986d6fce35c723ca578a6931f1e04a4c5", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.107
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling smallvec v1.7.0
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling scopeguard v1.1.0
[INFO] [stderr]    Compiling regex-syntax v0.6.25
[INFO] [stderr]    Compiling siphasher v0.3.7
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling fixedbitset v0.2.0
[INFO] [stderr]    Compiling indexmap v1.7.0
[INFO] [stderr]    Compiling parking_lot_core v0.8.5
[INFO] [stderr]    Compiling either v1.6.1
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.4
[INFO] [stderr]    Compiling aho-corasick v0.7.18
[INFO] [stderr]    Compiling instant v0.1.12
[INFO] [stderr]    Compiling log v0.4.14
[INFO] [stderr]    Compiling lock_api v0.4.5
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling diff v0.1.12
[INFO] [stderr]    Compiling pico-args v0.4.2
[INFO] [stderr]    Compiling itertools v0.10.1
[INFO] [stderr]    Compiling unicode-xid v0.2.2
[INFO] [stderr]    Compiling phf_shared v0.8.0
[INFO] [stderr]    Compiling ena v0.14.0
[INFO] [stderr]    Compiling bit-set v0.5.2
[INFO] [stderr]    Compiling petgraph v0.5.1
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling parking_lot v0.11.2
[INFO] [stderr]    Compiling string_cache v0.8.2
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling regex v1.5.4
[INFO] [stderr]    Compiling lalrpop-util v0.19.6
[INFO] [stderr]    Compiling lalrpop v0.19.6
[INFO] [stderr]    Compiling riddle_compiler v0.4.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: variant `cont` should have an upper camel case name
[INFO] [stdout]    --> src/syntax.rs:162:5
[INFO] [stdout]     |
[INFO] [stdout] 162 |     cont(String, ExpCompute<Ann>, Box<Stack<Ann>>, Ann), 
[INFO] [stdout]     |     ^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Cont`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_camel_case_types)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Exp` and `Terminal`
[INFO] [stdout]  --> src/typeSyn.rs:1:21
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::syntax::{Exp, ExpCompute, ExpVal, Prim2, TCompute, TVal, Terminal};
[INFO] [stdout]   |                     ^^^                                             ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Exp`, `TCompute`, and `TVal`
[INFO] [stdout]  --> src/eval.rs:1:21
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::syntax::{Exp, ExpCompute, ExpVal, Prim2, Stack, TCompute, TVal, Terminal};
[INFO] [stdout]   |                     ^^^                                    ^^^^^^^^  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]   --> src/typeSyn.rs:19:21
[INFO] [stdout]    |
[INFO] [stdout] 19 |         ExpVal::Num(n, _) => Ok(TVal::Num),
[INFO] [stdout]    |                     ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]   --> src/typeSyn.rs:20:22
[INFO] [stdout]    |
[INFO] [stdout] 20 |         ExpVal::Bool(b, _) => Ok(TVal::Bool),
[INFO] [stdout]    |                      ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]   --> src/typeSyn.rs:34:21
[INFO] [stdout]    |
[INFO] [stdout] 34 |         ExpVal::Sum(b, v, _) => {
[INFO] [stdout]    |                     ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/typeSyn.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 |     mut gamma: &Vec<(&'exp str, TVal)>,
[INFO] [stdout]    |     ----^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/typeSyn.rs:51:13
[INFO] [stdout]    |
[INFO] [stdout] 51 |             ann,
[INFO] [stdout]    |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `binding`
[INFO] [stdout]   --> src/typeSyn.rs:61:13
[INFO] [stdout]    |
[INFO] [stdout] 61 |             binding,
[INFO] [stdout]    |             ^^^^^^^ help: try ignoring the field: `binding: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]   --> src/typeSyn.rs:62:13
[INFO] [stdout]    |
[INFO] [stdout] 62 |             body,
[INFO] [stdout]    |             ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/typeSyn.rs:63:13
[INFO] [stdout]    |
[INFO] [stdout] 63 |             ann,
[INFO] [stdout]    |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/typeSyn.rs:95:13
[INFO] [stdout]    |
[INFO] [stdout] 95 |             ann,
[INFO] [stdout]    |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/typeSyn.rs:127:13
[INFO] [stdout]     |
[INFO] [stdout] 127 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/typeSyn.rs:142:13
[INFO] [stdout]     |
[INFO] [stdout] 142 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/typeSyn.rs:168:25
[INFO] [stdout]     |
[INFO] [stdout] 168 |         ExpCompute::Pop(x, tv, e, _) => {
[INFO] [stdout]     |                         ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tv`
[INFO] [stdout]    --> src/typeSyn.rs:168:28
[INFO] [stdout]     |
[INFO] [stdout] 168 |         ExpCompute::Pop(x, tv, e, _) => {
[INFO] [stdout]     |                            ^^ help: if this is intentional, prefix it with an underscore: `_tv`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/typeSyn.rs:168:32
[INFO] [stdout]     |
[INFO] [stdout] 168 |         ExpCompute::Pop(x, tv, e, _) => {
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cond`
[INFO] [stdout]    --> src/typeSyn.rs:245:26
[INFO] [stdout]     |
[INFO] [stdout] 245 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                          ^^^^ help: try ignoring the field: `cond: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `thn`
[INFO] [stdout]    --> src/typeSyn.rs:245:32
[INFO] [stdout]     |
[INFO] [stdout] 245 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                                ^^^ help: try ignoring the field: `thn: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `els`
[INFO] [stdout]    --> src/typeSyn.rs:245:37
[INFO] [stdout]     |
[INFO] [stdout] 245 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                                     ^^^ help: try ignoring the field: `els: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/typeSyn.rs:45:5
[INFO] [stdout]    |
[INFO] [stdout] 45 |     mut gamma: &Vec<(&'exp str, TVal)>,
[INFO] [stdout]    |     ----^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/eval.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 |             ann,
[INFO] [stdout]    |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/eval.rs:56:41
[INFO] [stdout]    |
[INFO] [stdout] 56 |         ExpCompute::To { binding, body, ann } => {
[INFO] [stdout]    |                                         ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:102:13
[INFO] [stdout]     |
[INFO] [stdout] 102 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:141:13
[INFO] [stdout]     |
[INFO] [stdout] 141 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:164:13
[INFO] [stdout]     |
[INFO] [stdout] 164 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:249:13
[INFO] [stdout]     |
[INFO] [stdout] 249 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:257:41
[INFO] [stdout]     |
[INFO] [stdout] 257 |         ExpCompute::To { binding, body, ann } => {
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:287:13
[INFO] [stdout]     |
[INFO] [stdout] 287 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:309:13
[INFO] [stdout]     |
[INFO] [stdout] 309 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:324:13
[INFO] [stdout]     |
[INFO] [stdout] 324 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:335:17
[INFO] [stdout]     |
[INFO] [stdout] 335 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/eval.rs:347:28
[INFO] [stdout]     |
[INFO] [stdout] 347 |         ExpCompute::Pop(x, t, e, _) => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:459:17
[INFO] [stdout]     |
[INFO] [stdout] 459 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:466:45
[INFO] [stdout]     |
[INFO] [stdout] 466 |             ExpCompute::To { binding, body, ann } => {
[INFO] [stdout]     |                                             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:508:17
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:528:17
[INFO] [stdout]     |
[INFO] [stdout] 528 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:541:17
[INFO] [stdout]     |
[INFO] [stdout] 541 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/eval.rs:565:32
[INFO] [stdout]     |
[INFO] [stdout] 565 |             ExpCompute::Pop(x, t, e, _) => match stack {
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/eval.rs:442:9
[INFO] [stdout]     |
[INFO] [stdout] 442 |     let mut count = 0;
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/eval.rs:719:20
[INFO] [stdout]     |
[INFO] [stdout] 719 |         Stack::Arg(e, s, _) => {}
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/eval.rs:719:23
[INFO] [stdout]     |
[INFO] [stdout] 719 |         Stack::Arg(e, s, _) => {}
[INFO] [stdout]     |                       ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]    --> src/eval.rs:720:20
[INFO] [stdout]     |
[INFO] [stdout] 720 |         Stack::Prj(b, s, _) => todo!(),
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/eval.rs:720:23
[INFO] [stdout]     |
[INFO] [stdout] 720 |         Stack::Prj(b, s, _) => todo!(),
[INFO] [stdout]     |                       ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/eval.rs:721:21
[INFO] [stdout]     |
[INFO] [stdout] 721 |         Stack::cont(v, c, s, _) => todo!(),
[INFO] [stdout]     |                     ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c`
[INFO] [stdout]    --> src/eval.rs:721:24
[INFO] [stdout]     |
[INFO] [stdout] 721 |         Stack::cont(v, c, s, _) => todo!(),
[INFO] [stdout]     |                        ^ help: if this is intentional, prefix it with an underscore: `_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/eval.rs:721:27
[INFO] [stdout]     |
[INFO] [stdout] 721 |         Stack::cont(v, c, s, _) => todo!(),
[INFO] [stdout]     |                           ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `d`
[INFO] [stdout]    --> src/eval.rs:731:21
[INFO] [stdout]     |
[INFO] [stdout] 731 |         ExpVal::Sum(d, v, _) => {
[INFO] [stdout]     |                     ^ help: if this is intentional, prefix it with an underscore: `_d`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/eval.rs:731:24
[INFO] [stdout]     |
[INFO] [stdout] 731 |         ExpVal::Sum(d, v, _) => {
[INFO] [stdout]     |                        ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bindings`
[INFO] [stdout]    --> src/eval.rs:741:13
[INFO] [stdout]     |
[INFO] [stdout] 741 |             bindings,
[INFO] [stdout]     |             ^^^^^^^^ help: try ignoring the field: `bindings: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/eval.rs:742:13
[INFO] [stdout]     |
[INFO] [stdout] 742 |             body,
[INFO] [stdout]     |             ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:743:13
[INFO] [stdout]     |
[INFO] [stdout] 743 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cond`
[INFO] [stdout]    --> src/eval.rs:745:26
[INFO] [stdout]     |
[INFO] [stdout] 745 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                          ^^^^ help: try ignoring the field: `cond: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `thn`
[INFO] [stdout]    --> src/eval.rs:745:32
[INFO] [stdout]     |
[INFO] [stdout] 745 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                                ^^^ help: try ignoring the field: `thn: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `els`
[INFO] [stdout]    --> src/eval.rs:745:37
[INFO] [stdout]     |
[INFO] [stdout] 745 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                                     ^^^ help: try ignoring the field: `els: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `binding`
[INFO] [stdout]    --> src/eval.rs:746:26
[INFO] [stdout]     |
[INFO] [stdout] 746 |         ExpCompute::To { binding, body, ann } => todo!(),
[INFO] [stdout]     |                          ^^^^^^^ help: try ignoring the field: `binding: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/eval.rs:746:35
[INFO] [stdout]     |
[INFO] [stdout] 746 |         ExpCompute::To { binding, body, ann } => todo!(),
[INFO] [stdout]     |                                   ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:746:41
[INFO] [stdout]     |
[INFO] [stdout] 746 |         ExpCompute::To { binding, body, ann } => todo!(),
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `subject`
[INFO] [stdout]    --> src/eval.rs:750:13
[INFO] [stdout]     |
[INFO] [stdout] 750 |             subject,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `subject: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `branch1`
[INFO] [stdout]    --> src/eval.rs:751:13
[INFO] [stdout]     |
[INFO] [stdout] 751 |             branch1,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `branch1: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `branch2`
[INFO] [stdout]    --> src/eval.rs:752:13
[INFO] [stdout]     |
[INFO] [stdout] 752 |             branch2,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `branch2: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:753:13
[INFO] [stdout]     |
[INFO] [stdout] 753 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `subject`
[INFO] [stdout]    --> src/eval.rs:756:13
[INFO] [stdout]     |
[INFO] [stdout] 756 |             subject,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `subject: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> src/eval.rs:757:13
[INFO] [stdout]     |
[INFO] [stdout] 757 |             left,
[INFO] [stdout]     |             ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> src/eval.rs:758:13
[INFO] [stdout]     |
[INFO] [stdout] 758 |             right,
[INFO] [stdout]     |             ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/eval.rs:759:13
[INFO] [stdout]     |
[INFO] [stdout] 759 |             body,
[INFO] [stdout]     |             ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:760:13
[INFO] [stdout]     |
[INFO] [stdout] 760 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `branch1`
[INFO] [stdout]    --> src/eval.rs:763:13
[INFO] [stdout]     |
[INFO] [stdout] 763 |             branch1,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `branch1: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `branch2`
[INFO] [stdout]    --> src/eval.rs:764:13
[INFO] [stdout]     |
[INFO] [stdout] 764 |             branch2,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `branch2: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:765:13
[INFO] [stdout]     |
[INFO] [stdout] 765 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `lookup` is never used
[INFO] [stdout]  --> src/typeSyn.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn lookup(gamma: &Vec<(&str, TVal)>, x: &str) -> Result<TVal, String> {
[INFO] [stdout]   |        ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `typeSynVal` is never used
[INFO] [stdout]   --> src/typeSyn.rs:14:8
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub fn typeSynVal<'exp>(
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `typeSynCompute` is never used
[INFO] [stdout]   --> src/typeSyn.rs:43:8
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub fn typeSynCompute<'exp>(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printStack` is never used
[INFO] [stdout]    --> src/eval.rs:717:4
[INFO] [stdout]     |
[INFO] [stdout] 717 | fn printStack(s: Stack<()>) {
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printVal` is never used
[INFO] [stdout]    --> src/eval.rs:725:4
[INFO] [stdout]     |
[INFO] [stdout] 725 | fn printVal(v: ExpVal<()>) -> String {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printCompute` is never used
[INFO] [stdout]    --> src/eval.rs:738:4
[INFO] [stdout]     |
[INFO] [stdout] 738 | fn printCompute(c: ExpCompute<()>) -> String {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: module `typeSyn` should have a snake case name
[INFO] [stdout]  --> src/lib.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | mod typeSyn;
[INFO] [stdout]   |     ^^^^^^^ help: convert the identifier to snake case: `type_syn`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `typeSynVal` should have a snake case name
[INFO] [stdout]   --> src/typeSyn.rs:14:8
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub fn typeSynVal<'exp>(
[INFO] [stdout]    |        ^^^^^^^^^^ help: convert the identifier to snake case: `type_syn_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `typeSynCompute` should have a snake case name
[INFO] [stdout]   --> src/typeSyn.rs:43:8
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub fn typeSynCompute<'exp>(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `type_syn_compute`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `substVal` should have a snake case name
[INFO] [stdout]  --> src/eval.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn substVal(e: ExpVal<()>, x: &str, v: ExpVal<()>) -> ExpVal<()> {
[INFO] [stdout]   |        ^^^^^^^^ help: convert the identifier to snake case: `subst_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `substCompute` should have a snake case name
[INFO] [stdout]   --> src/eval.rs:34:8
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub fn substCompute(e: ExpCompute<()>, x: &str, v: ExpVal<()>) -> ExpCompute<()> {
[INFO] [stdout]    |        ^^^^^^^^^^^^ help: convert the identifier to snake case: `subst_compute`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]   --> src/eval.rs:47:78
[INFO] [stdout]    |
[INFO] [stdout] 47 |                     new_bindings.push((y.to_string(), substVal(val.clone(), x.clone(), v.clone())));
[INFO] [stdout]    |                                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]    |
[INFO] [stdout]    = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout]    = note: `#[warn(noop_method_call)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]   --> src/eval.rs:52:53
[INFO] [stdout]    |
[INFO] [stdout] 52 |                 body: Box::new(substCompute(*body, x.clone(), v.clone())),
[INFO] [stdout]    |                                                     ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]    |
[INFO] [stdout]    = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]   --> src/eval.rs:69:62
[INFO] [stdout]    |
[INFO] [stdout] 69 |                         Box::new(substCompute(*val.clone(), x.clone(), v.clone())),
[INFO] [stdout]    |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]    |
[INFO] [stdout]    = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]   --> src/eval.rs:71:57
[INFO] [stdout]    |
[INFO] [stdout] 71 |                     body: Box::new(substCompute(*body, x.clone(), v.clone())),
[INFO] [stdout]    |                                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]    |
[INFO] [stdout]    = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:108:59
[INFO] [stdout]     |
[INFO] [stdout] 108 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:109:62
[INFO] [stdout]     |
[INFO] [stdout] 109 |                     branch1: (l, Box::new(substCompute(*e1, x.clone(), v.clone()))),
[INFO] [stdout]     |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:110:62
[INFO] [stdout]     |
[INFO] [stdout] 110 |                     branch2: (r, Box::new(substCompute(*e2, x.clone(), v.clone()))),
[INFO] [stdout]     |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:115:59
[INFO] [stdout]     |
[INFO] [stdout] 115 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:116:62
[INFO] [stdout]     |
[INFO] [stdout] 116 |                     branch1: (l, Box::new(substCompute(*e1, x.clone(), v.clone()))),
[INFO] [stdout]     |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:122:59
[INFO] [stdout]     |
[INFO] [stdout] 122 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:124:62
[INFO] [stdout]     |
[INFO] [stdout] 124 |                     branch2: (r, Box::new(substCompute(*e2, x.clone(), v.clone()))),
[INFO] [stdout]     |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:129:59
[INFO] [stdout]     |
[INFO] [stdout] 129 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:145:59
[INFO] [stdout]     |
[INFO] [stdout] 145 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:153:59
[INFO] [stdout]     |
[INFO] [stdout] 153 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:156:57
[INFO] [stdout]     |
[INFO] [stdout] 156 |                     body: Box::new(substCompute(*body, x.clone(), v.clone())),
[INFO] [stdout]     |                                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:167:59
[INFO] [stdout]     |
[INFO] [stdout] 167 |                 branch1: Box::new(substCompute(*branch1, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:168:59
[INFO] [stdout]     |
[INFO] [stdout] 168 |                 branch2: Box::new(substCompute(*branch2, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:173:67
[INFO] [stdout]     |
[INFO] [stdout] 173 |             return ExpCompute::Proj(d, Box::new(substCompute(*e, x.clone(), v.clone())), ());
[INFO] [stdout]     |                                                                   ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:179:73
[INFO] [stdout]     |
[INFO] [stdout] 179 |                 return ExpCompute::Pop(y, t, Box::new(substCompute(*e, x.clone(), v.clone())), ());
[INFO] [stdout]     |                                                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:184:41
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 Box::new(substVal(*e1, x.clone(), v.clone())),
[INFO] [stdout]     |                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:185:45
[INFO] [stdout]     |
[INFO] [stdout] 185 |                 Box::new(substCompute(*e2, x.clone(), v.clone())),
[INFO] [stdout]     |                                             ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:192:41
[INFO] [stdout]     |
[INFO] [stdout] 192 |                 Box::new(substVal(*e1, x.clone(), v.clone())),
[INFO] [stdout]     |                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:193:41
[INFO] [stdout]     |
[INFO] [stdout] 193 |                 Box::new(substVal(*e2, x.clone(), v.clone())),
[INFO] [stdout]     |                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:199:49
[INFO] [stdout]     |
[INFO] [stdout] 199 |                 cond: Box::new(substVal(*cond, x.clone(), v.clone())),
[INFO] [stdout]     |                                                 ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:200:51
[INFO] [stdout]     |
[INFO] [stdout] 200 |                 thn: Box::new(substCompute(*thn, x.clone(), v.clone())),
[INFO] [stdout]     |                                                   ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:201:51
[INFO] [stdout]     |
[INFO] [stdout] 201 |                 els: Box::new(substCompute(*els, x.clone(), v.clone())),
[INFO] [stdout]     |                                                   ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printStack` should have a snake case name
[INFO] [stdout]    --> src/eval.rs:717:4
[INFO] [stdout]     |
[INFO] [stdout] 717 | fn printStack(s: Stack<()>) {
[INFO] [stdout]     |    ^^^^^^^^^^ help: convert the identifier to snake case: `print_stack`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printVal` should have a snake case name
[INFO] [stdout]    --> src/eval.rs:725:4
[INFO] [stdout]     |
[INFO] [stdout] 725 | fn printVal(v: ExpVal<()>) -> String {
[INFO] [stdout]     |    ^^^^^^^^ help: convert the identifier to snake case: `print_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printCompute` should have a snake case name
[INFO] [stdout]    --> src/eval.rs:738:4
[INFO] [stdout]     |
[INFO] [stdout] 738 | fn printCompute(c: ExpCompute<()>) -> String {
[INFO] [stdout]     |    ^^^^^^^^^^^^ help: convert the identifier to snake case: `print_compute`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `eval`, `substCompute`, and `substVal`
[INFO] [stdout]  --> src/main.rs:1:29
[INFO] [stdout]   |
[INFO] [stdout] 1 | use riddle_compiler::eval::{eval, eval_with_stack, substCompute, substVal};
[INFO] [stdout]   |                             ^^^^                   ^^^^^^^^^^^^  ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ValueParser`
[INFO] [stdout]  --> src/main.rs:2:50
[INFO] [stdout]   |
[INFO] [stdout] 2 | use riddle_compiler::parser::{ComputationParser, ValueParser};
[INFO] [stdout]   |                                                  ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ExpCompute`, `ExpVal`, `Prim2`, `TCompute`, `TVal`, and `Terminal`
[INFO] [stdout]  --> src/main.rs:3:31
[INFO] [stdout]   |
[INFO] [stdout] 3 | use riddle_compiler::syntax::{ExpCompute, ExpVal, Prim2, TCompute, TVal, Terminal};
[INFO] [stdout]   |                               ^^^^^^^^^^  ^^^^^^  ^^^^^  ^^^^^^^^  ^^^^  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::*`
[INFO] [stdout]   --> src/main.rs:22:9
[INFO] [stdout]    |
[INFO] [stdout] 22 |     use super::*;
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: if this is a test module, consider adding a `#[cfg(test)]` to the containing module
[INFO] [stdout]   --> src/main.rs:21:1
[INFO] [stdout]    |
[INFO] [stdout] 21 | mod eval_test {
[INFO] [stdout]    | ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.37s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: lalrpop v0.19.6
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1`
[INFO] running `Command { std: "docker" "inspect" "a5c698916eb71fb4ce29e72e4b6f7e8986d6fce35c723ca578a6931f1e04a4c5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a5c698916eb71fb4ce29e72e4b6f7e8986d6fce35c723ca578a6931f1e04a4c5", kill_on_drop: false }`
[INFO] [stdout] a5c698916eb71fb4ce29e72e4b6f7e8986d6fce35c723ca578a6931f1e04a4c5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dtail-expr-drop-order" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 047a172317efa86507fb0021a43e9093085bd89af61452151e44a0c08270dd0f
[INFO] running `Command { std: "docker" "start" "-a" "047a172317efa86507fb0021a43e9093085bd89af61452151e44a0c08270dd0f", kill_on_drop: false }`
[INFO] [stdout] warning: variant `cont` should have an upper camel case name
[INFO] [stdout]    --> src/syntax.rs:162:5
[INFO] [stdout]     |
[INFO] [stdout] 162 |     cont(String, ExpCompute<Ann>, Box<Stack<Ann>>, Ann), 
[INFO] [stdout]     |     ^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Cont`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_camel_case_types)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Exp` and `Terminal`
[INFO] [stdout]  --> src/typeSyn.rs:1:21
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::syntax::{Exp, ExpCompute, ExpVal, Prim2, TCompute, TVal, Terminal};
[INFO] [stdout]   |                     ^^^                                             ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Exp`, `TCompute`, and `TVal`
[INFO] [stdout]  --> src/eval.rs:1:21
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::syntax::{Exp, ExpCompute, ExpVal, Prim2, Stack, TCompute, TVal, Terminal};
[INFO] [stdout]   |                     ^^^                                    ^^^^^^^^  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]   --> src/typeSyn.rs:19:21
[INFO] [stdout]    |
[INFO] [stdout] 19 |         ExpVal::Num(n, _) => Ok(TVal::Num),
[INFO] [stdout]    |                     ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]   --> src/typeSyn.rs:20:22
[INFO] [stdout]    |
[INFO] [stdout] 20 |         ExpVal::Bool(b, _) => Ok(TVal::Bool),
[INFO] [stdout]    |                      ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]   --> src/typeSyn.rs:34:21
[INFO] [stdout]    |
[INFO] [stdout] 34 |         ExpVal::Sum(b, v, _) => {
[INFO] [stdout]    |                     ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/typeSyn.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 |     mut gamma: &Vec<(&'exp str, TVal)>,
[INFO] [stdout]    |     ----^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/typeSyn.rs:51:13
[INFO] [stdout]    |
[INFO] [stdout] 51 |             ann,
[INFO] [stdout]    |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `binding`
[INFO] [stdout]   --> src/typeSyn.rs:61:13
[INFO] [stdout]    |
[INFO] [stdout] 61 |             binding,
[INFO] [stdout]    |             ^^^^^^^ help: try ignoring the field: `binding: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]   --> src/typeSyn.rs:62:13
[INFO] [stdout]    |
[INFO] [stdout] 62 |             body,
[INFO] [stdout]    |             ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/typeSyn.rs:63:13
[INFO] [stdout]    |
[INFO] [stdout] 63 |             ann,
[INFO] [stdout]    |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/typeSyn.rs:95:13
[INFO] [stdout]    |
[INFO] [stdout] 95 |             ann,
[INFO] [stdout]    |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/typeSyn.rs:127:13
[INFO] [stdout]     |
[INFO] [stdout] 127 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/typeSyn.rs:142:13
[INFO] [stdout]     |
[INFO] [stdout] 142 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/typeSyn.rs:168:25
[INFO] [stdout]     |
[INFO] [stdout] 168 |         ExpCompute::Pop(x, tv, e, _) => {
[INFO] [stdout]     |                         ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tv`
[INFO] [stdout]    --> src/typeSyn.rs:168:28
[INFO] [stdout]     |
[INFO] [stdout] 168 |         ExpCompute::Pop(x, tv, e, _) => {
[INFO] [stdout]     |                            ^^ help: if this is intentional, prefix it with an underscore: `_tv`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/typeSyn.rs:168:32
[INFO] [stdout]     |
[INFO] [stdout] 168 |         ExpCompute::Pop(x, tv, e, _) => {
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cond`
[INFO] [stdout]    --> src/typeSyn.rs:245:26
[INFO] [stdout]     |
[INFO] [stdout] 245 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                          ^^^^ help: try ignoring the field: `cond: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `thn`
[INFO] [stdout]    --> src/typeSyn.rs:245:32
[INFO] [stdout]     |
[INFO] [stdout] 245 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                                ^^^ help: try ignoring the field: `thn: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `els`
[INFO] [stdout]    --> src/typeSyn.rs:245:37
[INFO] [stdout]     |
[INFO] [stdout] 245 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                                     ^^^ help: try ignoring the field: `els: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/typeSyn.rs:45:5
[INFO] [stdout]    |
[INFO] [stdout] 45 |     mut gamma: &Vec<(&'exp str, TVal)>,
[INFO] [stdout]    |     ----^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/eval.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 |             ann,
[INFO] [stdout]    |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/eval.rs:56:41
[INFO] [stdout]    |
[INFO] [stdout] 56 |         ExpCompute::To { binding, body, ann } => {
[INFO] [stdout]    |                                         ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:102:13
[INFO] [stdout]     |
[INFO] [stdout] 102 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:141:13
[INFO] [stdout]     |
[INFO] [stdout] 141 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:164:13
[INFO] [stdout]     |
[INFO] [stdout] 164 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:249:13
[INFO] [stdout]     |
[INFO] [stdout] 249 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:257:41
[INFO] [stdout]     |
[INFO] [stdout] 257 |         ExpCompute::To { binding, body, ann } => {
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:287:13
[INFO] [stdout]     |
[INFO] [stdout] 287 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:309:13
[INFO] [stdout]     |
[INFO] [stdout] 309 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:324:13
[INFO] [stdout]     |
[INFO] [stdout] 324 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:335:17
[INFO] [stdout]     |
[INFO] [stdout] 335 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/eval.rs:347:28
[INFO] [stdout]     |
[INFO] [stdout] 347 |         ExpCompute::Pop(x, t, e, _) => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:459:17
[INFO] [stdout]     |
[INFO] [stdout] 459 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:466:45
[INFO] [stdout]     |
[INFO] [stdout] 466 |             ExpCompute::To { binding, body, ann } => {
[INFO] [stdout]     |                                             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:508:17
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:528:17
[INFO] [stdout]     |
[INFO] [stdout] 528 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:541:17
[INFO] [stdout]     |
[INFO] [stdout] 541 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/eval.rs:565:32
[INFO] [stdout]     |
[INFO] [stdout] 565 |             ExpCompute::Pop(x, t, e, _) => match stack {
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/eval.rs:442:9
[INFO] [stdout]     |
[INFO] [stdout] 442 |     let mut count = 0;
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/eval.rs:719:20
[INFO] [stdout]     |
[INFO] [stdout] 719 |         Stack::Arg(e, s, _) => {}
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/eval.rs:719:23
[INFO] [stdout]     |
[INFO] [stdout] 719 |         Stack::Arg(e, s, _) => {}
[INFO] [stdout]     |                       ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]    --> src/eval.rs:720:20
[INFO] [stdout]     |
[INFO] [stdout] 720 |         Stack::Prj(b, s, _) => todo!(),
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/eval.rs:720:23
[INFO] [stdout]     |
[INFO] [stdout] 720 |         Stack::Prj(b, s, _) => todo!(),
[INFO] [stdout]     |                       ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/eval.rs:721:21
[INFO] [stdout]     |
[INFO] [stdout] 721 |         Stack::cont(v, c, s, _) => todo!(),
[INFO] [stdout]     |                     ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c`
[INFO] [stdout]    --> src/eval.rs:721:24
[INFO] [stdout]     |
[INFO] [stdout] 721 |         Stack::cont(v, c, s, _) => todo!(),
[INFO] [stdout]     |                        ^ help: if this is intentional, prefix it with an underscore: `_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/eval.rs:721:27
[INFO] [stdout]     |
[INFO] [stdout] 721 |         Stack::cont(v, c, s, _) => todo!(),
[INFO] [stdout]     |                           ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `d`
[INFO] [stdout]    --> src/eval.rs:731:21
[INFO] [stdout]     |
[INFO] [stdout] 731 |         ExpVal::Sum(d, v, _) => {
[INFO] [stdout]     |                     ^ help: if this is intentional, prefix it with an underscore: `_d`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/eval.rs:731:24
[INFO] [stdout]     |
[INFO] [stdout] 731 |         ExpVal::Sum(d, v, _) => {
[INFO] [stdout]     |                        ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bindings`
[INFO] [stdout]    --> src/eval.rs:741:13
[INFO] [stdout]     |
[INFO] [stdout] 741 |             bindings,
[INFO] [stdout]     |             ^^^^^^^^ help: try ignoring the field: `bindings: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/eval.rs:742:13
[INFO] [stdout]     |
[INFO] [stdout] 742 |             body,
[INFO] [stdout]     |             ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:743:13
[INFO] [stdout]     |
[INFO] [stdout] 743 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cond`
[INFO] [stdout]    --> src/eval.rs:745:26
[INFO] [stdout]     |
[INFO] [stdout] 745 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                          ^^^^ help: try ignoring the field: `cond: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `thn`
[INFO] [stdout]    --> src/eval.rs:745:32
[INFO] [stdout]     |
[INFO] [stdout] 745 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                                ^^^ help: try ignoring the field: `thn: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `els`
[INFO] [stdout]    --> src/eval.rs:745:37
[INFO] [stdout]     |
[INFO] [stdout] 745 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                                     ^^^ help: try ignoring the field: `els: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `binding`
[INFO] [stdout]    --> src/eval.rs:746:26
[INFO] [stdout]     |
[INFO] [stdout] 746 |         ExpCompute::To { binding, body, ann } => todo!(),
[INFO] [stdout]     |                          ^^^^^^^ help: try ignoring the field: `binding: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/eval.rs:746:35
[INFO] [stdout]     |
[INFO] [stdout] 746 |         ExpCompute::To { binding, body, ann } => todo!(),
[INFO] [stdout]     |                                   ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:746:41
[INFO] [stdout]     |
[INFO] [stdout] 746 |         ExpCompute::To { binding, body, ann } => todo!(),
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `subject`
[INFO] [stdout]    --> src/eval.rs:750:13
[INFO] [stdout]     |
[INFO] [stdout] 750 |             subject,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `subject: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `branch1`
[INFO] [stdout]    --> src/eval.rs:751:13
[INFO] [stdout]     |
[INFO] [stdout] 751 |             branch1,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `branch1: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `branch2`
[INFO] [stdout]    --> src/eval.rs:752:13
[INFO] [stdout]     |
[INFO] [stdout] 752 |             branch2,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `branch2: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:753:13
[INFO] [stdout]     |
[INFO] [stdout] 753 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `subject`
[INFO] [stdout]    --> src/eval.rs:756:13
[INFO] [stdout]     |
[INFO] [stdout] 756 |             subject,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `subject: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> src/eval.rs:757:13
[INFO] [stdout]     |
[INFO] [stdout] 757 |             left,
[INFO] [stdout]     |             ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> src/eval.rs:758:13
[INFO] [stdout]     |
[INFO] [stdout] 758 |             right,
[INFO] [stdout]     |             ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/eval.rs:759:13
[INFO] [stdout]     |
[INFO] [stdout] 759 |             body,
[INFO] [stdout]     |             ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:760:13
[INFO] [stdout]     |
[INFO] [stdout] 760 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `branch1`
[INFO] [stdout]    --> src/eval.rs:763:13
[INFO] [stdout]     |
[INFO] [stdout] 763 |             branch1,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `branch1: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `branch2`
[INFO] [stdout]    --> src/eval.rs:764:13
[INFO] [stdout]     |
[INFO] [stdout] 764 |             branch2,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `branch2: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:765:13
[INFO] [stdout]     |
[INFO] [stdout] 765 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `lookup` is never used
[INFO] [stdout]  --> src/typeSyn.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn lookup(gamma: &Vec<(&str, TVal)>, x: &str) -> Result<TVal, String> {
[INFO] [stdout]   |        ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `typeSynVal` is never used
[INFO] [stdout]   --> src/typeSyn.rs:14:8
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub fn typeSynVal<'exp>(
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `typeSynCompute` is never used
[INFO] [stdout]   --> src/typeSyn.rs:43:8
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub fn typeSynCompute<'exp>(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printStack` is never used
[INFO] [stdout]    --> src/eval.rs:717:4
[INFO] [stdout]     |
[INFO] [stdout] 717 | fn printStack(s: Stack<()>) {
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printVal` is never used
[INFO] [stdout]    --> src/eval.rs:725:4
[INFO] [stdout]     |
[INFO] [stdout] 725 | fn printVal(v: ExpVal<()>) -> String {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printCompute` is never used
[INFO] [stdout]    --> src/eval.rs:738:4
[INFO] [stdout]     |
[INFO] [stdout] 738 | fn printCompute(c: ExpCompute<()>) -> String {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: module `typeSyn` should have a snake case name
[INFO] [stdout]  --> src/lib.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | mod typeSyn;
[INFO] [stdout]   |     ^^^^^^^ help: convert the identifier to snake case: `type_syn`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `typeSynVal` should have a snake case name
[INFO] [stdout]   --> src/typeSyn.rs:14:8
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub fn typeSynVal<'exp>(
[INFO] [stdout]    |        ^^^^^^^^^^ help: convert the identifier to snake case: `type_syn_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `typeSynCompute` should have a snake case name
[INFO] [stdout]   --> src/typeSyn.rs:43:8
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub fn typeSynCompute<'exp>(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `type_syn_compute`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `substVal` should have a snake case name
[INFO] [stdout]  --> src/eval.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn substVal(e: ExpVal<()>, x: &str, v: ExpVal<()>) -> ExpVal<()> {
[INFO] [stdout]   |        ^^^^^^^^ help: convert the identifier to snake case: `subst_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `substCompute` should have a snake case name
[INFO] [stdout]   --> src/eval.rs:34:8
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub fn substCompute(e: ExpCompute<()>, x: &str, v: ExpVal<()>) -> ExpCompute<()> {
[INFO] [stdout]    |        ^^^^^^^^^^^^ help: convert the identifier to snake case: `subst_compute`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]   --> src/eval.rs:47:78
[INFO] [stdout]    |
[INFO] [stdout] 47 |                     new_bindings.push((y.to_string(), substVal(val.clone(), x.clone(), v.clone())));
[INFO] [stdout]    |                                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]    |
[INFO] [stdout]    = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout]    = note: `#[warn(noop_method_call)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]   --> src/eval.rs:52:53
[INFO] [stdout]    |
[INFO] [stdout] 52 |                 body: Box::new(substCompute(*body, x.clone(), v.clone())),
[INFO] [stdout]    |                                                     ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]    |
[INFO] [stdout]    = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]   --> src/eval.rs:69:62
[INFO] [stdout]    |
[INFO] [stdout] 69 |                         Box::new(substCompute(*val.clone(), x.clone(), v.clone())),
[INFO] [stdout]    |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]    |
[INFO] [stdout]    = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]   --> src/eval.rs:71:57
[INFO] [stdout]    |
[INFO] [stdout] 71 |                     body: Box::new(substCompute(*body, x.clone(), v.clone())),
[INFO] [stdout]    |                                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]    |
[INFO] [stdout]    = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:108:59
[INFO] [stdout]     |
[INFO] [stdout] 108 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:109:62
[INFO] [stdout]     |
[INFO] [stdout] 109 |                     branch1: (l, Box::new(substCompute(*e1, x.clone(), v.clone()))),
[INFO] [stdout]     |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:110:62
[INFO] [stdout]     |
[INFO] [stdout] 110 |                     branch2: (r, Box::new(substCompute(*e2, x.clone(), v.clone()))),
[INFO] [stdout]     |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:115:59
[INFO] [stdout]     |
[INFO] [stdout] 115 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:116:62
[INFO] [stdout]     |
[INFO] [stdout] 116 |                     branch1: (l, Box::new(substCompute(*e1, x.clone(), v.clone()))),
[INFO] [stdout]     |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:122:59
[INFO] [stdout]     |
[INFO] [stdout] 122 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:124:62
[INFO] [stdout]     |
[INFO] [stdout] 124 |                     branch2: (r, Box::new(substCompute(*e2, x.clone(), v.clone()))),
[INFO] [stdout]     |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:129:59
[INFO] [stdout]     |
[INFO] [stdout] 129 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:145:59
[INFO] [stdout]     |
[INFO] [stdout] 145 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:153:59
[INFO] [stdout]     |
[INFO] [stdout] 153 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:156:57
[INFO] [stdout]     |
[INFO] [stdout] 156 |                     body: Box::new(substCompute(*body, x.clone(), v.clone())),
[INFO] [stdout]     |                                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:167:59
[INFO] [stdout]     |
[INFO] [stdout] 167 |                 branch1: Box::new(substCompute(*branch1, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:168:59
[INFO] [stdout]     |
[INFO] [stdout] 168 |                 branch2: Box::new(substCompute(*branch2, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:173:67
[INFO] [stdout]     |
[INFO] [stdout] 173 |             return ExpCompute::Proj(d, Box::new(substCompute(*e, x.clone(), v.clone())), ());
[INFO] [stdout]     |                                                                   ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:179:73
[INFO] [stdout]     |
[INFO] [stdout] 179 |                 return ExpCompute::Pop(y, t, Box::new(substCompute(*e, x.clone(), v.clone())), ());
[INFO] [stdout]     |                                                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:184:41
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 Box::new(substVal(*e1, x.clone(), v.clone())),
[INFO] [stdout]     |                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:185:45
[INFO] [stdout]     |
[INFO] [stdout] 185 |                 Box::new(substCompute(*e2, x.clone(), v.clone())),
[INFO] [stdout]     |                                             ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:192:41
[INFO] [stdout]     |
[INFO] [stdout] 192 |                 Box::new(substVal(*e1, x.clone(), v.clone())),
[INFO] [stdout]     |                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:193:41
[INFO] [stdout]     |
[INFO] [stdout] 193 |                 Box::new(substVal(*e2, x.clone(), v.clone())),
[INFO] [stdout]     |                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:199:49
[INFO] [stdout]     |
[INFO] [stdout] 199 |                 cond: Box::new(substVal(*cond, x.clone(), v.clone())),
[INFO] [stdout]     |                                                 ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:200:51
[INFO] [stdout]     |
[INFO] [stdout] 200 |                 thn: Box::new(substCompute(*thn, x.clone(), v.clone())),
[INFO] [stdout]     |                                                   ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:201:51
[INFO] [stdout]     |
[INFO] [stdout] 201 |                 els: Box::new(substCompute(*els, x.clone(), v.clone())),
[INFO] [stdout]     |                                                   ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printStack` should have a snake case name
[INFO] [stdout]    --> src/eval.rs:717:4
[INFO] [stdout]     |
[INFO] [stdout] 717 | fn printStack(s: Stack<()>) {
[INFO] [stdout]     |    ^^^^^^^^^^ help: convert the identifier to snake case: `print_stack`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printVal` should have a snake case name
[INFO] [stdout]    --> src/eval.rs:725:4
[INFO] [stdout]     |
[INFO] [stdout] 725 | fn printVal(v: ExpVal<()>) -> String {
[INFO] [stdout]     |    ^^^^^^^^ help: convert the identifier to snake case: `print_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printCompute` should have a snake case name
[INFO] [stdout]    --> src/eval.rs:738:4
[INFO] [stdout]     |
[INFO] [stdout] 738 | fn printCompute(c: ExpCompute<()>) -> String {
[INFO] [stdout]     |    ^^^^^^^^^^^^ help: convert the identifier to snake case: `print_compute`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling riddle_compiler v0.4.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `substCompute` and `substVal`
[INFO] [stdout]  --> src/main.rs:1:52
[INFO] [stdout]   |
[INFO] [stdout] 1 | use riddle_compiler::eval::{eval, eval_with_stack, substCompute, substVal};
[INFO] [stdout]   |                                                    ^^^^^^^^^^^^  ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ValueParser`
[INFO] [stdout]  --> src/main.rs:2:50
[INFO] [stdout]   |
[INFO] [stdout] 2 | use riddle_compiler::parser::{ComputationParser, ValueParser};
[INFO] [stdout]   |                                                  ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Prim2`, `TCompute`, and `TVal`
[INFO] [stdout]  --> src/main.rs:3:51
[INFO] [stdout]   |
[INFO] [stdout] 3 | use riddle_compiler::syntax::{ExpCompute, ExpVal, Prim2, TCompute, TVal, Terminal};
[INFO] [stdout]   |                                                   ^^^^^  ^^^^^^^^  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]   --> src/main.rs:54:17
[INFO] [stdout]    |
[INFO] [stdout] 54 |                 body,
[INFO] [stdout]    |                 ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/main.rs:55:17
[INFO] [stdout]    |
[INFO] [stdout] 55 |                 ann,
[INFO] [stdout]    |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `cont` should have an upper camel case name
[INFO] [stdout]    --> src/syntax.rs:162:5
[INFO] [stdout]     |
[INFO] [stdout] 162 |     cont(String, ExpCompute<Ann>, Box<Stack<Ann>>, Ann), 
[INFO] [stdout]     |     ^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Cont`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_camel_case_types)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Exp` and `Terminal`
[INFO] [stdout]  --> src/typeSyn.rs:1:21
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::syntax::{Exp, ExpCompute, ExpVal, Prim2, TCompute, TVal, Terminal};
[INFO] [stdout]   |                     ^^^                                             ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Exp`, `TCompute`, and `TVal`
[INFO] [stdout]  --> src/eval.rs:1:21
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::syntax::{Exp, ExpCompute, ExpVal, Prim2, Stack, TCompute, TVal, Terminal};
[INFO] [stdout]   |                     ^^^                                    ^^^^^^^^  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]   --> src/typeSyn.rs:19:21
[INFO] [stdout]    |
[INFO] [stdout] 19 |         ExpVal::Num(n, _) => Ok(TVal::Num),
[INFO] [stdout]    |                     ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]   --> src/typeSyn.rs:20:22
[INFO] [stdout]    |
[INFO] [stdout] 20 |         ExpVal::Bool(b, _) => Ok(TVal::Bool),
[INFO] [stdout]    |                      ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]   --> src/typeSyn.rs:34:21
[INFO] [stdout]    |
[INFO] [stdout] 34 |         ExpVal::Sum(b, v, _) => {
[INFO] [stdout]    |                     ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/typeSyn.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 |     mut gamma: &Vec<(&'exp str, TVal)>,
[INFO] [stdout]    |     ----^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/typeSyn.rs:51:13
[INFO] [stdout]    |
[INFO] [stdout] 51 |             ann,
[INFO] [stdout]    |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `binding`
[INFO] [stdout]   --> src/typeSyn.rs:61:13
[INFO] [stdout]    |
[INFO] [stdout] 61 |             binding,
[INFO] [stdout]    |             ^^^^^^^ help: try ignoring the field: `binding: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]   --> src/typeSyn.rs:62:13
[INFO] [stdout]    |
[INFO] [stdout] 62 |             body,
[INFO] [stdout]    |             ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/typeSyn.rs:63:13
[INFO] [stdout]    |
[INFO] [stdout] 63 |             ann,
[INFO] [stdout]    |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/typeSyn.rs:95:13
[INFO] [stdout]    |
[INFO] [stdout] 95 |             ann,
[INFO] [stdout]    |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/typeSyn.rs:127:13
[INFO] [stdout]     |
[INFO] [stdout] 127 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/typeSyn.rs:142:13
[INFO] [stdout]     |
[INFO] [stdout] 142 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/typeSyn.rs:168:25
[INFO] [stdout]     |
[INFO] [stdout] 168 |         ExpCompute::Pop(x, tv, e, _) => {
[INFO] [stdout]     |                         ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tv`
[INFO] [stdout]    --> src/typeSyn.rs:168:28
[INFO] [stdout]     |
[INFO] [stdout] 168 |         ExpCompute::Pop(x, tv, e, _) => {
[INFO] [stdout]     |                            ^^ help: if this is intentional, prefix it with an underscore: `_tv`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/typeSyn.rs:168:32
[INFO] [stdout]     |
[INFO] [stdout] 168 |         ExpCompute::Pop(x, tv, e, _) => {
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cond`
[INFO] [stdout]    --> src/typeSyn.rs:245:26
[INFO] [stdout]     |
[INFO] [stdout] 245 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                          ^^^^ help: try ignoring the field: `cond: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `thn`
[INFO] [stdout]    --> src/typeSyn.rs:245:32
[INFO] [stdout]     |
[INFO] [stdout] 245 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                                ^^^ help: try ignoring the field: `thn: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `els`
[INFO] [stdout]    --> src/typeSyn.rs:245:37
[INFO] [stdout]     |
[INFO] [stdout] 245 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                                     ^^^ help: try ignoring the field: `els: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/typeSyn.rs:45:5
[INFO] [stdout]    |
[INFO] [stdout] 45 |     mut gamma: &Vec<(&'exp str, TVal)>,
[INFO] [stdout]    |     ----^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/eval.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 |             ann,
[INFO] [stdout]    |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]   --> src/eval.rs:56:41
[INFO] [stdout]    |
[INFO] [stdout] 56 |         ExpCompute::To { binding, body, ann } => {
[INFO] [stdout]    |                                         ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:102:13
[INFO] [stdout]     |
[INFO] [stdout] 102 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:141:13
[INFO] [stdout]     |
[INFO] [stdout] 141 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:164:13
[INFO] [stdout]     |
[INFO] [stdout] 164 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:249:13
[INFO] [stdout]     |
[INFO] [stdout] 249 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:257:41
[INFO] [stdout]     |
[INFO] [stdout] 257 |         ExpCompute::To { binding, body, ann } => {
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:287:13
[INFO] [stdout]     |
[INFO] [stdout] 287 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:309:13
[INFO] [stdout]     |
[INFO] [stdout] 309 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:324:13
[INFO] [stdout]     |
[INFO] [stdout] 324 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:335:17
[INFO] [stdout]     |
[INFO] [stdout] 335 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/eval.rs:347:28
[INFO] [stdout]     |
[INFO] [stdout] 347 |         ExpCompute::Pop(x, t, e, _) => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:459:17
[INFO] [stdout]     |
[INFO] [stdout] 459 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:466:45
[INFO] [stdout]     |
[INFO] [stdout] 466 |             ExpCompute::To { binding, body, ann } => {
[INFO] [stdout]     |                                             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:508:17
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:528:17
[INFO] [stdout]     |
[INFO] [stdout] 528 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:541:17
[INFO] [stdout]     |
[INFO] [stdout] 541 |                 ann,
[INFO] [stdout]     |                 ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/eval.rs:565:32
[INFO] [stdout]     |
[INFO] [stdout] 565 |             ExpCompute::Pop(x, t, e, _) => match stack {
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/eval.rs:442:9
[INFO] [stdout]     |
[INFO] [stdout] 442 |     let mut count = 0;
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/eval.rs:719:20
[INFO] [stdout]     |
[INFO] [stdout] 719 |         Stack::Arg(e, s, _) => {}
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/eval.rs:719:23
[INFO] [stdout]     |
[INFO] [stdout] 719 |         Stack::Arg(e, s, _) => {}
[INFO] [stdout]     |                       ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]    --> src/eval.rs:720:20
[INFO] [stdout]     |
[INFO] [stdout] 720 |         Stack::Prj(b, s, _) => todo!(),
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/eval.rs:720:23
[INFO] [stdout]     |
[INFO] [stdout] 720 |         Stack::Prj(b, s, _) => todo!(),
[INFO] [stdout]     |                       ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/eval.rs:721:21
[INFO] [stdout]     |
[INFO] [stdout] 721 |         Stack::cont(v, c, s, _) => todo!(),
[INFO] [stdout]     |                     ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c`
[INFO] [stdout]    --> src/eval.rs:721:24
[INFO] [stdout]     |
[INFO] [stdout] 721 |         Stack::cont(v, c, s, _) => todo!(),
[INFO] [stdout]     |                        ^ help: if this is intentional, prefix it with an underscore: `_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/eval.rs:721:27
[INFO] [stdout]     |
[INFO] [stdout] 721 |         Stack::cont(v, c, s, _) => todo!(),
[INFO] [stdout]     |                           ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `d`
[INFO] [stdout]    --> src/eval.rs:731:21
[INFO] [stdout]     |
[INFO] [stdout] 731 |         ExpVal::Sum(d, v, _) => {
[INFO] [stdout]     |                     ^ help: if this is intentional, prefix it with an underscore: `_d`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/eval.rs:731:24
[INFO] [stdout]     |
[INFO] [stdout] 731 |         ExpVal::Sum(d, v, _) => {
[INFO] [stdout]     |                        ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bindings`
[INFO] [stdout]    --> src/eval.rs:741:13
[INFO] [stdout]     |
[INFO] [stdout] 741 |             bindings,
[INFO] [stdout]     |             ^^^^^^^^ help: try ignoring the field: `bindings: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/eval.rs:742:13
[INFO] [stdout]     |
[INFO] [stdout] 742 |             body,
[INFO] [stdout]     |             ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:743:13
[INFO] [stdout]     |
[INFO] [stdout] 743 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cond`
[INFO] [stdout]    --> src/eval.rs:745:26
[INFO] [stdout]     |
[INFO] [stdout] 745 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                          ^^^^ help: try ignoring the field: `cond: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `thn`
[INFO] [stdout]    --> src/eval.rs:745:32
[INFO] [stdout]     |
[INFO] [stdout] 745 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                                ^^^ help: try ignoring the field: `thn: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `els`
[INFO] [stdout]    --> src/eval.rs:745:37
[INFO] [stdout]     |
[INFO] [stdout] 745 |         ExpCompute::If { cond, thn, els } => todo!(),
[INFO] [stdout]     |                                     ^^^ help: try ignoring the field: `els: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `binding`
[INFO] [stdout]    --> src/eval.rs:746:26
[INFO] [stdout]     |
[INFO] [stdout] 746 |         ExpCompute::To { binding, body, ann } => todo!(),
[INFO] [stdout]     |                          ^^^^^^^ help: try ignoring the field: `binding: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/eval.rs:746:35
[INFO] [stdout]     |
[INFO] [stdout] 746 |         ExpCompute::To { binding, body, ann } => todo!(),
[INFO] [stdout]     |                                   ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:746:41
[INFO] [stdout]     |
[INFO] [stdout] 746 |         ExpCompute::To { binding, body, ann } => todo!(),
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `subject`
[INFO] [stdout]    --> src/eval.rs:750:13
[INFO] [stdout]     |
[INFO] [stdout] 750 |             subject,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `subject: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `branch1`
[INFO] [stdout]    --> src/eval.rs:751:13
[INFO] [stdout]     |
[INFO] [stdout] 751 |             branch1,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `branch1: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `branch2`
[INFO] [stdout]    --> src/eval.rs:752:13
[INFO] [stdout]     |
[INFO] [stdout] 752 |             branch2,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `branch2: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:753:13
[INFO] [stdout]     |
[INFO] [stdout] 753 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `subject`
[INFO] [stdout]    --> src/eval.rs:756:13
[INFO] [stdout]     |
[INFO] [stdout] 756 |             subject,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `subject: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `left`
[INFO] [stdout]    --> src/eval.rs:757:13
[INFO] [stdout]     |
[INFO] [stdout] 757 |             left,
[INFO] [stdout]     |             ^^^^ help: try ignoring the field: `left: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `right`
[INFO] [stdout]    --> src/eval.rs:758:13
[INFO] [stdout]     |
[INFO] [stdout] 758 |             right,
[INFO] [stdout]     |             ^^^^^ help: try ignoring the field: `right: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/eval.rs:759:13
[INFO] [stdout]     |
[INFO] [stdout] 759 |             body,
[INFO] [stdout]     |             ^^^^ help: try ignoring the field: `body: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:760:13
[INFO] [stdout]     |
[INFO] [stdout] 760 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `branch1`
[INFO] [stdout]    --> src/eval.rs:763:13
[INFO] [stdout]     |
[INFO] [stdout] 763 |             branch1,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `branch1: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `branch2`
[INFO] [stdout]    --> src/eval.rs:764:13
[INFO] [stdout]     |
[INFO] [stdout] 764 |             branch2,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `branch2: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ann`
[INFO] [stdout]    --> src/eval.rs:765:13
[INFO] [stdout]     |
[INFO] [stdout] 765 |             ann,
[INFO] [stdout]     |             ^^^ help: try ignoring the field: `ann: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `lookup` is never used
[INFO] [stdout]  --> src/typeSyn.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn lookup(gamma: &Vec<(&str, TVal)>, x: &str) -> Result<TVal, String> {
[INFO] [stdout]   |        ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `typeSynVal` is never used
[INFO] [stdout]   --> src/typeSyn.rs:14:8
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub fn typeSynVal<'exp>(
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `typeSynCompute` is never used
[INFO] [stdout]   --> src/typeSyn.rs:43:8
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub fn typeSynCompute<'exp>(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printStack` is never used
[INFO] [stdout]    --> src/eval.rs:717:4
[INFO] [stdout]     |
[INFO] [stdout] 717 | fn printStack(s: Stack<()>) {
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printVal` is never used
[INFO] [stdout]    --> src/eval.rs:725:4
[INFO] [stdout]     |
[INFO] [stdout] 725 | fn printVal(v: ExpVal<()>) -> String {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printCompute` is never used
[INFO] [stdout]    --> src/eval.rs:738:4
[INFO] [stdout]     |
[INFO] [stdout] 738 | fn printCompute(c: ExpCompute<()>) -> String {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: module `typeSyn` should have a snake case name
[INFO] [stdout]  --> src/lib.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | mod typeSyn;
[INFO] [stdout]   |     ^^^^^^^ help: convert the identifier to snake case: `type_syn`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `typeSynVal` should have a snake case name
[INFO] [stdout]   --> src/typeSyn.rs:14:8
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub fn typeSynVal<'exp>(
[INFO] [stdout]    |        ^^^^^^^^^^ help: convert the identifier to snake case: `type_syn_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `typeSynCompute` should have a snake case name
[INFO] [stdout]   --> src/typeSyn.rs:43:8
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub fn typeSynCompute<'exp>(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `type_syn_compute`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `substVal` should have a snake case name
[INFO] [stdout]  --> src/eval.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn substVal(e: ExpVal<()>, x: &str, v: ExpVal<()>) -> ExpVal<()> {
[INFO] [stdout]   |        ^^^^^^^^ help: convert the identifier to snake case: `subst_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `substCompute` should have a snake case name
[INFO] [stdout]   --> src/eval.rs:34:8
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub fn substCompute(e: ExpCompute<()>, x: &str, v: ExpVal<()>) -> ExpCompute<()> {
[INFO] [stdout]    |        ^^^^^^^^^^^^ help: convert the identifier to snake case: `subst_compute`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]   --> src/eval.rs:47:78
[INFO] [stdout]    |
[INFO] [stdout] 47 |                     new_bindings.push((y.to_string(), substVal(val.clone(), x.clone(), v.clone())));
[INFO] [stdout]    |                                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]    |
[INFO] [stdout]    = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout]    = note: `#[warn(noop_method_call)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]   --> src/eval.rs:52:53
[INFO] [stdout]    |
[INFO] [stdout] 52 |                 body: Box::new(substCompute(*body, x.clone(), v.clone())),
[INFO] [stdout]    |                                                     ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]    |
[INFO] [stdout]    = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]   --> src/eval.rs:69:62
[INFO] [stdout]    |
[INFO] [stdout] 69 |                         Box::new(substCompute(*val.clone(), x.clone(), v.clone())),
[INFO] [stdout]    |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]    |
[INFO] [stdout]    = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]   --> src/eval.rs:71:57
[INFO] [stdout]    |
[INFO] [stdout] 71 |                     body: Box::new(substCompute(*body, x.clone(), v.clone())),
[INFO] [stdout]    |                                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]    |
[INFO] [stdout]    = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:108:59
[INFO] [stdout]     |
[INFO] [stdout] 108 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:109:62
[INFO] [stdout]     |
[INFO] [stdout] 109 |                     branch1: (l, Box::new(substCompute(*e1, x.clone(), v.clone()))),
[INFO] [stdout]     |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:110:62
[INFO] [stdout]     |
[INFO] [stdout] 110 |                     branch2: (r, Box::new(substCompute(*e2, x.clone(), v.clone()))),
[INFO] [stdout]     |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:115:59
[INFO] [stdout]     |
[INFO] [stdout] 115 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:116:62
[INFO] [stdout]     |
[INFO] [stdout] 116 |                     branch1: (l, Box::new(substCompute(*e1, x.clone(), v.clone()))),
[INFO] [stdout]     |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:122:59
[INFO] [stdout]     |
[INFO] [stdout] 122 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:124:62
[INFO] [stdout]     |
[INFO] [stdout] 124 |                     branch2: (r, Box::new(substCompute(*e2, x.clone(), v.clone()))),
[INFO] [stdout]     |                                                              ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:129:59
[INFO] [stdout]     |
[INFO] [stdout] 129 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:145:59
[INFO] [stdout]     |
[INFO] [stdout] 145 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:153:59
[INFO] [stdout]     |
[INFO] [stdout] 153 |                     subject: Box::new(substVal(*subject, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:156:57
[INFO] [stdout]     |
[INFO] [stdout] 156 |                     body: Box::new(substCompute(*body, x.clone(), v.clone())),
[INFO] [stdout]     |                                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:167:59
[INFO] [stdout]     |
[INFO] [stdout] 167 |                 branch1: Box::new(substCompute(*branch1, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:168:59
[INFO] [stdout]     |
[INFO] [stdout] 168 |                 branch2: Box::new(substCompute(*branch2, x.clone(), v.clone())),
[INFO] [stdout]     |                                                           ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:173:67
[INFO] [stdout]     |
[INFO] [stdout] 173 |             return ExpCompute::Proj(d, Box::new(substCompute(*e, x.clone(), v.clone())), ());
[INFO] [stdout]     |                                                                   ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:179:73
[INFO] [stdout]     |
[INFO] [stdout] 179 |                 return ExpCompute::Pop(y, t, Box::new(substCompute(*e, x.clone(), v.clone())), ());
[INFO] [stdout]     |                                                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:184:41
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 Box::new(substVal(*e1, x.clone(), v.clone())),
[INFO] [stdout]     |                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:185:45
[INFO] [stdout]     |
[INFO] [stdout] 185 |                 Box::new(substCompute(*e2, x.clone(), v.clone())),
[INFO] [stdout]     |                                             ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:192:41
[INFO] [stdout]     |
[INFO] [stdout] 192 |                 Box::new(substVal(*e1, x.clone(), v.clone())),
[INFO] [stdout]     |                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:193:41
[INFO] [stdout]     |
[INFO] [stdout] 193 |                 Box::new(substVal(*e2, x.clone(), v.clone())),
[INFO] [stdout]     |                                         ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:199:49
[INFO] [stdout]     |
[INFO] [stdout] 199 |                 cond: Box::new(substVal(*cond, x.clone(), v.clone())),
[INFO] [stdout]     |                                                 ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:200:51
[INFO] [stdout]     |
[INFO] [stdout] 200 |                 thn: Box::new(substCompute(*thn, x.clone(), v.clone())),
[INFO] [stdout]     |                                                   ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: call to `.clone()` on a reference in this situation does nothing
[INFO] [stdout]    --> src/eval.rs:201:51
[INFO] [stdout]     |
[INFO] [stdout] 201 |                 els: Box::new(substCompute(*els, x.clone(), v.clone())),
[INFO] [stdout]     |                                                   ^^^^^^^^ help: remove this redundant call
[INFO] [stdout]     |
[INFO] [stdout]     = note: the type `str` does not implement `Clone`, so calling `clone` on `&str` copies the reference, which does not do anything and can be removed
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printStack` should have a snake case name
[INFO] [stdout]    --> src/eval.rs:717:4
[INFO] [stdout]     |
[INFO] [stdout] 717 | fn printStack(s: Stack<()>) {
[INFO] [stdout]     |    ^^^^^^^^^^ help: convert the identifier to snake case: `print_stack`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printVal` should have a snake case name
[INFO] [stdout]    --> src/eval.rs:725:4
[INFO] [stdout]     |
[INFO] [stdout] 725 | fn printVal(v: ExpVal<()>) -> String {
[INFO] [stdout]     |    ^^^^^^^^ help: convert the identifier to snake case: `print_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `printCompute` should have a snake case name
[INFO] [stdout]    --> src/eval.rs:738:4
[INFO] [stdout]     |
[INFO] [stdout] 738 | fn printCompute(c: ExpCompute<()>) -> String {
[INFO] [stdout]     |    ^^^^^^^^^^^^ help: convert the identifier to snake case: `print_compute`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.48s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: lalrpop v0.19.6
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1`
[INFO] running `Command { std: "docker" "inspect" "047a172317efa86507fb0021a43e9093085bd89af61452151e44a0c08270dd0f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "047a172317efa86507fb0021a43e9093085bd89af61452151e44a0c08270dd0f", kill_on_drop: false }`
[INFO] [stdout] 047a172317efa86507fb0021a43e9093085bd89af61452151e44a0c08270dd0f