[INFO] cloning repository https://github.com/felko/lamb [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/felko/lamb" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffelko%2Flamb", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffelko%2Flamb'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] be125e6984f7b9e086fe1e5611daca452f4f718c [INFO] checking felko/lamb against master#5431404b87967c69438ea1e698edbe96505f0798 for pr-119849 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffelko%2Flamb" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/felko/lamb on toolchain 5431404b87967c69438ea1e698edbe96505f0798 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+5431404b87967c69438ea1e698edbe96505f0798" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/felko/lamb [INFO] finished tweaking git repo https://github.com/felko/lamb [INFO] tweaked toml for git repo https://github.com/felko/lamb written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/felko/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" "+5431404b87967c69438ea1e698edbe96505f0798" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [ERROR] error running command: no output for 300 seconds [ERROR] this task or one of its parent failed! [ERROR] no output for 300 seconds [ERROR] note: run with `RUST_BACKTRACE=1` to display a backtrace. [INFO] checking felko/lamb against try#21bc403d557a2516df70ea80fb19b94177beede5 for pr-119849 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffelko%2Flamb" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/felko/lamb on toolchain 21bc403d557a2516df70ea80fb19b94177beede5 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+21bc403d557a2516df70ea80fb19b94177beede5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/felko/lamb [INFO] finished tweaking git repo https://github.com/felko/lamb [INFO] tweaked toml for git repo https://github.com/felko/lamb written to /workspace/builds/worker-4-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/felko/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" "+21bc403d557a2516df70ea80fb19b94177beede5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded quote v1.0.19 [INFO] [stderr] Downloaded clap_derive v3.2.5 [INFO] [stderr] Downloaded pretty v0.11.3 [INFO] [stderr] Downloaded clap v3.2.5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+21bc403d557a2516df70ea80fb19b94177beede5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] f00f30a6cdcf78684cd4f11716142a3a00ecd000443886e13e220bf9ac7385bb [INFO] running `Command { std: "docker" "start" "-a" "f00f30a6cdcf78684cd4f11716142a3a00ecd000443886e13e220bf9ac7385bb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f00f30a6cdcf78684cd4f11716142a3a00ecd000443886e13e220bf9ac7385bb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f00f30a6cdcf78684cd4f11716142a3a00ecd000443886e13e220bf9ac7385bb", kill_on_drop: false }` [INFO] [stdout] f00f30a6cdcf78684cd4f11716142a3a00ecd000443886e13e220bf9ac7385bb [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+21bc403d557a2516df70ea80fb19b94177beede5" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] cda8fd798a737570c4ddbbeafca51c59a3d3899c006c96a4f8951a06e8d7b6fd [INFO] running `Command { std: "docker" "start" "-a" "cda8fd798a737570c4ddbbeafca51c59a3d3899c006c96a4f8951a06e8d7b6fd", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling libc v0.2.126 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling proc-macro2 v1.0.39 [INFO] [stderr] Compiling unicode-ident v1.0.1 [INFO] [stderr] Compiling log v0.4.17 [INFO] [stderr] Compiling parking_lot_core v0.9.3 [INFO] [stderr] Compiling syn v1.0.98 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling regex-syntax v0.6.26 [INFO] [stderr] Compiling smallvec v1.8.0 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling lock_api v0.4.7 [INFO] [stderr] Compiling indexmap v1.9.0 [INFO] [stderr] Compiling siphasher v0.3.10 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling hashbrown v0.12.1 [INFO] [stderr] Compiling typenum v1.15.0 [INFO] [stderr] Compiling phf_shared v0.10.0 [INFO] [stderr] Compiling quote v1.0.19 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling dirs-sys-next v0.1.2 [INFO] [stderr] Compiling dirs-next v2.0.0 [INFO] [stderr] Compiling once_cell v1.12.0 [INFO] [stderr] Compiling term v0.7.0 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling fixedbitset v0.4.1 [INFO] [stderr] Compiling new_debug_unreachable v1.0.4 [INFO] [stderr] Compiling parking_lot v0.12.1 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling ascii-canvas v3.0.0 [INFO] [stderr] Compiling string_cache v0.8.4 [INFO] [stderr] Compiling bit-set v0.5.2 [INFO] [stderr] Compiling regex v1.5.6 [INFO] [stderr] Compiling petgraph v0.6.2 [INFO] [stderr] Compiling itertools v0.10.3 [INFO] [stderr] Compiling ena v0.14.0 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling diff v0.1.12 [INFO] [stderr] Compiling unicode-xid v0.2.3 [INFO] [stderr] Compiling lalrpop-util v0.19.8 [INFO] [stderr] Checking bitmaps v2.1.0 [INFO] [stderr] Compiling im v15.1.0 [INFO] [stderr] Compiling slotmap v1.0.6 [INFO] [stderr] Checking rand_core v0.6.3 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Checking os_str_bytes v6.1.0 [INFO] [stderr] Compiling lalrpop v0.19.8 [INFO] [stderr] Compiling heck v0.4.0 [INFO] [stderr] Compiling beef v0.5.2 [INFO] [stderr] Checking termcolor v1.1.3 [INFO] [stderr] Checking sized-chunks v0.6.5 [INFO] [stderr] Checking clap_lex v0.2.2 [INFO] [stderr] Checking rand_xoshiro v0.6.0 [INFO] [stderr] Checking unicode-segmentation v1.9.0 [INFO] [stderr] Checking typed-arena v2.0.1 [INFO] [stderr] Checking textwrap v0.15.0 [INFO] [stderr] Checking arrayvec v0.5.2 [INFO] [stderr] Checking bumpalo v3.10.0 [INFO] [stderr] Checking pretty v0.11.3 [INFO] [stderr] Compiling clap_derive v3.2.5 [INFO] [stderr] Compiling logos-derive v0.12.1 [INFO] [stderr] Checking logos v0.12.1 [INFO] [stderr] Checking clap v3.2.5 [INFO] [stderr] Compiling lamb v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/main.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | box_syntax, [INFO] [stdout] | ^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: replaced with `#[rustc_box]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:44:23 [INFO] [stdout] | [INFO] [stdout] 44 | cont: box cont(c), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 44 | cont: Box::new(cont(c)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:59:56 [INFO] [stdout] | [INFO] [stdout] 59 | self.substitute_var(env_name, subst, name, box move |var| { [INFO] [stdout] | ________________________________________________________^ [INFO] [stdout] 60 | | cont(Value::Var { [INFO] [stdout] 61 | | name: var, [INFO] [stdout] 62 | | type_args: Vec::new(), [INFO] [stdout] 63 | | type_, [INFO] [stdout] 64 | | }) [INFO] [stdout] 65 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 59 ~ self.substitute_var(env_name, subst, name, Box::new(move |var| { [INFO] [stdout] 60 + cont(Value::Var { [INFO] [stdout] 61 + name: var, [INFO] [stdout] 62 + type_args: Vec::new(), [INFO] [stdout] 63 + type_, [INFO] [stdout] 64 + }) [INFO] [stdout] 65 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:83:75 [INFO] [stdout] | [INFO] [stdout] 83 | self.substitute_value(env_name, subst, values[index].clone(), box move |value| { [INFO] [stdout] | ___________________________________________________________________________^ [INFO] [stdout] 84 | | let mut next_accum = accum.clone(); [INFO] [stdout] 85 | | next_accum.push(value); [INFO] [stdout] 86 | | self.substitute_values_aux(env_name, subst, values, index + 1, next_accum, cont) [INFO] [stdout] 87 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 ~ self.substitute_value(env_name, subst, values[index].clone(), Box::new(move |value| { [INFO] [stdout] 84 + let mut next_accum = accum.clone(); [INFO] [stdout] 85 + next_accum.push(value); [INFO] [stdout] 86 + self.substitute_values_aux(env_name, subst, values, index + 1, next_accum, cont) [INFO] [stdout] 87 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:110:79 [INFO] [stdout] | [INFO] [stdout] 110 | *expr = self.substitute_value(env_name, subst, value.clone(), box move |value| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 111 | | Expr::Halt { value } [INFO] [stdout] 112 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 110 ~ *expr = self.substitute_value(env_name, subst, value.clone(), Box::new(move |value| { [INFO] [stdout] 111 + Expr::Halt { value } [INFO] [stdout] 112 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:119:71 [INFO] [stdout] | [INFO] [stdout] 119 | *expr = self.substitute_values(env_name, subst, args, box move |args| Expr::Jump { [INFO] [stdout] | _______________________________________________________________________^ [INFO] [stdout] 120 | | name: name.clone(), [INFO] [stdout] 121 | | args, [INFO] [stdout] 122 | | return_type: return_type.clone(), [INFO] [stdout] 123 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 119 ~ *expr = self.substitute_values(env_name, subst, args, Box::new(move |args| Expr::Jump { [INFO] [stdout] 120 + name: name.clone(), [INFO] [stdout] 121 + args, [INFO] [stdout] 122 + return_type: return_type.clone(), [INFO] [stdout] 123 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:153:73 [INFO] [stdout] | [INFO] [stdout] 153 | self.substitute_value(env_name, subst, rhs.clone(), box move |rhs| { [INFO] [stdout] | _________________________________________________________________________^ [INFO] [stdout] 154 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 155 | | Expr::LetAdd { [INFO] [stdout] 156 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 160 | | } [INFO] [stdout] 161 | | }) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 153 ~ self.substitute_value(env_name, subst, rhs.clone(), Box::new(move |rhs| { [INFO] [stdout] 154 + self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 155 + Expr::LetAdd { [INFO] [stdout] 156 + name: name.clone(), [INFO] [stdout] 157 + lhs, [INFO] [stdout] 158 + rhs, [INFO] [stdout] 159 + cont: cont.clone(), [INFO] [stdout] 160 + } [INFO] [stdout] 161 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:152:77 [INFO] [stdout] | [INFO] [stdout] 152 | *expr = self.substitute_value(env_name, subst, lhs.clone(), box move |lhs| { [INFO] [stdout] | _____________________________________________________________________________^ [INFO] [stdout] 153 | | self.substitute_value(env_name, subst, rhs.clone(), box move |rhs| { [INFO] [stdout] 154 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 155 | | Expr::LetAdd { [INFO] [stdout] ... | [INFO] [stdout] 161 | | }) [INFO] [stdout] 162 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 152 ~ *expr = self.substitute_value(env_name, subst, lhs.clone(), Box::new(move |lhs| { [INFO] [stdout] 153 + self.substitute_value(env_name, subst, rhs.clone(), box move |rhs| { [INFO] [stdout] 154 + self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 155 + Expr::LetAdd { [INFO] [stdout] 156 + name: name.clone(), [INFO] [stdout] 157 + lhs, [INFO] [stdout] 158 + rhs, [INFO] [stdout] 159 + cont: cont.clone(), [INFO] [stdout] 160 + } [INFO] [stdout] 161 + }) [INFO] [stdout] 162 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:170:79 [INFO] [stdout] | [INFO] [stdout] 170 | *expr = self.substitute_value(env_name, subst, value.clone(), box move |value| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 171 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 172 | | Expr::LetVal { [INFO] [stdout] 173 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 177 | | } [INFO] [stdout] 178 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 170 ~ *expr = self.substitute_value(env_name, subst, value.clone(), Box::new(move |value| { [INFO] [stdout] 171 + self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 172 + Expr::LetVal { [INFO] [stdout] 173 + name: name.clone(), [INFO] [stdout] 174 + type_: type_.clone(), [INFO] [stdout] 175 + value, [INFO] [stdout] 176 + cont: cont.clone(), [INFO] [stdout] 177 + } [INFO] [stdout] 178 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:188:67 [INFO] [stdout] | [INFO] [stdout] 188 | self.substitute_values(env_name, subst, args, box move |args| { [INFO] [stdout] | ___________________________________________________________________^ [INFO] [stdout] 189 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 190 | | Expr::LetApp { [INFO] [stdout] 191 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 196 | | } [INFO] [stdout] 197 | | }) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 188 ~ self.substitute_values(env_name, subst, args, Box::new(move |args| { [INFO] [stdout] 189 + self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 190 + Expr::LetApp { [INFO] [stdout] 191 + name: name.clone(), [INFO] [stdout] 192 + type_: type_.clone(), [INFO] [stdout] 193 + callee, [INFO] [stdout] 194 + args, [INFO] [stdout] 195 + cont: cont.clone(), [INFO] [stdout] 196 + } [INFO] [stdout] 197 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:187:80 [INFO] [stdout] | [INFO] [stdout] 187 | *expr = self.substitute_value(env_name, subst, callee.clone(), box move |callee| { [INFO] [stdout] | ________________________________________________________________________________^ [INFO] [stdout] 188 | | self.substitute_values(env_name, subst, args, box move |args| { [INFO] [stdout] 189 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 190 | | Expr::LetApp { [INFO] [stdout] ... | [INFO] [stdout] 197 | | }) [INFO] [stdout] 198 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 187 ~ *expr = self.substitute_value(env_name, subst, callee.clone(), Box::new(move |callee| { [INFO] [stdout] 188 + self.substitute_values(env_name, subst, args, box move |args| { [INFO] [stdout] 189 + self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 190 + Expr::LetApp { [INFO] [stdout] 191 + name: name.clone(), [INFO] [stdout] 192 + type_: type_.clone(), [INFO] [stdout] 193 + callee, [INFO] [stdout] 194 + args, [INFO] [stdout] 195 + cont: cont.clone(), [INFO] [stdout] 196 + } [INFO] [stdout] 197 + }) [INFO] [stdout] 198 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:206:75 [INFO] [stdout] | [INFO] [stdout] 206 | *expr = self.substitute_values(env_name, subst, elements, box move |elements| { [INFO] [stdout] | ___________________________________________________________________________^ [INFO] [stdout] 207 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 208 | | Expr::LetTuple { [INFO] [stdout] 209 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 213 | | } [INFO] [stdout] 214 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 206 ~ *expr = self.substitute_values(env_name, subst, elements, Box::new(move |elements| { [INFO] [stdout] 207 + self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 208 + Expr::LetTuple { [INFO] [stdout] 209 + name: name.clone(), [INFO] [stdout] 210 + types: types.clone(), [INFO] [stdout] 211 + elements, [INFO] [stdout] 212 + cont: cont.clone(), [INFO] [stdout] 213 + } [INFO] [stdout] 214 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:223:79 [INFO] [stdout] | [INFO] [stdout] 223 | *expr = self.substitute_value(env_name, subst, tuple.clone(), box move |tuple| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 224 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 225 | | Expr::LetProj { [INFO] [stdout] 226 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 231 | | } [INFO] [stdout] 232 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 223 ~ *expr = self.substitute_value(env_name, subst, tuple.clone(), Box::new(move |tuple| { [INFO] [stdout] 224 + self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 225 + Expr::LetProj { [INFO] [stdout] 226 + name: name.clone(), [INFO] [stdout] 227 + type_: type_.clone(), [INFO] [stdout] 228 + tuple, [INFO] [stdout] 229 + index: *index, [INFO] [stdout] 230 + cont: cont.clone(), [INFO] [stdout] 231 + } [INFO] [stdout] 232 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:240:70 [INFO] [stdout] | [INFO] [stdout] 240 | self.substitute_value(env_name, subst, cond.clone(), box move |cond| { [INFO] [stdout] | ______________________________________________________________________^ [INFO] [stdout] 241 | | self.substitute_free_variables(env_name, subst, then); [INFO] [stdout] 242 | | self.substitute_free_variables(env_name, subst, else_); [INFO] [stdout] 243 | | Expr::If { [INFO] [stdout] ... | [INFO] [stdout] 248 | | } [INFO] [stdout] 249 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 240 ~ self.substitute_value(env_name, subst, cond.clone(), Box::new(move |cond| { [INFO] [stdout] 241 + self.substitute_free_variables(env_name, subst, then); [INFO] [stdout] 242 + self.substitute_free_variables(env_name, subst, else_); [INFO] [stdout] 243 + Expr::If { [INFO] [stdout] 244 + cond, [INFO] [stdout] 245 + return_type: return_type.clone(), [INFO] [stdout] 246 + then: then.clone(), [INFO] [stdout] 247 + else_: else_.clone(), [INFO] [stdout] 248 + } [INFO] [stdout] 249 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/main.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | box_syntax, [INFO] [stdout] | ^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: replaced with `#[rustc_box]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:300:25 [INFO] [stdout] | [INFO] [stdout] 300 | *cont = box Expr::LetTuple { [INFO] [stdout] | _________________________^ [INFO] [stdout] 301 | | name: env_name, [INFO] [stdout] 302 | | types: env_types, [INFO] [stdout] 303 | | elements: env, [INFO] [stdout] 304 | | cont: cont.clone(), [INFO] [stdout] 305 | | }; [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 300 ~ *cont = Box::new(Expr::LetTuple { [INFO] [stdout] 301 + name: env_name, [INFO] [stdout] 302 + types: env_types, [INFO] [stdout] 303 + elements: env, [INFO] [stdout] 304 + cont: cont.clone(), [INFO] [stdout] 305 ~ }); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:337:27 [INFO] [stdout] | [INFO] [stdout] 337 | cont: box Expr::LetApp { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 338 | | name: name.clone(), [INFO] [stdout] 339 | | type_: type_.clone(), [INFO] [stdout] 340 | | callee: Value::Var { [INFO] [stdout] ... | [INFO] [stdout] 346 | | cont: cont.clone(), [INFO] [stdout] 347 | | }, [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 337 ~ cont: Box::new(Expr::LetApp { [INFO] [stdout] 338 + name: name.clone(), [INFO] [stdout] 339 + type_: type_.clone(), [INFO] [stdout] 340 + callee: Value::Var { [INFO] [stdout] 341 + name: f, [INFO] [stdout] 342 + type_args: Vec::new(), [INFO] [stdout] 343 + type_: infer_value(callee), [INFO] [stdout] 344 + }, [INFO] [stdout] 345 + args: args.clone(), [INFO] [stdout] 346 + cont: cont.clone(), [INFO] [stdout] 347 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:38:57 [INFO] [stdout] | [INFO] [stdout] 38 | self.convert_many_aux(index + 1, exprs, box move |tail| { [INFO] [stdout] | _________________________________________________________^ [INFO] [stdout] 39 | | let mut values = vec![head]; [INFO] [stdout] 40 | | values.extend(tail); [INFO] [stdout] 41 | | expr_cont(values) [INFO] [stdout] 42 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 38 ~ self.convert_many_aux(index + 1, exprs, Box::new(move |tail| { [INFO] [stdout] 39 + let mut values = vec![head]; [INFO] [stdout] 40 + values.extend(tail); [INFO] [stdout] 41 + expr_cont(values) [INFO] [stdout] 42 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:37:37 [INFO] [stdout] | [INFO] [stdout] 37 | self.convert_expr(elem, box move |head| { [INFO] [stdout] | _____________________________________^ [INFO] [stdout] 38 | | self.convert_many_aux(index + 1, exprs, box move |tail| { [INFO] [stdout] 39 | | let mut values = vec![head]; [INFO] [stdout] 40 | | values.extend(tail); [INFO] [stdout] 41 | | expr_cont(values) [INFO] [stdout] 42 | | }) [INFO] [stdout] 43 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 37 ~ self.convert_expr(elem, Box::new(move |head| { [INFO] [stdout] 38 + self.convert_many_aux(index + 1, exprs, box move |tail| { [INFO] [stdout] 39 + let mut values = vec![head]; [INFO] [stdout] 40 + values.extend(tail); [INFO] [stdout] 41 + expr_cont(values) [INFO] [stdout] 42 + }) [INFO] [stdout] 43 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:62:46 [INFO] [stdout] | [INFO] [stdout] 62 | self.convert_many(&args.clone(), box move |args_val| { [INFO] [stdout] | ______________________________________________^ [INFO] [stdout] 63 | | self.convert_app_aux( [INFO] [stdout] 64 | | callee_val.clone(), [INFO] [stdout] 65 | | match callee_val { [INFO] [stdout] ... | [INFO] [stdout] 71 | | ) [INFO] [stdout] 72 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 62 ~ self.convert_many(&args.clone(), Box::new(move |args_val| { [INFO] [stdout] 63 + self.convert_app_aux( [INFO] [stdout] 64 + callee_val.clone(), [INFO] [stdout] 65 + match callee_val { [INFO] [stdout] 66 + anf::Value::Var { type_args, .. } => type_args, [INFO] [stdout] 67 + _ => Vec::new(), [INFO] [stdout] 68 + }, [INFO] [stdout] 69 + args_val, [INFO] [stdout] 70 + expr_cont, [INFO] [stdout] 71 + ) [INFO] [stdout] 72 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:61:35 [INFO] [stdout] | [INFO] [stdout] 61 | self.convert_expr(callee, box move |callee_val| { [INFO] [stdout] | ___________________________________^ [INFO] [stdout] 62 | | self.convert_many(&args.clone(), box move |args_val| { [INFO] [stdout] 63 | | self.convert_app_aux( [INFO] [stdout] 64 | | callee_val.clone(), [INFO] [stdout] ... | [INFO] [stdout] 72 | | }) [INFO] [stdout] 73 | | }) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 61 ~ self.convert_expr(callee, Box::new(move |callee_val| { [INFO] [stdout] 62 + self.convert_many(&args.clone(), box move |args_val| { [INFO] [stdout] 63 + self.convert_app_aux( [INFO] [stdout] 64 + callee_val.clone(), [INFO] [stdout] 65 + match callee_val { [INFO] [stdout] 66 + anf::Value::Var { type_args, .. } => type_args, [INFO] [stdout] 67 + _ => Vec::new(), [INFO] [stdout] 68 + }, [INFO] [stdout] 69 + args_val, [INFO] [stdout] 70 + expr_cont, [INFO] [stdout] 71 + ) [INFO] [stdout] 72 + }) [INFO] [stdout] 73 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:96:31 [INFO] [stdout] | [INFO] [stdout] 96 | cont: box self.convert_app_aux( [INFO] [stdout] | _______________________________^ [INFO] [stdout] 97 | | anf::Value::Var { [INFO] [stdout] 98 | | name: r2, [INFO] [stdout] 99 | | type_args: type_args.to_vec(), [INFO] [stdout] ... | [INFO] [stdout] 104 | | expr_cont, [INFO] [stdout] 105 | | ), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 96 ~ cont: Box::new(self.convert_app_aux( [INFO] [stdout] 97 + anf::Value::Var { [INFO] [stdout] 98 + name: r2, [INFO] [stdout] 99 + type_args: type_args.to_vec(), [INFO] [stdout] 100 + type_: return_type, [INFO] [stdout] 101 + }, [INFO] [stdout] 102 + Vec::new(), [INFO] [stdout] 103 + remaining_args, [INFO] [stdout] 104 + expr_cont, [INFO] [stdout] 105 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:121:67 [INFO] [stdout] | [INFO] [stdout] 121 | ... anf::Type::Func(remaining_params, box return_type.clone()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 121 | anf::Type::Func(remaining_params, Box::new(return_type.clone())) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:44:23 [INFO] [stdout] | [INFO] [stdout] 44 | cont: box cont(c), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 44 | cont: Box::new(cont(c)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:59:56 [INFO] [stdout] | [INFO] [stdout] 59 | self.substitute_var(env_name, subst, name, box move |var| { [INFO] [stdout] | ________________________________________________________^ [INFO] [stdout] 60 | | cont(Value::Var { [INFO] [stdout] 61 | | name: var, [INFO] [stdout] 62 | | type_args: Vec::new(), [INFO] [stdout] 63 | | type_, [INFO] [stdout] 64 | | }) [INFO] [stdout] 65 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 59 ~ self.substitute_var(env_name, subst, name, Box::new(move |var| { [INFO] [stdout] 60 + cont(Value::Var { [INFO] [stdout] 61 + name: var, [INFO] [stdout] 62 + type_args: Vec::new(), [INFO] [stdout] 63 + type_, [INFO] [stdout] 64 + }) [INFO] [stdout] 65 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:83:75 [INFO] [stdout] | [INFO] [stdout] 83 | self.substitute_value(env_name, subst, values[index].clone(), box move |value| { [INFO] [stdout] | ___________________________________________________________________________^ [INFO] [stdout] 84 | | let mut next_accum = accum.clone(); [INFO] [stdout] 85 | | next_accum.push(value); [INFO] [stdout] 86 | | self.substitute_values_aux(env_name, subst, values, index + 1, next_accum, cont) [INFO] [stdout] 87 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 ~ self.substitute_value(env_name, subst, values[index].clone(), Box::new(move |value| { [INFO] [stdout] 84 + let mut next_accum = accum.clone(); [INFO] [stdout] 85 + next_accum.push(value); [INFO] [stdout] 86 + self.substitute_values_aux(env_name, subst, values, index + 1, next_accum, cont) [INFO] [stdout] 87 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:110:79 [INFO] [stdout] | [INFO] [stdout] 110 | *expr = self.substitute_value(env_name, subst, value.clone(), box move |value| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 111 | | Expr::Halt { value } [INFO] [stdout] 112 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 110 ~ *expr = self.substitute_value(env_name, subst, value.clone(), Box::new(move |value| { [INFO] [stdout] 111 + Expr::Halt { value } [INFO] [stdout] 112 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:119:71 [INFO] [stdout] | [INFO] [stdout] 119 | *expr = self.substitute_values(env_name, subst, args, box move |args| Expr::Jump { [INFO] [stdout] | _______________________________________________________________________^ [INFO] [stdout] 120 | | name: name.clone(), [INFO] [stdout] 121 | | args, [INFO] [stdout] 122 | | return_type: return_type.clone(), [INFO] [stdout] 123 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 119 ~ *expr = self.substitute_values(env_name, subst, args, Box::new(move |args| Expr::Jump { [INFO] [stdout] 120 + name: name.clone(), [INFO] [stdout] 121 + args, [INFO] [stdout] 122 + return_type: return_type.clone(), [INFO] [stdout] 123 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:115:31 [INFO] [stdout] | [INFO] [stdout] 115 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 116 | | name: r, [INFO] [stdout] 117 | | type_args: Vec::new(), [INFO] [stdout] 118 | | type_: if remaining_params.is_empty() { [INFO] [stdout] ... | [INFO] [stdout] 122 | | }, [INFO] [stdout] 123 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 115 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 116 + name: r, [INFO] [stdout] 117 + type_args: Vec::new(), [INFO] [stdout] 118 + type_: if remaining_params.is_empty() { [INFO] [stdout] 119 + return_type.clone() [INFO] [stdout] 120 + } else { [INFO] [stdout] 121 + anf::Type::Func(remaining_params, box return_type.clone()) [INFO] [stdout] 122 + }, [INFO] [stdout] 123 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:156:21 [INFO] [stdout] | [INFO] [stdout] 156 | box return_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 156 | Box::new(return_type.clone()), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:153:73 [INFO] [stdout] | [INFO] [stdout] 153 | self.substitute_value(env_name, subst, rhs.clone(), box move |rhs| { [INFO] [stdout] | _________________________________________________________________________^ [INFO] [stdout] 154 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 155 | | Expr::LetAdd { [INFO] [stdout] 156 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 160 | | } [INFO] [stdout] 161 | | }) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 153 ~ self.substitute_value(env_name, subst, rhs.clone(), Box::new(move |rhs| { [INFO] [stdout] 154 + self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 155 + Expr::LetAdd { [INFO] [stdout] 156 + name: name.clone(), [INFO] [stdout] 157 + lhs, [INFO] [stdout] 158 + rhs, [INFO] [stdout] 159 + cont: cont.clone(), [INFO] [stdout] 160 + } [INFO] [stdout] 161 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:158:56 [INFO] [stdout] | [INFO] [stdout] 158 | let body_anf = self.convert_expr(body, box |ret| anf::Expr::Halt { value: ret }); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 158 | let body_anf = self.convert_expr(body, Box::new(|ret| anf::Expr::Halt { value: ret })); [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:164:27 [INFO] [stdout] | [INFO] [stdout] 164 | body: box body_anf, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 164 | body: Box::new(body_anf), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:165:27 [INFO] [stdout] | [INFO] [stdout] 165 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 166 | | name, [INFO] [stdout] 167 | | type_args: Vec::new(), [INFO] [stdout] 168 | | type_: abs_type, [INFO] [stdout] 169 | | }), [INFO] [stdout] | |______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 165 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 166 + name, [INFO] [stdout] 167 + type_args: Vec::new(), [INFO] [stdout] 168 + type_: abs_type, [INFO] [stdout] 169 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:152:77 [INFO] [stdout] | [INFO] [stdout] 152 | *expr = self.substitute_value(env_name, subst, lhs.clone(), box move |lhs| { [INFO] [stdout] | _____________________________________________________________________________^ [INFO] [stdout] 153 | | self.substitute_value(env_name, subst, rhs.clone(), box move |rhs| { [INFO] [stdout] 154 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 155 | | Expr::LetAdd { [INFO] [stdout] ... | [INFO] [stdout] 161 | | }) [INFO] [stdout] 162 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 152 ~ *expr = self.substitute_value(env_name, subst, lhs.clone(), Box::new(move |lhs| { [INFO] [stdout] 153 + self.substitute_value(env_name, subst, rhs.clone(), box move |rhs| { [INFO] [stdout] 154 + self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 155 + Expr::LetAdd { [INFO] [stdout] 156 + name: name.clone(), [INFO] [stdout] 157 + lhs, [INFO] [stdout] 158 + rhs, [INFO] [stdout] 159 + cont: cont.clone(), [INFO] [stdout] 160 + } [INFO] [stdout] 161 + }) [INFO] [stdout] 162 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:170:79 [INFO] [stdout] | [INFO] [stdout] 170 | *expr = self.substitute_value(env_name, subst, value.clone(), box move |value| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 171 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 172 | | Expr::LetVal { [INFO] [stdout] 173 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 177 | | } [INFO] [stdout] 178 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 170 ~ *expr = self.substitute_value(env_name, subst, value.clone(), Box::new(move |value| { [INFO] [stdout] 171 + self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 172 + Expr::LetVal { [INFO] [stdout] 173 + name: name.clone(), [INFO] [stdout] 174 + type_: type_.clone(), [INFO] [stdout] 175 + value, [INFO] [stdout] 176 + cont: cont.clone(), [INFO] [stdout] 177 + } [INFO] [stdout] 178 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:179:31 [INFO] [stdout] | [INFO] [stdout] 179 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 180 | | name, [INFO] [stdout] 181 | | type_args: Vec::new(), [INFO] [stdout] 182 | | type_: anf::Type::Int, [INFO] [stdout] 183 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 179 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 180 + name, [INFO] [stdout] 181 + type_args: Vec::new(), [INFO] [stdout] 182 + type_: anf::Type::Int, [INFO] [stdout] 183 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:173:40 [INFO] [stdout] | [INFO] [stdout] 173 | self.convert_expr(rhs, box move |rhs_val| { [INFO] [stdout] | ________________________________________^ [INFO] [stdout] 174 | | let name = self.fresh("a"); [INFO] [stdout] 175 | | anf::Expr::LetAdd { [INFO] [stdout] 176 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 184 | | } [INFO] [stdout] 185 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 173 ~ self.convert_expr(rhs, Box::new(move |rhs_val| { [INFO] [stdout] 174 + let name = self.fresh("a"); [INFO] [stdout] 175 + anf::Expr::LetAdd { [INFO] [stdout] 176 + name: name.clone(), [INFO] [stdout] 177 + lhs: lhs_val.clone(), [INFO] [stdout] 178 + rhs: rhs_val.clone(), [INFO] [stdout] 179 + cont: box expr_cont(anf::Value::Var { [INFO] [stdout] 180 + name, [INFO] [stdout] 181 + type_args: Vec::new(), [INFO] [stdout] 182 + type_: anf::Type::Int, [INFO] [stdout] 183 + }), [INFO] [stdout] 184 + } [INFO] [stdout] 185 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:188:67 [INFO] [stdout] | [INFO] [stdout] 188 | self.substitute_values(env_name, subst, args, box move |args| { [INFO] [stdout] | ___________________________________________________________________^ [INFO] [stdout] 189 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 190 | | Expr::LetApp { [INFO] [stdout] 191 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 196 | | } [INFO] [stdout] 197 | | }) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 188 ~ self.substitute_values(env_name, subst, args, Box::new(move |args| { [INFO] [stdout] 189 + self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 190 + Expr::LetApp { [INFO] [stdout] 191 + name: name.clone(), [INFO] [stdout] 192 + type_: type_.clone(), [INFO] [stdout] 193 + callee, [INFO] [stdout] 194 + args, [INFO] [stdout] 195 + cont: cont.clone(), [INFO] [stdout] 196 + } [INFO] [stdout] 197 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:172:73 [INFO] [stdout] | [INFO] [stdout] 172 | core::Expr::Add(box lhs, box rhs) => self.convert_expr(lhs, box move |lhs_val| { [INFO] [stdout] | _________________________________________________________________________^ [INFO] [stdout] 173 | | self.convert_expr(rhs, box move |rhs_val| { [INFO] [stdout] 174 | | let name = self.fresh("a"); [INFO] [stdout] 175 | | anf::Expr::LetAdd { [INFO] [stdout] ... | [INFO] [stdout] 185 | | }) [INFO] [stdout] 186 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 172 ~ core::Expr::Add(box lhs, box rhs) => self.convert_expr(lhs, Box::new(move |lhs_val| { [INFO] [stdout] 173 + self.convert_expr(rhs, box move |rhs_val| { [INFO] [stdout] 174 + let name = self.fresh("a"); [INFO] [stdout] 175 + anf::Expr::LetAdd { [INFO] [stdout] 176 + name: name.clone(), [INFO] [stdout] 177 + lhs: lhs_val.clone(), [INFO] [stdout] 178 + rhs: rhs_val.clone(), [INFO] [stdout] 179 + cont: box expr_cont(anf::Value::Var { [INFO] [stdout] 180 + name, [INFO] [stdout] 181 + type_args: Vec::new(), [INFO] [stdout] 182 + type_: anf::Type::Int, [INFO] [stdout] 183 + }), [INFO] [stdout] 184 + } [INFO] [stdout] 185 + }) [INFO] [stdout] 186 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:201:35 [INFO] [stdout] | [INFO] [stdout] 201 | ... cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 201 | cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:213:43 [INFO] [stdout] | [INFO] [stdout] 213 | ... cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 213 | cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:204:58 [INFO] [stdout] | [INFO] [stdout] 204 | ... self.convert_many(&elements, box move |elements_val| { [INFO] [stdout] | ____________________________________________________^ [INFO] [stdout] 205 | | ... let types = elements_val [INFO] [stdout] 206 | | ... .iter() [INFO] [stdout] 207 | | ... .map(ANFConverter::infer_value) [INFO] [stdout] ... | [INFO] [stdout] 214 | | ... } [INFO] [stdout] 215 | | ... }) [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 204 ~ self.convert_many(&elements, Box::new(move |elements_val| { [INFO] [stdout] 205 + let types = elements_val [INFO] [stdout] 206 + .iter() [INFO] [stdout] 207 + .map(ANFConverter::infer_value) [INFO] [stdout] 208 + .collect::>(); [INFO] [stdout] 209 + anf::Expr::LetTuple { [INFO] [stdout] 210 + name: name.to_owned(), [INFO] [stdout] 211 + types, [INFO] [stdout] 212 + elements: elements_val, [INFO] [stdout] 213 + cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 214 + } [INFO] [stdout] 215 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:187:80 [INFO] [stdout] | [INFO] [stdout] 187 | *expr = self.substitute_value(env_name, subst, callee.clone(), box move |callee| { [INFO] [stdout] | ________________________________________________________________________________^ [INFO] [stdout] 188 | | self.substitute_values(env_name, subst, args, box move |args| { [INFO] [stdout] 189 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 190 | | Expr::LetApp { [INFO] [stdout] ... | [INFO] [stdout] 197 | | }) [INFO] [stdout] 198 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 187 ~ *expr = self.substitute_value(env_name, subst, callee.clone(), Box::new(move |callee| { [INFO] [stdout] 188 + self.substitute_values(env_name, subst, args, box move |args| { [INFO] [stdout] 189 + self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 190 + Expr::LetApp { [INFO] [stdout] 191 + name: name.clone(), [INFO] [stdout] 192 + type_: type_.clone(), [INFO] [stdout] 193 + callee, [INFO] [stdout] 194 + args, [INFO] [stdout] 195 + cont: cont.clone(), [INFO] [stdout] 196 + } [INFO] [stdout] 197 + }) [INFO] [stdout] 198 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:224:35 [INFO] [stdout] | [INFO] [stdout] 224 | ... cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 224 | cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:220:57 [INFO] [stdout] | [INFO] [stdout] 220 | body => self.convert_expr(body, box move |body_value| anf::Expr::LetVal { [INFO] [stdout] | _________________________________________________________^ [INFO] [stdout] 221 | | name: name.to_owned(), [INFO] [stdout] 222 | | type_: return_type, [INFO] [stdout] 223 | | value: body_value, [INFO] [stdout] 224 | | cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 225 | | }), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 220 ~ body => self.convert_expr(body, Box::new(move |body_value| anf::Expr::LetVal { [INFO] [stdout] 221 + name: name.to_owned(), [INFO] [stdout] 222 + type_: return_type, [INFO] [stdout] 223 + value: body_value, [INFO] [stdout] 224 + cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 225 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:233:59 [INFO] [stdout] | [INFO] [stdout] 233 | body: box self.convert_expr(body, box move |return_value| { [INFO] [stdout] | ___________________________________________________________^ [INFO] [stdout] 234 | | anf::Expr::Halt { [INFO] [stdout] 235 | | value: return_value, [INFO] [stdout] 236 | | } [INFO] [stdout] 237 | | }), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 233 ~ body: box self.convert_expr(body, Box::new(move |return_value| { [INFO] [stdout] 234 + anf::Expr::Halt { [INFO] [stdout] 235 + value: return_value, [INFO] [stdout] 236 + } [INFO] [stdout] 237 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:206:75 [INFO] [stdout] | [INFO] [stdout] 206 | *expr = self.substitute_values(env_name, subst, elements, box move |elements| { [INFO] [stdout] | ___________________________________________________________________________^ [INFO] [stdout] 207 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 208 | | Expr::LetTuple { [INFO] [stdout] 209 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 213 | | } [INFO] [stdout] 214 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 206 ~ *expr = self.substitute_values(env_name, subst, elements, Box::new(move |elements| { [INFO] [stdout] 207 + self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 208 + Expr::LetTuple { [INFO] [stdout] 209 + name: name.clone(), [INFO] [stdout] 210 + types: types.clone(), [INFO] [stdout] 211 + elements, [INFO] [stdout] 212 + cont: cont.clone(), [INFO] [stdout] 213 + } [INFO] [stdout] 214 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:233:31 [INFO] [stdout] | [INFO] [stdout] 233 | body: box self.convert_expr(body, box move |return_value| { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 234 | | anf::Expr::Halt { [INFO] [stdout] 235 | | value: return_value, [INFO] [stdout] 236 | | } [INFO] [stdout] 237 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 233 ~ body: Box::new(self.convert_expr(body, box move |return_value| { [INFO] [stdout] 234 + anf::Expr::Halt { [INFO] [stdout] 235 + value: return_value, [INFO] [stdout] 236 + } [INFO] [stdout] 237 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:238:31 [INFO] [stdout] | [INFO] [stdout] 238 | cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 238 | cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:223:79 [INFO] [stdout] | [INFO] [stdout] 223 | *expr = self.substitute_value(env_name, subst, tuple.clone(), box move |tuple| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 224 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 225 | | Expr::LetProj { [INFO] [stdout] 226 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 231 | | } [INFO] [stdout] 232 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 223 ~ *expr = self.substitute_value(env_name, subst, tuple.clone(), Box::new(move |tuple| { [INFO] [stdout] 224 + self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 225 + Expr::LetProj { [INFO] [stdout] 226 + name: name.clone(), [INFO] [stdout] 227 + type_: type_.clone(), [INFO] [stdout] 228 + tuple, [INFO] [stdout] 229 + index: *index, [INFO] [stdout] 230 + cont: cont.clone(), [INFO] [stdout] 231 + } [INFO] [stdout] 232 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:251:33 [INFO] [stdout] | [INFO] [stdout] 251 | let join_cont = box move |value| anf::Expr::Jump { [INFO] [stdout] | _________________________________^ [INFO] [stdout] 252 | | name: join_point_name2, [INFO] [stdout] 253 | | args: vec![value], [INFO] [stdout] 254 | | return_type: return_type2, [INFO] [stdout] 255 | | }; [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 251 ~ let join_cont = Box::new(move |value| anf::Expr::Jump { [INFO] [stdout] 252 + name: join_point_name2, [INFO] [stdout] 253 + args: vec![value], [INFO] [stdout] 254 + return_type: return_type2, [INFO] [stdout] 255 ~ }); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:267:75 [INFO] [stdout] | [INFO] [stdout] 267 | type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 267 | type_: anf::Type::Func(vec![return_type.clone()], Box::new(return_type.clone())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:240:70 [INFO] [stdout] | [INFO] [stdout] 240 | self.substitute_value(env_name, subst, cond.clone(), box move |cond| { [INFO] [stdout] | ______________________________________________________________________^ [INFO] [stdout] 241 | | self.substitute_free_variables(env_name, subst, then); [INFO] [stdout] 242 | | self.substitute_free_variables(env_name, subst, else_); [INFO] [stdout] 243 | | Expr::If { [INFO] [stdout] ... | [INFO] [stdout] 248 | | } [INFO] [stdout] 249 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 240 ~ self.substitute_value(env_name, subst, cond.clone(), Box::new(move |cond| { [INFO] [stdout] 241 + self.substitute_free_variables(env_name, subst, then); [INFO] [stdout] 242 + self.substitute_free_variables(env_name, subst, else_); [INFO] [stdout] 243 + Expr::If { [INFO] [stdout] 244 + cond, [INFO] [stdout] 245 + return_type: return_type.clone(), [INFO] [stdout] 246 + then: then.clone(), [INFO] [stdout] 247 + else_: else_.clone(), [INFO] [stdout] 248 + } [INFO] [stdout] 249 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:264:27 [INFO] [stdout] | [INFO] [stdout] 264 | body: box expr_cont(anf::Value::Var { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 265 | | name: join_param, [INFO] [stdout] 266 | | type_args: Vec::new(), [INFO] [stdout] 267 | | type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] 268 | | }), [INFO] [stdout] | |______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 264 ~ body: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 265 + name: join_param, [INFO] [stdout] 266 + type_args: Vec::new(), [INFO] [stdout] 267 + type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] 268 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:300:25 [INFO] [stdout] | [INFO] [stdout] 300 | *cont = box Expr::LetTuple { [INFO] [stdout] | _________________________^ [INFO] [stdout] 301 | | name: env_name, [INFO] [stdout] 302 | | types: env_types, [INFO] [stdout] 303 | | elements: env, [INFO] [stdout] 304 | | cont: cont.clone(), [INFO] [stdout] 305 | | }; [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 300 ~ *cont = Box::new(Expr::LetTuple { [INFO] [stdout] 301 + name: env_name, [INFO] [stdout] 302 + types: env_types, [INFO] [stdout] 303 + elements: env, [INFO] [stdout] 304 + cont: cont.clone(), [INFO] [stdout] 305 ~ }); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:272:31 [INFO] [stdout] | [INFO] [stdout] 272 | then: box self.convert_expr(then, join_cont.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 272 | then: Box::new(self.convert_expr(then, join_cont.clone())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:273:32 [INFO] [stdout] | [INFO] [stdout] 273 | else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 273 | else_: Box::new(self.convert_expr(else_, join_cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:337:27 [INFO] [stdout] | [INFO] [stdout] 337 | cont: box Expr::LetApp { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 338 | | name: name.clone(), [INFO] [stdout] 339 | | type_: type_.clone(), [INFO] [stdout] 340 | | callee: Value::Var { [INFO] [stdout] ... | [INFO] [stdout] 346 | | cont: cont.clone(), [INFO] [stdout] 347 | | }, [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 337 ~ cont: Box::new(Expr::LetApp { [INFO] [stdout] 338 + name: name.clone(), [INFO] [stdout] 339 + type_: type_.clone(), [INFO] [stdout] 340 + callee: Value::Var { [INFO] [stdout] 341 + name: f, [INFO] [stdout] 342 + type_args: Vec::new(), [INFO] [stdout] 343 + type_: infer_value(callee), [INFO] [stdout] 344 + }, [INFO] [stdout] 345 + args: args.clone(), [INFO] [stdout] 346 + cont: cont.clone(), [INFO] [stdout] 347 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:269:27 [INFO] [stdout] | [INFO] [stdout] 269 | cont: box anf::Expr::If { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 270 | | cond: cond_value, [INFO] [stdout] 271 | | return_type, [INFO] [stdout] 272 | | then: box self.convert_expr(then, join_cont.clone()), [INFO] [stdout] 273 | | else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] 274 | | }, [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 269 ~ cont: Box::new(anf::Expr::If { [INFO] [stdout] 270 + cond: cond_value, [INFO] [stdout] 271 + return_type, [INFO] [stdout] 272 + then: box self.convert_expr(then, join_cont.clone()), [INFO] [stdout] 273 + else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] 274 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:247:42 [INFO] [stdout] | [INFO] [stdout] 247 | } => self.convert_expr(cond, box move |cond_value| { [INFO] [stdout] | __________________________________________^ [INFO] [stdout] 248 | | let join_point_name = self.fresh("j"); [INFO] [stdout] 249 | | let join_point_name2 = join_point_name.clone(); [INFO] [stdout] 250 | | let return_type2 = return_type.clone(); [INFO] [stdout] ... | [INFO] [stdout] 275 | | } [INFO] [stdout] 276 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 247 ~ } => self.convert_expr(cond, Box::new(move |cond_value| { [INFO] [stdout] 248 + let join_point_name = self.fresh("j"); [INFO] [stdout] 249 + let join_point_name2 = join_point_name.clone(); [INFO] [stdout] 250 + let return_type2 = return_type.clone(); [INFO] [stdout] 251 + let join_cont = box move |value| anf::Expr::Jump { [INFO] [stdout] 252 + name: join_point_name2, [INFO] [stdout] 253 + args: vec![value], [INFO] [stdout] 254 + return_type: return_type2, [INFO] [stdout] 255 + }; [INFO] [stdout] 256 + let join_param = self.fresh("r"); [INFO] [stdout] 257 + anf::Expr::LetJoin { [INFO] [stdout] 258 + name: join_point_name, [INFO] [stdout] 259 + params: vec![anf::Binding { [INFO] [stdout] 260 + name: join_param.clone(), [INFO] [stdout] 261 + type_: return_type.clone(), [INFO] [stdout] 262 + }], [INFO] [stdout] 263 + return_type: return_type.clone(), [INFO] [stdout] 264 + body: box expr_cont(anf::Value::Var { [INFO] [stdout] 265 + name: join_param, [INFO] [stdout] 266 + type_args: Vec::new(), [INFO] [stdout] 267 + type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] 268 + }), [INFO] [stdout] 269 + cont: box anf::Expr::If { [INFO] [stdout] 270 + cond: cond_value, [INFO] [stdout] 271 + return_type, [INFO] [stdout] 272 + then: box self.convert_expr(then, join_cont.clone()), [INFO] [stdout] 273 + else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] 274 + }, [INFO] [stdout] 275 + } [INFO] [stdout] 276 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:288:27 [INFO] [stdout] | [INFO] [stdout] 288 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 289 | | name: r, [INFO] [stdout] 290 | | type_args: Vec::new(), [INFO] [stdout] 291 | | type_: anf::Type::Tuple(types.clone()), [INFO] [stdout] 292 | | }), [INFO] [stdout] | |______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 288 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 289 + name: r, [INFO] [stdout] 290 + type_args: Vec::new(), [INFO] [stdout] 291 + type_: anf::Type::Tuple(types.clone()), [INFO] [stdout] 292 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:38:57 [INFO] [stdout] | [INFO] [stdout] 38 | self.convert_many_aux(index + 1, exprs, box move |tail| { [INFO] [stdout] | _________________________________________________________^ [INFO] [stdout] 39 | | let mut values = vec![head]; [INFO] [stdout] 40 | | values.extend(tail); [INFO] [stdout] 41 | | expr_cont(values) [INFO] [stdout] 42 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 38 ~ self.convert_many_aux(index + 1, exprs, Box::new(move |tail| { [INFO] [stdout] 39 + let mut values = vec![head]; [INFO] [stdout] 40 + values.extend(tail); [INFO] [stdout] 41 + expr_cont(values) [INFO] [stdout] 42 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:278:73 [INFO] [stdout] | [INFO] [stdout] 278 | core::Expr::Tuple(elements) => self.convert_many(&elements, box move |elements_val| { [INFO] [stdout] | _________________________________________________________________________^ [INFO] [stdout] 279 | | let r = self.fresh("t"); [INFO] [stdout] 280 | | let types = elements_val [INFO] [stdout] 281 | | .iter() [INFO] [stdout] ... | [INFO] [stdout] 293 | | } [INFO] [stdout] 294 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 278 ~ core::Expr::Tuple(elements) => self.convert_many(&elements, Box::new(move |elements_val| { [INFO] [stdout] 279 + let r = self.fresh("t"); [INFO] [stdout] 280 + let types = elements_val [INFO] [stdout] 281 + .iter() [INFO] [stdout] 282 + .map(ANFConverter::infer_value) [INFO] [stdout] 283 + .collect::>(); [INFO] [stdout] 284 + anf::Expr::LetTuple { [INFO] [stdout] 285 + name: r.clone(), [INFO] [stdout] 286 + types: types.clone(), [INFO] [stdout] 287 + elements: elements_val, [INFO] [stdout] 288 + cont: box expr_cont(anf::Value::Var { [INFO] [stdout] 289 + name: r, [INFO] [stdout] 290 + type_args: Vec::new(), [INFO] [stdout] 291 + type_: anf::Type::Tuple(types.clone()), [INFO] [stdout] 292 + }), [INFO] [stdout] 293 + } [INFO] [stdout] 294 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:37:37 [INFO] [stdout] | [INFO] [stdout] 37 | self.convert_expr(elem, box move |head| { [INFO] [stdout] | _____________________________________^ [INFO] [stdout] 38 | | self.convert_many_aux(index + 1, exprs, box move |tail| { [INFO] [stdout] 39 | | let mut values = vec![head]; [INFO] [stdout] 40 | | values.extend(tail); [INFO] [stdout] 41 | | expr_cont(values) [INFO] [stdout] 42 | | }) [INFO] [stdout] 43 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 37 ~ self.convert_expr(elem, Box::new(move |head| { [INFO] [stdout] 38 + self.convert_many_aux(index + 1, exprs, box move |tail| { [INFO] [stdout] 39 + let mut values = vec![head]; [INFO] [stdout] 40 + values.extend(tail); [INFO] [stdout] 41 + expr_cont(values) [INFO] [stdout] 42 + }) [INFO] [stdout] 43 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:304:31 [INFO] [stdout] | [INFO] [stdout] 304 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 305 | | name: r, [INFO] [stdout] 306 | | type_args: Vec::new(), [INFO] [stdout] 307 | | type_: element_type.clone(), [INFO] [stdout] 308 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 304 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 305 + name: r, [INFO] [stdout] 306 + type_args: Vec::new(), [INFO] [stdout] 307 + type_: element_type.clone(), [INFO] [stdout] 308 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:62:46 [INFO] [stdout] | [INFO] [stdout] 62 | self.convert_many(&args.clone(), box move |args_val| { [INFO] [stdout] | ______________________________________________^ [INFO] [stdout] 63 | | self.convert_app_aux( [INFO] [stdout] 64 | | callee_val.clone(), [INFO] [stdout] 65 | | match callee_val { [INFO] [stdout] ... | [INFO] [stdout] 71 | | ) [INFO] [stdout] 72 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 62 ~ self.convert_many(&args.clone(), Box::new(move |args_val| { [INFO] [stdout] 63 + self.convert_app_aux( [INFO] [stdout] 64 + callee_val.clone(), [INFO] [stdout] 65 + match callee_val { [INFO] [stdout] 66 + anf::Value::Var { type_args, .. } => type_args, [INFO] [stdout] 67 + _ => Vec::new(), [INFO] [stdout] 68 + }, [INFO] [stdout] 69 + args_val, [INFO] [stdout] 70 + expr_cont, [INFO] [stdout] 71 + ) [INFO] [stdout] 72 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:295:76 [INFO] [stdout] | [INFO] [stdout] 295 | core::Expr::Proj(box tuple, index) => self.convert_expr(tuple, box move |tuple_val| { [INFO] [stdout] | ____________________________________________________________________________^ [INFO] [stdout] 296 | | let r = self.fresh("t"); [INFO] [stdout] 297 | | if let anf::Type::Tuple(element_types) = ANFConverter::infer_value(&tuple_val) { [INFO] [stdout] 298 | | let element_type = element_types[index as usize].clone(); [INFO] [stdout] ... | [INFO] [stdout] 312 | | } [INFO] [stdout] 313 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 295 ~ core::Expr::Proj(box tuple, index) => self.convert_expr(tuple, Box::new(move |tuple_val| { [INFO] [stdout] 296 + let r = self.fresh("t"); [INFO] [stdout] 297 + if let anf::Type::Tuple(element_types) = ANFConverter::infer_value(&tuple_val) { [INFO] [stdout] 298 + let element_type = element_types[index as usize].clone(); [INFO] [stdout] 299 + anf::Expr::LetProj { [INFO] [stdout] 300 + name: r.clone(), [INFO] [stdout] 301 + type_: element_type.clone(), [INFO] [stdout] 302 + tuple: tuple_val, [INFO] [stdout] 303 + index, [INFO] [stdout] 304 + cont: box expr_cont(anf::Value::Var { [INFO] [stdout] 305 + name: r, [INFO] [stdout] 306 + type_args: Vec::new(), [INFO] [stdout] 307 + type_: element_type.clone(), [INFO] [stdout] 308 + }), [INFO] [stdout] 309 + } [INFO] [stdout] 310 + } else { [INFO] [stdout] 311 + panic!("internal error: cannot take project of non-tuple type"); [INFO] [stdout] 312 + } [INFO] [stdout] 313 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:331:48 [INFO] [stdout] | [INFO] [stdout] 331 | body: self.convert_expr(decl.body, box move |return_value| anf::Expr::Halt { [INFO] [stdout] | ________________________________________________^ [INFO] [stdout] 332 | | value: return_value, [INFO] [stdout] 333 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 331 ~ body: self.convert_expr(decl.body, Box::new(move |return_value| anf::Expr::Halt { [INFO] [stdout] 332 + value: return_value, [INFO] [stdout] 333 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:61:35 [INFO] [stdout] | [INFO] [stdout] 61 | self.convert_expr(callee, box move |callee_val| { [INFO] [stdout] | ___________________________________^ [INFO] [stdout] 62 | | self.convert_many(&args.clone(), box move |args_val| { [INFO] [stdout] 63 | | self.convert_app_aux( [INFO] [stdout] 64 | | callee_val.clone(), [INFO] [stdout] ... | [INFO] [stdout] 72 | | }) [INFO] [stdout] 73 | | }) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 61 ~ self.convert_expr(callee, Box::new(move |callee_val| { [INFO] [stdout] 62 + self.convert_many(&args.clone(), box move |args_val| { [INFO] [stdout] 63 + self.convert_app_aux( [INFO] [stdout] 64 + callee_val.clone(), [INFO] [stdout] 65 + match callee_val { [INFO] [stdout] 66 + anf::Value::Var { type_args, .. } => type_args, [INFO] [stdout] 67 + _ => Vec::new(), [INFO] [stdout] 68 + }, [INFO] [stdout] 69 + args_val, [INFO] [stdout] 70 + expr_cont, [INFO] [stdout] 71 + ) [INFO] [stdout] 72 + }) [INFO] [stdout] 73 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:96:31 [INFO] [stdout] | [INFO] [stdout] 96 | cont: box self.convert_app_aux( [INFO] [stdout] | _______________________________^ [INFO] [stdout] 97 | | anf::Value::Var { [INFO] [stdout] 98 | | name: r2, [INFO] [stdout] 99 | | type_args: type_args.to_vec(), [INFO] [stdout] ... | [INFO] [stdout] 104 | | expr_cont, [INFO] [stdout] 105 | | ), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 96 ~ cont: Box::new(self.convert_app_aux( [INFO] [stdout] 97 + anf::Value::Var { [INFO] [stdout] 98 + name: r2, [INFO] [stdout] 99 + type_args: type_args.to_vec(), [INFO] [stdout] 100 + type_: return_type, [INFO] [stdout] 101 + }, [INFO] [stdout] 102 + Vec::new(), [INFO] [stdout] 103 + remaining_args, [INFO] [stdout] 104 + expr_cont, [INFO] [stdout] 105 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:121:67 [INFO] [stdout] | [INFO] [stdout] 121 | ... anf::Type::Func(remaining_params, box return_type.clone()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 121 | anf::Type::Func(remaining_params, Box::new(return_type.clone())) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:115:31 [INFO] [stdout] | [INFO] [stdout] 115 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 116 | | name: r, [INFO] [stdout] 117 | | type_args: Vec::new(), [INFO] [stdout] 118 | | type_: if remaining_params.is_empty() { [INFO] [stdout] ... | [INFO] [stdout] 122 | | }, [INFO] [stdout] 123 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 115 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 116 + name: r, [INFO] [stdout] 117 + type_args: Vec::new(), [INFO] [stdout] 118 + type_: if remaining_params.is_empty() { [INFO] [stdout] 119 + return_type.clone() [INFO] [stdout] 120 + } else { [INFO] [stdout] 121 + anf::Type::Func(remaining_params, box return_type.clone()) [INFO] [stdout] 122 + }, [INFO] [stdout] 123 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:156:21 [INFO] [stdout] | [INFO] [stdout] 156 | box return_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 156 | Box::new(return_type.clone()), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:158:56 [INFO] [stdout] | [INFO] [stdout] 158 | let body_anf = self.convert_expr(body, box |ret| anf::Expr::Halt { value: ret }); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 158 | let body_anf = self.convert_expr(body, Box::new(|ret| anf::Expr::Halt { value: ret })); [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:164:27 [INFO] [stdout] | [INFO] [stdout] 164 | body: box body_anf, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 164 | body: Box::new(body_anf), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:165:27 [INFO] [stdout] | [INFO] [stdout] 165 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 166 | | name, [INFO] [stdout] 167 | | type_args: Vec::new(), [INFO] [stdout] 168 | | type_: abs_type, [INFO] [stdout] 169 | | }), [INFO] [stdout] | |______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 165 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 166 + name, [INFO] [stdout] 167 + type_args: Vec::new(), [INFO] [stdout] 168 + type_: abs_type, [INFO] [stdout] 169 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:179:31 [INFO] [stdout] | [INFO] [stdout] 179 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 180 | | name, [INFO] [stdout] 181 | | type_args: Vec::new(), [INFO] [stdout] 182 | | type_: anf::Type::Int, [INFO] [stdout] 183 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 179 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 180 + name, [INFO] [stdout] 181 + type_args: Vec::new(), [INFO] [stdout] 182 + type_: anf::Type::Int, [INFO] [stdout] 183 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:173:40 [INFO] [stdout] | [INFO] [stdout] 173 | self.convert_expr(rhs, box move |rhs_val| { [INFO] [stdout] | ________________________________________^ [INFO] [stdout] 174 | | let name = self.fresh("a"); [INFO] [stdout] 175 | | anf::Expr::LetAdd { [INFO] [stdout] 176 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 184 | | } [INFO] [stdout] 185 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 173 ~ self.convert_expr(rhs, Box::new(move |rhs_val| { [INFO] [stdout] 174 + let name = self.fresh("a"); [INFO] [stdout] 175 + anf::Expr::LetAdd { [INFO] [stdout] 176 + name: name.clone(), [INFO] [stdout] 177 + lhs: lhs_val.clone(), [INFO] [stdout] 178 + rhs: rhs_val.clone(), [INFO] [stdout] 179 + cont: box expr_cont(anf::Value::Var { [INFO] [stdout] 180 + name, [INFO] [stdout] 181 + type_args: Vec::new(), [INFO] [stdout] 182 + type_: anf::Type::Int, [INFO] [stdout] 183 + }), [INFO] [stdout] 184 + } [INFO] [stdout] 185 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:172:73 [INFO] [stdout] | [INFO] [stdout] 172 | core::Expr::Add(box lhs, box rhs) => self.convert_expr(lhs, box move |lhs_val| { [INFO] [stdout] | _________________________________________________________________________^ [INFO] [stdout] 173 | | self.convert_expr(rhs, box move |rhs_val| { [INFO] [stdout] 174 | | let name = self.fresh("a"); [INFO] [stdout] 175 | | anf::Expr::LetAdd { [INFO] [stdout] ... | [INFO] [stdout] 185 | | }) [INFO] [stdout] 186 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 172 ~ core::Expr::Add(box lhs, box rhs) => self.convert_expr(lhs, Box::new(move |lhs_val| { [INFO] [stdout] 173 + self.convert_expr(rhs, box move |rhs_val| { [INFO] [stdout] 174 + let name = self.fresh("a"); [INFO] [stdout] 175 + anf::Expr::LetAdd { [INFO] [stdout] 176 + name: name.clone(), [INFO] [stdout] 177 + lhs: lhs_val.clone(), [INFO] [stdout] 178 + rhs: rhs_val.clone(), [INFO] [stdout] 179 + cont: box expr_cont(anf::Value::Var { [INFO] [stdout] 180 + name, [INFO] [stdout] 181 + type_args: Vec::new(), [INFO] [stdout] 182 + type_: anf::Type::Int, [INFO] [stdout] 183 + }), [INFO] [stdout] 184 + } [INFO] [stdout] 185 + }) [INFO] [stdout] 186 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:201:35 [INFO] [stdout] | [INFO] [stdout] 201 | ... cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 201 | cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:72:23 [INFO] [stdout] | [INFO] [stdout] 72 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 72 | cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:83:23 [INFO] [stdout] | [INFO] [stdout] 83 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 | cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:96:23 [INFO] [stdout] | [INFO] [stdout] 96 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 96 | cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:213:43 [INFO] [stdout] | [INFO] [stdout] 213 | ... cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 213 | cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:107:23 [INFO] [stdout] | [INFO] [stdout] 107 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 107 | cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:120:23 [INFO] [stdout] | [INFO] [stdout] 120 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 120 | cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:130:23 [INFO] [stdout] | [INFO] [stdout] 130 | then: box self.lift_expr(then), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 130 | then: Box::new(self.lift_expr(then)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:131:24 [INFO] [stdout] | [INFO] [stdout] 131 | else_: box self.lift_expr(else_), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 131 | else_: Box::new(self.lift_expr(else_)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:204:58 [INFO] [stdout] | [INFO] [stdout] 204 | ... self.convert_many(&elements, box move |elements_val| { [INFO] [stdout] | ____________________________________________________^ [INFO] [stdout] 205 | | ... let types = elements_val [INFO] [stdout] 206 | | ... .iter() [INFO] [stdout] 207 | | ... .map(ANFConverter::infer_value) [INFO] [stdout] ... | [INFO] [stdout] 214 | | ... } [INFO] [stdout] 215 | | ... }) [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 204 ~ self.convert_many(&elements, Box::new(move |elements_val| { [INFO] [stdout] 205 + let types = elements_val [INFO] [stdout] 206 + .iter() [INFO] [stdout] 207 + .map(ANFConverter::infer_value) [INFO] [stdout] 208 + .collect::>(); [INFO] [stdout] 209 + anf::Expr::LetTuple { [INFO] [stdout] 210 + name: name.to_owned(), [INFO] [stdout] 211 + types, [INFO] [stdout] 212 + elements: elements_val, [INFO] [stdout] 213 + cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 214 + } [INFO] [stdout] 215 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:224:35 [INFO] [stdout] | [INFO] [stdout] 224 | ... cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 224 | cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:105:19 [INFO] [stdout] | [INFO] [stdout] 105 | pass: box pass, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 105 | pass: Box::new(pass), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:220:57 [INFO] [stdout] | [INFO] [stdout] 220 | body => self.convert_expr(body, box move |body_value| anf::Expr::LetVal { [INFO] [stdout] | _________________________________________________________^ [INFO] [stdout] 221 | | name: name.to_owned(), [INFO] [stdout] 222 | | type_: return_type, [INFO] [stdout] 223 | | value: body_value, [INFO] [stdout] 224 | | cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 225 | | }), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 220 ~ body => self.convert_expr(body, Box::new(move |body_value| anf::Expr::LetVal { [INFO] [stdout] 221 + name: name.to_owned(), [INFO] [stdout] 222 + type_: return_type, [INFO] [stdout] 223 + value: body_value, [INFO] [stdout] 224 + cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 225 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:147:19 [INFO] [stdout] | [INFO] [stdout] 147 | pass: box pass, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 147 | pass: Box::new(pass), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:216:23 [INFO] [stdout] | [INFO] [stdout] 216 | pipeline: box IdPipeline { [INFO] [stdout] | _______________________^ [INFO] [stdout] 217 | | _source: PhantomData, [INFO] [stdout] 218 | | }, [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 216 ~ pipeline: Box::new(IdPipeline { [INFO] [stdout] 217 + _source: PhantomData, [INFO] [stdout] 218 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:237:23 [INFO] [stdout] | [INFO] [stdout] 237 | pass: box pass, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 237 | pass: Box::new(pass), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:235:23 [INFO] [stdout] | [INFO] [stdout] 235 | pipeline: box PassPipeline { [INFO] [stdout] | _______________________^ [INFO] [stdout] 236 | | pipeline: self.pipeline, [INFO] [stdout] 237 | | pass: box pass, [INFO] [stdout] 238 | | }, [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 235 ~ pipeline: Box::new(PassPipeline { [INFO] [stdout] 236 + pipeline: self.pipeline, [INFO] [stdout] 237 + pass: box pass, [INFO] [stdout] 238 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:233:59 [INFO] [stdout] | [INFO] [stdout] 233 | body: box self.convert_expr(body, box move |return_value| { [INFO] [stdout] | ___________________________________________________________^ [INFO] [stdout] 234 | | anf::Expr::Halt { [INFO] [stdout] 235 | | value: return_value, [INFO] [stdout] 236 | | } [INFO] [stdout] 237 | | }), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 233 ~ body: box self.convert_expr(body, Box::new(move |return_value| { [INFO] [stdout] 234 + anf::Expr::Halt { [INFO] [stdout] 235 + value: return_value, [INFO] [stdout] 236 + } [INFO] [stdout] 237 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:233:31 [INFO] [stdout] | [INFO] [stdout] 233 | body: box self.convert_expr(body, box move |return_value| { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 234 | | anf::Expr::Halt { [INFO] [stdout] 235 | | value: return_value, [INFO] [stdout] 236 | | } [INFO] [stdout] 237 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 233 ~ body: Box::new(self.convert_expr(body, box move |return_value| { [INFO] [stdout] 234 + anf::Expr::Halt { [INFO] [stdout] 235 + value: return_value, [INFO] [stdout] 236 + } [INFO] [stdout] 237 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:238:31 [INFO] [stdout] | [INFO] [stdout] 238 | cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 238 | cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:251:33 [INFO] [stdout] | [INFO] [stdout] 251 | let join_cont = box move |value| anf::Expr::Jump { [INFO] [stdout] | _________________________________^ [INFO] [stdout] 252 | | name: join_point_name2, [INFO] [stdout] 253 | | args: vec![value], [INFO] [stdout] 254 | | return_type: return_type2, [INFO] [stdout] 255 | | }; [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 251 ~ let join_cont = Box::new(move |value| anf::Expr::Jump { [INFO] [stdout] 252 + name: join_point_name2, [INFO] [stdout] 253 + args: vec![value], [INFO] [stdout] 254 + return_type: return_type2, [INFO] [stdout] 255 ~ }); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:267:75 [INFO] [stdout] | [INFO] [stdout] 267 | type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 267 | type_: anf::Type::Func(vec![return_type.clone()], Box::new(return_type.clone())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:264:27 [INFO] [stdout] | [INFO] [stdout] 264 | body: box expr_cont(anf::Value::Var { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 265 | | name: join_param, [INFO] [stdout] 266 | | type_args: Vec::new(), [INFO] [stdout] 267 | | type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] 268 | | }), [INFO] [stdout] | |______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 264 ~ body: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 265 + name: join_param, [INFO] [stdout] 266 + type_args: Vec::new(), [INFO] [stdout] 267 + type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] 268 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:272:31 [INFO] [stdout] | [INFO] [stdout] 272 | then: box self.convert_expr(then, join_cont.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 272 | then: Box::new(self.convert_expr(then, join_cont.clone())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:273:32 [INFO] [stdout] | [INFO] [stdout] 273 | else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 273 | else_: Box::new(self.convert_expr(else_, join_cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:58:17 [INFO] [stdout] | [INFO] [stdout] 58 | box Typechecker::type_core_to_tc(return_type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 58 | Box::new(Typechecker::type_core_to_tc(return_type)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:269:27 [INFO] [stdout] | [INFO] [stdout] 269 | cont: box anf::Expr::If { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 270 | | cond: cond_value, [INFO] [stdout] 271 | | return_type, [INFO] [stdout] 272 | | then: box self.convert_expr(then, join_cont.clone()), [INFO] [stdout] 273 | | else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] 274 | | }, [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 269 ~ cont: Box::new(anf::Expr::If { [INFO] [stdout] 270 + cond: cond_value, [INFO] [stdout] 271 + return_type, [INFO] [stdout] 272 + then: box self.convert_expr(then, join_cont.clone()), [INFO] [stdout] 273 + else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] 274 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:109:45 [INFO] [stdout] | [INFO] [stdout] 109 | Type::Func(parameter_types, box return_type) [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 109 | Type::Func(parameter_types, Box::new(return_type)) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:170:45 [INFO] [stdout] | [INFO] [stdout] 170 | Type::Func(gen_param_types, box gen_return_type) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 170 | Type::Func(gen_param_types, Box::new(gen_return_type)) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:208:17 [INFO] [stdout] | [INFO] [stdout] 208 | box self.generalize_expr(skolems, lhs), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 208 | Box::new(self.generalize_expr(skolems, lhs)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:209:17 [INFO] [stdout] | [INFO] [stdout] 209 | box self.generalize_expr(skolems, rhs), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 209 | Box::new(self.generalize_expr(skolems, rhs)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:212:25 [INFO] [stdout] | [INFO] [stdout] 212 | callee: box self.generalize_expr(skolems, callee), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 212 | callee: Box::new(self.generalize_expr(skolems, callee)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:230:23 [INFO] [stdout] | [INFO] [stdout] 230 | body: box self.generalize_expr(skolems, body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 230 | body: Box::new(self.generalize_expr(skolems, body)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:248:23 [INFO] [stdout] | [INFO] [stdout] 248 | body: box self.generalize_expr(skolems, body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 248 | body: Box::new(self.generalize_expr(skolems, body)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:249:23 [INFO] [stdout] | [INFO] [stdout] 249 | cont: box self.generalize_expr(skolems, cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 249 | cont: Box::new(self.generalize_expr(skolems, cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:257:23 [INFO] [stdout] | [INFO] [stdout] 257 | cond: box self.generalize_expr(skolems, cond), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 257 | cond: Box::new(self.generalize_expr(skolems, cond)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:259:23 [INFO] [stdout] | [INFO] [stdout] 259 | then: box self.generalize_expr(skolems, then), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 259 | then: Box::new(self.generalize_expr(skolems, then)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:247:42 [INFO] [stdout] | [INFO] [stdout] 247 | } => self.convert_expr(cond, box move |cond_value| { [INFO] [stdout] | __________________________________________^ [INFO] [stdout] 248 | | let join_point_name = self.fresh("j"); [INFO] [stdout] 249 | | let join_point_name2 = join_point_name.clone(); [INFO] [stdout] 250 | | let return_type2 = return_type.clone(); [INFO] [stdout] ... | [INFO] [stdout] 275 | | } [INFO] [stdout] 276 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 247 ~ } => self.convert_expr(cond, Box::new(move |cond_value| { [INFO] [stdout] 248 + let join_point_name = self.fresh("j"); [INFO] [stdout] 249 + let join_point_name2 = join_point_name.clone(); [INFO] [stdout] 250 + let return_type2 = return_type.clone(); [INFO] [stdout] 251 + let join_cont = box move |value| anf::Expr::Jump { [INFO] [stdout] 252 + name: join_point_name2, [INFO] [stdout] 253 + args: vec![value], [INFO] [stdout] 254 + return_type: return_type2, [INFO] [stdout] 255 + }; [INFO] [stdout] 256 + let join_param = self.fresh("r"); [INFO] [stdout] 257 + anf::Expr::LetJoin { [INFO] [stdout] 258 + name: join_point_name, [INFO] [stdout] 259 + params: vec![anf::Binding { [INFO] [stdout] 260 + name: join_param.clone(), [INFO] [stdout] 261 + type_: return_type.clone(), [INFO] [stdout] 262 + }], [INFO] [stdout] 263 + return_type: return_type.clone(), [INFO] [stdout] 264 + body: box expr_cont(anf::Value::Var { [INFO] [stdout] 265 + name: join_param, [INFO] [stdout] 266 + type_args: Vec::new(), [INFO] [stdout] 267 + type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] 268 + }), [INFO] [stdout] 269 + cont: box anf::Expr::If { [INFO] [stdout] 270 + cond: cond_value, [INFO] [stdout] 271 + return_type, [INFO] [stdout] 272 + then: box self.convert_expr(then, join_cont.clone()), [INFO] [stdout] 273 + else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] 274 + }, [INFO] [stdout] 275 + } [INFO] [stdout] 276 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:260:24 [INFO] [stdout] | [INFO] [stdout] 260 | else_: box self.generalize_expr(skolems, else_), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 260 | else_: Box::new(self.generalize_expr(skolems, else_)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:269:32 [INFO] [stdout] | [INFO] [stdout] 269 | tc::Expr::Proj(box self.generalize_expr(skolems, tuple), index) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 269 | tc::Expr::Proj(Box::new(self.generalize_expr(skolems, tuple)), index) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:370:29 [INFO] [stdout] | [INFO] [stdout] 370 | ... box ret2.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 370 | Box::new(ret2.clone()), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:376:29 [INFO] [stdout] | [INFO] [stdout] 376 | ... box ret1.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 376 | Box::new(ret1.clone()), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:288:27 [INFO] [stdout] | [INFO] [stdout] 288 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 289 | | name: r, [INFO] [stdout] 290 | | type_args: Vec::new(), [INFO] [stdout] 291 | | type_: anf::Type::Tuple(types.clone()), [INFO] [stdout] 292 | | }), [INFO] [stdout] | |______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 288 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 289 + name: r, [INFO] [stdout] 290 + type_args: Vec::new(), [INFO] [stdout] 291 + type_: anf::Type::Tuple(types.clone()), [INFO] [stdout] 292 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:415:47 [INFO] [stdout] | [INFO] [stdout] 415 | Ok(Type::Func(tc_param_types, box tc_return_type)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 415 | Ok(Type::Func(tc_param_types, Box::new(tc_return_type))) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:520:35 [INFO] [stdout] | [INFO] [stdout] 520 | Ok((tc::Expr::Add(box lhs_elab, box rhs_elab), Type::Int)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 520 | Ok((tc::Expr::Add(Box::new(lhs_elab), box rhs_elab), Type::Int)) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:520:49 [INFO] [stdout] | [INFO] [stdout] 520 | Ok((tc::Expr::Add(box lhs_elab, box rhs_elab), Type::Int)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 520 | Ok((tc::Expr::Add(box lhs_elab, Box::new(rhs_elab)), Type::Int)) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:278:73 [INFO] [stdout] | [INFO] [stdout] 278 | core::Expr::Tuple(elements) => self.convert_many(&elements, box move |elements_val| { [INFO] [stdout] | _________________________________________________________________________^ [INFO] [stdout] 279 | | let r = self.fresh("t"); [INFO] [stdout] 280 | | let types = elements_val [INFO] [stdout] 281 | | .iter() [INFO] [stdout] ... | [INFO] [stdout] 293 | | } [INFO] [stdout] 294 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 278 ~ core::Expr::Tuple(elements) => self.convert_many(&elements, Box::new(move |elements_val| { [INFO] [stdout] 279 + let r = self.fresh("t"); [INFO] [stdout] 280 + let types = elements_val [INFO] [stdout] 281 + .iter() [INFO] [stdout] 282 + .map(ANFConverter::infer_value) [INFO] [stdout] 283 + .collect::>(); [INFO] [stdout] 284 + anf::Expr::LetTuple { [INFO] [stdout] 285 + name: r.clone(), [INFO] [stdout] 286 + types: types.clone(), [INFO] [stdout] 287 + elements: elements_val, [INFO] [stdout] 288 + cont: box expr_cont(anf::Value::Var { [INFO] [stdout] 289 + name: r, [INFO] [stdout] 290 + type_args: Vec::new(), [INFO] [stdout] 291 + type_: anf::Type::Tuple(types.clone()), [INFO] [stdout] 292 + }), [INFO] [stdout] 293 + } [INFO] [stdout] 294 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:532:50 [INFO] [stdout] | [INFO] [stdout] 532 | &mut Type::Func(param_types, box Type::TVar(return_var)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 532 | &mut Type::Func(param_types, Box::new(Type::TVar(return_var))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:541:33 [INFO] [stdout] | [INFO] [stdout] 541 | callee: box callee_elab, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 541 | callee: Box::new(callee_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:558:21 [INFO] [stdout] | [INFO] [stdout] 558 | box body_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 558 | Box::new(body_type.clone()), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:564:31 [INFO] [stdout] | [INFO] [stdout] 564 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 564 | body: Box::new(body_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:304:31 [INFO] [stdout] | [INFO] [stdout] 304 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 305 | | name: r, [INFO] [stdout] 306 | | type_args: Vec::new(), [INFO] [stdout] 307 | | type_: element_type.clone(), [INFO] [stdout] 308 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 304 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 305 + name: r, [INFO] [stdout] 306 + type_args: Vec::new(), [INFO] [stdout] 307 + type_: element_type.clone(), [INFO] [stdout] 308 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:639:29 [INFO] [stdout] | [INFO] [stdout] 639 | ... box body_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 639 | Box::new(body_type.clone()), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:652:31 [INFO] [stdout] | [INFO] [stdout] 652 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 652 | body: Box::new(body_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:653:31 [INFO] [stdout] | [INFO] [stdout] 653 | cont: box cont_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 653 | cont: Box::new(cont_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:671:31 [INFO] [stdout] | [INFO] [stdout] 671 | cond: box cond_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 671 | cond: Box::new(cond_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:673:31 [INFO] [stdout] | [INFO] [stdout] 673 | then: box then_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 673 | then: Box::new(then_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:674:32 [INFO] [stdout] | [INFO] [stdout] 674 | else_: box else_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 674 | else_: Box::new(else_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:295:76 [INFO] [stdout] | [INFO] [stdout] 295 | core::Expr::Proj(box tuple, index) => self.convert_expr(tuple, box move |tuple_val| { [INFO] [stdout] | ____________________________________________________________________________^ [INFO] [stdout] 296 | | let r = self.fresh("t"); [INFO] [stdout] 297 | | if let anf::Type::Tuple(element_types) = ANFConverter::infer_value(&tuple_val) { [INFO] [stdout] 298 | | let element_type = element_types[index as usize].clone(); [INFO] [stdout] ... | [INFO] [stdout] 312 | | } [INFO] [stdout] 313 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 295 ~ core::Expr::Proj(box tuple, index) => self.convert_expr(tuple, Box::new(move |tuple_val| { [INFO] [stdout] 296 + let r = self.fresh("t"); [INFO] [stdout] 297 + if let anf::Type::Tuple(element_types) = ANFConverter::infer_value(&tuple_val) { [INFO] [stdout] 298 + let element_type = element_types[index as usize].clone(); [INFO] [stdout] 299 + anf::Expr::LetProj { [INFO] [stdout] 300 + name: r.clone(), [INFO] [stdout] 301 + type_: element_type.clone(), [INFO] [stdout] 302 + tuple: tuple_val, [INFO] [stdout] 303 + index, [INFO] [stdout] 304 + cont: box expr_cont(anf::Value::Var { [INFO] [stdout] 305 + name: r, [INFO] [stdout] 306 + type_args: Vec::new(), [INFO] [stdout] 307 + type_: element_type.clone(), [INFO] [stdout] 308 + }), [INFO] [stdout] 309 + } [INFO] [stdout] 310 + } else { [INFO] [stdout] 311 + panic!("internal error: cannot take project of non-tuple type"); [INFO] [stdout] 312 + } [INFO] [stdout] 313 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:698:48 [INFO] [stdout] | [INFO] [stdout] 698 | ... Ok((tc::Expr::Proj(box tuple_elab, index), element_type.clone())) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 698 | Ok((tc::Expr::Proj(Box::new(tuple_elab), index), element_type.clone())) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:740:34 [INFO] [stdout] | [INFO] [stdout] 740 | Ok(tc::Expr::Add(box lhs_elab, box rhs_elab)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 740 | Ok(tc::Expr::Add(Box::new(lhs_elab), box rhs_elab)) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:331:48 [INFO] [stdout] | [INFO] [stdout] 331 | body: self.convert_expr(decl.body, box move |return_value| anf::Expr::Halt { [INFO] [stdout] | ________________________________________________^ [INFO] [stdout] 332 | | value: return_value, [INFO] [stdout] 333 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 331 ~ body: self.convert_expr(decl.body, Box::new(move |return_value| anf::Expr::Halt { [INFO] [stdout] 332 + value: return_value, [INFO] [stdout] 333 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:740:48 [INFO] [stdout] | [INFO] [stdout] 740 | Ok(tc::Expr::Add(box lhs_elab, box rhs_elab)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 740 | Ok(tc::Expr::Add(box lhs_elab, Box::new(rhs_elab))) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:748:59 [INFO] [stdout] | [INFO] [stdout] 748 | &mut Type::Func(param_types.to_vec(), box expected_type.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 748 | &mut Type::Func(param_types.to_vec(), Box::new(expected_type.clone())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:756:29 [INFO] [stdout] | [INFO] [stdout] 756 | callee: box callee_elab, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 756 | callee: Box::new(callee_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:799:63 [INFO] [stdout] | [INFO] [stdout] 799 | ... Type::Func(remaining_param_types, box return_type.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 799 | Type::Func(remaining_param_types, Box::new(return_type.clone())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:803:66 [INFO] [stdout] | [INFO] [stdout] 803 | ... surface::Expr::Abs(remaining_params, box body), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 803 | surface::Expr::Abs(remaining_params, Box::new(body)), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:812:27 [INFO] [stdout] | [INFO] [stdout] 812 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 812 | body: Box::new(body_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:888:29 [INFO] [stdout] | [INFO] [stdout] 888 | ... box body_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 888 | Box::new(body_type.clone()), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:900:27 [INFO] [stdout] | [INFO] [stdout] 900 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 900 | body: Box::new(body_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:901:27 [INFO] [stdout] | [INFO] [stdout] 901 | cont: box cont_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 901 | cont: Box::new(cont_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:916:27 [INFO] [stdout] | [INFO] [stdout] 916 | cond: box cond_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 916 | cond: Box::new(cond_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:918:27 [INFO] [stdout] | [INFO] [stdout] 918 | then: box then_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 918 | then: Box::new(then_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:919:28 [INFO] [stdout] | [INFO] [stdout] 919 | else_: box else_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 919 | else_: Box::new(else_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1018:37 [INFO] [stdout] | [INFO] [stdout] 1018 | ... box decl_elab.return_type, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1018 | Box::new(decl_elab.return_type), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1045:17 [INFO] [stdout] | [INFO] [stdout] 1045 | box self.type_tc_to_core(return_type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1045 | Box::new(self.type_tc_to_core(return_type)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1086:23 [INFO] [stdout] | [INFO] [stdout] 1086 | body: box self.expr_tc_to_core(body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1086 | body: Box::new(self.expr_tc_to_core(body)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1089:33 [INFO] [stdout] | [INFO] [stdout] 1089 | core::Expr::Add(box self.expr_tc_to_core(lhs), box self.expr_tc_to_core(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1089 | core::Expr::Add(Box::new(self.expr_tc_to_core(lhs)), box self.expr_tc_to_core(rhs)) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1089:64 [INFO] [stdout] | [INFO] [stdout] 1089 | core::Expr::Add(box self.expr_tc_to_core(lhs), box self.expr_tc_to_core(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1089 | core::Expr::Add(box self.expr_tc_to_core(lhs), Box::new(self.expr_tc_to_core(rhs))) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1107:23 [INFO] [stdout] | [INFO] [stdout] 1107 | body: box self.expr_tc_to_core(body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1107 | body: Box::new(self.expr_tc_to_core(body)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1108:23 [INFO] [stdout] | [INFO] [stdout] 1108 | cont: box self.expr_tc_to_core(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1108 | cont: Box::new(self.expr_tc_to_core(cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1116:23 [INFO] [stdout] | [INFO] [stdout] 1116 | cond: box self.expr_tc_to_core(cond), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1116 | cond: Box::new(self.expr_tc_to_core(cond)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1118:23 [INFO] [stdout] | [INFO] [stdout] 1118 | then: box self.expr_tc_to_core(then), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1118 | then: Box::new(self.expr_tc_to_core(then)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1119:24 [INFO] [stdout] | [INFO] [stdout] 1119 | else_: box self.expr_tc_to_core(else_), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1119 | else_: Box::new(self.expr_tc_to_core(else_)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1122:25 [INFO] [stdout] | [INFO] [stdout] 1122 | callee: box self.expr_tc_to_core(callee), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1122 | callee: Box::new(self.expr_tc_to_core(callee)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1135:34 [INFO] [stdout] | [INFO] [stdout] 1135 | core::Expr::Proj(box self.expr_tc_to_core(tuple), index) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1135 | core::Expr::Proj(Box::new(self.expr_tc_to_core(tuple)), index) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:72:23 [INFO] [stdout] | [INFO] [stdout] 72 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 72 | cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:83:23 [INFO] [stdout] | [INFO] [stdout] 83 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 | cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:96:23 [INFO] [stdout] | [INFO] [stdout] 96 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 96 | cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:107:23 [INFO] [stdout] | [INFO] [stdout] 107 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 107 | cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:120:23 [INFO] [stdout] | [INFO] [stdout] 120 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 120 | cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:130:23 [INFO] [stdout] | [INFO] [stdout] 130 | then: box self.lift_expr(then), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 130 | then: Box::new(self.lift_expr(then)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:131:24 [INFO] [stdout] | [INFO] [stdout] 131 | else_: box self.lift_expr(else_), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 131 | else_: Box::new(self.lift_expr(else_)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:105:19 [INFO] [stdout] | [INFO] [stdout] 105 | pass: box pass, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 105 | pass: Box::new(pass), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:147:19 [INFO] [stdout] | [INFO] [stdout] 147 | pass: box pass, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 147 | pass: Box::new(pass), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:216:23 [INFO] [stdout] | [INFO] [stdout] 216 | pipeline: box IdPipeline { [INFO] [stdout] | _______________________^ [INFO] [stdout] 217 | | _source: PhantomData, [INFO] [stdout] 218 | | }, [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 216 ~ pipeline: Box::new(IdPipeline { [INFO] [stdout] 217 + _source: PhantomData, [INFO] [stdout] 218 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:237:23 [INFO] [stdout] | [INFO] [stdout] 237 | pass: box pass, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 237 | pass: Box::new(pass), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:235:23 [INFO] [stdout] | [INFO] [stdout] 235 | pipeline: box PassPipeline { [INFO] [stdout] | _______________________^ [INFO] [stdout] 236 | | pipeline: self.pipeline, [INFO] [stdout] 237 | | pass: box pass, [INFO] [stdout] 238 | | }, [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 235 ~ pipeline: Box::new(PassPipeline { [INFO] [stdout] 236 + pipeline: self.pipeline, [INFO] [stdout] 237 + pass: box pass, [INFO] [stdout] 238 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:58:17 [INFO] [stdout] | [INFO] [stdout] 58 | box Typechecker::type_core_to_tc(return_type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 58 | Box::new(Typechecker::type_core_to_tc(return_type)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:109:45 [INFO] [stdout] | [INFO] [stdout] 109 | Type::Func(parameter_types, box return_type) [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 109 | Type::Func(parameter_types, Box::new(return_type)) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:170:45 [INFO] [stdout] | [INFO] [stdout] 170 | Type::Func(gen_param_types, box gen_return_type) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 170 | Type::Func(gen_param_types, Box::new(gen_return_type)) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:208:17 [INFO] [stdout] | [INFO] [stdout] 208 | box self.generalize_expr(skolems, lhs), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 208 | Box::new(self.generalize_expr(skolems, lhs)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:209:17 [INFO] [stdout] | [INFO] [stdout] 209 | box self.generalize_expr(skolems, rhs), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 209 | Box::new(self.generalize_expr(skolems, rhs)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:212:25 [INFO] [stdout] | [INFO] [stdout] 212 | callee: box self.generalize_expr(skolems, callee), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 212 | callee: Box::new(self.generalize_expr(skolems, callee)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:230:23 [INFO] [stdout] | [INFO] [stdout] 230 | body: box self.generalize_expr(skolems, body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 230 | body: Box::new(self.generalize_expr(skolems, body)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:248:23 [INFO] [stdout] | [INFO] [stdout] 248 | body: box self.generalize_expr(skolems, body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 248 | body: Box::new(self.generalize_expr(skolems, body)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:249:23 [INFO] [stdout] | [INFO] [stdout] 249 | cont: box self.generalize_expr(skolems, cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 249 | cont: Box::new(self.generalize_expr(skolems, cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:257:23 [INFO] [stdout] | [INFO] [stdout] 257 | cond: box self.generalize_expr(skolems, cond), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 257 | cond: Box::new(self.generalize_expr(skolems, cond)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:259:23 [INFO] [stdout] | [INFO] [stdout] 259 | then: box self.generalize_expr(skolems, then), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 259 | then: Box::new(self.generalize_expr(skolems, then)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:260:24 [INFO] [stdout] | [INFO] [stdout] 260 | else_: box self.generalize_expr(skolems, else_), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 260 | else_: Box::new(self.generalize_expr(skolems, else_)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:269:32 [INFO] [stdout] | [INFO] [stdout] 269 | tc::Expr::Proj(box self.generalize_expr(skolems, tuple), index) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 269 | tc::Expr::Proj(Box::new(self.generalize_expr(skolems, tuple)), index) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:370:29 [INFO] [stdout] | [INFO] [stdout] 370 | ... box ret2.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 370 | Box::new(ret2.clone()), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:376:29 [INFO] [stdout] | [INFO] [stdout] 376 | ... box ret1.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 376 | Box::new(ret1.clone()), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:415:47 [INFO] [stdout] | [INFO] [stdout] 415 | Ok(Type::Func(tc_param_types, box tc_return_type)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 415 | Ok(Type::Func(tc_param_types, Box::new(tc_return_type))) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:520:35 [INFO] [stdout] | [INFO] [stdout] 520 | Ok((tc::Expr::Add(box lhs_elab, box rhs_elab), Type::Int)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 520 | Ok((tc::Expr::Add(Box::new(lhs_elab), box rhs_elab), Type::Int)) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:520:49 [INFO] [stdout] | [INFO] [stdout] 520 | Ok((tc::Expr::Add(box lhs_elab, box rhs_elab), Type::Int)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 520 | Ok((tc::Expr::Add(box lhs_elab, Box::new(rhs_elab)), Type::Int)) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:532:50 [INFO] [stdout] | [INFO] [stdout] 532 | &mut Type::Func(param_types, box Type::TVar(return_var)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 532 | &mut Type::Func(param_types, Box::new(Type::TVar(return_var))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:541:33 [INFO] [stdout] | [INFO] [stdout] 541 | callee: box callee_elab, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 541 | callee: Box::new(callee_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:558:21 [INFO] [stdout] | [INFO] [stdout] 558 | box body_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 558 | Box::new(body_type.clone()), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:564:31 [INFO] [stdout] | [INFO] [stdout] 564 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 564 | body: Box::new(body_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:639:29 [INFO] [stdout] | [INFO] [stdout] 639 | ... box body_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 639 | Box::new(body_type.clone()), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:652:31 [INFO] [stdout] | [INFO] [stdout] 652 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 652 | body: Box::new(body_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:653:31 [INFO] [stdout] | [INFO] [stdout] 653 | cont: box cont_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 653 | cont: Box::new(cont_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:671:31 [INFO] [stdout] | [INFO] [stdout] 671 | cond: box cond_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 671 | cond: Box::new(cond_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:673:31 [INFO] [stdout] | [INFO] [stdout] 673 | then: box then_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 673 | then: Box::new(then_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:674:32 [INFO] [stdout] | [INFO] [stdout] 674 | else_: box else_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 674 | else_: Box::new(else_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:698:48 [INFO] [stdout] | [INFO] [stdout] 698 | ... Ok((tc::Expr::Proj(box tuple_elab, index), element_type.clone())) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 698 | Ok((tc::Expr::Proj(Box::new(tuple_elab), index), element_type.clone())) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:740:34 [INFO] [stdout] | [INFO] [stdout] 740 | Ok(tc::Expr::Add(box lhs_elab, box rhs_elab)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 740 | Ok(tc::Expr::Add(Box::new(lhs_elab), box rhs_elab)) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:740:48 [INFO] [stdout] | [INFO] [stdout] 740 | Ok(tc::Expr::Add(box lhs_elab, box rhs_elab)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 740 | Ok(tc::Expr::Add(box lhs_elab, Box::new(rhs_elab))) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:748:59 [INFO] [stdout] | [INFO] [stdout] 748 | &mut Type::Func(param_types.to_vec(), box expected_type.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 748 | &mut Type::Func(param_types.to_vec(), Box::new(expected_type.clone())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:756:29 [INFO] [stdout] | [INFO] [stdout] 756 | callee: box callee_elab, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 756 | callee: Box::new(callee_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:799:63 [INFO] [stdout] | [INFO] [stdout] 799 | ... Type::Func(remaining_param_types, box return_type.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 799 | Type::Func(remaining_param_types, Box::new(return_type.clone())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:803:66 [INFO] [stdout] | [INFO] [stdout] 803 | ... surface::Expr::Abs(remaining_params, box body), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 803 | surface::Expr::Abs(remaining_params, Box::new(body)), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:812:27 [INFO] [stdout] | [INFO] [stdout] 812 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 812 | body: Box::new(body_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:888:29 [INFO] [stdout] | [INFO] [stdout] 888 | ... box body_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 888 | Box::new(body_type.clone()), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:900:27 [INFO] [stdout] | [INFO] [stdout] 900 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 900 | body: Box::new(body_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:901:27 [INFO] [stdout] | [INFO] [stdout] 901 | cont: box cont_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 901 | cont: Box::new(cont_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:916:27 [INFO] [stdout] | [INFO] [stdout] 916 | cond: box cond_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 916 | cond: Box::new(cond_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:918:27 [INFO] [stdout] | [INFO] [stdout] 918 | then: box then_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 918 | then: Box::new(then_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:919:28 [INFO] [stdout] | [INFO] [stdout] 919 | else_: box else_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 919 | else_: Box::new(else_elab), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1018:37 [INFO] [stdout] | [INFO] [stdout] 1018 | ... box decl_elab.return_type, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1018 | Box::new(decl_elab.return_type), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1045:17 [INFO] [stdout] | [INFO] [stdout] 1045 | box self.type_tc_to_core(return_type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1045 | Box::new(self.type_tc_to_core(return_type)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1086:23 [INFO] [stdout] | [INFO] [stdout] 1086 | body: box self.expr_tc_to_core(body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1086 | body: Box::new(self.expr_tc_to_core(body)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1089:33 [INFO] [stdout] | [INFO] [stdout] 1089 | core::Expr::Add(box self.expr_tc_to_core(lhs), box self.expr_tc_to_core(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1089 | core::Expr::Add(Box::new(self.expr_tc_to_core(lhs)), box self.expr_tc_to_core(rhs)) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1089:64 [INFO] [stdout] | [INFO] [stdout] 1089 | core::Expr::Add(box self.expr_tc_to_core(lhs), box self.expr_tc_to_core(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1089 | core::Expr::Add(box self.expr_tc_to_core(lhs), Box::new(self.expr_tc_to_core(rhs))) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1107:23 [INFO] [stdout] | [INFO] [stdout] 1107 | body: box self.expr_tc_to_core(body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1107 | body: Box::new(self.expr_tc_to_core(body)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1108:23 [INFO] [stdout] | [INFO] [stdout] 1108 | cont: box self.expr_tc_to_core(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1108 | cont: Box::new(self.expr_tc_to_core(cont)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1116:23 [INFO] [stdout] | [INFO] [stdout] 1116 | cond: box self.expr_tc_to_core(cond), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1116 | cond: Box::new(self.expr_tc_to_core(cond)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1118:23 [INFO] [stdout] | [INFO] [stdout] 1118 | then: box self.expr_tc_to_core(then), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1118 | then: Box::new(self.expr_tc_to_core(then)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1119:24 [INFO] [stdout] | [INFO] [stdout] 1119 | else_: box self.expr_tc_to_core(else_), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1119 | else_: Box::new(self.expr_tc_to_core(else_)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1122:25 [INFO] [stdout] | [INFO] [stdout] 1122 | callee: box self.expr_tc_to_core(callee), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1122 | callee: Box::new(self.expr_tc_to_core(callee)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1135:34 [INFO] [stdout] | [INFO] [stdout] 1135 | core::Expr::Proj(box self.expr_tc_to_core(tuple), index) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1135 | core::Expr::Proj(Box::new(self.expr_tc_to_core(tuple)), index) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/target/debug/build/lamb-1f822784bb7b189f/out/surface/parser.rs:3694:38 [INFO] [stdout] | [INFO] [stdout] 3694 | Some(type_) => Expr::Ann(box expr, type_), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 3694 | Some(type_) => Expr::Ann(Box::new(expr), type_), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/target/debug/build/lamb-1f822784bb7b189f/out/surface/parser.rs:3795:16 [INFO] [stdout] | [INFO] [stdout] 3795 | Expr::Proj(box tuple, index as u8) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 3795 | Expr::Proj(Box::new(tuple), index as u8) [INFO] [stdout] | ~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/target/debug/build/lamb-1f822784bb7b189f/out/surface/parser.rs:3694:38 [INFO] [stdout] | [INFO] [stdout] 3694 | Some(type_) => Expr::Ann(box expr, type_), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 3694 | Some(type_) => Expr::Ann(Box::new(expr), type_), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/target/debug/build/lamb-1f822784bb7b189f/out/surface/parser.rs:3795:16 [INFO] [stdout] | [INFO] [stdout] 3795 | Expr::Proj(box tuple, index as u8) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 3795 | Expr::Proj(Box::new(tuple), index as u8) [INFO] [stdout] | ~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Scheme` [INFO] [stdout] --> src/lifted/syntax.rs:3:31 [INFO] [stdout] | [INFO] [stdout] 3 | pub use crate::anf::{Binding, Scheme, Type, Value}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::common::Literal` [INFO] [stdout] --> src/lifted/syntax.rs:4:9 [INFO] [stdout] | [INFO] [stdout] 4 | pub use crate::common::Literal; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Scheme` [INFO] [stdout] --> src/lifted/syntax.rs:3:31 [INFO] [stdout] | [INFO] [stdout] 3 | pub use crate::anf::{Binding, Scheme, Type, Value}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::common::Literal` [INFO] [stdout] --> src/lifted/syntax.rs:4:9 [INFO] [stdout] | [INFO] [stdout] 4 | pub use crate::common::Literal; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 118 previous errors; 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `lamb` (bin "lamb" test) due to 119 previous errors; 2 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: aborting due to 118 previous errors; 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `lamb` (bin "lamb") due to 119 previous errors; 2 warnings emitted [INFO] running `Command { std: "docker" "inspect" "cda8fd798a737570c4ddbbeafca51c59a3d3899c006c96a4f8951a06e8d7b6fd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cda8fd798a737570c4ddbbeafca51c59a3d3899c006c96a4f8951a06e8d7b6fd", kill_on_drop: false }` [INFO] [stdout] cda8fd798a737570c4ddbbeafca51c59a3d3899c006c96a4f8951a06e8d7b6fd