[INFO] cloning repository https://github.com/MagentaManifold/little-lamb [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/MagentaManifold/little-lamb" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMagentaManifold%2Flittle-lamb", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMagentaManifold%2Flittle-lamb'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 83f45602f9f3574e3ac5a56fd8cf90b128b7848c [INFO] checking MagentaManifold/little-lamb against try#595142ec72045c7f2fab2923de8e59995a52e6e7 for pr-151830 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMagentaManifold%2Flittle-lamb" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/MagentaManifold/little-lamb [INFO] removed 0 missing tests [INFO] finished tweaking git repo https://github.com/MagentaManifold/little-lamb [INFO] tweaked toml for git repo https://github.com/MagentaManifold/little-lamb written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/MagentaManifold/little-lamb on toolchain 595142ec72045c7f2fab2923de8e59995a52e6e7 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+595142ec72045c7f2fab2923de8e59995a52e6e7" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/MagentaManifold/little-lamb already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+595142ec72045c7f2fab2923de8e59995a52e6e7" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+595142ec72045c7f2fab2923de8e59995a52e6e7" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2aba77ef89bf4009fbe3a3550b826b2d9ccfedb24355b3f1b3354f19005c0aed [INFO] running `Command { std: "docker" "start" "-a" "2aba77ef89bf4009fbe3a3550b826b2d9ccfedb24355b3f1b3354f19005c0aed", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2aba77ef89bf4009fbe3a3550b826b2d9ccfedb24355b3f1b3354f19005c0aed", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2aba77ef89bf4009fbe3a3550b826b2d9ccfedb24355b3f1b3354f19005c0aed", kill_on_drop: false }` [INFO] [stdout] 2aba77ef89bf4009fbe3a3550b826b2d9ccfedb24355b3f1b3354f19005c0aed [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+595142ec72045c7f2fab2923de8e59995a52e6e7" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 47cf34459b4d709a815b7b90010304453807b615e00e13ddb1b07b813d52e8fb [INFO] running `Command { std: "docker" "start" "-a" "47cf34459b4d709a815b7b90010304453807b615e00e13ddb1b07b813d52e8fb", kill_on_drop: false }` [INFO] [stderr] Compiling find-msvc-tools v0.1.2 [INFO] [stderr] Compiling serde_core v1.0.226 [INFO] [stderr] Compiling zerocopy v0.8.27 [INFO] [stderr] Compiling libc v0.2.176 [INFO] [stderr] Checking clap_lex v0.7.6 [INFO] [stderr] Compiling serde v1.0.226 [INFO] [stderr] Checking anstream v0.6.21 [INFO] [stderr] Checking hashbrown v0.15.5 [INFO] [stderr] Compiling include_dir_macros v0.7.4 [INFO] [stderr] Compiling zerocopy-derive v0.8.27 [INFO] [stderr] Compiling clap_derive v4.5.49 [INFO] [stderr] Compiling serde_derive v1.0.226 [INFO] [stderr] Compiling thiserror-impl v2.0.17 [INFO] [stderr] Checking unicode-ident v1.0.19 [INFO] [stderr] Checking regex-automata v0.4.13 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Compiling cc v1.2.38 [INFO] [stderr] Checking include_dir v0.7.4 [INFO] [stderr] Checking clap_builder v4.5.50 [INFO] [stderr] Checking thiserror v2.0.17 [INFO] [stderr] Checking criterion-plot v0.6.0 [INFO] [stderr] Compiling psm v0.1.26 [INFO] [stderr] Compiling stacker v0.1.22 [INFO] [stderr] Checking chumsky v0.11.1 [INFO] [stderr] Checking regex v1.12.2 [INFO] [stderr] Checking clap v4.5.50 [INFO] [stderr] Checking serde_json v1.0.145 [INFO] [stderr] Checking half v2.7.1 [INFO] [stderr] Checking ciborium-ll v0.2.2 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking criterion v0.7.0 [INFO] [stderr] Checking little-lamb v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:126:66 [INFO] [stdout] | [INFO] [stdout] 23 | $test_body(super::substitution::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 126 | test_all_strategies!(test_eval_identity, |eval_fn: EvalStrategy| { [INFO] [stdout] | __________________________________________________________________^ [INFO] [stdout] 127 | | let src = r"\x. x"; [INFO] [stdout] 128 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 129 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 132 | | assert_eq!(result, expected); [INFO] [stdout] 133 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 126 ~ test_all_strategies!(test_eval_identity, (|eval_fn: EvalStrategy| { [INFO] [stdout] 127 | let src = r"\x. x"; [INFO] [stdout] ... [INFO] [stdout] 132 | assert_eq!(result, expected); [INFO] [stdout] 133 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:126:66 [INFO] [stdout] | [INFO] [stdout] 28 | $test_body(super::krivine::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 126 | test_all_strategies!(test_eval_identity, |eval_fn: EvalStrategy| { [INFO] [stdout] | __________________________________________________________________^ [INFO] [stdout] 127 | | let src = r"\x. x"; [INFO] [stdout] 128 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 129 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 132 | | assert_eq!(result, expected); [INFO] [stdout] 133 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 126 ~ test_all_strategies!(test_eval_identity, (|eval_fn: EvalStrategy| { [INFO] [stdout] 127 | let src = r"\x. x"; [INFO] [stdout] ... [INFO] [stdout] 132 | assert_eq!(result, expected); [INFO] [stdout] 133 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:126:66 [INFO] [stdout] | [INFO] [stdout] 33 | $test_body(super::kn::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 126 | test_all_strategies!(test_eval_identity, |eval_fn: EvalStrategy| { [INFO] [stdout] | __________________________________________________________________^ [INFO] [stdout] 127 | | let src = r"\x. x"; [INFO] [stdout] 128 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 129 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 132 | | assert_eq!(result, expected); [INFO] [stdout] 133 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 126 ~ test_all_strategies!(test_eval_identity, (|eval_fn: EvalStrategy| { [INFO] [stdout] 127 | let src = r"\x. x"; [INFO] [stdout] ... [INFO] [stdout] 132 | assert_eq!(result, expected); [INFO] [stdout] 133 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:135:69 [INFO] [stdout] | [INFO] [stdout] 23 | $test_body(super::substitution::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 135 | test_all_strategies!(test_eval_application, |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________________________________________________^ [INFO] [stdout] 136 | | let src = r"let id = \x. x in let f = \y. y in (id f)"; [INFO] [stdout] 137 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 138 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 141 | | assert_eq!(result, expected); [INFO] [stdout] 142 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 135 ~ test_all_strategies!(test_eval_application, (|eval_fn: EvalStrategy| { [INFO] [stdout] 136 | let src = r"let id = \x. x in let f = \y. y in (id f)"; [INFO] [stdout] ... [INFO] [stdout] 141 | assert_eq!(result, expected); [INFO] [stdout] 142 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:135:69 [INFO] [stdout] | [INFO] [stdout] 28 | $test_body(super::krivine::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 135 | test_all_strategies!(test_eval_application, |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________________________________________________^ [INFO] [stdout] 136 | | let src = r"let id = \x. x in let f = \y. y in (id f)"; [INFO] [stdout] 137 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 138 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 141 | | assert_eq!(result, expected); [INFO] [stdout] 142 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 135 ~ test_all_strategies!(test_eval_application, (|eval_fn: EvalStrategy| { [INFO] [stdout] 136 | let src = r"let id = \x. x in let f = \y. y in (id f)"; [INFO] [stdout] ... [INFO] [stdout] 141 | assert_eq!(result, expected); [INFO] [stdout] 142 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:135:69 [INFO] [stdout] | [INFO] [stdout] 33 | $test_body(super::kn::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 135 | test_all_strategies!(test_eval_application, |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________________________________________________^ [INFO] [stdout] 136 | | let src = r"let id = \x. x in let f = \y. y in (id f)"; [INFO] [stdout] 137 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 138 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 141 | | assert_eq!(result, expected); [INFO] [stdout] 142 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 135 ~ test_all_strategies!(test_eval_application, (|eval_fn: EvalStrategy| { [INFO] [stdout] 136 | let src = r"let id = \x. x in let f = \y. y in (id f)"; [INFO] [stdout] ... [INFO] [stdout] 141 | assert_eq!(result, expected); [INFO] [stdout] 142 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:144:77 [INFO] [stdout] | [INFO] [stdout] 23 | $test_body(super::substitution::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 144 | test_all_strategies!(test_eval_church_numeral_zero, |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________________________________________________________^ [INFO] [stdout] 145 | | let src = r"\f x. x"; [INFO] [stdout] 146 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 147 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 150 | | assert_eq!(result, expected); [INFO] [stdout] 151 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 144 ~ test_all_strategies!(test_eval_church_numeral_zero, (|eval_fn: EvalStrategy| { [INFO] [stdout] 145 | let src = r"\f x. x"; [INFO] [stdout] ... [INFO] [stdout] 150 | assert_eq!(result, expected); [INFO] [stdout] 151 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:144:77 [INFO] [stdout] | [INFO] [stdout] 28 | $test_body(super::krivine::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 144 | test_all_strategies!(test_eval_church_numeral_zero, |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________________________________________________________^ [INFO] [stdout] 145 | | let src = r"\f x. x"; [INFO] [stdout] 146 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 147 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 150 | | assert_eq!(result, expected); [INFO] [stdout] 151 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 144 ~ test_all_strategies!(test_eval_church_numeral_zero, (|eval_fn: EvalStrategy| { [INFO] [stdout] 145 | let src = r"\f x. x"; [INFO] [stdout] ... [INFO] [stdout] 150 | assert_eq!(result, expected); [INFO] [stdout] 151 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:144:77 [INFO] [stdout] | [INFO] [stdout] 33 | $test_body(super::kn::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 144 | test_all_strategies!(test_eval_church_numeral_zero, |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________________________________________________________^ [INFO] [stdout] 145 | | let src = r"\f x. x"; [INFO] [stdout] 146 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 147 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 150 | | assert_eq!(result, expected); [INFO] [stdout] 151 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 144 ~ test_all_strategies!(test_eval_church_numeral_zero, (|eval_fn: EvalStrategy| { [INFO] [stdout] 145 | let src = r"\f x. x"; [INFO] [stdout] ... [INFO] [stdout] 150 | assert_eq!(result, expected); [INFO] [stdout] 151 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:153:76 [INFO] [stdout] | [INFO] [stdout] 23 | $test_body(super::substitution::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 153 | test_all_strategies!(test_eval_church_numeral_one, |eval_fn: EvalStrategy| { [INFO] [stdout] | ____________________________________________________________________________^ [INFO] [stdout] 154 | | let src = r"\f x. (f x)"; [INFO] [stdout] 155 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 156 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 159 | | assert_eq!(result, expected); [INFO] [stdout] 160 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 153 ~ test_all_strategies!(test_eval_church_numeral_one, (|eval_fn: EvalStrategy| { [INFO] [stdout] 154 | let src = r"\f x. (f x)"; [INFO] [stdout] ... [INFO] [stdout] 159 | assert_eq!(result, expected); [INFO] [stdout] 160 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:153:76 [INFO] [stdout] | [INFO] [stdout] 28 | $test_body(super::krivine::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 153 | test_all_strategies!(test_eval_church_numeral_one, |eval_fn: EvalStrategy| { [INFO] [stdout] | ____________________________________________________________________________^ [INFO] [stdout] 154 | | let src = r"\f x. (f x)"; [INFO] [stdout] 155 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 156 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 159 | | assert_eq!(result, expected); [INFO] [stdout] 160 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 153 ~ test_all_strategies!(test_eval_church_numeral_one, (|eval_fn: EvalStrategy| { [INFO] [stdout] 154 | let src = r"\f x. (f x)"; [INFO] [stdout] ... [INFO] [stdout] 159 | assert_eq!(result, expected); [INFO] [stdout] 160 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:153:76 [INFO] [stdout] | [INFO] [stdout] 33 | $test_body(super::kn::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 153 | test_all_strategies!(test_eval_church_numeral_one, |eval_fn: EvalStrategy| { [INFO] [stdout] | ____________________________________________________________________________^ [INFO] [stdout] 154 | | let src = r"\f x. (f x)"; [INFO] [stdout] 155 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 156 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 159 | | assert_eq!(result, expected); [INFO] [stdout] 160 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 153 ~ test_all_strategies!(test_eval_church_numeral_one, (|eval_fn: EvalStrategy| { [INFO] [stdout] 154 | let src = r"\f x. (f x)"; [INFO] [stdout] ... [INFO] [stdout] 159 | assert_eq!(result, expected); [INFO] [stdout] 160 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:162:79 [INFO] [stdout] | [INFO] [stdout] 23 | $test_body(super::substitution::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 162 | test_all_strategies!(test_eval_higher_order_function, |eval_fn: EvalStrategy| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 163 | | let src = r"let twice = \f x. (f (f x)) in let id = \y. y in (twice id)"; [INFO] [stdout] 164 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 165 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 168 | | assert_eq!(result, expected); [INFO] [stdout] 169 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 162 ~ test_all_strategies!(test_eval_higher_order_function, (|eval_fn: EvalStrategy| { [INFO] [stdout] 163 | let src = r"let twice = \f x. (f (f x)) in let id = \y. y in (twice id)"; [INFO] [stdout] ... [INFO] [stdout] 168 | assert_eq!(result, expected); [INFO] [stdout] 169 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:162:79 [INFO] [stdout] | [INFO] [stdout] 28 | $test_body(super::krivine::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 162 | test_all_strategies!(test_eval_higher_order_function, |eval_fn: EvalStrategy| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 163 | | let src = r"let twice = \f x. (f (f x)) in let id = \y. y in (twice id)"; [INFO] [stdout] 164 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 165 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 168 | | assert_eq!(result, expected); [INFO] [stdout] 169 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 162 ~ test_all_strategies!(test_eval_higher_order_function, (|eval_fn: EvalStrategy| { [INFO] [stdout] 163 | let src = r"let twice = \f x. (f (f x)) in let id = \y. y in (twice id)"; [INFO] [stdout] ... [INFO] [stdout] 168 | assert_eq!(result, expected); [INFO] [stdout] 169 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:162:79 [INFO] [stdout] | [INFO] [stdout] 33 | $test_body(super::kn::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 162 | test_all_strategies!(test_eval_higher_order_function, |eval_fn: EvalStrategy| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 163 | | let src = r"let twice = \f x. (f (f x)) in let id = \y. y in (twice id)"; [INFO] [stdout] 164 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 165 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 168 | | assert_eq!(result, expected); [INFO] [stdout] 169 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 162 ~ test_all_strategies!(test_eval_higher_order_function, (|eval_fn: EvalStrategy| { [INFO] [stdout] 163 | let src = r"let twice = \f x. (f (f x)) in let id = \y. y in (twice id)"; [INFO] [stdout] ... [INFO] [stdout] 168 | assert_eq!(result, expected); [INFO] [stdout] 169 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:171:72 [INFO] [stdout] | [INFO] [stdout] 23 | $test_body(super::substitution::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 171 | test_all_strategies!(test_eval_let_expression, |eval_fn: EvalStrategy| { [INFO] [stdout] | ________________________________________________________________________^ [INFO] [stdout] 172 | | let src = r"let id = \x. x in let f = \y. y in (id f)"; [INFO] [stdout] 173 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 174 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 177 | | assert_eq!(result, expected); [INFO] [stdout] 178 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 171 ~ test_all_strategies!(test_eval_let_expression, (|eval_fn: EvalStrategy| { [INFO] [stdout] 172 | let src = r"let id = \x. x in let f = \y. y in (id f)"; [INFO] [stdout] ... [INFO] [stdout] 177 | assert_eq!(result, expected); [INFO] [stdout] 178 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:171:72 [INFO] [stdout] | [INFO] [stdout] 28 | $test_body(super::krivine::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 171 | test_all_strategies!(test_eval_let_expression, |eval_fn: EvalStrategy| { [INFO] [stdout] | ________________________________________________________________________^ [INFO] [stdout] 172 | | let src = r"let id = \x. x in let f = \y. y in (id f)"; [INFO] [stdout] 173 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 174 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 177 | | assert_eq!(result, expected); [INFO] [stdout] 178 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 171 ~ test_all_strategies!(test_eval_let_expression, (|eval_fn: EvalStrategy| { [INFO] [stdout] 172 | let src = r"let id = \x. x in let f = \y. y in (id f)"; [INFO] [stdout] ... [INFO] [stdout] 177 | assert_eq!(result, expected); [INFO] [stdout] 178 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:171:72 [INFO] [stdout] | [INFO] [stdout] 33 | $test_body(super::kn::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 171 | test_all_strategies!(test_eval_let_expression, |eval_fn: EvalStrategy| { [INFO] [stdout] | ________________________________________________________________________^ [INFO] [stdout] 172 | | let src = r"let id = \x. x in let f = \y. y in (id f)"; [INFO] [stdout] 173 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 174 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 177 | | assert_eq!(result, expected); [INFO] [stdout] 178 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 171 ~ test_all_strategies!(test_eval_let_expression, (|eval_fn: EvalStrategy| { [INFO] [stdout] 172 | let src = r"let id = \x. x in let f = \y. y in (id f)"; [INFO] [stdout] ... [INFO] [stdout] 177 | assert_eq!(result, expected); [INFO] [stdout] 178 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:180:70 [INFO] [stdout] | [INFO] [stdout] 23 | $test_body(super::substitution::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 180 | test_all_strategies!(test_eval_k_combinator, |eval_fn: EvalStrategy| { [INFO] [stdout] | ______________________________________________________________________^ [INFO] [stdout] 181 | | let src = r"let k = \x y. x in let a = \z. z in (k a)"; [INFO] [stdout] 182 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 183 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 186 | | assert_eq!(result, expected); [INFO] [stdout] 187 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 180 ~ test_all_strategies!(test_eval_k_combinator, (|eval_fn: EvalStrategy| { [INFO] [stdout] 181 | let src = r"let k = \x y. x in let a = \z. z in (k a)"; [INFO] [stdout] ... [INFO] [stdout] 186 | assert_eq!(result, expected); [INFO] [stdout] 187 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:180:70 [INFO] [stdout] | [INFO] [stdout] 28 | $test_body(super::krivine::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 180 | test_all_strategies!(test_eval_k_combinator, |eval_fn: EvalStrategy| { [INFO] [stdout] | ______________________________________________________________________^ [INFO] [stdout] 181 | | let src = r"let k = \x y. x in let a = \z. z in (k a)"; [INFO] [stdout] 182 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 183 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 186 | | assert_eq!(result, expected); [INFO] [stdout] 187 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 180 ~ test_all_strategies!(test_eval_k_combinator, (|eval_fn: EvalStrategy| { [INFO] [stdout] 181 | let src = r"let k = \x y. x in let a = \z. z in (k a)"; [INFO] [stdout] ... [INFO] [stdout] 186 | assert_eq!(result, expected); [INFO] [stdout] 187 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:180:70 [INFO] [stdout] | [INFO] [stdout] 33 | $test_body(super::kn::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 180 | test_all_strategies!(test_eval_k_combinator, |eval_fn: EvalStrategy| { [INFO] [stdout] | ______________________________________________________________________^ [INFO] [stdout] 181 | | let src = r"let k = \x y. x in let a = \z. z in (k a)"; [INFO] [stdout] 182 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 183 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 186 | | assert_eq!(result, expected); [INFO] [stdout] 187 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 180 ~ test_all_strategies!(test_eval_k_combinator, (|eval_fn: EvalStrategy| { [INFO] [stdout] 181 | let src = r"let k = \x y. x in let a = \z. z in (k a)"; [INFO] [stdout] ... [INFO] [stdout] 186 | assert_eq!(result, expected); [INFO] [stdout] 187 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:189:78 [INFO] [stdout] | [INFO] [stdout] 23 | $test_body(super::substitution::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 189 | test_all_strategies!(test_eval_s_combinator_partial, |eval_fn: EvalStrategy| { [INFO] [stdout] | ______________________________________________________________________________^ [INFO] [stdout] 190 | | let src = r"\x y z. (x z) (y z)"; [INFO] [stdout] 191 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 192 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 195 | | assert_eq!(result, expected); [INFO] [stdout] 196 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 189 ~ test_all_strategies!(test_eval_s_combinator_partial, (|eval_fn: EvalStrategy| { [INFO] [stdout] 190 | let src = r"\x y z. (x z) (y z)"; [INFO] [stdout] ... [INFO] [stdout] 195 | assert_eq!(result, expected); [INFO] [stdout] 196 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:189:78 [INFO] [stdout] | [INFO] [stdout] 28 | $test_body(super::krivine::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 189 | test_all_strategies!(test_eval_s_combinator_partial, |eval_fn: EvalStrategy| { [INFO] [stdout] | ______________________________________________________________________________^ [INFO] [stdout] 190 | | let src = r"\x y z. (x z) (y z)"; [INFO] [stdout] 191 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 192 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 195 | | assert_eq!(result, expected); [INFO] [stdout] 196 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 189 ~ test_all_strategies!(test_eval_s_combinator_partial, (|eval_fn: EvalStrategy| { [INFO] [stdout] 190 | let src = r"\x y z. (x z) (y z)"; [INFO] [stdout] ... [INFO] [stdout] 195 | assert_eq!(result, expected); [INFO] [stdout] 196 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:189:78 [INFO] [stdout] | [INFO] [stdout] 33 | $test_body(super::kn::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 189 | test_all_strategies!(test_eval_s_combinator_partial, |eval_fn: EvalStrategy| { [INFO] [stdout] | ______________________________________________________________________________^ [INFO] [stdout] 190 | | let src = r"\x y z. (x z) (y z)"; [INFO] [stdout] 191 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 192 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 195 | | assert_eq!(result, expected); [INFO] [stdout] 196 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 189 ~ test_all_strategies!(test_eval_s_combinator_partial, (|eval_fn: EvalStrategy| { [INFO] [stdout] 190 | let src = r"\x y z. (x z) (y z)"; [INFO] [stdout] ... [INFO] [stdout] 195 | assert_eq!(result, expected); [INFO] [stdout] 196 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:198:74 [INFO] [stdout] | [INFO] [stdout] 23 | $test_body(super::substitution::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 198 | test_all_strategies!(test_eval_currying_example, |eval_fn: EvalStrategy| { [INFO] [stdout] | __________________________________________________________________________^ [INFO] [stdout] 199 | | let src = r" [INFO] [stdout] 200 | | let const = \x y. x in [INFO] [stdout] 201 | | let one = \f x. (f x) in [INFO] [stdout] ... | [INFO] [stdout] 208 | | assert_eq!(result, expected); [INFO] [stdout] 209 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 198 ~ test_all_strategies!(test_eval_currying_example, (|eval_fn: EvalStrategy| { [INFO] [stdout] 199 | let src = r" [INFO] [stdout] ... [INFO] [stdout] 208 | assert_eq!(result, expected); [INFO] [stdout] 209 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:198:74 [INFO] [stdout] | [INFO] [stdout] 28 | $test_body(super::krivine::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 198 | test_all_strategies!(test_eval_currying_example, |eval_fn: EvalStrategy| { [INFO] [stdout] | __________________________________________________________________________^ [INFO] [stdout] 199 | | let src = r" [INFO] [stdout] 200 | | let const = \x y. x in [INFO] [stdout] 201 | | let one = \f x. (f x) in [INFO] [stdout] ... | [INFO] [stdout] 208 | | assert_eq!(result, expected); [INFO] [stdout] 209 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 198 ~ test_all_strategies!(test_eval_currying_example, (|eval_fn: EvalStrategy| { [INFO] [stdout] 199 | let src = r" [INFO] [stdout] ... [INFO] [stdout] 208 | assert_eq!(result, expected); [INFO] [stdout] 209 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:198:74 [INFO] [stdout] | [INFO] [stdout] 33 | $test_body(super::kn::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 198 | test_all_strategies!(test_eval_currying_example, |eval_fn: EvalStrategy| { [INFO] [stdout] | __________________________________________________________________________^ [INFO] [stdout] 199 | | let src = r" [INFO] [stdout] 200 | | let const = \x y. x in [INFO] [stdout] 201 | | let one = \f x. (f x) in [INFO] [stdout] ... | [INFO] [stdout] 208 | | assert_eq!(result, expected); [INFO] [stdout] 209 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 198 ~ test_all_strategies!(test_eval_currying_example, (|eval_fn: EvalStrategy| { [INFO] [stdout] 199 | let src = r" [INFO] [stdout] ... [INFO] [stdout] 208 | assert_eq!(result, expected); [INFO] [stdout] 209 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:211:77 [INFO] [stdout] | [INFO] [stdout] 23 | $test_body(super::substitution::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 211 | test_all_strategies!(test_eval_complex_composition, |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________________________________________________________^ [INFO] [stdout] 212 | | let src = r"let comp = \f g x. (f (g x)) in comp"; [INFO] [stdout] 213 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 214 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 217 | | assert_eq!(result, expected); [INFO] [stdout] 218 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 211 ~ test_all_strategies!(test_eval_complex_composition, (|eval_fn: EvalStrategy| { [INFO] [stdout] 212 | let src = r"let comp = \f g x. (f (g x)) in comp"; [INFO] [stdout] ... [INFO] [stdout] 217 | assert_eq!(result, expected); [INFO] [stdout] 218 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:211:77 [INFO] [stdout] | [INFO] [stdout] 28 | $test_body(super::krivine::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 211 | test_all_strategies!(test_eval_complex_composition, |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________________________________________________________^ [INFO] [stdout] 212 | | let src = r"let comp = \f g x. (f (g x)) in comp"; [INFO] [stdout] 213 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 214 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 217 | | assert_eq!(result, expected); [INFO] [stdout] 218 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 211 ~ test_all_strategies!(test_eval_complex_composition, (|eval_fn: EvalStrategy| { [INFO] [stdout] 212 | let src = r"let comp = \f g x. (f (g x)) in comp"; [INFO] [stdout] ... [INFO] [stdout] 217 | assert_eq!(result, expected); [INFO] [stdout] 218 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:211:77 [INFO] [stdout] | [INFO] [stdout] 33 | $test_body(super::kn::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 211 | test_all_strategies!(test_eval_complex_composition, |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________________________________________________________^ [INFO] [stdout] 212 | | let src = r"let comp = \f g x. (f (g x)) in comp"; [INFO] [stdout] 213 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 214 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 217 | | assert_eq!(result, expected); [INFO] [stdout] 218 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 211 ~ test_all_strategies!(test_eval_complex_composition, (|eval_fn: EvalStrategy| { [INFO] [stdout] 212 | let src = r"let comp = \f g x. (f (g x)) in comp"; [INFO] [stdout] ... [INFO] [stdout] 217 | assert_eq!(result, expected); [INFO] [stdout] 218 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:220:75 [INFO] [stdout] | [INFO] [stdout] 23 | $test_body(super::substitution::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 220 | test_all_strategies!(test_eval_import_as_builtin, |eval_fn: EvalStrategy| { [INFO] [stdout] | ___________________________________________________________________________^ [INFO] [stdout] 221 | | let src = r"import I as id in id"; [INFO] [stdout] 222 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 223 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 226 | | assert_eq!(result, expected); [INFO] [stdout] 227 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 220 ~ test_all_strategies!(test_eval_import_as_builtin, (|eval_fn: EvalStrategy| { [INFO] [stdout] 221 | let src = r"import I as id in id"; [INFO] [stdout] ... [INFO] [stdout] 226 | assert_eq!(result, expected); [INFO] [stdout] 227 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:220:75 [INFO] [stdout] | [INFO] [stdout] 28 | $test_body(super::krivine::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 220 | test_all_strategies!(test_eval_import_as_builtin, |eval_fn: EvalStrategy| { [INFO] [stdout] | ___________________________________________________________________________^ [INFO] [stdout] 221 | | let src = r"import I as id in id"; [INFO] [stdout] 222 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 223 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 226 | | assert_eq!(result, expected); [INFO] [stdout] 227 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 220 ~ test_all_strategies!(test_eval_import_as_builtin, (|eval_fn: EvalStrategy| { [INFO] [stdout] 221 | let src = r"import I as id in id"; [INFO] [stdout] ... [INFO] [stdout] 226 | assert_eq!(result, expected); [INFO] [stdout] 227 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:220:75 [INFO] [stdout] | [INFO] [stdout] 33 | $test_body(super::kn::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 220 | test_all_strategies!(test_eval_import_as_builtin, |eval_fn: EvalStrategy| { [INFO] [stdout] | ___________________________________________________________________________^ [INFO] [stdout] 221 | | let src = r"import I as id in id"; [INFO] [stdout] 222 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 223 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 226 | | assert_eq!(result, expected); [INFO] [stdout] 227 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 220 ~ test_all_strategies!(test_eval_import_as_builtin, (|eval_fn: EvalStrategy| { [INFO] [stdout] 221 | let src = r"import I as id in id"; [INFO] [stdout] ... [INFO] [stdout] 226 | assert_eq!(result, expected); [INFO] [stdout] 227 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:231:29 [INFO] [stdout] | [INFO] [stdout] 23 | $test_body(super::substitution::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 231 | |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________^ [INFO] [stdout] 232 | | let src = r" [INFO] [stdout] 233 | | import and, or, not in [INFO] [stdout] 234 | | and (or false true) (not true) [INFO] [stdout] ... | [INFO] [stdout] 240 | | assert_eq!(result, expected); [INFO] [stdout] 241 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 231 ~ (|eval_fn: EvalStrategy| { [INFO] [stdout] 232 | let src = r" [INFO] [stdout] ... [INFO] [stdout] 240 | assert_eq!(result, expected); [INFO] [stdout] 241 ~ }) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:231:29 [INFO] [stdout] | [INFO] [stdout] 28 | $test_body(super::krivine::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 231 | |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________^ [INFO] [stdout] 232 | | let src = r" [INFO] [stdout] 233 | | import and, or, not in [INFO] [stdout] 234 | | and (or false true) (not true) [INFO] [stdout] ... | [INFO] [stdout] 240 | | assert_eq!(result, expected); [INFO] [stdout] 241 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 231 ~ (|eval_fn: EvalStrategy| { [INFO] [stdout] 232 | let src = r" [INFO] [stdout] ... [INFO] [stdout] 240 | assert_eq!(result, expected); [INFO] [stdout] 241 ~ }) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:231:29 [INFO] [stdout] | [INFO] [stdout] 33 | $test_body(super::kn::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 231 | |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________^ [INFO] [stdout] 232 | | let src = r" [INFO] [stdout] 233 | | import and, or, not in [INFO] [stdout] 234 | | and (or false true) (not true) [INFO] [stdout] ... | [INFO] [stdout] 240 | | assert_eq!(result, expected); [INFO] [stdout] 241 | | } [INFO] [stdout] | |_____^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 231 ~ (|eval_fn: EvalStrategy| { [INFO] [stdout] 232 | let src = r" [INFO] [stdout] ... [INFO] [stdout] 240 | assert_eq!(result, expected); [INFO] [stdout] 241 ~ }) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:244:61 [INFO] [stdout] | [INFO] [stdout] 23 | $test_body(super::substitution::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 244 | test_all_strategies!(test_lib_pred, |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________________________________________^ [INFO] [stdout] 245 | | let src = r"import pred in pred 3"; [INFO] [stdout] 246 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 247 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 250 | | assert_eq!(result, expected); [INFO] [stdout] 251 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 244 ~ test_all_strategies!(test_lib_pred, (|eval_fn: EvalStrategy| { [INFO] [stdout] 245 | let src = r"import pred in pred 3"; [INFO] [stdout] ... [INFO] [stdout] 250 | assert_eq!(result, expected); [INFO] [stdout] 251 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:244:61 [INFO] [stdout] | [INFO] [stdout] 28 | $test_body(super::krivine::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 244 | test_all_strategies!(test_lib_pred, |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________________________________________^ [INFO] [stdout] 245 | | let src = r"import pred in pred 3"; [INFO] [stdout] 246 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 247 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 250 | | assert_eq!(result, expected); [INFO] [stdout] 251 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 244 ~ test_all_strategies!(test_lib_pred, (|eval_fn: EvalStrategy| { [INFO] [stdout] 245 | let src = r"import pred in pred 3"; [INFO] [stdout] ... [INFO] [stdout] 250 | assert_eq!(result, expected); [INFO] [stdout] 251 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:244:61 [INFO] [stdout] | [INFO] [stdout] 33 | $test_body(super::kn::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 244 | test_all_strategies!(test_lib_pred, |eval_fn: EvalStrategy| { [INFO] [stdout] | _____________________________________________________________^ [INFO] [stdout] 245 | | let src = r"import pred in pred 3"; [INFO] [stdout] 246 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 247 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 250 | | assert_eq!(result, expected); [INFO] [stdout] 251 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 244 ~ test_all_strategies!(test_lib_pred, (|eval_fn: EvalStrategy| { [INFO] [stdout] 245 | let src = r"import pred in pred 3"; [INFO] [stdout] ... [INFO] [stdout] 250 | assert_eq!(result, expected); [INFO] [stdout] 251 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:253:60 [INFO] [stdout] | [INFO] [stdout] 23 | $test_body(super::substitution::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 253 | test_all_strategies!(test_lib_sub, |eval_fn: EvalStrategy| { [INFO] [stdout] | ____________________________________________________________^ [INFO] [stdout] 254 | | let src = r"import sub in sub 5 3"; [INFO] [stdout] 255 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 256 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 259 | | assert_eq!(result, expected); [INFO] [stdout] 260 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 253 ~ test_all_strategies!(test_lib_sub, (|eval_fn: EvalStrategy| { [INFO] [stdout] 254 | let src = r"import sub in sub 5 3"; [INFO] [stdout] ... [INFO] [stdout] 259 | assert_eq!(result, expected); [INFO] [stdout] 260 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:253:60 [INFO] [stdout] | [INFO] [stdout] 28 | $test_body(super::krivine::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 253 | test_all_strategies!(test_lib_sub, |eval_fn: EvalStrategy| { [INFO] [stdout] | ____________________________________________________________^ [INFO] [stdout] 254 | | let src = r"import sub in sub 5 3"; [INFO] [stdout] 255 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 256 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 259 | | assert_eq!(result, expected); [INFO] [stdout] 260 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 253 ~ test_all_strategies!(test_lib_sub, (|eval_fn: EvalStrategy| { [INFO] [stdout] 254 | let src = r"import sub in sub 5 3"; [INFO] [stdout] ... [INFO] [stdout] 259 | assert_eq!(result, expected); [INFO] [stdout] 260 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0618]: expected function, found `()` [INFO] [stdout] --> src/eval/tests.rs:253:60 [INFO] [stdout] | [INFO] [stdout] 33 | $test_body(super::kn::eval); [INFO] [stdout] | - call expression requires function [INFO] [stdout] ... [INFO] [stdout] 253 | test_all_strategies!(test_lib_sub, |eval_fn: EvalStrategy| { [INFO] [stdout] | ____________________________________________________________^ [INFO] [stdout] 254 | | let src = r"import sub in sub 5 3"; [INFO] [stdout] 255 | | let term = parse_and_de_bruijn(src).unwrap(); [INFO] [stdout] 256 | | let result = eval_fn(term).unwrap(); [INFO] [stdout] ... | [INFO] [stdout] 259 | | assert_eq!(result, expected); [INFO] [stdout] 260 | | }); [INFO] [stdout] | |_^ [INFO] [stdout] | [INFO] [stdout] help: if you meant to create this closure and immediately call it, surround the closure with parentheses [INFO] [stdout] | [INFO] [stdout] 253 ~ test_all_strategies!(test_lib_sub, (|eval_fn: EvalStrategy| { [INFO] [stdout] 254 | let src = r"import sub in sub 5 3"; [INFO] [stdout] ... [INFO] [stdout] 259 | assert_eq!(result, expected); [INFO] [stdout] 260 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0618`. [INFO] [stdout] [INFO] [stderr] error: could not compile `little-lamb` (lib test) due to 42 previous errors [INFO] running `Command { std: "docker" "inspect" "47cf34459b4d709a815b7b90010304453807b615e00e13ddb1b07b813d52e8fb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "47cf34459b4d709a815b7b90010304453807b615e00e13ddb1b07b813d52e8fb", kill_on_drop: false }` [INFO] [stdout] 47cf34459b4d709a815b7b90010304453807b615e00e13ddb1b07b813d52e8fb