[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] 3773431dcb7128dda1c0786b472f28ac0f381029 [INFO] testing UMjoeypeng/riddle_compiler against master#a77da2d454e6caa227a85b16410b95f93495e7e0 for pr-91031 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FUMjoeypeng%2Friddle_compiler" "/workspace/builds/worker-73/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-73/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/UMjoeypeng/riddle_compiler on toolchain a77da2d454e6caa227a85b16410b95f93495e7e0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "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-73/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" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "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] [stderr] Downloading crates ... [INFO] [stderr] Downloaded pico-args v0.4.2 [INFO] [stderr] Downloaded ascii-canvas v3.0.0 [INFO] [stderr] Downloaded rustversion v1.0.5 [INFO] [stderr] Downloaded term v0.7.0 [INFO] [stderr] Downloaded lalrpop v0.19.6 [INFO] [stderr] Downloaded ena v0.14.0 [INFO] [stderr] Downloaded instant v0.1.12 [INFO] [stderr] Downloaded smallvec v1.7.0 [INFO] [stderr] Downloaded libc v0.2.107 [INFO] [stderr] Downloaded lalrpop-util v0.19.6 [INFO] [stderr] Downloaded string_cache v0.8.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-73/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-73/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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] f2438d1b35aa16245ed2093cd588aafcd838fd86d84d3ff40555dc6a87ccc9c2 [INFO] running `Command { std: "docker" "start" "-a" "f2438d1b35aa16245ed2093cd588aafcd838fd86d84d3ff40555dc6a87ccc9c2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f2438d1b35aa16245ed2093cd588aafcd838fd86d84d3ff40555dc6a87ccc9c2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f2438d1b35aa16245ed2093cd588aafcd838fd86d84d3ff40555dc6a87ccc9c2", kill_on_drop: false }` [INFO] [stdout] f2438d1b35aa16245ed2093cd588aafcd838fd86d84d3ff40555dc6a87ccc9c2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-73/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-73/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 98c337b861f688f97f31c2f9c3c5febecd9656cd1068bc1f5a8ea38469d47c41 [INFO] running `Command { std: "docker" "start" "-a" "98c337b861f688f97f31c2f9c3c5febecd9656cd1068bc1f5a8ea38469d47c41", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling libc v0.2.107 [INFO] [stderr] Compiling parking_lot_core v0.8.5 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling smallvec v1.7.0 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling siphasher v0.3.7 [INFO] [stderr] Compiling hashbrown v0.11.2 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling new_debug_unreachable v1.0.4 [INFO] [stderr] Compiling fixedbitset v0.2.0 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling pico-args v0.4.2 [INFO] [stderr] Compiling diff v0.1.12 [INFO] [stderr] Compiling instant v0.1.12 [INFO] [stderr] Compiling indexmap v1.7.0 [INFO] [stderr] Compiling itertools v0.10.1 [INFO] [stderr] Compiling lock_api v0.4.5 [INFO] [stderr] Compiling bit-set v0.5.2 [INFO] [stderr] Compiling phf_shared v0.8.0 [INFO] [stderr] Compiling ena v0.14.0 [INFO] [stderr] Compiling petgraph v0.5.1 [INFO] [stderr] Compiling dirs-sys-next v0.1.2 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling dirs-next v2.0.0 [INFO] [stderr] Compiling regex v1.5.4 [INFO] [stderr] Compiling term v0.7.0 [INFO] [stderr] Compiling parking_lot v0.11.2 [INFO] [stderr] Compiling string_cache v0.8.2 [INFO] [stderr] Compiling ascii-canvas v3.0.0 [INFO] [stderr] Compiling 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:155:5 [INFO] [stdout] | [INFO] [stdout] 155 | 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: unreachable statement [INFO] [stdout] --> src/eval.rs:673:5 [INFO] [stdout] | [INFO] [stdout] 420 | / loop { [INFO] [stdout] 421 | | // println!("compute: {:?}",&compute); [INFO] [stdout] 422 | | match compute.clone() { [INFO] [stdout] 423 | | ExpCompute::Let { [INFO] [stdout] ... | [INFO] [stdout] 671 | | // } [INFO] [stdout] 672 | | } [INFO] [stdout] | |_____- any code following this expression is unreachable [INFO] [stdout] 673 | todo!(); [INFO] [stdout] | ^^^^^^^ unreachable statement [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] = note: this warning originates in the macro `$crate::panic` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> src/typeSyn.rs:17:21 [INFO] [stdout] | [INFO] [stdout] 17 | 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:18:22 [INFO] [stdout] | [INFO] [stdout] 18 | 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: `ann` [INFO] [stdout] --> src/typeSyn.rs:45:13 [INFO] [stdout] | [INFO] [stdout] 45 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `binding` [INFO] [stdout] --> src/typeSyn.rs:55:13 [INFO] [stdout] | [INFO] [stdout] 55 | binding, [INFO] [stdout] | ^^^^^^^ help: try ignoring the field: `binding: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/typeSyn.rs:56:13 [INFO] [stdout] | [INFO] [stdout] 56 | body, [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/typeSyn.rs:57:13 [INFO] [stdout] | [INFO] [stdout] 57 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/typeSyn.rs:89:13 [INFO] [stdout] | [INFO] [stdout] 89 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/typeSyn.rs:121:13 [INFO] [stdout] | [INFO] [stdout] 121 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/typeSyn.rs:136:13 [INFO] [stdout] | [INFO] [stdout] 136 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:39:13 [INFO] [stdout] | [INFO] [stdout] 39 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:55:41 [INFO] [stdout] | [INFO] [stdout] 55 | 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:100:13 [INFO] [stdout] | [INFO] [stdout] 100 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:139:13 [INFO] [stdout] | [INFO] [stdout] 139 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:162:13 [INFO] [stdout] | [INFO] [stdout] 162 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:240:13 [INFO] [stdout] | [INFO] [stdout] 240 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:248:41 [INFO] [stdout] | [INFO] [stdout] 248 | 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:277:13 [INFO] [stdout] | [INFO] [stdout] 277 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:299:13 [INFO] [stdout] | [INFO] [stdout] 299 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:314:13 [INFO] [stdout] | [INFO] [stdout] 314 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:325:17 [INFO] [stdout] | [INFO] [stdout] 325 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/eval.rs:337:28 [INFO] [stdout] | [INFO] [stdout] 337 | 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:426:17 [INFO] [stdout] | [INFO] [stdout] 426 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:436:17 [INFO] [stdout] | [INFO] [stdout] 436 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:480:17 [INFO] [stdout] | [INFO] [stdout] 480 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:500:17 [INFO] [stdout] | [INFO] [stdout] 500 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:513:17 [INFO] [stdout] | [INFO] [stdout] 513 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/eval.rs:537:32 [INFO] [stdout] | [INFO] [stdout] 537 | ExpCompute::Pop(x, t, e, _) => match stack { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typeSyn.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | 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:39:5 [INFO] [stdout] | [INFO] [stdout] 39 | mut gamma: &Vec<(&'exp str, TVal)>, [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:12:8 [INFO] [stdout] | [INFO] [stdout] 12 | pub fn typeSynVal<'exp>( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `typeSynCompute` [INFO] [stdout] --> src/typeSyn.rs:37:8 [INFO] [stdout] | [INFO] [stdout] 37 | pub fn typeSynCompute<'exp>( [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:12:8 [INFO] [stdout] | [INFO] [stdout] 12 | 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:37:8 [INFO] [stdout] | [INFO] [stdout] 37 | 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: 41 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ValueParser` [INFO] [stdout] --> src/main.rs:1:50 [INFO] [stdout] | [INFO] [stdout] 1 | use riddle_compiler::parser::{ComputationParser, ValueParser}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `eval_with_stack`, `eval`, `substCompute`, `substVal` [INFO] [stdout] --> src/main.rs:2:29 [INFO] [stdout] | [INFO] [stdout] 2 | use riddle_compiler::eval::{eval, eval_with_stack, substCompute, substVal}; [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: 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 50.10s [INFO] running `Command { std: "docker" "inspect" "98c337b861f688f97f31c2f9c3c5febecd9656cd1068bc1f5a8ea38469d47c41", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "98c337b861f688f97f31c2f9c3c5febecd9656cd1068bc1f5a8ea38469d47c41", kill_on_drop: false }` [INFO] [stdout] 98c337b861f688f97f31c2f9c3c5febecd9656cd1068bc1f5a8ea38469d47c41 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-73/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-73/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 421b8ffe7293765905d524543ad4829356c804a2fde2099eedb8fffe91605bb1 [INFO] running `Command { std: "docker" "start" "-a" "421b8ffe7293765905d524543ad4829356c804a2fde2099eedb8fffe91605bb1", kill_on_drop: false }` [INFO] [stdout] warning: variant `cont` should have an upper camel case name [INFO] [stdout] --> src/syntax.rs:155:5 [INFO] [stdout] | [INFO] [stdout] 155 | 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: unreachable statement [INFO] [stdout] --> src/eval.rs:673:5 [INFO] [stdout] | [INFO] [stdout] 420 | / loop { [INFO] [stdout] 421 | | // println!("compute: {:?}",&compute); [INFO] [stdout] 422 | | match compute.clone() { [INFO] [stdout] 423 | | ExpCompute::Let { [INFO] [stdout] ... | [INFO] [stdout] 671 | | // } [INFO] [stdout] 672 | | } [INFO] [stdout] | |_____- any code following this expression is unreachable [INFO] [stdout] 673 | todo!(); [INFO] [stdout] | ^^^^^^^ unreachable statement [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] = note: this warning originates in the macro `$crate::panic` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> src/typeSyn.rs:17:21 [INFO] [stdout] | [INFO] [stdout] 17 | 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:18:22 [INFO] [stdout] | [INFO] [stdout] 18 | 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: `ann` [INFO] [stdout] --> src/typeSyn.rs:45:13 [INFO] [stdout] | [INFO] [stdout] 45 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `binding` [INFO] [stdout] --> src/typeSyn.rs:55:13 [INFO] [stdout] | [INFO] [stdout] 55 | binding, [INFO] [stdout] | ^^^^^^^ help: try ignoring the field: `binding: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/typeSyn.rs:56:13 [INFO] [stdout] | [INFO] [stdout] 56 | body, [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/typeSyn.rs:57:13 [INFO] [stdout] | [INFO] [stdout] 57 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/typeSyn.rs:89:13 [INFO] [stdout] | [INFO] [stdout] 89 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/typeSyn.rs:121:13 [INFO] [stdout] | [INFO] [stdout] 121 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/typeSyn.rs:136:13 [INFO] [stdout] | [INFO] [stdout] 136 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:39:13 [INFO] [stdout] | [INFO] [stdout] 39 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:55:41 [INFO] [stdout] | [INFO] [stdout] 55 | 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:100:13 [INFO] [stdout] | [INFO] [stdout] 100 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:139:13 [INFO] [stdout] | [INFO] [stdout] 139 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:162:13 [INFO] [stdout] | [INFO] [stdout] 162 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:240:13 [INFO] [stdout] | [INFO] [stdout] 240 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:248:41 [INFO] [stdout] | [INFO] [stdout] 248 | 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:277:13 [INFO] [stdout] | [INFO] [stdout] 277 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:299:13 [INFO] [stdout] | [INFO] [stdout] 299 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:314:13 [INFO] [stdout] | [INFO] [stdout] 314 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:325:17 [INFO] [stdout] | [INFO] [stdout] 325 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/eval.rs:337:28 [INFO] [stdout] | [INFO] [stdout] 337 | 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:426:17 [INFO] [stdout] | [INFO] [stdout] 426 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:436:17 [INFO] [stdout] | [INFO] [stdout] 436 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:480:17 [INFO] [stdout] | [INFO] [stdout] 480 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:500:17 [INFO] [stdout] | [INFO] [stdout] 500 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:513:17 [INFO] [stdout] | [INFO] [stdout] 513 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/eval.rs:537:32 [INFO] [stdout] | [INFO] [stdout] 537 | ExpCompute::Pop(x, t, e, _) => match stack { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_t` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typeSyn.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | 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:39:5 [INFO] [stdout] | [INFO] [stdout] 39 | mut gamma: &Vec<(&'exp str, TVal)>, [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] [stderr] Compiling riddle_compiler v0.4.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: function is never used: `typeSynVal` [INFO] [stdout] --> src/typeSyn.rs:12:8 [INFO] [stdout] | [INFO] [stdout] 12 | pub fn typeSynVal<'exp>( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `typeSynCompute` [INFO] [stdout] --> src/typeSyn.rs:37:8 [INFO] [stdout] | [INFO] [stdout] 37 | pub fn typeSynCompute<'exp>( [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:12:8 [INFO] [stdout] | [INFO] [stdout] 12 | 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:37:8 [INFO] [stdout] | [INFO] [stdout] 37 | 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: 41 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ValueParser` [INFO] [stdout] --> src/main.rs:1:50 [INFO] [stdout] | [INFO] [stdout] 1 | use riddle_compiler::parser::{ComputationParser, ValueParser}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `eval_with_stack`, `eval`, `substCompute`, `substVal` [INFO] [stdout] --> src/main.rs:2:29 [INFO] [stdout] | [INFO] [stdout] 2 | use riddle_compiler::eval::{eval, eval_with_stack, substCompute, substVal}; [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: variant `cont` should have an upper camel case name [INFO] [stdout] --> src/syntax.rs:155:5 [INFO] [stdout] | [INFO] [stdout] 155 | 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: unreachable statement [INFO] [stdout] --> src/eval.rs:673:5 [INFO] [stdout] | [INFO] [stdout] 420 | / loop { [INFO] [stdout] 421 | | // println!("compute: {:?}",&compute); [INFO] [stdout] 422 | | match compute.clone() { [INFO] [stdout] 423 | | ExpCompute::Let { [INFO] [stdout] ... | [INFO] [stdout] 671 | | // } [INFO] [stdout] 672 | | } [INFO] [stdout] | |_____- any code following this expression is unreachable [INFO] [stdout] 673 | todo!(); [INFO] [stdout] | ^^^^^^^ unreachable statement [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_code)]` on by default [INFO] [stdout] = note: this warning originates in the macro `$crate::panic` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> src/typeSyn.rs:17:21 [INFO] [stdout] | [INFO] [stdout] 17 | 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:18:22 [INFO] [stdout] | [INFO] [stdout] 18 | 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: `ann` [INFO] [stdout] --> src/typeSyn.rs:45:13 [INFO] [stdout] | [INFO] [stdout] 45 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `binding` [INFO] [stdout] --> src/typeSyn.rs:55:13 [INFO] [stdout] | [INFO] [stdout] 55 | binding, [INFO] [stdout] | ^^^^^^^ help: try ignoring the field: `binding: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `body` [INFO] [stdout] --> src/typeSyn.rs:56:13 [INFO] [stdout] | [INFO] [stdout] 56 | body, [INFO] [stdout] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/typeSyn.rs:57:13 [INFO] [stdout] | [INFO] [stdout] 57 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/typeSyn.rs:89:13 [INFO] [stdout] | [INFO] [stdout] 89 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/typeSyn.rs:121:13 [INFO] [stdout] | [INFO] [stdout] 121 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/typeSyn.rs:136:13 [INFO] [stdout] | [INFO] [stdout] 136 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:39:13 [INFO] [stdout] | [INFO] [stdout] 39 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:55:41 [INFO] [stdout] | [INFO] [stdout] 55 | 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:100:13 [INFO] [stdout] | [INFO] [stdout] 100 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:139:13 [INFO] [stdout] | [INFO] [stdout] 139 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:162:13 [INFO] [stdout] | [INFO] [stdout] 162 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:240:13 [INFO] [stdout] | [INFO] [stdout] 240 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:248:41 [INFO] [stdout] | [INFO] [stdout] 248 | 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:277:13 [INFO] [stdout] | [INFO] [stdout] 277 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:299:13 [INFO] [stdout] | [INFO] [stdout] 299 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:314:13 [INFO] [stdout] | [INFO] [stdout] 314 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:325:17 [INFO] [stdout] | [INFO] [stdout] 325 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/eval.rs:337:28 [INFO] [stdout] | [INFO] [stdout] 337 | 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:426:17 [INFO] [stdout] | [INFO] [stdout] 426 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:436:17 [INFO] [stdout] | [INFO] [stdout] 436 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:480:17 [INFO] [stdout] | [INFO] [stdout] 480 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:500:17 [INFO] [stdout] | [INFO] [stdout] 500 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ann` [INFO] [stdout] --> src/eval.rs:513:17 [INFO] [stdout] | [INFO] [stdout] 513 | ann, [INFO] [stdout] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `t` [INFO] [stdout] --> src/eval.rs:537:32 [INFO] [stdout] | [INFO] [stdout] 537 | 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: 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/typeSyn.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | 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:39:5 [INFO] [stdout] | [INFO] [stdout] 39 | mut gamma: &Vec<(&'exp str, TVal)>, [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:12:8 [INFO] [stdout] | [INFO] [stdout] 12 | pub fn typeSynVal<'exp>( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `typeSynCompute` [INFO] [stdout] --> src/typeSyn.rs:37:8 [INFO] [stdout] | [INFO] [stdout] 37 | pub fn typeSynCompute<'exp>( [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:12:8 [INFO] [stdout] | [INFO] [stdout] 12 | 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:37:8 [INFO] [stdout] | [INFO] [stdout] 37 | 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: 41 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 2.01s [INFO] running `Command { std: "docker" "inspect" "421b8ffe7293765905d524543ad4829356c804a2fde2099eedb8fffe91605bb1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "421b8ffe7293765905d524543ad4829356c804a2fde2099eedb8fffe91605bb1", kill_on_drop: false }` [INFO] [stdout] 421b8ffe7293765905d524543ad4829356c804a2fde2099eedb8fffe91605bb1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-73/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-73/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 2cb49509e147b2e1f54412acff02134f58bbd96f147bde2da0993fe369d74e91 [INFO] running `Command { std: "docker" "start" "-a" "2cb49509e147b2e1f54412acff02134f58bbd96f147bde2da0993fe369d74e91", kill_on_drop: false }` [INFO] [stderr] warning: variant `cont` should have an upper camel case name [INFO] [stderr] --> src/syntax.rs:155:5 [INFO] [stderr] | [INFO] [stderr] 155 | 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: unreachable statement [INFO] [stderr] --> src/eval.rs:673:5 [INFO] [stderr] | [INFO] [stderr] 420 | / loop { [INFO] [stderr] 421 | | // println!("compute: {:?}",&compute); [INFO] [stderr] 422 | | match compute.clone() { [INFO] [stderr] 423 | | ExpCompute::Let { [INFO] [stderr] ... | [INFO] [stderr] 671 | | // } [INFO] [stderr] 672 | | } [INFO] [stderr] | |_____- any code following this expression is unreachable [INFO] [stderr] 673 | todo!(); [INFO] [stderr] | ^^^^^^^ unreachable statement [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unreachable_code)]` on by default [INFO] [stderr] = note: this warning originates in the macro `$crate::panic` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n` [INFO] [stderr] --> src/typeSyn.rs:17:21 [INFO] [stderr] | [INFO] [stderr] 17 | 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:18:22 [INFO] [stderr] | [INFO] [stderr] 18 | 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: `ann` [INFO] [stderr] --> src/typeSyn.rs:45:13 [INFO] [stderr] | [INFO] [stderr] 45 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `binding` [INFO] [stderr] --> src/typeSyn.rs:55:13 [INFO] [stderr] | [INFO] [stderr] 55 | binding, [INFO] [stderr] | ^^^^^^^ help: try ignoring the field: `binding: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `body` [INFO] [stderr] --> src/typeSyn.rs:56:13 [INFO] [stderr] | [INFO] [stderr] 56 | body, [INFO] [stderr] | ^^^^ help: try ignoring the field: `body: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/typeSyn.rs:57:13 [INFO] [stderr] | [INFO] [stderr] 57 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/typeSyn.rs:89:13 [INFO] [stderr] | [INFO] [stderr] 89 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/typeSyn.rs:121:13 [INFO] [stderr] | [INFO] [stderr] 121 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/typeSyn.rs:136:13 [INFO] [stderr] | [INFO] [stderr] 136 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:39:13 [INFO] [stderr] | [INFO] [stderr] 39 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:55:41 [INFO] [stderr] | [INFO] [stderr] 55 | 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:100:13 [INFO] [stderr] | [INFO] [stderr] 100 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:139:13 [INFO] [stderr] | [INFO] [stderr] 139 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:162:13 [INFO] [stderr] | [INFO] [stderr] 162 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:240:13 [INFO] [stderr] | [INFO] [stderr] 240 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:248:41 [INFO] [stderr] | [INFO] [stderr] 248 | 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:277:13 [INFO] [stderr] | [INFO] [stderr] 277 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:299:13 [INFO] [stderr] | [INFO] [stderr] 299 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:314:13 [INFO] [stderr] | [INFO] [stderr] 314 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:325:17 [INFO] [stderr] | [INFO] [stderr] 325 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/eval.rs:337:28 [INFO] [stderr] | [INFO] [stderr] 337 | 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:426:17 [INFO] [stderr] | [INFO] [stderr] 426 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:436:17 [INFO] [stderr] | [INFO] [stderr] 436 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:480:17 [INFO] [stderr] | [INFO] [stderr] 480 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:500:17 [INFO] [stderr] | [INFO] [stderr] 500 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ann` [INFO] [stderr] --> src/eval.rs:513:17 [INFO] [stderr] | [INFO] [stderr] 513 | ann, [INFO] [stderr] | ^^^ help: try ignoring the field: `ann: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `t` [INFO] [stderr] --> src/eval.rs:537:32 [INFO] [stderr] | [INFO] [stderr] 537 | 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: variable does not need to be mutable [INFO] [stderr] --> src/typeSyn.rs:14:5 [INFO] [stderr] | [INFO] [stderr] 14 | 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:39:5 [INFO] [stderr] | [INFO] [stderr] 39 | mut gamma: &Vec<(&'exp str, TVal)>, [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:12:8 [INFO] [stderr] | [INFO] [stderr] 12 | pub fn typeSynVal<'exp>( [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `typeSynCompute` [INFO] [stderr] --> src/typeSyn.rs:37:8 [INFO] [stderr] | [INFO] [stderr] 37 | pub fn typeSynCompute<'exp>( [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:12:8 [INFO] [stderr] | [INFO] [stderr] 12 | 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:37:8 [INFO] [stderr] | [INFO] [stderr] 37 | 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: `riddle_compiler` (lib) generated 41 warnings [INFO] [stderr] warning: `riddle_compiler` (lib test) generated 41 warnings (41 duplicates) [INFO] [stderr] warning: unused import: `ValueParser` [INFO] [stderr] --> src/main.rs:1:50 [INFO] [stderr] | [INFO] [stderr] 1 | use riddle_compiler::parser::{ComputationParser, ValueParser}; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused imports: `eval_with_stack`, `eval`, `substCompute`, `substVal` [INFO] [stderr] --> src/main.rs:2:29 [INFO] [stderr] | [INFO] [stderr] 2 | use riddle_compiler::eval::{eval, eval_with_stack, substCompute, substVal}; [INFO] [stderr] | ^^^^ ^^^^^^^^^^^^^^^ ^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `ExpCompute`, `ExpVal`, `Prim2`, `TCompute`, `TVal`, `Terminal` [INFO] [stderr] --> src/main.rs:3:31 [INFO] [stderr] | [INFO] [stderr] 3 | use riddle_compiler::syntax::{ExpCompute, ExpVal, Prim2, TCompute, TVal, Terminal}; [INFO] [stderr] | ^^^^^^^^^^ ^^^^^^ ^^^^^ ^^^^^^^^ ^^^^ ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `riddle_compiler` (bin "riddle_compiler" test) generated 3 warnings [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.14s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/riddle_compiler-ec997fd98aa3e864) [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 (/opt/rustwide/target/debug/deps/riddle_compiler-ae43b2669d4cfe8e) [INFO] [stdout] [INFO] [stderr] Doc-tests riddle_compiler [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] [stderr] warning: variant `cont` should have an upper camel case name [INFO] [stderr] --> /opt/rustwide/workdir/src/syntax.rs:155:5 [INFO] [stderr] | [INFO] [stderr] 155 | 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" "2cb49509e147b2e1f54412acff02134f58bbd96f147bde2da0993fe369d74e91", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2cb49509e147b2e1f54412acff02134f58bbd96f147bde2da0993fe369d74e91", kill_on_drop: false }` [INFO] [stdout] 2cb49509e147b2e1f54412acff02134f58bbd96f147bde2da0993fe369d74e91