[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] testing UMjoeypeng/riddle_compiler against beta-2022-04-10 for beta-1.61-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FUMjoeypeng%2Friddle_compiler" "/workspace/builds/worker-99/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-99/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/UMjoeypeng/riddle_compiler on toolchain beta-2022-04-10 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "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-99/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: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-99/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-99/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 94bb1e644199120fdb8d23b61f0835132f436d1f44c80d508c12e89c0efd99bb [INFO] running `Command { std: "docker" "start" "-a" "94bb1e644199120fdb8d23b61f0835132f436d1f44c80d508c12e89c0efd99bb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "94bb1e644199120fdb8d23b61f0835132f436d1f44c80d508c12e89c0efd99bb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "94bb1e644199120fdb8d23b61f0835132f436d1f44c80d508c12e89c0efd99bb", kill_on_drop: false }` [INFO] [stdout] 94bb1e644199120fdb8d23b61f0835132f436d1f44c80d508c12e89c0efd99bb [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-99/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-99/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 839b44e45b514e2762a102d829fb4c5b6ac9a81232aab231965334a54bc806f1 [INFO] running `Command { std: "docker" "start" "-a" "839b44e45b514e2762a102d829fb4c5b6ac9a81232aab231965334a54bc806f1", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling libc v0.2.107 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Compiling parking_lot_core v0.8.5 [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling smallvec v1.7.0 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling siphasher v0.3.7 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling hashbrown v0.11.2 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling fixedbitset v0.2.0 [INFO] [stderr] Compiling new_debug_unreachable v1.0.4 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling pico-args v0.4.2 [INFO] [stderr] Compiling diff v0.1.12 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling instant v0.1.12 [INFO] [stderr] Compiling lock_api v0.4.5 [INFO] [stderr] Compiling phf_shared v0.8.0 [INFO] [stderr] Compiling itertools v0.10.1 [INFO] [stderr] Compiling ena v0.14.0 [INFO] [stderr] Compiling indexmap v1.7.0 [INFO] [stderr] Compiling bit-set v0.5.2 [INFO] [stderr] Compiling aho-corasick v0.7.18 [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 parking_lot v0.11.2 [INFO] [stderr] Compiling term v0.7.0 [INFO] [stderr] Compiling petgraph v0.5.1 [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, Box>, 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`, `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`, `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: 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: 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: 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: 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: 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: 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: function is never used: `lookup` [INFO] [stdout] --> src/typeSyn.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | pub fn lookup(gamma: &Vec<(&str, TVal)>, x: &str) -> Result { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `typeSynVal` [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 is never used: `typeSynCompute` [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 is never used: `printStack` [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 is never used: `printVal` [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 is never used: `printCompute` [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: 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: 84 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `eval`, `substCompute`, `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`, `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: 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] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 32.50s [INFO] running `Command { std: "docker" "inspect" "839b44e45b514e2762a102d829fb4c5b6ac9a81232aab231965334a54bc806f1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "839b44e45b514e2762a102d829fb4c5b6ac9a81232aab231965334a54bc806f1", kill_on_drop: false }` [INFO] [stdout] 839b44e45b514e2762a102d829fb4c5b6ac9a81232aab231965334a54bc806f1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-99/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-99/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e44c0581dd78d4ebd09b5c401862532775d49df347e170220563def1206851a3 [INFO] running `Command { std: "docker" "start" "-a" "e44c0581dd78d4ebd09b5c401862532775d49df347e170220563def1206851a3", 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, Box>, 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`, `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`, `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: 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: 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: 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: 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] [stderr] Compiling riddle_compiler v0.4.0 (/opt/rustwide/workdir) [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: 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: function is never used: `lookup` [INFO] [stdout] --> src/typeSyn.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | pub fn lookup(gamma: &Vec<(&str, TVal)>, x: &str) -> Result { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `typeSynVal` [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 is never used: `typeSynCompute` [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 is never used: `printStack` [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 is never used: `printVal` [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 is never used: `printCompute` [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: 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: 84 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `substCompute`, `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`, `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, Box>, 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`, `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`, `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: 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: 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: 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: 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: 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: 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: function is never used: `lookup` [INFO] [stdout] --> src/typeSyn.rs:3:8 [INFO] [stdout] | [INFO] [stdout] 3 | pub fn lookup(gamma: &Vec<(&str, TVal)>, x: &str) -> Result { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `typeSynVal` [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 is never used: `typeSynCompute` [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 is never used: `printStack` [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 is never used: `printVal` [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 is never used: `printCompute` [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: 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: 84 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 5 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 20.90s [INFO] [stderr] Executable unittests src/lib.rs (/opt/rustwide/target/debug/deps/riddle_compiler-e5ccd0356d51b49d) [INFO] [stderr] Executable unittests src/main.rs (/opt/rustwide/target/debug/deps/riddle_compiler-ad92eba24b4fc6eb) [INFO] running `Command { std: "docker" "inspect" "e44c0581dd78d4ebd09b5c401862532775d49df347e170220563def1206851a3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e44c0581dd78d4ebd09b5c401862532775d49df347e170220563def1206851a3", kill_on_drop: false }` [INFO] [stdout] e44c0581dd78d4ebd09b5c401862532775d49df347e170220563def1206851a3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-99/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-99/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] cf7b9c737b428d48bc0274dbee1b80f2c21d4eae0a260bdd1412ece72250e137 [INFO] running `Command { std: "docker" "start" "-a" "cf7b9c737b428d48bc0274dbee1b80f2c21d4eae0a260bdd1412ece72250e137", kill_on_drop: false }` [INFO] [stderr] warning: variant `cont` should have an upper camel case name [INFO] [stderr] --> src/syntax.rs:162:5 [INFO] [stderr] | [INFO] [stderr] 162 | cont(String, ExpCompute, Box>, Ann), [INFO] [stderr] | ^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Cont` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_camel_case_types)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Exp`, `Terminal` [INFO] [stderr] --> src/typeSyn.rs:1:21 [INFO] [stderr] | [INFO] [stderr] 1 | use crate::syntax::{Exp, ExpCompute, ExpVal, Prim2, TCompute, TVal, Terminal}; [INFO] [stderr] | ^^^ ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Exp`, `TCompute`, `TVal` [INFO] [stderr] --> src/eval.rs:1:21 [INFO] [stderr] | [INFO] [stderr] 1 | use crate::syntax::{Exp, ExpCompute, ExpVal, Prim2, Stack, TCompute, TVal, Terminal}; [INFO] [stderr] | ^^^ ^^^^^^^^ ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n` [INFO] [stderr] --> src/typeSyn.rs:19:21 [INFO] [stderr] | [INFO] [stderr] 19 | ExpVal::Num(n, _) => Ok(TVal::Num), [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_n` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `b` [INFO] [stderr] --> src/typeSyn.rs:20:22 [INFO] [stderr] | [INFO] [stderr] 20 | ExpVal::Bool(b, _) => Ok(TVal::Bool), [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `b` [INFO] [stderr] --> src/typeSyn.rs:34:21 [INFO] [stderr] | [INFO] [stderr] 34 | ExpVal::Sum(b, v, _) => { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/typeSyn.rs:51:13 [INFO] [stderr] | [INFO] [stderr] 51 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `binding` [INFO] [stderr] --> src/typeSyn.rs:61:13 [INFO] [stderr] | [INFO] [stderr] 61 | binding, [INFO] [stderr] | ^^^^^^^ help: try ignoring the field: `binding: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `body` [INFO] [stderr] --> src/typeSyn.rs:62:13 [INFO] [stderr] | [INFO] [stderr] 62 | body, [INFO] [stderr] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/typeSyn.rs:63:13 [INFO] [stderr] | [INFO] [stderr] 63 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/typeSyn.rs:95:13 [INFO] [stderr] | [INFO] [stderr] 95 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/typeSyn.rs:127:13 [INFO] [stderr] | [INFO] [stderr] 127 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/typeSyn.rs:142:13 [INFO] [stderr] | [INFO] [stderr] 142 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `x` [INFO] [stderr] --> src/typeSyn.rs:168:25 [INFO] [stderr] | [INFO] [stderr] 168 | ExpCompute::Pop(x, tv, e, _) => { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_x` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `tv` [INFO] [stderr] --> src/typeSyn.rs:168:28 [INFO] [stderr] | [INFO] [stderr] 168 | ExpCompute::Pop(x, tv, e, _) => { [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_tv` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e` [INFO] [stderr] --> src/typeSyn.rs:168:32 [INFO] [stderr] | [INFO] [stderr] 168 | ExpCompute::Pop(x, tv, e, _) => { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `cond` [INFO] [stderr] --> src/typeSyn.rs:245:26 [INFO] [stderr] | [INFO] [stderr] 245 | ExpCompute::If { cond, thn, els } => todo!(), [INFO] [stderr] | ^^^^ help: try ignoring the field: `cond: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `thn` [INFO] [stderr] --> src/typeSyn.rs:245:32 [INFO] [stderr] | [INFO] [stderr] 245 | ExpCompute::If { cond, thn, els } => todo!(), [INFO] [stderr] | ^^^ help: try ignoring the field: `thn: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `els` [INFO] [stderr] --> src/typeSyn.rs:245:37 [INFO] [stderr] | [INFO] [stderr] 245 | ExpCompute::If { cond, thn, els } => todo!(), [INFO] [stderr] | ^^^ help: try ignoring the field: `els: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:40:13 [INFO] [stderr] | [INFO] [stderr] 40 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:56:41 [INFO] [stderr] | [INFO] [stderr] 56 | ExpCompute::To { binding, body, ann } => { [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:102:13 [INFO] [stderr] | [INFO] [stderr] 102 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:141:13 [INFO] [stderr] | [INFO] [stderr] 141 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:164:13 [INFO] [stderr] | [INFO] [stderr] 164 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:249:13 [INFO] [stderr] | [INFO] [stderr] 249 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:257:41 [INFO] [stderr] | [INFO] [stderr] 257 | ExpCompute::To { binding, body, ann } => { [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:287:13 [INFO] [stderr] | [INFO] [stderr] 287 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:309:13 [INFO] [stderr] | [INFO] [stderr] 309 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:324:13 [INFO] [stderr] | [INFO] [stderr] 324 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:335:17 [INFO] [stderr] | [INFO] [stderr] 335 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/eval.rs:347:28 [INFO] [stderr] | [INFO] [stderr] 347 | ExpCompute::Pop(x, t, e, _) => { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:459:17 [INFO] [stderr] | [INFO] [stderr] 459 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:466:45 [INFO] [stderr] | [INFO] [stderr] 466 | ExpCompute::To { binding, body, ann } => { [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:508:17 [INFO] [stderr] | [INFO] [stderr] 508 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:528:17 [INFO] [stderr] | [INFO] [stderr] 528 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:541:17 [INFO] [stderr] | [INFO] [stderr] 541 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/eval.rs:565:32 [INFO] [stderr] | [INFO] [stderr] 565 | ExpCompute::Pop(x, t, e, _) => match stack { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `e` [INFO] [stderr] --> src/eval.rs:719:20 [INFO] [stderr] | [INFO] [stderr] 719 | Stack::Arg(e, s, _) => {} [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `s` [INFO] [stderr] --> src/eval.rs:719:23 [INFO] [stderr] | [INFO] [stderr] 719 | Stack::Arg(e, s, _) => {} [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `b` [INFO] [stderr] --> src/eval.rs:720:20 [INFO] [stderr] | [INFO] [stderr] 720 | Stack::Prj(b, s, _) => todo!(), [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `s` [INFO] [stderr] --> src/eval.rs:720:23 [INFO] [stderr] | [INFO] [stderr] 720 | Stack::Prj(b, s, _) => todo!(), [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `v` [INFO] [stderr] --> src/eval.rs:721:21 [INFO] [stderr] | [INFO] [stderr] 721 | Stack::cont(v, c, s, _) => todo!(), [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `c` [INFO] [stderr] --> src/eval.rs:721:24 [INFO] [stderr] | [INFO] [stderr] 721 | Stack::cont(v, c, s, _) => todo!(), [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `s` [INFO] [stderr] --> src/eval.rs:721:27 [INFO] [stderr] | [INFO] [stderr] 721 | Stack::cont(v, c, s, _) => todo!(), [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `d` [INFO] [stderr] --> src/eval.rs:731:21 [INFO] [stderr] | [INFO] [stderr] 731 | ExpVal::Sum(d, v, _) => { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_d` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `v` [INFO] [stderr] --> src/eval.rs:731:24 [INFO] [stderr] | [INFO] [stderr] 731 | ExpVal::Sum(d, v, _) => { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `bindings` [INFO] [stderr] --> src/eval.rs:741:13 [INFO] [stderr] | [INFO] [stderr] 741 | bindings, [INFO] [stderr] | ^^^^^^^^ help: try ignoring the field: `bindings: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `body` [INFO] [stderr] --> src/eval.rs:742:13 [INFO] [stderr] | [INFO] [stderr] 742 | body, [INFO] [stderr] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:743:13 [INFO] [stderr] | [INFO] [stderr] 743 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `cond` [INFO] [stderr] --> src/eval.rs:745:26 [INFO] [stderr] | [INFO] [stderr] 745 | ExpCompute::If { cond, thn, els } => todo!(), [INFO] [stderr] | ^^^^ help: try ignoring the field: `cond: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `thn` [INFO] [stderr] --> src/eval.rs:745:32 [INFO] [stderr] | [INFO] [stderr] 745 | ExpCompute::If { cond, thn, els } => todo!(), [INFO] [stderr] | ^^^ help: try ignoring the field: `thn: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `els` [INFO] [stderr] --> src/eval.rs:745:37 [INFO] [stderr] | [INFO] [stderr] 745 | ExpCompute::If { cond, thn, els } => todo!(), [INFO] [stderr] | ^^^ help: try ignoring the field: `els: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `binding` [INFO] [stderr] --> src/eval.rs:746:26 [INFO] [stderr] | [INFO] [stderr] 746 | ExpCompute::To { binding, body, ann } => todo!(), [INFO] [stderr] | ^^^^^^^ help: try ignoring the field: `binding: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `body` [INFO] [stderr] --> src/eval.rs:746:35 [INFO] [stderr] | [INFO] [stderr] 746 | ExpCompute::To { binding, body, ann } => todo!(), [INFO] [stderr] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:746:41 [INFO] [stderr] | [INFO] [stderr] 746 | ExpCompute::To { binding, body, ann } => todo!(), [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `subject` [INFO] [stderr] --> src/eval.rs:750:13 [INFO] [stderr] | [INFO] [stderr] 750 | subject, [INFO] [stderr] | ^^^^^^^ help: try ignoring the field: `subject: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `branch1` [INFO] [stderr] --> src/eval.rs:751:13 [INFO] [stderr] | [INFO] [stderr] 751 | branch1, [INFO] [stderr] | ^^^^^^^ help: try ignoring the field: `branch1: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `branch2` [INFO] [stderr] --> src/eval.rs:752:13 [INFO] [stderr] | [INFO] [stderr] 752 | branch2, [INFO] [stderr] | ^^^^^^^ help: try ignoring the field: `branch2: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:753:13 [INFO] [stderr] | [INFO] [stderr] 753 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `subject` [INFO] [stderr] --> src/eval.rs:756:13 [INFO] [stderr] | [INFO] [stderr] 756 | subject, [INFO] [stderr] | ^^^^^^^ help: try ignoring the field: `subject: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `left` [INFO] [stderr] --> src/eval.rs:757:13 [INFO] [stderr] | [INFO] [stderr] 757 | left, [INFO] [stderr] | ^^^^ help: try ignoring the field: `left: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `right` [INFO] [stderr] --> src/eval.rs:758:13 [INFO] [stderr] | [INFO] [stderr] 758 | right, [INFO] [stderr] | ^^^^^ help: try ignoring the field: `right: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `body` [INFO] [stderr] --> src/eval.rs:759:13 [INFO] [stderr] | [INFO] [stderr] 759 | body, [INFO] [stderr] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:760:13 [INFO] [stderr] | [INFO] [stderr] 760 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `branch1` [INFO] [stderr] --> src/eval.rs:763:13 [INFO] [stderr] | [INFO] [stderr] 763 | branch1, [INFO] [stderr] | ^^^^^^^ help: try ignoring the field: `branch1: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `branch2` [INFO] [stderr] --> src/eval.rs:764:13 [INFO] [stderr] | [INFO] [stderr] 764 | branch2, [INFO] [stderr] | ^^^^^^^ help: try ignoring the field: `branch2: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:765:13 [INFO] [stderr] | [INFO] [stderr] 765 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/typeSyn.rs:16:5 [INFO] [stderr] | [INFO] [stderr] 16 | mut gamma: &Vec<(&'exp str, TVal)>, [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/typeSyn.rs:45:5 [INFO] [stderr] | [INFO] [stderr] 45 | mut gamma: &Vec<(&'exp str, TVal)>, [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/eval.rs:442:9 [INFO] [stderr] | [INFO] [stderr] 442 | let mut count = 0; [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: function is never used: `lookup` [INFO] [stderr] --> src/typeSyn.rs:3:8 [INFO] [stderr] | [INFO] [stderr] 3 | pub fn lookup(gamma: &Vec<(&str, TVal)>, x: &str) -> Result { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: function is never used: `typeSynVal` [INFO] [stderr] --> src/typeSyn.rs:14:8 [INFO] [stderr] | [INFO] [stderr] 14 | pub fn typeSynVal<'exp>( [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `typeSynCompute` [INFO] [stderr] --> src/typeSyn.rs:43:8 [INFO] [stderr] | [INFO] [stderr] 43 | pub fn typeSynCompute<'exp>( [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `printStack` [INFO] [stderr] --> src/eval.rs:717:4 [INFO] [stderr] | [INFO] [stderr] 717 | fn printStack(s: Stack<()>) { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `printVal` [INFO] [stderr] --> src/eval.rs:725:4 [INFO] [stderr] | [INFO] [stderr] 725 | fn printVal(v: ExpVal<()>) -> String { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `printCompute` [INFO] [stderr] --> src/eval.rs:738:4 [INFO] [stderr] | [INFO] [stderr] 738 | fn printCompute(c: ExpCompute<()>) -> String { [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: module `typeSyn` should have a snake case name [INFO] [stderr] --> src/lib.rs:4:5 [INFO] [stderr] | [INFO] [stderr] 4 | mod typeSyn; [INFO] [stderr] | ^^^^^^^ help: convert the identifier to snake case: `type_syn` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_snake_case)]` on by default [INFO] [stderr] [INFO] [stderr] warning: function `typeSynVal` should have a snake case name [INFO] [stderr] --> src/typeSyn.rs:14:8 [INFO] [stderr] | [INFO] [stderr] 14 | pub fn typeSynVal<'exp>( [INFO] [stderr] | ^^^^^^^^^^ help: convert the identifier to snake case: `type_syn_val` [INFO] [stderr] [INFO] [stderr] warning: function `typeSynCompute` should have a snake case name [INFO] [stderr] --> src/typeSyn.rs:43:8 [INFO] [stderr] | [INFO] [stderr] 43 | pub fn typeSynCompute<'exp>( [INFO] [stderr] | ^^^^^^^^^^^^^^ help: convert the identifier to snake case: `type_syn_compute` [INFO] [stderr] [INFO] [stderr] warning: function `substVal` should have a snake case name [INFO] [stderr] --> src/eval.rs:3:8 [INFO] [stderr] | [INFO] [stderr] 3 | pub fn substVal(e: ExpVal<()>, x: &str, v: ExpVal<()>) -> ExpVal<()> { [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `subst_val` [INFO] [stderr] [INFO] [stderr] warning: function `substCompute` should have a snake case name [INFO] [stderr] --> src/eval.rs:34:8 [INFO] [stderr] | [INFO] [stderr] 34 | pub fn substCompute(e: ExpCompute<()>, x: &str, v: ExpVal<()>) -> ExpCompute<()> { [INFO] [stderr] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `subst_compute` [INFO] [stderr] [INFO] [stderr] warning: function `printStack` should have a snake case name [INFO] [stderr] --> src/eval.rs:717:4 [INFO] [stderr] | [INFO] [stderr] 717 | fn printStack(s: Stack<()>) { [INFO] [stderr] | ^^^^^^^^^^ help: convert the identifier to snake case: `print_stack` [INFO] [stderr] [INFO] [stderr] warning: function `printVal` should have a snake case name [INFO] [stderr] --> src/eval.rs:725:4 [INFO] [stderr] | [INFO] [stderr] 725 | fn printVal(v: ExpVal<()>) -> String { [INFO] [stderr] | ^^^^^^^^ help: convert the identifier to snake case: `print_val` [INFO] [stderr] [INFO] [stderr] warning: function `printCompute` should have a snake case name [INFO] [stderr] --> src/eval.rs:738:4 [INFO] [stderr] | [INFO] [stderr] 738 | fn printCompute(c: ExpCompute<()>) -> String { [INFO] [stderr] | ^^^^^^^^^^^^ help: convert the identifier to snake case: `print_compute` [INFO] [stderr] [INFO] [stderr] warning: `riddle_compiler` (lib) generated 84 warnings [INFO] [stderr] warning: `riddle_compiler` (lib test) generated 84 warnings (84 duplicates) [INFO] [stderr] warning: unused imports: `substCompute`, `substVal` [INFO] [stderr] --> src/main.rs:1:52 [INFO] [stderr] | [INFO] [stderr] 1 | use riddle_compiler::eval::{eval, eval_with_stack, substCompute, substVal}; [INFO] [stderr] | ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `ValueParser` [INFO] [stderr] --> src/main.rs:2:50 [INFO] [stderr] | [INFO] [stderr] 2 | use riddle_compiler::parser::{ComputationParser, ValueParser}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Prim2`, `TCompute`, `TVal` [INFO] [stderr] --> src/main.rs:3:51 [INFO] [stderr] | [INFO] [stderr] 3 | use riddle_compiler::syntax::{ExpCompute, ExpVal, Prim2, TCompute, TVal, Terminal}; [INFO] [stderr] | ^^^^^ ^^^^^^^^ ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `body` [INFO] [stderr] --> src/main.rs:54:17 [INFO] [stderr] | [INFO] [stderr] 54 | body, [INFO] [stderr] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/main.rs:55:17 [INFO] [stderr] | [INFO] [stderr] 55 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: `riddle_compiler` (bin "riddle_compiler" test) generated 5 warnings [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.08s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/riddle_compiler-e5ccd0356d51b49d) [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test eval::eval_tests::eval_test0 ... ok [INFO] [stdout] test eval::subst_tests::subst_test0 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/riddle_compiler-ad92eba24b4fc6eb) [INFO] [stdout] [INFO] [stdout] running 5 tests [INFO] [stdout] test eval_test::eval_test_pair ... ok [INFO] [stdout] test eval_test::eval_test_if ... ok [INFO] [stdout] test eval_test::eval_test_proj ... ok [INFO] [stdout] test eval_test::eval_test_sum ... ok [INFO] [stdout] test eval_test::eval_test_identity ... ok [INFO] [stderr] Doc-tests riddle_compiler [INFO] [stdout] [INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s [INFO] [stdout] [INFO] [stderr] warning: variant `cont` should have an upper camel case name [INFO] [stderr] --> /opt/rustwide/workdir/src/syntax.rs:162:5 [INFO] [stderr] | [INFO] [stderr] 162 | cont(String, ExpCompute, Box>, Ann), [INFO] [stderr] | ^^^^ help: convert the identifier to upper camel case (notice the capitalization): `Cont` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_camel_case_types)]` on by default [INFO] [stderr] [INFO] [stderr] warning: 1 warning emitted [INFO] [stderr] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "cf7b9c737b428d48bc0274dbee1b80f2c21d4eae0a260bdd1412ece72250e137", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cf7b9c737b428d48bc0274dbee1b80f2c21d4eae0a260bdd1412ece72250e137", kill_on_drop: false }` [INFO] [stdout] cf7b9c737b428d48bc0274dbee1b80f2c21d4eae0a260bdd1412ece72250e137