[INFO] cloning repository https://github.com/darshimo/copl [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/darshimo/copl" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdarshimo%2Fcopl", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdarshimo%2Fcopl'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] e3f4da2ae79787073a8016af063722ed45efd329 [INFO] testing darshimo/copl 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%2Fdarshimo%2Fcopl" "/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/darshimo/copl 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/darshimo/copl [INFO] finished tweaking git repo https://github.com/darshimo/copl [INFO] tweaked toml for git repo https://github.com/darshimo/copl written to /workspace/builds/worker-5/source/Cargo.toml [INFO] crate git repo https://github.com/darshimo/copl 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] 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" "ghcr.io/rust-lang/crates-build-env/linux@sha256:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 6deb3194eb2cf32d7718582c35742f180fff240367794fd5b4b1e7974a01c8ef [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" "6deb3194eb2cf32d7718582c35742f180fff240367794fd5b4b1e7974a01c8ef", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "6deb3194eb2cf32d7718582c35742f180fff240367794fd5b4b1e7974a01c8ef", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6deb3194eb2cf32d7718582c35742f180fff240367794fd5b4b1e7974a01c8ef", kill_on_drop: false }` [INFO] [stdout] 6deb3194eb2cf32d7718582c35742f180fff240367794fd5b4b1e7974a01c8ef [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=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:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] ff6a035171481a8a7821bb095b6a58d29f50eb9eae9bc5fc6c97d75c9137b9e7 [INFO] running `Command { std: "docker" "start" "-a" "ff6a035171481a8a7821bb095b6a58d29f50eb9eae9bc5fc6c97d75c9137b9e7", kill_on_drop: false }` [INFO] [stderr] Compiling once_cell v1.5.2 [INFO] [stderr] Compiling regex-syntax v0.6.22 [INFO] [stderr] Compiling pmacro_ruly v0.1.1 [INFO] [stderr] Compiling thread_local v1.1.3 [INFO] [stderr] Compiling regex v1.4.3 [INFO] [stderr] Compiling ruly v1.2.1 [INFO] [stderr] Compiling copl v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | / add_rule!( [INFO] [stdout] 5 | | Int => Int0 ({reg(r"(0|(-)?[1-9][0-9]*)"), i32, |s: String|s.parse::().unwrap()}) [INFO] [stdout] 6 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | / add_rule!( [INFO] [stdout] 5 | | Int => Int0 ({reg(r"(0|(-)?[1-9][0-9]*)"), i32, |s: String|s.parse::().unwrap()}) [INFO] [stdout] 6 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:8:1 [INFO] [stdout] | [INFO] [stdout] 8 | / add_rule!( [INFO] [stdout] 9 | | Bool => Bool0 ({reg(r"(true|false)"), bool, |s: String|s=="true"}) [INFO] [stdout] 10 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:8:1 [INFO] [stdout] | [INFO] [stdout] 8 | / add_rule!( [INFO] [stdout] 9 | | Bool => Bool0 ({reg(r"(true|false)"), bool, |s: String|s=="true"}) [INFO] [stdout] 10 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:12:1 [INFO] [stdout] | [INFO] [stdout] 12 | / add_rule!( [INFO] [stdout] 13 | | Value => Value0 (Int) [INFO] [stdout] 14 | | | Value1 (Bool) [INFO] [stdout] 15 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:12:1 [INFO] [stdout] | [INFO] [stdout] 12 | / add_rule!( [INFO] [stdout] 13 | | Value => Value0 (Int) [INFO] [stdout] 14 | | | Value1 (Bool) [INFO] [stdout] 15 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:17:1 [INFO] [stdout] | [INFO] [stdout] 17 | / add_rule!( [INFO] [stdout] 18 | | Exp => Exp0 (Fxp, {reg("<")}, Exp) [INFO] [stdout] 19 | | | Exp1 (Fxp) [INFO] [stdout] 20 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:17:1 [INFO] [stdout] | [INFO] [stdout] 17 | / add_rule!( [INFO] [stdout] 18 | | Exp => Exp0 (Fxp, {reg("<")}, Exp) [INFO] [stdout] 19 | | | Exp1 (Fxp) [INFO] [stdout] 20 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:22:1 [INFO] [stdout] | [INFO] [stdout] 22 | / add_rule!( [INFO] [stdout] 23 | | Fxp => Fxp0 (Gxp, {reg(r"\+|\-")}, Fxp) [INFO] [stdout] 24 | | | Fxp1 (Gxp) [INFO] [stdout] 25 | | | FxpDummy2 (Fxp, {reg(r"\+|\-")}, Gxp) [INFO] [stdout] 26 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:22:1 [INFO] [stdout] | [INFO] [stdout] 22 | / add_rule!( [INFO] [stdout] 23 | | Fxp => Fxp0 (Gxp, {reg(r"\+|\-")}, Fxp) [INFO] [stdout] 24 | | | Fxp1 (Gxp) [INFO] [stdout] 25 | | | FxpDummy2 (Fxp, {reg(r"\+|\-")}, Gxp) [INFO] [stdout] 26 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:28:1 [INFO] [stdout] | [INFO] [stdout] 28 | / add_rule!( [INFO] [stdout] 29 | | Gxp => Gxp0 (Hxp, {reg(r"\*")}, Gxp) [INFO] [stdout] 30 | | | Gxp1 (Hxp) [INFO] [stdout] 31 | | | GxpDummy2 (Gxp, {reg(r"\*")}, Hxp) [INFO] [stdout] 32 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:28:1 [INFO] [stdout] | [INFO] [stdout] 28 | / add_rule!( [INFO] [stdout] 29 | | Gxp => Gxp0 (Hxp, {reg(r"\*")}, Gxp) [INFO] [stdout] 30 | | | Gxp1 (Hxp) [INFO] [stdout] 31 | | | GxpDummy2 (Gxp, {reg(r"\*")}, Hxp) [INFO] [stdout] 32 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:34:1 [INFO] [stdout] | [INFO] [stdout] 34 | / add_rule!( [INFO] [stdout] 35 | | Hxp => Hxp0 ({reg("if")}, Exp, {reg("then")}, Exp, {reg("else")}, Exp) [INFO] [stdout] 36 | | | Hxp1 ({reg(r"\(")}, Exp, {reg(r"\)")}) [INFO] [stdout] 37 | | | Hxp2 (Int) [INFO] [stdout] 38 | | | Hxp3 (Bool) [INFO] [stdout] 39 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:34:1 [INFO] [stdout] | [INFO] [stdout] 34 | / add_rule!( [INFO] [stdout] 35 | | Hxp => Hxp0 ({reg("if")}, Exp, {reg("then")}, Exp, {reg("else")}, Exp) [INFO] [stdout] 36 | | | Hxp1 ({reg(r"\(")}, Exp, {reg(r"\)")}) [INFO] [stdout] 37 | | | Hxp2 (Int) [INFO] [stdout] 38 | | | Hxp3 (Bool) [INFO] [stdout] 39 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:41:1 [INFO] [stdout] | [INFO] [stdout] 41 | / add_rule!( [INFO] [stdout] 42 | | Judgement => Eval (Exp, {reg("evalto")}, Value) [INFO] [stdout] 43 | | | Plus (Int, {reg("plus")}, Int, {reg("is")}, Int) [INFO] [stdout] 44 | | | Minus (Int, {reg("minus")}, Int, {reg("is")}, Int) [INFO] [stdout] 45 | | | Times (Int, {reg("times")}, Int, {reg("is")}, Int) [INFO] [stdout] 46 | | | Lt (Int, {reg("less")}, {reg("than")}, Int, {reg("is")}, Bool) [INFO] [stdout] 47 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalml1/rules.rs:41:1 [INFO] [stdout] | [INFO] [stdout] 41 | / add_rule!( [INFO] [stdout] 42 | | Judgement => Eval (Exp, {reg("evalto")}, Value) [INFO] [stdout] 43 | | | Plus (Int, {reg("plus")}, Int, {reg("is")}, Int) [INFO] [stdout] 44 | | | Minus (Int, {reg("minus")}, Int, {reg("is")}, Int) [INFO] [stdout] 45 | | | Times (Int, {reg("times")}, Int, {reg("is")}, Int) [INFO] [stdout] 46 | | | Lt (Int, {reg("less")}, {reg("than")}, Int, {reg("is")}, Bool) [INFO] [stdout] 47 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalnatexp/rules.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | / add_rule!( [INFO] [stdout] 5 | | Nat => Zero ({reg("Z")}) [INFO] [stdout] 6 | | | Succ ({reg("S")},{reg(r"\(")},Nat,{reg(r"\)")}) [INFO] [stdout] 7 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalnatexp/rules.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | / add_rule!( [INFO] [stdout] 5 | | Nat => Zero ({reg("Z")}) [INFO] [stdout] 6 | | | Succ ({reg("S")},{reg(r"\(")},Nat,{reg(r"\)")}) [INFO] [stdout] 7 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalnatexp/rules.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | / add_rule!( [INFO] [stdout] 10 | | Judgement => Eval (Exp, {reg("evalto")}, Nat) [INFO] [stdout] 11 | | | Plus (Nat, {reg("plus")}, Nat, {reg("is")}, Nat) [INFO] [stdout] 12 | | | Times (Nat, {reg("times")}, Nat, {reg("is")}, Nat) [INFO] [stdout] 13 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalnatexp/rules.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | / add_rule!( [INFO] [stdout] 10 | | Judgement => Eval (Exp, {reg("evalto")}, Nat) [INFO] [stdout] 11 | | | Plus (Nat, {reg("plus")}, Nat, {reg("is")}, Nat) [INFO] [stdout] 12 | | | Times (Nat, {reg("times")}, Nat, {reg("is")}, Nat) [INFO] [stdout] 13 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalnatexp/rules.rs:15:1 [INFO] [stdout] | [INFO] [stdout] 15 | / add_rule!( [INFO] [stdout] 16 | | Exp => Exp0 (Fxp, {reg(r"\+")}, Exp) [INFO] [stdout] 17 | | | Exp1 (Fxp) [INFO] [stdout] 18 | | | ExpDummy2 (Exp, {reg(r"\+")}, Fxp) [INFO] [stdout] 19 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalnatexp/rules.rs:15:1 [INFO] [stdout] | [INFO] [stdout] 15 | / add_rule!( [INFO] [stdout] 16 | | Exp => Exp0 (Fxp, {reg(r"\+")}, Exp) [INFO] [stdout] 17 | | | Exp1 (Fxp) [INFO] [stdout] 18 | | | ExpDummy2 (Exp, {reg(r"\+")}, Fxp) [INFO] [stdout] 19 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalnatexp/rules.rs:21:1 [INFO] [stdout] | [INFO] [stdout] 21 | / add_rule!( [INFO] [stdout] 22 | | Fxp => Fxp0 (Gxp, {reg(r"\*")}, Fxp) [INFO] [stdout] 23 | | | Fxp1 (Gxp) [INFO] [stdout] 24 | | | FxpDummy2 (Fxp, {reg(r"\*")}, Gxp) [INFO] [stdout] 25 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalnatexp/rules.rs:21:1 [INFO] [stdout] | [INFO] [stdout] 21 | / add_rule!( [INFO] [stdout] 22 | | Fxp => Fxp0 (Gxp, {reg(r"\*")}, Fxp) [INFO] [stdout] 23 | | | Fxp1 (Gxp) [INFO] [stdout] 24 | | | FxpDummy2 (Fxp, {reg(r"\*")}, Gxp) [INFO] [stdout] 25 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalnatexp/rules.rs:27:1 [INFO] [stdout] | [INFO] [stdout] 27 | / add_rule!( [INFO] [stdout] 28 | | Gxp => Gxp0 ({reg(r"\(")}, Exp, {reg(r"\)")}) [INFO] [stdout] 29 | | | Gxp1 (Nat) [INFO] [stdout] 30 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/evalnatexp/rules.rs:27:1 [INFO] [stdout] | [INFO] [stdout] 27 | / add_rule!( [INFO] [stdout] 28 | | Gxp => Gxp0 ({reg(r"\(")}, Exp, {reg(r"\)")}) [INFO] [stdout] 29 | | | Gxp1 (Nat) [INFO] [stdout] 30 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/nat/rules.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | / add_rule!( [INFO] [stdout] 5 | | Nat => Zero ({reg("Z")}) [INFO] [stdout] 6 | | | Succ ({reg("S")},{reg(r"\(")},Nat,{reg(r"\)")}) [INFO] [stdout] 7 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/nat/rules.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | / add_rule!( [INFO] [stdout] 5 | | Nat => Zero ({reg("Z")}) [INFO] [stdout] 6 | | | Succ ({reg("S")},{reg(r"\(")},Nat,{reg(r"\)")}) [INFO] [stdout] 7 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/nat/rules.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | / add_rule!( [INFO] [stdout] 10 | | Judgement => Plus (Nat, {reg("plus")}, Nat, {reg("is")}, Nat) [INFO] [stdout] 11 | | | Times (Nat, {reg("times")}, Nat, {reg("is")}, Nat) [INFO] [stdout] 12 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: proc macro panicked [INFO] [stdout] --> src/nat/rules.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | / add_rule!( [INFO] [stdout] 10 | | Judgement => Plus (Nat, {reg("plus")}, Nat, {reg("is")}, Nat) [INFO] [stdout] 11 | | | Times (Nat, {reg("times")}, Nat, {reg("is")}, Nat) [INFO] [stdout] 12 | | ); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] = help: message: syntax error1. [INFO] [stdout] = note: this error originates in the macro `add_rule` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `rules::Bool`, `rules::Bool`, `rules::Exp`, `rules::Exp`, `rules::Fxp`, `rules::Fxp`, `rules::Gxp`, `rules::Gxp`, `rules::Hxp`, `rules::Hxp`, `rules::Int`, `rules::Int`, `rules::Judgement`, `rules::Judgement`, `rules::Value`, `rules::Value` [INFO] [stdout] --> src/evalml1/mod.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | Bool, [INFO] [stdout] | ^^^^ no `Bool` in `evalml1::rules` [INFO] [stdout] 6 | Bool::Bool0, [INFO] [stdout] | ^^^^ could not find `Bool` in `rules` [INFO] [stdout] 7 | Exp, [INFO] [stdout] | ^^^ no `Exp` in `evalml1::rules` [INFO] [stdout] 8 | Exp::{Exp0, Exp1}, [INFO] [stdout] | ^^^ could not find `Exp` in `rules` [INFO] [stdout] 9 | Fxp, [INFO] [stdout] | ^^^ no `Fxp` in `evalml1::rules` [INFO] [stdout] 10 | Fxp::{Fxp0, Fxp1, FxpDummy2}, [INFO] [stdout] | ^^^ could not find `Fxp` in `rules` [INFO] [stdout] 11 | Gxp, [INFO] [stdout] | ^^^ no `Gxp` in `evalml1::rules` [INFO] [stdout] 12 | Gxp::{Gxp0, Gxp1, GxpDummy2}, [INFO] [stdout] | ^^^ could not find `Gxp` in `rules` [INFO] [stdout] 13 | Hxp, [INFO] [stdout] | ^^^ no `Hxp` in `evalml1::rules` [INFO] [stdout] 14 | Hxp::{Hxp0, Hxp1, Hxp2, Hxp3}, [INFO] [stdout] | ^^^ could not find `Hxp` in `rules` [INFO] [stdout] 15 | Int, [INFO] [stdout] | ^^^ [INFO] [stdout] 16 | Int::Int0, [INFO] [stdout] | ^^^ [INFO] [stdout] 17 | Judgement, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 18 | Judgement::{Eval, Lt, Minus, Plus, Times}, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 19 | Value, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 20 | Value::{Value0, Value1}, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `rules::Exp`, `rules::Exp`, `rules::Fxp`, `rules::Fxp`, `rules::Gxp`, `rules::Gxp`, `rules::Judgement`, `rules::Judgement`, `rules::Nat`, `rules::Nat` [INFO] [stdout] --> src/evalnatexp/mod.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | Exp, [INFO] [stdout] | ^^^ no `Exp` in `evalnatexp::rules` [INFO] [stdout] 6 | Exp::{Exp0, Exp1, ExpDummy2}, [INFO] [stdout] | ^^^ could not find `Exp` in `rules` [INFO] [stdout] 7 | Fxp, [INFO] [stdout] | ^^^ no `Fxp` in `evalnatexp::rules` [INFO] [stdout] 8 | Fxp::{Fxp0, Fxp1, FxpDummy2}, [INFO] [stdout] | ^^^ could not find `Fxp` in `rules` [INFO] [stdout] 9 | Gxp, [INFO] [stdout] | ^^^ no `Gxp` in `evalnatexp::rules` [INFO] [stdout] 10 | Gxp::{Gxp0, Gxp1}, [INFO] [stdout] | ^^^ could not find `Gxp` in `rules` [INFO] [stdout] 11 | Judgement, [INFO] [stdout] | ^^^^^^^^^ no `Judgement` in `evalnatexp::rules` [INFO] [stdout] 12 | Judgement::{Eval, Plus, Times}, [INFO] [stdout] | ^^^^^^^^^ could not find `Judgement` in `rules` [INFO] [stdout] 13 | Nat, [INFO] [stdout] | ^^^ no `Nat` in `evalnatexp::rules` [INFO] [stdout] 14 | Nat::{Succ, Zero}, [INFO] [stdout] | ^^^ could not find `Nat` in `rules` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `rules::Judgement`, `rules::Judgement`, `rules::Nat`, `rules::Nat` [INFO] [stdout] --> src/nat/mod.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | Judgement, [INFO] [stdout] | ^^^^^^^^^ no `Judgement` in `nat::rules` [INFO] [stdout] 6 | Judgement::{Plus, Times}, [INFO] [stdout] | ^^^^^^^^^ could not find `Judgement` in `rules` [INFO] [stdout] 7 | Nat, [INFO] [stdout] | ^^^ no `Nat` in `nat::rules` [INFO] [stdout] 8 | Nat::{Succ, Zero}, [INFO] [stdout] | ^^^ could not find `Nat` in `rules` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Int` [INFO] [stdout] --> src/evalml1/rules.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | Int => Int0 ({reg(r"(0|(-)?[1-9][0-9]*)"), i32, |s: String|s.parse::().unwrap()}) [INFO] [stdout] | ^^^ use of undeclared type `Int` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Bool` [INFO] [stdout] --> src/evalml1/rules.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | Bool => Bool0 ({reg(r"(true|false)"), bool, |s: String|s=="true"}) [INFO] [stdout] | ^^^^ use of undeclared type `Bool` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Value` [INFO] [stdout] --> src/evalml1/rules.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | Value => Value0 (Int) [INFO] [stdout] | ^^^^^ use of undeclared type `Value` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Exp` [INFO] [stdout] --> src/evalml1/rules.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | Exp => Exp0 (Fxp, {reg("<")}, Exp) [INFO] [stdout] | ^^^ use of undeclared type `Exp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Fxp` [INFO] [stdout] --> src/evalml1/rules.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | Fxp => Fxp0 (Gxp, {reg(r"\+|\-")}, Fxp) [INFO] [stdout] | ^^^ use of undeclared type `Fxp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Gxp` [INFO] [stdout] --> src/evalml1/rules.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | Gxp => Gxp0 (Hxp, {reg(r"\*")}, Gxp) [INFO] [stdout] | ^^^ use of undeclared type `Gxp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Hxp` [INFO] [stdout] --> src/evalml1/rules.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 35 | Hxp => Hxp0 ({reg("if")}, Exp, {reg("then")}, Exp, {reg("else")}, Exp) [INFO] [stdout] | ^^^ use of undeclared type `Hxp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Judgement` [INFO] [stdout] --> src/evalml1/rules.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | Judgement => Eval (Exp, {reg("evalto")}, Value) [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `Judgement` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Nat` [INFO] [stdout] --> src/evalnatexp/rules.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | Nat => Zero ({reg("Z")}) [INFO] [stdout] | ^^^ use of undeclared type `Nat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Judgement` [INFO] [stdout] --> src/evalnatexp/rules.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | Judgement => Eval (Exp, {reg("evalto")}, Nat) [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `Judgement` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Exp` [INFO] [stdout] --> src/evalnatexp/rules.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | Exp => Exp0 (Fxp, {reg(r"\+")}, Exp) [INFO] [stdout] | ^^^ use of undeclared type `Exp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Fxp` [INFO] [stdout] --> src/evalnatexp/rules.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | Fxp => Fxp0 (Gxp, {reg(r"\*")}, Fxp) [INFO] [stdout] | ^^^ use of undeclared type `Fxp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Gxp` [INFO] [stdout] --> src/evalnatexp/rules.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | Gxp => Gxp0 ({reg(r"\(")}, Exp, {reg(r"\)")}) [INFO] [stdout] | ^^^ use of undeclared type `Gxp` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Nat` [INFO] [stdout] --> src/nat/rules.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | Nat => Zero ({reg("Z")}) [INFO] [stdout] | ^^^ use of undeclared type `Nat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Judgement` [INFO] [stdout] --> src/nat/rules.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | Judgement => Plus (Nat, {reg("plus")}, Nat, {reg("is")}, Nat) [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `Judgement` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Int` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | Int => Int0 ({reg(r"(0|(-)?[1-9][0-9]*)"), i32, |s: String|s.parse::().unwrap()}) [INFO] [stdout] | ^^^ help: a trait with a similar name exists: `Into` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Bool` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | Bool => Bool0 ({reg(r"(true|false)"), bool, |s: String|s=="true"}) [INFO] [stdout] | ^^^^ help: a builtin type with a similar name exists: `bool` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Value` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | Value => Value0 (Int) [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Int` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:13:22 [INFO] [stdout] | [INFO] [stdout] 13 | Value => Value0 (Int) [INFO] [stdout] | ^^^ help: a trait with a similar name exists: `Into` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Bool` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:14:21 [INFO] [stdout] | [INFO] [stdout] 14 | | Value1 (Bool) [INFO] [stdout] | ^^^^ help: a builtin type with a similar name exists: `bool` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Exp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | Exp => Exp0 (Fxp, {reg("<")}, Exp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Fxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:18:18 [INFO] [stdout] | [INFO] [stdout] 18 | Exp => Exp0 (Fxp, {reg("<")}, Exp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Exp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:18:35 [INFO] [stdout] | [INFO] [stdout] 18 | Exp => Exp0 (Fxp, {reg("<")}, Exp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Fxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:19:19 [INFO] [stdout] | [INFO] [stdout] 19 | | Exp1 (Fxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Fxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | Fxp => Fxp0 (Gxp, {reg(r"\+|\-")}, Fxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Gxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:23:18 [INFO] [stdout] | [INFO] [stdout] 23 | Fxp => Fxp0 (Gxp, {reg(r"\+|\-")}, Fxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Fxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:23:40 [INFO] [stdout] | [INFO] [stdout] 23 | Fxp => Fxp0 (Gxp, {reg(r"\+|\-")}, Fxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Gxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:24:19 [INFO] [stdout] | [INFO] [stdout] 24 | | Fxp1 (Gxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Fxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:25:24 [INFO] [stdout] | [INFO] [stdout] 25 | | FxpDummy2 (Fxp, {reg(r"\+|\-")}, Gxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Gxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:25:46 [INFO] [stdout] | [INFO] [stdout] 25 | | FxpDummy2 (Fxp, {reg(r"\+|\-")}, Gxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Gxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | Gxp => Gxp0 (Hxp, {reg(r"\*")}, Gxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Hxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:29:18 [INFO] [stdout] | [INFO] [stdout] 29 | Gxp => Gxp0 (Hxp, {reg(r"\*")}, Gxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Gxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:29:37 [INFO] [stdout] | [INFO] [stdout] 29 | Gxp => Gxp0 (Hxp, {reg(r"\*")}, Gxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Hxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:30:19 [INFO] [stdout] | [INFO] [stdout] 30 | | Gxp1 (Hxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Gxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:31:24 [INFO] [stdout] | [INFO] [stdout] 31 | | GxpDummy2 (Gxp, {reg(r"\*")}, Hxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Hxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:31:43 [INFO] [stdout] | [INFO] [stdout] 31 | | GxpDummy2 (Gxp, {reg(r"\*")}, Hxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Hxp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 35 | Hxp => Hxp0 ({reg("if")}, Exp, {reg("then")}, Exp, {reg("else")}, Exp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Exp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:35:31 [INFO] [stdout] | [INFO] [stdout] 35 | Hxp => Hxp0 ({reg("if")}, Exp, {reg("then")}, Exp, {reg("else")}, Exp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Exp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:35:51 [INFO] [stdout] | [INFO] [stdout] 35 | Hxp => Hxp0 ({reg("if")}, Exp, {reg("then")}, Exp, {reg("else")}, Exp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Exp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:35:71 [INFO] [stdout] | [INFO] [stdout] 35 | Hxp => Hxp0 ({reg("if")}, Exp, {reg("then")}, Exp, {reg("else")}, Exp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Exp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:36:33 [INFO] [stdout] | [INFO] [stdout] 36 | | Hxp1 ({reg(r"\(")}, Exp, {reg(r"\)")}) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Int` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:37:19 [INFO] [stdout] | [INFO] [stdout] 37 | | Hxp2 (Int) [INFO] [stdout] | ^^^ help: a trait with a similar name exists: `Into` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Bool` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:38:19 [INFO] [stdout] | [INFO] [stdout] 38 | | Hxp3 (Bool) [INFO] [stdout] | ^^^^ help: a builtin type with a similar name exists: `bool` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Judgement` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | Judgement => Eval (Exp, {reg("evalto")}, Value) [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Exp` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:42:24 [INFO] [stdout] | [INFO] [stdout] 42 | Judgement => Eval (Exp, {reg("evalto")}, Value) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Value` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:42:46 [INFO] [stdout] | [INFO] [stdout] 42 | Judgement => Eval (Exp, {reg("evalto")}, Value) [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Int` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:43:19 [INFO] [stdout] | [INFO] [stdout] 43 | | Plus (Int, {reg("plus")}, Int, {reg("is")}, Int) [INFO] [stdout] | ^^^ help: a trait with a similar name exists: `Into` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Int` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:43:39 [INFO] [stdout] | [INFO] [stdout] 43 | | Plus (Int, {reg("plus")}, Int, {reg("is")}, Int) [INFO] [stdout] | ^^^ help: a trait with a similar name exists: `Into` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Int` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:43:57 [INFO] [stdout] | [INFO] [stdout] 43 | | Plus (Int, {reg("plus")}, Int, {reg("is")}, Int) [INFO] [stdout] | ^^^ help: a trait with a similar name exists: `Into` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Int` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:44:20 [INFO] [stdout] | [INFO] [stdout] 44 | | Minus (Int, {reg("minus")}, Int, {reg("is")}, Int) [INFO] [stdout] | ^^^ help: a trait with a similar name exists: `Into` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Int` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:44:41 [INFO] [stdout] | [INFO] [stdout] 44 | | Minus (Int, {reg("minus")}, Int, {reg("is")}, Int) [INFO] [stdout] | ^^^ help: a trait with a similar name exists: `Into` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Int` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:44:59 [INFO] [stdout] | [INFO] [stdout] 44 | | Minus (Int, {reg("minus")}, Int, {reg("is")}, Int) [INFO] [stdout] | ^^^ help: a trait with a similar name exists: `Into` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Int` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:45:20 [INFO] [stdout] | [INFO] [stdout] 45 | | Times (Int, {reg("times")}, Int, {reg("is")}, Int) [INFO] [stdout] | ^^^ help: a trait with a similar name exists: `Into` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Int` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:45:41 [INFO] [stdout] | [INFO] [stdout] 45 | | Times (Int, {reg("times")}, Int, {reg("is")}, Int) [INFO] [stdout] | ^^^ help: a trait with a similar name exists: `Into` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Int` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:45:59 [INFO] [stdout] | [INFO] [stdout] 45 | | Times (Int, {reg("times")}, Int, {reg("is")}, Int) [INFO] [stdout] | ^^^ help: a trait with a similar name exists: `Into` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Int` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:46:17 [INFO] [stdout] | [INFO] [stdout] 46 | | Lt (Int, {reg("less")}, {reg("than")}, Int, {reg("is")}, Bool) [INFO] [stdout] | ^^^ help: a trait with a similar name exists: `Into` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Int` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:46:52 [INFO] [stdout] | [INFO] [stdout] 46 | | Lt (Int, {reg("less")}, {reg("than")}, Int, {reg("is")}, Bool) [INFO] [stdout] | ^^^ help: a trait with a similar name exists: `Into` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Bool` in this scope [INFO] [stdout] --> src/evalml1/rules.rs:46:70 [INFO] [stdout] | [INFO] [stdout] 46 | | Lt (Int, {reg("less")}, {reg("than")}, Int, {reg("is")}, Bool) [INFO] [stdout] | ^^^^ help: a builtin type with a similar name exists: `bool` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | Nat => Zero ({reg("Z")}) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:6:43 [INFO] [stdout] | [INFO] [stdout] 6 | | Succ ({reg("S")},{reg(r"\(")},Nat,{reg(r"\)")}) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Judgement` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | Judgement => Eval (Exp, {reg("evalto")}, Nat) [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Exp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:10:24 [INFO] [stdout] | [INFO] [stdout] 10 | Judgement => Eval (Exp, {reg("evalto")}, Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:10:46 [INFO] [stdout] | [INFO] [stdout] 10 | Judgement => Eval (Exp, {reg("evalto")}, Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:11:19 [INFO] [stdout] | [INFO] [stdout] 11 | | Plus (Nat, {reg("plus")}, Nat, {reg("is")}, Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:11:39 [INFO] [stdout] | [INFO] [stdout] 11 | | Plus (Nat, {reg("plus")}, Nat, {reg("is")}, Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:11:57 [INFO] [stdout] | [INFO] [stdout] 11 | | Plus (Nat, {reg("plus")}, Nat, {reg("is")}, Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:12:20 [INFO] [stdout] | [INFO] [stdout] 12 | | Times (Nat, {reg("times")}, Nat, {reg("is")}, Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:12:41 [INFO] [stdout] | [INFO] [stdout] 12 | | Times (Nat, {reg("times")}, Nat, {reg("is")}, Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:12:59 [INFO] [stdout] | [INFO] [stdout] 12 | | Times (Nat, {reg("times")}, Nat, {reg("is")}, Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Exp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | Exp => Exp0 (Fxp, {reg(r"\+")}, Exp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Fxp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:16:18 [INFO] [stdout] | [INFO] [stdout] 16 | Exp => Exp0 (Fxp, {reg(r"\+")}, Exp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Exp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:16:37 [INFO] [stdout] | [INFO] [stdout] 16 | Exp => Exp0 (Fxp, {reg(r"\+")}, Exp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Fxp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:17:19 [INFO] [stdout] | [INFO] [stdout] 17 | | Exp1 (Fxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Exp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:18:24 [INFO] [stdout] | [INFO] [stdout] 18 | | ExpDummy2 (Exp, {reg(r"\+")}, Fxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Fxp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:18:43 [INFO] [stdout] | [INFO] [stdout] 18 | | ExpDummy2 (Exp, {reg(r"\+")}, Fxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Fxp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | Fxp => Fxp0 (Gxp, {reg(r"\*")}, Fxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Gxp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:22:18 [INFO] [stdout] | [INFO] [stdout] 22 | Fxp => Fxp0 (Gxp, {reg(r"\*")}, Fxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Fxp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:22:37 [INFO] [stdout] | [INFO] [stdout] 22 | Fxp => Fxp0 (Gxp, {reg(r"\*")}, Fxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Gxp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:23:19 [INFO] [stdout] | [INFO] [stdout] 23 | | Fxp1 (Gxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Fxp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:24:24 [INFO] [stdout] | [INFO] [stdout] 24 | | FxpDummy2 (Fxp, {reg(r"\*")}, Gxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Gxp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:24:43 [INFO] [stdout] | [INFO] [stdout] 24 | | FxpDummy2 (Fxp, {reg(r"\*")}, Gxp) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Gxp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | Gxp => Gxp0 ({reg(r"\(")}, Exp, {reg(r"\)")}) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Exp` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:28:32 [INFO] [stdout] | [INFO] [stdout] 28 | Gxp => Gxp0 ({reg(r"\(")}, Exp, {reg(r"\)")}) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/evalnatexp/rules.rs:29:19 [INFO] [stdout] | [INFO] [stdout] 29 | | Gxp1 (Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/nat/rules.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | Nat => Zero ({reg("Z")}) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/nat/rules.rs:6:43 [INFO] [stdout] | [INFO] [stdout] 6 | | Succ ({reg("S")},{reg(r"\(")},Nat,{reg(r"\)")}) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Judgement` in this scope [INFO] [stdout] --> src/nat/rules.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | Judgement => Plus (Nat, {reg("plus")}, Nat, {reg("is")}, Nat) [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/nat/rules.rs:10:24 [INFO] [stdout] | [INFO] [stdout] 10 | Judgement => Plus (Nat, {reg("plus")}, Nat, {reg("is")}, Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/nat/rules.rs:10:44 [INFO] [stdout] | [INFO] [stdout] 10 | Judgement => Plus (Nat, {reg("plus")}, Nat, {reg("is")}, Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/nat/rules.rs:10:62 [INFO] [stdout] | [INFO] [stdout] 10 | Judgement => Plus (Nat, {reg("plus")}, Nat, {reg("is")}, Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/nat/rules.rs:11:20 [INFO] [stdout] | [INFO] [stdout] 11 | | Times (Nat, {reg("times")}, Nat, {reg("is")}, Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/nat/rules.rs:11:41 [INFO] [stdout] | [INFO] [stdout] 11 | | Times (Nat, {reg("times")}, Nat, {reg("is")}, Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope [INFO] [stdout] --> src/nat/rules.rs:11:59 [INFO] [stdout] | [INFO] [stdout] 11 | | Times (Nat, {reg("times")}, Nat, {reg("is")}, Nat) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 126 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0412, E0432, E0433. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0412`. [INFO] [stdout] [INFO] [stderr] error: could not compile `copl` due to 127 previous errors [INFO] running `Command { std: "docker" "inspect" "ff6a035171481a8a7821bb095b6a58d29f50eb9eae9bc5fc6c97d75c9137b9e7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ff6a035171481a8a7821bb095b6a58d29f50eb9eae9bc5fc6c97d75c9137b9e7", kill_on_drop: false }` [INFO] [stdout] ff6a035171481a8a7821bb095b6a58d29f50eb9eae9bc5fc6c97d75c9137b9e7