[INFO] cloning repository https://github.com/vert2air/lazy_k [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vert2air/lazy_k" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvert2air%2Flazy_k", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvert2air%2Flazy_k'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 6414c86318eb81548bb0763ffd232e1b1ec47f6c [INFO] checking vert2air/lazy_k against try#bb9dbf1d07454a99066eabaabd5819851281494b for pr-80920 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvert2air%2Flazy_k" "/workspace/builds/worker-5/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/vert2air/lazy_k on toolchain bb9dbf1d07454a99066eabaabd5819851281494b [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+bb9dbf1d07454a99066eabaabd5819851281494b" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/vert2air/lazy_k [INFO] finished tweaking git repo https://github.com/vert2air/lazy_k [INFO] tweaked toml for git repo https://github.com/vert2air/lazy_k written to /workspace/builds/worker-5/source/Cargo.toml [INFO] crate git repo https://github.com/vert2air/lazy_k already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+bb9dbf1d07454a99066eabaabd5819851281494b" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "rustops/crates-build-env@sha256:21f1ed92105a0ef9b0d27ad8bdeb7f36f9f01ac17fffe3a3f3dc5241fc25d8f4" "/opt/rustwide/cargo-home/bin/cargo" "+bb9dbf1d07454a99066eabaabd5819851281494b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] a8f05bc03374bb011b0991fc2e82d3a844bd9c352ce21cad16e772a10c6b3dc2 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "a8f05bc03374bb011b0991fc2e82d3a844bd9c352ce21cad16e772a10c6b3dc2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a8f05bc03374bb011b0991fc2e82d3a844bd9c352ce21cad16e772a10c6b3dc2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a8f05bc03374bb011b0991fc2e82d3a844bd9c352ce21cad16e772a10c6b3dc2", kill_on_drop: false }` [INFO] [stdout] a8f05bc03374bb011b0991fc2e82d3a844bd9c352ce21cad16e772a10c6b3dc2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "rustops/crates-build-env@sha256:21f1ed92105a0ef9b0d27ad8bdeb7f36f9f01ac17fffe3a3f3dc5241fc25d8f4" "/opt/rustwide/cargo-home/bin/cargo" "+bb9dbf1d07454a99066eabaabd5819851281494b" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a9c8257e6bed4e5b0e15229d1be691b2045107dcea232b9d1560e0da5af4c588 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "a9c8257e6bed4e5b0e15229d1be691b2045107dcea232b9d1560e0da5af4c588", kill_on_drop: false }` [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling num-bigint v0.3.1 [INFO] [stderr] Checking lazy_k v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error: expected item, found `[` [INFO] [stdout] --> src/lazy_k_core.rs:932:1 [INFO] [stdout] | [INFO] [stdout] 932 | [test] [INFO] [stdout] | ^ expected item [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: expected item, found `[` [INFO] [stdout] --> src/lazy_k_core.rs:932:1 [INFO] [stdout] | [INFO] [stdout] 932 | [test] [INFO] [stdout] | ^ expected item [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `super::lazy_k_core::PLamExpr`, `super::lazy_k_core::i`, `super::lazy_k_core::s`, `super::lazy_k_core::k`, `super::lazy_k_core::iota`, `super::lazy_k_core::jot` [INFO] [stdout] --> src/lazy_k_read.rs:3:26 [INFO] [stdout] | [INFO] [stdout] 3 | use super::lazy_k_core::{PLamExpr, i, s, k, iota, jot}; [INFO] [stdout] | ^^^^^^^^ ^ ^ ^ ^^^^ ^^^ no `jot` in `lazy_k_core` [INFO] [stdout] | | | | | | [INFO] [stdout] | | | | | no `iota` in `lazy_k_core` [INFO] [stdout] | | | | no `k` in `lazy_k_core` [INFO] [stdout] | | | no `s` in `lazy_k_core` [INFO] [stdout] | | no `i` in `lazy_k_core` [INFO] [stdout] | no `PLamExpr` in `lazy_k_core` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `super::lazy_k_core::PLamExpr`, `super::lazy_k_core::nm`, `super::lazy_k_core::LamExpr` [INFO] [stdout] --> src/lazy_k_goedel_number.rs:21:26 [INFO] [stdout] | [INFO] [stdout] 21 | use super::lazy_k_core::{PLamExpr, nm, LamExpr}; [INFO] [stdout] | ^^^^^^^^ ^^ ^^^^^^^ no `LamExpr` in `lazy_k_core` [INFO] [stdout] | | | [INFO] [stdout] | | no `nm` in `lazy_k_core` [INFO] [stdout] | no `PLamExpr` in `lazy_k_core` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `super::lazy_k_core::LamExpr`, `super::lazy_k_core::PLamExpr`, `super::lazy_k_core::i`, `super::lazy_k_core::k`, `super::lazy_k_core::s` [INFO] [stdout] --> src/lazy_k_mining.rs:1:26 [INFO] [stdout] | [INFO] [stdout] 1 | use super::lazy_k_core::{LamExpr, PLamExpr, i, k, s}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^ ^ ^ ^ no `s` in `lazy_k_core` [INFO] [stdout] | | | | | [INFO] [stdout] | | | | no `k` in `lazy_k_core` [INFO] [stdout] | | | no `i` in `lazy_k_core` [INFO] [stdout] | | no `PLamExpr` in `lazy_k_core` [INFO] [stdout] | no `LamExpr` in `lazy_k_core` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `super::lazy_k_core::LamExpr`, `super::lazy_k_core::PLamExpr`, `super::lazy_k_core::la` [INFO] [stdout] --> src/traverse_tree.rs:3:26 [INFO] [stdout] | [INFO] [stdout] 3 | use super::lazy_k_core::{LamExpr, PLamExpr, la}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^ ^^ no `la` in `lazy_k_core` [INFO] [stdout] | | | [INFO] [stdout] | | no `PLamExpr` in `lazy_k_core` [INFO] [stdout] | no `LamExpr` in `lazy_k_core` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `super::lazy_k_core::PLamExpr`, `super::lazy_k_core::i`, `super::lazy_k_core::s`, `super::lazy_k_core::k`, `super::lazy_k_core::iota`, `super::lazy_k_core::jot` [INFO] [stdout] --> src/lazy_k_read.rs:3:26 [INFO] [stdout] | [INFO] [stdout] 3 | use super::lazy_k_core::{PLamExpr, i, s, k, iota, jot}; [INFO] [stdout] | ^^^^^^^^ ^ ^ ^ ^^^^ ^^^ no `jot` in `lazy_k_core` [INFO] [stdout] | | | | | | [INFO] [stdout] | | | | | no `iota` in `lazy_k_core` [INFO] [stdout] | | | | no `k` in `lazy_k_core` [INFO] [stdout] | | | no `s` in `lazy_k_core` [INFO] [stdout] | | no `i` in `lazy_k_core` [INFO] [stdout] | no `PLamExpr` in `lazy_k_core` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `super::lazy_k_core::PLamExpr`, `super::lazy_k_core::nm`, `super::lazy_k_core::LamExpr` [INFO] [stdout] --> src/lazy_k_goedel_number.rs:21:26 [INFO] [stdout] | [INFO] [stdout] 21 | use super::lazy_k_core::{PLamExpr, nm, LamExpr}; [INFO] [stdout] | ^^^^^^^^ ^^ ^^^^^^^ no `LamExpr` in `lazy_k_core` [INFO] [stdout] | | | [INFO] [stdout] | | no `nm` in `lazy_k_core` [INFO] [stdout] | no `PLamExpr` in `lazy_k_core` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `super::lazy_k_core::LamExpr`, `super::lazy_k_core::PLamExpr`, `super::lazy_k_core::i`, `super::lazy_k_core::k`, `super::lazy_k_core::s` [INFO] [stdout] --> src/lazy_k_mining.rs:1:26 [INFO] [stdout] | [INFO] [stdout] 1 | use super::lazy_k_core::{LamExpr, PLamExpr, i, k, s}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^ ^ ^ ^ no `s` in `lazy_k_core` [INFO] [stdout] | | | | | [INFO] [stdout] | | | | no `k` in `lazy_k_core` [INFO] [stdout] | | | no `i` in `lazy_k_core` [INFO] [stdout] | | no `PLamExpr` in `lazy_k_core` [INFO] [stdout] | no `LamExpr` in `lazy_k_core` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `super::lazy_k_core::LamExpr`, `super::lazy_k_core::PLamExpr`, `super::lazy_k_core::la` [INFO] [stdout] --> src/traverse_tree.rs:3:26 [INFO] [stdout] | [INFO] [stdout] 3 | use super::lazy_k_core::{LamExpr, PLamExpr, la}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^ ^^ no `la` in `lazy_k_core` [INFO] [stdout] | | | [INFO] [stdout] | | no `PLamExpr` in `lazy_k_core` [INFO] [stdout] | no `LamExpr` in `lazy_k_core` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ChNumEval` [INFO] [stdout] --> src/lazy_k_interpreter.rs:29:11 [INFO] [stdout] | [INFO] [stdout] 29 | match ChNumEval::new(aux).eval_cc() { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `ChNumEval` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LamExpr` [INFO] [stdout] --> src/lazy_k_interpreter.rs:31:13 [INFO] [stdout] | [INFO] [stdout] 31 | LamExpr::Nm { name } if **name == "true".to_string() => true, [INFO] [stdout] | ^^^^^^^ use of undeclared type `LamExpr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PLamExpr` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:3:31 [INFO] [stdout] | [INFO] [stdout] 3 | pub fn exec_lazy_k(prog_data: PLamExpr) -> Vec { [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `s` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:10:19 [INFO] [stdout] | [INFO] [stdout] 10 | let car = s() * i() * (k() * k()); [INFO] [stdout] | ^ help: a local variable with a similar name exists: `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `i` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:10:25 [INFO] [stdout] | [INFO] [stdout] 10 | let car = s() * i() * (k() * k()); [INFO] [stdout] | ^ help: a local variable with a similar name exists: `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `k` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:10:32 [INFO] [stdout] | [INFO] [stdout] 10 | let car = s() * i() * (k() * k()); [INFO] [stdout] | ^ help: a tuple variant with a similar name exists: `Ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `k` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:10:38 [INFO] [stdout] | [INFO] [stdout] 10 | let car = s() * i() * (k() * k()); [INFO] [stdout] | ^ help: a tuple variant with a similar name exists: `Ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `s` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:15:19 [INFO] [stdout] | [INFO] [stdout] 15 | let cdr = s() * i() * (k() * (k() * i())); [INFO] [stdout] | ^ help: a local variable with a similar name exists: `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `i` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:15:25 [INFO] [stdout] | [INFO] [stdout] 15 | let cdr = s() * i() * (k() * (k() * i())); [INFO] [stdout] | ^ help: a local variable with a similar name exists: `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `k` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:15:32 [INFO] [stdout] | [INFO] [stdout] 15 | let cdr = s() * i() * (k() * (k() * i())); [INFO] [stdout] | ^ help: a tuple variant with a similar name exists: `Ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `k` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:15:39 [INFO] [stdout] | [INFO] [stdout] 15 | let cdr = s() * i() * (k() * (k() * i())); [INFO] [stdout] | ^ help: a tuple variant with a similar name exists: `Ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `i` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:15:45 [INFO] [stdout] | [INFO] [stdout] 15 | let cdr = s() * i() * (k() * (k() * i())); [INFO] [stdout] | ^ help: a local variable with a similar name exists: `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PLamExpr` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:27:19 [INFO] [stdout] | [INFO] [stdout] 27 | pub fn is_nil(e: &PLamExpr) -> bool { [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `k` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:28:29 [INFO] [stdout] | [INFO] [stdout] 28 | let aux = e.clone() * (k() * ( k() * (k() * nm("false")))) * nm("true"); [INFO] [stdout] | ^ help: a tuple variant with a similar name exists: `Ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `k` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:28:37 [INFO] [stdout] | [INFO] [stdout] 28 | let aux = e.clone() * (k() * ( k() * (k() * nm("false")))) * nm("true"); [INFO] [stdout] | ^ help: a tuple variant with a similar name exists: `Ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `k` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:28:44 [INFO] [stdout] | [INFO] [stdout] 28 | let aux = e.clone() * (k() * ( k() * (k() * nm("false")))) * nm("true"); [INFO] [stdout] | ^ help: a tuple variant with a similar name exists: `Ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `nm` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:28:50 [INFO] [stdout] | [INFO] [stdout] 28 | let aux = e.clone() * (k() * ( k() * (k() * nm("false")))) * nm("true"); [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `nm` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:28:67 [INFO] [stdout] | [INFO] [stdout] 28 | let aux = e.clone() * (k() * ( k() * (k() * nm("false")))) * nm("true"); [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::lazy_k_core::*` [INFO] [stdout] --> src/lazy_k_interpreter.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use super::lazy_k_core::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ChNumEval` [INFO] [stdout] --> src/lazy_k_interpreter.rs:29:11 [INFO] [stdout] | [INFO] [stdout] 29 | match ChNumEval::new(aux).eval_cc() { [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `ChNumEval` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `LamExpr` [INFO] [stdout] --> src/lazy_k_interpreter.rs:31:13 [INFO] [stdout] | [INFO] [stdout] 31 | LamExpr::Nm { name } if **name == "true".to_string() => true, [INFO] [stdout] | ^^^^^^^ use of undeclared type `LamExpr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PLamExpr` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:3:31 [INFO] [stdout] | [INFO] [stdout] 3 | pub fn exec_lazy_k(prog_data: PLamExpr) -> Vec { [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `s` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:10:19 [INFO] [stdout] | [INFO] [stdout] 10 | let car = s() * i() * (k() * k()); [INFO] [stdout] | ^ help: a local variable with a similar name exists: `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `i` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:10:25 [INFO] [stdout] | [INFO] [stdout] 10 | let car = s() * i() * (k() * k()); [INFO] [stdout] | ^ help: a local variable with a similar name exists: `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `k` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:10:32 [INFO] [stdout] | [INFO] [stdout] 10 | let car = s() * i() * (k() * k()); [INFO] [stdout] | ^ help: a tuple variant with a similar name exists: `Ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `k` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:10:38 [INFO] [stdout] | [INFO] [stdout] 10 | let car = s() * i() * (k() * k()); [INFO] [stdout] | ^ help: a tuple variant with a similar name exists: `Ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `s` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:15:19 [INFO] [stdout] | [INFO] [stdout] 15 | let cdr = s() * i() * (k() * (k() * i())); [INFO] [stdout] | ^ help: a local variable with a similar name exists: `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `i` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:15:25 [INFO] [stdout] | [INFO] [stdout] 15 | let cdr = s() * i() * (k() * (k() * i())); [INFO] [stdout] | ^ help: a local variable with a similar name exists: `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `k` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:15:32 [INFO] [stdout] | [INFO] [stdout] 15 | let cdr = s() * i() * (k() * (k() * i())); [INFO] [stdout] | ^ help: a tuple variant with a similar name exists: `Ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `k` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:15:39 [INFO] [stdout] | [INFO] [stdout] 15 | let cdr = s() * i() * (k() * (k() * i())); [INFO] [stdout] | ^ help: a tuple variant with a similar name exists: `Ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `i` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:15:45 [INFO] [stdout] | [INFO] [stdout] 15 | let cdr = s() * i() * (k() * (k() * i())); [INFO] [stdout] | ^ help: a local variable with a similar name exists: `v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `PLamExpr` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:27:19 [INFO] [stdout] | [INFO] [stdout] 27 | pub fn is_nil(e: &PLamExpr) -> bool { [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `k` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:28:29 [INFO] [stdout] | [INFO] [stdout] 28 | let aux = e.clone() * (k() * ( k() * (k() * nm("false")))) * nm("true"); [INFO] [stdout] | ^ help: a tuple variant with a similar name exists: `Ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `k` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:28:37 [INFO] [stdout] | [INFO] [stdout] 28 | let aux = e.clone() * (k() * ( k() * (k() * nm("false")))) * nm("true"); [INFO] [stdout] | ^ help: a tuple variant with a similar name exists: `Ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `k` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:28:44 [INFO] [stdout] | [INFO] [stdout] 28 | let aux = e.clone() * (k() * ( k() * (k() * nm("false")))) * nm("true"); [INFO] [stdout] | ^ help: a tuple variant with a similar name exists: `Ok` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `nm` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:28:50 [INFO] [stdout] | [INFO] [stdout] 28 | let aux = e.clone() * (k() * ( k() * (k() * nm("false")))) * nm("true"); [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `nm` in this scope [INFO] [stdout] --> src/lazy_k_interpreter.rs:28:67 [INFO] [stdout] | [INFO] [stdout] 28 | let aux = e.clone() * (k() * ( k() * (k() * nm("false")))) * nm("true"); [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::lazy_k_core::*` [INFO] [stdout] --> src/lazy_k_interpreter.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use super::lazy_k_core::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::lazy_k_read::read_lazy_k` [INFO] [stdout] --> src/lazy_k_goedel_number.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | use super::lazy_k_read::read_lazy_k; // for test [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::lazy_k_read::read_lazy_k` [INFO] [stdout] --> src/lazy_k_mining.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use super::lazy_k_read::read_lazy_k; // for test [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0277]: the size for values of type `str` cannot be known at compilation time [INFO] [stdout] --> src/lazy_k_goedel_number.rs:396:9 [INFO] [stdout] | [INFO] [stdout] 396 | println!("Goedel number: {} <=> {} <=> {}", n.clone(), st, n2.clone()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time [INFO] [stdout] | [INFO] [stdout] = help: the trait `Sized` is not implemented for `str` [INFO] [stdout] = note: this error originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 23 previous errors; 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0412, E0425, E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0412`. [INFO] [stdout] [INFO] [stderr] error: could not compile `lazy_k` [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: aborting due to 24 previous errors; 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0277, E0412, E0425, E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0277`. [INFO] [stdout] [INFO] [stderr] error: build failed [INFO] running `Command { std: "docker" "inspect" "a9c8257e6bed4e5b0e15229d1be691b2045107dcea232b9d1560e0da5af4c588", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a9c8257e6bed4e5b0e15229d1be691b2045107dcea232b9d1560e0da5af4c588", kill_on_drop: false }` [INFO] [stdout] a9c8257e6bed4e5b0e15229d1be691b2045107dcea232b9d1560e0da5af4c588