[INFO] cloning repository https://github.com/akitsu-sanae/dtmsc [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/akitsu-sanae/dtmsc" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fakitsu-sanae%2Fdtmsc", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fakitsu-sanae%2Fdtmsc'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 95b69bf9ebe17a161ea37dd373f495020d4525a3 [INFO] checking akitsu-sanae/dtmsc against try#163937523761cc0def32f1ba9ed63fdf65ad3478 for pr-156749 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fakitsu-sanae%2Fdtmsc" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/akitsu-sanae/dtmsc [INFO] finished tweaking git repo https://github.com/akitsu-sanae/dtmsc [INFO] tweaked toml for git repo https://github.com/akitsu-sanae/dtmsc written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/akitsu-sanae/dtmsc on toolchain 163937523761cc0def32f1ba9ed63fdf65ad3478 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+163937523761cc0def32f1ba9ed63fdf65ad3478" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/akitsu-sanae/dtmsc 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" "+163937523761cc0def32f1ba9ed63fdf65ad3478" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3e793bdf10248eb2ddbd6b0faebed8155c11b4589982e2893733958d93e8d540" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] 61c4eb0d60463c007f5931de45cbfadf3b4db38a6e08136f9102766c549543e7 [INFO] running `Command { std: "docker" "start" "61c4eb0d60463c007f5931de45cbfadf3b4db38a6e08136f9102766c549543e7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "61c4eb0d60463c007f5931de45cbfadf3b4db38a6e08136f9102766c549543e7" "/opt/rustwide/cargo-home/bin/cargo" "+163937523761cc0def32f1ba9ed63fdf65ad3478" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "61c4eb0d60463c007f5931de45cbfadf3b4db38a6e08136f9102766c549543e7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "61c4eb0d60463c007f5931de45cbfadf3b4db38a6e08136f9102766c549543e7" "/opt/rustwide/cargo-home/bin/cargo" "+163937523761cc0def32f1ba9ed63fdf65ad3478" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] Compiling peg-runtime v0.6.1 [INFO] [stderr] Compiling peg-macros v0.6.1 [INFO] [stderr] Checking peg v0.6.1 [INFO] [stderr] Checking dtmsc v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/main.rs:1:12 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(box_patterns)] [INFO] [stdout] | ^^^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: removed in CURRENT_RUSTC_VERSION [INFO] [stdout] = note: superseded by `deref_patterns` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/main.rs:1:12 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(box_patterns)] [INFO] [stdout] | ^^^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: removed in CURRENT_RUSTC_VERSION [INFO] [stdout] = note: superseded by `deref_patterns` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:43:37 [INFO] [stdout] | [INFO] [stdout] 43 | Lam(TermVar(ref ident), box ref ty, box ref t) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:43:49 [INFO] [stdout] | [INFO] [stdout] 43 | Lam(TermVar(ref ident), box ref ty, box ref t) => write!( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:52:17 [INFO] [stdout] | [INFO] [stdout] 52 | App(box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:52:29 [INFO] [stdout] | [INFO] [stdout] 52 | App(box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:58:39 [INFO] [stdout] | [INFO] [stdout] 58 | Code(StageVar(ref ident), box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:61:41 [INFO] [stdout] | [INFO] [stdout] 61 | Escape(StageVar(ref ident), box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:64:43 [INFO] [stdout] | [INFO] [stdout] 64 | StageLam(StageVar(ref ident), box ref t) => write!( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:72:22 [INFO] [stdout] | [INFO] [stdout] 72 | StageApp(box ref t, ref stage) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:83:38 [INFO] [stdout] | [INFO] [stdout] 83 | CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, t), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:85:33 [INFO] [stdout] | [INFO] [stdout] 85 | Let(TermVar(ref x), box ref ty, box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:85:45 [INFO] [stdout] | [INFO] [stdout] 85 | Let(TermVar(ref x), box ref ty, box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:85:57 [INFO] [stdout] | [INFO] [stdout] 85 | Let(TermVar(ref x), box ref ty, box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:95:33 [INFO] [stdout] | [INFO] [stdout] 95 | Fix(TermVar(ref x), box ref ty, box ref t) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:95:45 [INFO] [stdout] | [INFO] [stdout] 95 | Fix(TermVar(ref x), box ref ty, box ref t) => write!( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:104:17 [INFO] [stdout] | [INFO] [stdout] 104 | Ifz(box ref cond, box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:43:37 [INFO] [stdout] | [INFO] [stdout] 43 | Lam(TermVar(ref ident), box ref ty, box ref t) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:43:49 [INFO] [stdout] | [INFO] [stdout] 43 | Lam(TermVar(ref ident), box ref ty, box ref t) => write!( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:52:17 [INFO] [stdout] | [INFO] [stdout] 52 | App(box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:52:29 [INFO] [stdout] | [INFO] [stdout] 52 | App(box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:58:39 [INFO] [stdout] | [INFO] [stdout] 58 | Code(StageVar(ref ident), box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:61:41 [INFO] [stdout] | [INFO] [stdout] 61 | Escape(StageVar(ref ident), box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:64:43 [INFO] [stdout] | [INFO] [stdout] 64 | StageLam(StageVar(ref ident), box ref t) => write!( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:72:22 [INFO] [stdout] | [INFO] [stdout] 72 | StageApp(box ref t, ref stage) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:104:31 [INFO] [stdout] | [INFO] [stdout] 104 | Ifz(box ref cond, box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:104:43 [INFO] [stdout] | [INFO] [stdout] 104 | Ifz(box ref cond, box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:129:40 [INFO] [stdout] | [INFO] [stdout] 129 | DepFun(TermVar(ref ident), box ref ty1, box ref ty2) => { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:129:53 [INFO] [stdout] | [INFO] [stdout] 129 | DepFun(TermVar(ref ident), box ref ty1, box ref ty2) => { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:136:17 [INFO] [stdout] | [INFO] [stdout] 136 | App(box ref ty, box ref t) => write!(f, "{} {}", ty, t), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:136:29 [INFO] [stdout] | [INFO] [stdout] 136 | App(box ref ty, box ref t) => write!(f, "{} {}", ty, t), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:137:39 [INFO] [stdout] | [INFO] [stdout] 137 | Code(StageVar(ref ident), box ref ty) => write!(f, "|>{}. {}", ident, ty), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:138:44 [INFO] [stdout] | [INFO] [stdout] 138 | StageBind(StageVar(ref ident), box ref ty) => write!(f, "forall {}. {}", ident, ty), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:7:27 [INFO] [stdout] | [INFO] [stdout] 7 | Term::Lam(x_, box ty, box t_) if x != x_ => Term::Lam( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:7:35 [INFO] [stdout] | [INFO] [stdout] 7 | Term::Lam(x_, box ty, box t_) if x != x_ => Term::Lam( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:12:23 [INFO] [stdout] | [INFO] [stdout] 12 | Term::App(box t1, box t2) => Term::App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:12:31 [INFO] [stdout] | [INFO] [stdout] 12 | Term::App(box t1, box t2) => Term::App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:16:35 [INFO] [stdout] | [INFO] [stdout] 16 | Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t_.subst_term(x, t))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:83:38 [INFO] [stdout] | [INFO] [stdout] 83 | CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, t), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:85:33 [INFO] [stdout] | [INFO] [stdout] 85 | Let(TermVar(ref x), box ref ty, box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:85:45 [INFO] [stdout] | [INFO] [stdout] 85 | Let(TermVar(ref x), box ref ty, box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:85:57 [INFO] [stdout] | [INFO] [stdout] 85 | Let(TermVar(ref x), box ref ty, box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:95:33 [INFO] [stdout] | [INFO] [stdout] 95 | Fix(TermVar(ref x), box ref ty, box ref t) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:17:37 [INFO] [stdout] | [INFO] [stdout] 17 | Term::Escape(stage_var, box t_) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:95:45 [INFO] [stdout] | [INFO] [stdout] 95 | Fix(TermVar(ref x), box ref ty, box ref t) => write!( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:104:17 [INFO] [stdout] | [INFO] [stdout] 104 | Ifz(box ref cond, box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:20:39 [INFO] [stdout] | [INFO] [stdout] 20 | Term::StageLam(stage_var, box t_) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:104:31 [INFO] [stdout] | [INFO] [stdout] 104 | Ifz(box ref cond, box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:23:28 [INFO] [stdout] | [INFO] [stdout] 23 | Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t_.subst_term(x, t)), stage), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:104:43 [INFO] [stdout] | [INFO] [stdout] 104 | Ifz(box ref cond, box ref t1, box ref t2) => write!( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:129:40 [INFO] [stdout] | [INFO] [stdout] 129 | DepFun(TermVar(ref ident), box ref ty1, box ref ty2) => { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:24:34 [INFO] [stdout] | [INFO] [stdout] 24 | Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t_.subst_term(x, t))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:129:53 [INFO] [stdout] | [INFO] [stdout] 129 | DepFun(TermVar(ref ident), box ref ty1, box ref ty2) => { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:136:17 [INFO] [stdout] | [INFO] [stdout] 136 | App(box ref ty, box ref t) => write!(f, "{} {}", ty, t), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:32:20 [INFO] [stdout] | [INFO] [stdout] 32 | Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:136:29 [INFO] [stdout] | [INFO] [stdout] 136 | App(box ref ty, box ref t) => write!(f, "{} {}", ty, t), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:32:28 [INFO] [stdout] | [INFO] [stdout] 32 | Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:137:39 [INFO] [stdout] | [INFO] [stdout] 137 | Code(StageVar(ref ident), box ref ty) => write!(f, "|>{}. {}", ident, ty), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:33:17 [INFO] [stdout] | [INFO] [stdout] 33 | App(box t1, box t2) => App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/printer.rs:138:44 [INFO] [stdout] | [INFO] [stdout] 138 | StageBind(StageVar(ref ident), box ref ty) => write!(f, "forall {}. {}", ident, ty), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:33:25 [INFO] [stdout] | [INFO] [stdout] 33 | App(box t1, box t2) => App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:7:27 [INFO] [stdout] | [INFO] [stdout] 7 | Term::Lam(x_, box ty, box t_) if x != x_ => Term::Lam( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:37:29 [INFO] [stdout] | [INFO] [stdout] 37 | Code(stage_var, box t) if stage_var == a => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:7:35 [INFO] [stdout] | [INFO] [stdout] 7 | Term::Lam(x_, box ty, box t_) if x != x_ => Term::Lam( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:12:23 [INFO] [stdout] | [INFO] [stdout] 12 | Term::App(box t1, box t2) => Term::App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:12:31 [INFO] [stdout] | [INFO] [stdout] 12 | Term::App(box t1, box t2) => Term::App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:44:29 [INFO] [stdout] | [INFO] [stdout] 44 | Code(stage_var, box t) => Code(stage_var, Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:16:35 [INFO] [stdout] | [INFO] [stdout] 16 | Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t_.subst_term(x, t))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:45:31 [INFO] [stdout] | [INFO] [stdout] 45 | Escape(stage_var, box t) if stage_var == a => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:17:37 [INFO] [stdout] | [INFO] [stdout] 17 | Term::Escape(stage_var, box t_) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:20:39 [INFO] [stdout] | [INFO] [stdout] 20 | Term::StageLam(stage_var, box t_) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:51:31 [INFO] [stdout] | [INFO] [stdout] 51 | Escape(stage_var, box t) => Escape(stage_var, Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:23:28 [INFO] [stdout] | [INFO] [stdout] 23 | Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t_.subst_term(x, t)), stage), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:24:34 [INFO] [stdout] | [INFO] [stdout] 24 | Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t_.subst_term(x, t))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:52:33 [INFO] [stdout] | [INFO] [stdout] 52 | StageLam(stage_var, box t_) if stage_var != a => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:55:22 [INFO] [stdout] | [INFO] [stdout] 55 | StageApp(box t, stage_) => StageApp(Box::new(t.subst_stage(a, stage)), stage_), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:32:20 [INFO] [stdout] | [INFO] [stdout] 32 | Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:56:28 [INFO] [stdout] | [INFO] [stdout] 56 | CSP(stage_var, box t) if stage_var == a => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:62:28 [INFO] [stdout] | [INFO] [stdout] 62 | CSP(stage_var, box t) => CSP(stage_var, Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:74:24 [INFO] [stdout] | [INFO] [stdout] 74 | DepFun(x_, box ty1, box ty2) if x != x_ => DepFun( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | DepFun(x_, box ty1, box ty2) if x != x_ => DepFun( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:32:28 [INFO] [stdout] | [INFO] [stdout] 32 | Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:33:17 [INFO] [stdout] | [INFO] [stdout] 33 | App(box t1, box t2) => App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:33:25 [INFO] [stdout] | [INFO] [stdout] 33 | App(box t1, box t2) => App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:37:29 [INFO] [stdout] | [INFO] [stdout] 37 | Code(stage_var, box t) if stage_var == a => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:44:29 [INFO] [stdout] | [INFO] [stdout] 44 | Code(stage_var, box t) => Code(stage_var, Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:45:31 [INFO] [stdout] | [INFO] [stdout] 45 | Escape(stage_var, box t) if stage_var == a => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:51:31 [INFO] [stdout] | [INFO] [stdout] 51 | Escape(stage_var, box t) => Escape(stage_var, Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:79:24 [INFO] [stdout] | [INFO] [stdout] 79 | DepFun(x_, box ty1, box ty2) => { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:79:33 [INFO] [stdout] | [INFO] [stdout] 79 | DepFun(x_, box ty1, box ty2) => { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:82:17 [INFO] [stdout] | [INFO] [stdout] 82 | App(box ty, box arg) => App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:82:25 [INFO] [stdout] | [INFO] [stdout] 82 | App(box ty, box arg) => App( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:52:33 [INFO] [stdout] | [INFO] [stdout] 52 | StageLam(stage_var, box t_) if stage_var != a => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:55:22 [INFO] [stdout] | [INFO] [stdout] 55 | StageApp(box t, stage_) => StageApp(Box::new(t.subst_stage(a, stage)), stage_), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:56:28 [INFO] [stdout] | [INFO] [stdout] 56 | CSP(stage_var, box t) if stage_var == a => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:62:28 [INFO] [stdout] | [INFO] [stdout] 62 | CSP(stage_var, box t) => CSP(stage_var, Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:86:25 [INFO] [stdout] | [INFO] [stdout] 86 | Code(alpha, box ty) => Code(alpha, Box::new(ty.subst_term(x, t))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:74:24 [INFO] [stdout] | [INFO] [stdout] 74 | DepFun(x_, box ty1, box ty2) if x != x_ => DepFun( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | DepFun(x_, box ty1, box ty2) if x != x_ => DepFun( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:79:24 [INFO] [stdout] | [INFO] [stdout] 79 | DepFun(x_, box ty1, box ty2) => { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:87:30 [INFO] [stdout] | [INFO] [stdout] 87 | StageBind(alpha, box ty) => StageBind(alpha, Box::new(ty.subst_term(x, t))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:79:33 [INFO] [stdout] | [INFO] [stdout] 79 | DepFun(x_, box ty1, box ty2) => { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:96:24 [INFO] [stdout] | [INFO] [stdout] 96 | DepFun(x_, box ty1, box ty2) => DepFun( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:82:17 [INFO] [stdout] | [INFO] [stdout] 82 | App(box ty, box arg) => App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:82:25 [INFO] [stdout] | [INFO] [stdout] 82 | App(box ty, box arg) => App( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:96:33 [INFO] [stdout] | [INFO] [stdout] 96 | DepFun(x_, box ty1, box ty2) => DepFun( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:86:25 [INFO] [stdout] | [INFO] [stdout] 86 | Code(alpha, box ty) => Code(alpha, Box::new(ty.subst_term(x, t))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:101:17 [INFO] [stdout] | [INFO] [stdout] 101 | App(box ty, box arg) => App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:101:25 [INFO] [stdout] | [INFO] [stdout] 101 | App(box ty, box arg) => App( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:87:30 [INFO] [stdout] | [INFO] [stdout] 87 | StageBind(alpha, box ty) => StageBind(alpha, Box::new(ty.subst_term(x, t))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:105:26 [INFO] [stdout] | [INFO] [stdout] 105 | Code(alpha_, box ty) if alpha == alpha_ => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:112:25 [INFO] [stdout] | [INFO] [stdout] 112 | Code(alpha, box ty) => Code(alpha.clone(), Box::new(ty.subst_stage(alpha, stage))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:113:30 [INFO] [stdout] | [INFO] [stdout] 113 | StageBind(alpha, box ty) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:23:33 [INFO] [stdout] | [INFO] [stdout] 23 | Code(ref alpha, box ref v) => v.is_value_at(&vec![alpha.clone()]), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:24:29 [INFO] [stdout] | [INFO] [stdout] 24 | StageLam(_, box ref v) => v.is_value_at(&vec![]), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:96:24 [INFO] [stdout] | [INFO] [stdout] 96 | DepFun(x_, box ty1, box ty2) => DepFun( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:96:33 [INFO] [stdout] | [INFO] [stdout] 96 | DepFun(x_, box ty1, box ty2) => DepFun( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:101:17 [INFO] [stdout] | [INFO] [stdout] 101 | App(box ty, box arg) => App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:101:25 [INFO] [stdout] | [INFO] [stdout] 101 | App(box ty, box arg) => App( [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:105:26 [INFO] [stdout] | [INFO] [stdout] 105 | Code(alpha_, box ty) if alpha == alpha_ => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:112:25 [INFO] [stdout] | [INFO] [stdout] 112 | Code(alpha, box ty) => Code(alpha.clone(), Box::new(ty.subst_stage(alpha, stage))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/subst.rs:113:30 [INFO] [stdout] | [INFO] [stdout] 113 | StageBind(alpha, box ty) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:23:33 [INFO] [stdout] | [INFO] [stdout] 23 | Code(ref alpha, box ref v) => v.is_value_at(&vec![alpha.clone()]), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:24:29 [INFO] [stdout] | [INFO] [stdout] 24 | StageLam(_, box ref v) => v.is_value_at(&vec![]), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:30:27 [INFO] [stdout] | [INFO] [stdout] 30 | Lam(_, _, box ref v) => v.is_value_at(stage), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:31:21 [INFO] [stdout] | [INFO] [stdout] 31 | App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:31:33 [INFO] [stdout] | [INFO] [stdout] 31 | App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:32:33 [INFO] [stdout] | [INFO] [stdout] 32 | Code(ref alpha, box ref v) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:37:29 [INFO] [stdout] | [INFO] [stdout] 37 | StageLam(_, box ref v) => v.is_value_at(stage), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:38:26 [INFO] [stdout] | [INFO] [stdout] 38 | StageApp(box ref v, _) => v.is_value_at(stage), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:30:27 [INFO] [stdout] | [INFO] [stdout] 30 | Lam(_, _, box ref v) => v.is_value_at(stage), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:31:21 [INFO] [stdout] | [INFO] [stdout] 31 | App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:31:33 [INFO] [stdout] | [INFO] [stdout] 31 | App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:32:33 [INFO] [stdout] | [INFO] [stdout] 32 | Code(ref alpha, box ref v) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:37:29 [INFO] [stdout] | [INFO] [stdout] 37 | StageLam(_, box ref v) => v.is_value_at(stage), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:38:26 [INFO] [stdout] | [INFO] [stdout] 38 | StageApp(box ref v, _) => v.is_value_at(stage), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:39:35 [INFO] [stdout] | [INFO] [stdout] 39 | Escape(ref alpha, box ref v) if stage.len() != 1 => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:47:32 [INFO] [stdout] | [INFO] [stdout] 47 | CSP(ref alpha, box ref v) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:9:21 [INFO] [stdout] | [INFO] [stdout] 9 | App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:9:39 [INFO] [stdout] | [INFO] [stdout] 9 | App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:39:35 [INFO] [stdout] | [INFO] [stdout] 39 | Escape(ref alpha, box ref v) if stage.len() != 1 => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/ast/util.rs:47:32 [INFO] [stdout] | [INFO] [stdout] 47 | CSP(ref alpha, box ref v) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:9:21 [INFO] [stdout] | [INFO] [stdout] 9 | App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:9:39 [INFO] [stdout] | [INFO] [stdout] 9 | App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)), [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:10:46 [INFO] [stdout] | [INFO] [stdout] 10 | StageApp(box StageLam(alpha, box v), stage) if v.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:10:26 [INFO] [stdout] | [INFO] [stdout] 10 | StageApp(box StageLam(alpha, box v), stage) if v.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:13:57 [INFO] [stdout] | [INFO] [stdout] 13 | Escape(stage_var1, box Code(stage_var2, box v)) [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:13:36 [INFO] [stdout] | [INFO] [stdout] 13 | Escape(stage_var1, box Code(stage_var2, box v)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:37:25 [INFO] [stdout] | [INFO] [stdout] 37 | box App(box Const(op), box Const(Literal::Int(n1))), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:37:40 [INFO] [stdout] | [INFO] [stdout] 37 | box App(box Const(op), box Const(Literal::Int(n1))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:10:46 [INFO] [stdout] | [INFO] [stdout] 10 | StageApp(box StageLam(alpha, box v), stage) if v.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:10:26 [INFO] [stdout] | [INFO] [stdout] 10 | StageApp(box StageLam(alpha, box v), stage) if v.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:13:57 [INFO] [stdout] | [INFO] [stdout] 13 | Escape(stage_var1, box Code(stage_var2, box v)) [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:13:36 [INFO] [stdout] | [INFO] [stdout] 13 | Escape(stage_var1, box Code(stage_var2, box v)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:37:25 [INFO] [stdout] | [INFO] [stdout] 37 | box App(box Const(op), box Const(Literal::Int(n1))), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:37:40 [INFO] [stdout] | [INFO] [stdout] 37 | box App(box Const(op), box Const(Literal::Int(n1))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:37:17 [INFO] [stdout] | [INFO] [stdout] 37 | box App(box Const(op), box Const(Literal::Int(n1))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:38:17 [INFO] [stdout] | [INFO] [stdout] 38 | box Const(Literal::Int(n2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:47:17 [INFO] [stdout] | [INFO] [stdout] 47 | App(box t1, box t2) if !t1.is_value_at(&vec![]) => Ok(App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:47:25 [INFO] [stdout] | [INFO] [stdout] 47 | App(box t1, box t2) if !t1.is_value_at(&vec![]) => Ok(App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:51:17 [INFO] [stdout] | [INFO] [stdout] 51 | App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App( [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:51:24 [INFO] [stdout] | [INFO] [stdout] 51 | App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App( [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:55:17 [INFO] [stdout] | [INFO] [stdout] 55 | App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:55:25 [INFO] [stdout] | [INFO] [stdout] 55 | App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:58:25 [INFO] [stdout] | [INFO] [stdout] 58 | Code(alpha, box t) if !t.is_value_at(&vec![alpha.clone()]) => Ok(Code( [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:62:29 [INFO] [stdout] | [INFO] [stdout] 62 | StageLam(alpha, box t) if !t.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:65:22 [INFO] [stdout] | [INFO] [stdout] 65 | StageApp(box t, stage) if !t.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:68:42 [INFO] [stdout] | [INFO] [stdout] 68 | StageApp(box StageLam(alpha, box t), stage) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:68:22 [INFO] [stdout] | [INFO] [stdout] 68 | StageApp(box StageLam(alpha, box t), stage) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:72:20 [INFO] [stdout] | [INFO] [stdout] 72 | Let(x, box ty, box t1, box t2) => reduce_context( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:72:28 [INFO] [stdout] | [INFO] [stdout] 72 | Let(x, box ty, box t1, box t2) => reduce_context( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:72:36 [INFO] [stdout] | [INFO] [stdout] 72 | Let(x, box ty, box t1, box t2) => reduce_context( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:77:20 [INFO] [stdout] | [INFO] [stdout] 77 | Fix(x, box ty, box t) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:77:28 [INFO] [stdout] | [INFO] [stdout] 77 | Fix(x, box ty, box t) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:37:17 [INFO] [stdout] | [INFO] [stdout] 37 | box App(box Const(op), box Const(Literal::Int(n1))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:81:17 [INFO] [stdout] | [INFO] [stdout] 81 | Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:38:17 [INFO] [stdout] | [INFO] [stdout] 38 | box Const(Literal::Int(n2)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:81:27 [INFO] [stdout] | [INFO] [stdout] 81 | Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:47:17 [INFO] [stdout] | [INFO] [stdout] 47 | App(box t1, box t2) if !t1.is_value_at(&vec![]) => Ok(App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:81:35 [INFO] [stdout] | [INFO] [stdout] 81 | Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:47:25 [INFO] [stdout] | [INFO] [stdout] 47 | App(box t1, box t2) if !t1.is_value_at(&vec![]) => Ok(App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:92:17 [INFO] [stdout] | [INFO] [stdout] 92 | Ifz(box cond, box t1, box t2) => Ok(Ifz( [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:92:27 [INFO] [stdout] | [INFO] [stdout] 92 | Ifz(box cond, box t1, box t2) => Ok(Ifz( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:51:17 [INFO] [stdout] | [INFO] [stdout] 51 | App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App( [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:92:35 [INFO] [stdout] | [INFO] [stdout] 92 | Ifz(box cond, box t1, box t2) => Ok(Ifz( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:51:24 [INFO] [stdout] | [INFO] [stdout] 51 | App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App( [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:55:17 [INFO] [stdout] | [INFO] [stdout] 55 | App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:55:25 [INFO] [stdout] | [INFO] [stdout] 55 | App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:58:25 [INFO] [stdout] | [INFO] [stdout] 58 | Code(alpha, box t) if !t.is_value_at(&vec![alpha.clone()]) => Ok(Code( [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:62:29 [INFO] [stdout] | [INFO] [stdout] 62 | StageLam(alpha, box t) if !t.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:65:22 [INFO] [stdout] | [INFO] [stdout] 65 | StageApp(box t, stage) if !t.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:68:42 [INFO] [stdout] | [INFO] [stdout] 68 | StageApp(box StageLam(alpha, box t), stage) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:68:22 [INFO] [stdout] | [INFO] [stdout] 68 | StageApp(box StageLam(alpha, box t), stage) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:72:20 [INFO] [stdout] | [INFO] [stdout] 72 | Let(x, box ty, box t1, box t2) => reduce_context( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:72:28 [INFO] [stdout] | [INFO] [stdout] 72 | Let(x, box ty, box t1, box t2) => reduce_context( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:72:36 [INFO] [stdout] | [INFO] [stdout] 72 | Let(x, box ty, box t1, box t2) => reduce_context( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:77:20 [INFO] [stdout] | [INFO] [stdout] 77 | Fix(x, box ty, box t) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:77:28 [INFO] [stdout] | [INFO] [stdout] 77 | Fix(x, box ty, box t) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:81:17 [INFO] [stdout] | [INFO] [stdout] 81 | Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:81:27 [INFO] [stdout] | [INFO] [stdout] 81 | Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:81:35 [INFO] [stdout] | [INFO] [stdout] 81 | Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:92:17 [INFO] [stdout] | [INFO] [stdout] 92 | Ifz(box cond, box t1, box t2) => Ok(Ifz( [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:121:24 [INFO] [stdout] | [INFO] [stdout] 121 | Lam(x, ty, box t) if !t.is_value_at(stage) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:124:17 [INFO] [stdout] | [INFO] [stdout] 124 | App(box t1, box t2) if !t1.is_value_at(stage) => Ok(App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:124:25 [INFO] [stdout] | [INFO] [stdout] 124 | App(box t1, box t2) if !t1.is_value_at(stage) => Ok(App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:128:17 [INFO] [stdout] | [INFO] [stdout] 128 | App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:128:24 [INFO] [stdout] | [INFO] [stdout] 128 | App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:131:17 [INFO] [stdout] | [INFO] [stdout] 131 | App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:131:25 [INFO] [stdout] | [INFO] [stdout] 131 | App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:134:44 [INFO] [stdout] | [INFO] [stdout] 134 | Escape(alpha, box Code(alpha_, box v)) [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:134:27 [INFO] [stdout] | [INFO] [stdout] 134 | Escape(alpha, box Code(alpha_, box v)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:139:25 [INFO] [stdout] | [INFO] [stdout] 139 | Code(alpha, box t) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:148:27 [INFO] [stdout] | [INFO] [stdout] 148 | Escape(alpha, box t) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:160:29 [INFO] [stdout] | [INFO] [stdout] 160 | StageLam(alpha, box t) if !t.is_value_at(stage) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:163:22 [INFO] [stdout] | [INFO] [stdout] 163 | StageApp(box t, stage) if !t.is_value_at(&stage) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:166:42 [INFO] [stdout] | [INFO] [stdout] 166 | StageApp(box StageLam(alpha, box t), stage) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:166:22 [INFO] [stdout] | [INFO] [stdout] 166 | StageApp(box StageLam(alpha, box t), stage) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:169:24 [INFO] [stdout] | [INFO] [stdout] 169 | CSP(alpha, box t) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:182:20 [INFO] [stdout] | [INFO] [stdout] 182 | Let(x, box ty, box t1, box t2) => reduce_context( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:182:28 [INFO] [stdout] | [INFO] [stdout] 182 | Let(x, box ty, box t1, box t2) => reduce_context( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:92:27 [INFO] [stdout] | [INFO] [stdout] 92 | Ifz(box cond, box t1, box t2) => Ok(Ifz( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:182:36 [INFO] [stdout] | [INFO] [stdout] 182 | Let(x, box ty, box t1, box t2) => reduce_context( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:187:20 [INFO] [stdout] | [INFO] [stdout] 187 | Fix(x, box ty, box t) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:92:35 [INFO] [stdout] | [INFO] [stdout] 92 | Ifz(box cond, box t1, box t2) => Ok(Ifz( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:121:24 [INFO] [stdout] | [INFO] [stdout] 121 | Lam(x, ty, box t) if !t.is_value_at(stage) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:124:17 [INFO] [stdout] | [INFO] [stdout] 124 | App(box t1, box t2) if !t1.is_value_at(stage) => Ok(App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:124:25 [INFO] [stdout] | [INFO] [stdout] 124 | App(box t1, box t2) if !t1.is_value_at(stage) => Ok(App( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:128:17 [INFO] [stdout] | [INFO] [stdout] 128 | App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:128:24 [INFO] [stdout] | [INFO] [stdout] 128 | App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:131:17 [INFO] [stdout] | [INFO] [stdout] 131 | App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:131:25 [INFO] [stdout] | [INFO] [stdout] 131 | App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:134:44 [INFO] [stdout] | [INFO] [stdout] 134 | Escape(alpha, box Code(alpha_, box v)) [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:134:27 [INFO] [stdout] | [INFO] [stdout] 134 | Escape(alpha, box Code(alpha_, box v)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:139:25 [INFO] [stdout] | [INFO] [stdout] 139 | Code(alpha, box t) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:148:27 [INFO] [stdout] | [INFO] [stdout] 148 | Escape(alpha, box t) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:160:29 [INFO] [stdout] | [INFO] [stdout] 160 | StageLam(alpha, box t) if !t.is_value_at(stage) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:163:22 [INFO] [stdout] | [INFO] [stdout] 163 | StageApp(box t, stage) if !t.is_value_at(&stage) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:166:42 [INFO] [stdout] | [INFO] [stdout] 166 | StageApp(box StageLam(alpha, box t), stage) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:166:22 [INFO] [stdout] | [INFO] [stdout] 166 | StageApp(box StageLam(alpha, box t), stage) => { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:169:24 [INFO] [stdout] | [INFO] [stdout] 169 | CSP(alpha, box t) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:182:20 [INFO] [stdout] | [INFO] [stdout] 182 | Let(x, box ty, box t1, box t2) => reduce_context( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:182:28 [INFO] [stdout] | [INFO] [stdout] 182 | Let(x, box ty, box t1, box t2) => reduce_context( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:182:36 [INFO] [stdout] | [INFO] [stdout] 182 | Let(x, box ty, box t1, box t2) => reduce_context( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:187:20 [INFO] [stdout] | [INFO] [stdout] 187 | Fix(x, box ty, box t) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:187:28 [INFO] [stdout] | [INFO] [stdout] 187 | Fix(x, box ty, box t) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:187:28 [INFO] [stdout] | [INFO] [stdout] 187 | Fix(x, box ty, box t) => { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:191:17 [INFO] [stdout] | [INFO] [stdout] 191 | Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:191:27 [INFO] [stdout] | [INFO] [stdout] 191 | Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:191:35 [INFO] [stdout] | [INFO] [stdout] 191 | Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:202:17 [INFO] [stdout] | [INFO] [stdout] 202 | Ifz(box cond, box t1, box t2) => Ok(Ifz( [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:202:27 [INFO] [stdout] | [INFO] [stdout] 202 | Ifz(box cond, box t1, box t2) => Ok(Ifz( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:202:35 [INFO] [stdout] | [INFO] [stdout] 202 | Ifz(box cond, box t1, box t2) => Ok(Ifz( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:191:17 [INFO] [stdout] | [INFO] [stdout] 191 | Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:191:27 [INFO] [stdout] | [INFO] [stdout] 191 | Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:191:35 [INFO] [stdout] | [INFO] [stdout] 191 | Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:202:17 [INFO] [stdout] | [INFO] [stdout] 202 | Ifz(box cond, box t1, box t2) => Ok(Ifz( [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:202:27 [INFO] [stdout] | [INFO] [stdout] 202 | Ifz(box cond, box t1, box t2) => Ok(Ifz( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/reduce.rs:202:35 [INFO] [stdout] | [INFO] [stdout] 202 | Ifz(box cond, box t1, box t2) => Ok(Ifz( [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:83:22 [INFO] [stdout] | [INFO] [stdout] 83 | Lam(ref var, box ref arg_ty, box ref t) => { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:83:38 [INFO] [stdout] | [INFO] [stdout] 83 | Lam(ref var, box ref arg_ty, box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:93:13 [INFO] [stdout] | [INFO] [stdout] 93 | App(box ref t1, box ref t2) => { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:93:25 [INFO] [stdout] | [INFO] [stdout] 93 | App(box ref t1, box ref t2) => { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:95:40 [INFO] [stdout] | [INFO] [stdout] 95 | if let Type::DepFun(ref x, box ref param_ty, box ref body_ty) = ty { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:95:58 [INFO] [stdout] | [INFO] [stdout] 95 | if let Type::DepFun(ref x, box ref param_ty, box ref body_ty) = ty { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:83:22 [INFO] [stdout] | [INFO] [stdout] 83 | Lam(ref var, box ref arg_ty, box ref t) => { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:83:38 [INFO] [stdout] | [INFO] [stdout] 83 | Lam(ref var, box ref arg_ty, box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:93:13 [INFO] [stdout] | [INFO] [stdout] 93 | App(box ref t1, box ref t2) => { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:93:25 [INFO] [stdout] | [INFO] [stdout] 93 | App(box ref t1, box ref t2) => { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:95:40 [INFO] [stdout] | [INFO] [stdout] 95 | if let Type::DepFun(ref x, box ref param_ty, box ref body_ty) = ty { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:95:58 [INFO] [stdout] | [INFO] [stdout] 95 | if let Type::DepFun(ref x, box ref param_ty, box ref body_ty) = ty { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:116:25 [INFO] [stdout] | [INFO] [stdout] 116 | Code(ref alpha, box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:122:27 [INFO] [stdout] | [INFO] [stdout] 122 | Escape(ref alpha, box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:127:47 [INFO] [stdout] | [INFO] [stdout] 127 | if let Type::Code(alpha_, box ty) = ty { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:143:29 [INFO] [stdout] | [INFO] [stdout] 143 | StageLam(ref alpha, box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:147:18 [INFO] [stdout] | [INFO] [stdout] 147 | StageApp(box ref t, ref stage_) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:156:24 [INFO] [stdout] | [INFO] [stdout] 156 | CSP(ref alpha, box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:169:20 [INFO] [stdout] | [INFO] [stdout] 169 | Let(ref x, box ref ty, box ref t1, box ref t2) => type_check_impl( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:169:32 [INFO] [stdout] | [INFO] [stdout] 169 | Let(ref x, box ref ty, box ref t1, box ref t2) => type_check_impl( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:169:44 [INFO] [stdout] | [INFO] [stdout] 169 | Let(ref x, box ref ty, box ref t1, box ref t2) => type_check_impl( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:178:20 [INFO] [stdout] | [INFO] [stdout] 178 | Fix(ref x, box ref ty, box ref t) => { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:178:32 [INFO] [stdout] | [INFO] [stdout] 178 | Fix(ref x, box ref ty, box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:188:13 [INFO] [stdout] | [INFO] [stdout] 188 | Ifz(box ref cond, box ref t1, box ref t2) => { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:188:27 [INFO] [stdout] | [INFO] [stdout] 188 | Ifz(box ref cond, box ref t1, box ref t2) => { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:188:39 [INFO] [stdout] | [INFO] [stdout] 188 | Ifz(box ref cond, box ref t1, box ref t2) => { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:116:25 [INFO] [stdout] | [INFO] [stdout] 116 | Code(ref alpha, box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:122:27 [INFO] [stdout] | [INFO] [stdout] 122 | Escape(ref alpha, box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:127:47 [INFO] [stdout] | [INFO] [stdout] 127 | if let Type::Code(alpha_, box ty) = ty { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:143:29 [INFO] [stdout] | [INFO] [stdout] 143 | StageLam(ref alpha, box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:147:18 [INFO] [stdout] | [INFO] [stdout] 147 | StageApp(box ref t, ref stage_) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:156:24 [INFO] [stdout] | [INFO] [stdout] 156 | CSP(ref alpha, box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:169:20 [INFO] [stdout] | [INFO] [stdout] 169 | Let(ref x, box ref ty, box ref t1, box ref t2) => type_check_impl( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:169:32 [INFO] [stdout] | [INFO] [stdout] 169 | Let(ref x, box ref ty, box ref t1, box ref t2) => type_check_impl( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:169:44 [INFO] [stdout] | [INFO] [stdout] 169 | Let(ref x, box ref ty, box ref t1, box ref t2) => type_check_impl( [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:178:20 [INFO] [stdout] | [INFO] [stdout] 178 | Fix(ref x, box ref ty, box ref t) => { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:178:32 [INFO] [stdout] | [INFO] [stdout] 178 | Fix(ref x, box ref ty, box ref t) => { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:188:13 [INFO] [stdout] | [INFO] [stdout] 188 | Ifz(box ref cond, box ref t1, box ref t2) => { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:188:27 [INFO] [stdout] | [INFO] [stdout] 188 | Ifz(box ref cond, box ref t1, box ref t2) => { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_patterns` have been removed [INFO] [stdout] --> src/type_check.rs:188:39 [INFO] [stdout] | [INFO] [stdout] 188 | Ifz(box ref cond, box ref t1, box ref t2) => { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/printer.rs:47:17 [INFO] [stdout] | [INFO] [stdout] 47 | ty, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:48:32 [INFO] [stdout] | [INFO] [stdout] 48 | TermWithIndent(t, indent + 2), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 48 - TermWithIndent(t, indent + 2), [INFO] [stdout] 48 + TermWithIndent(f, indent + 2), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/ast/printer.rs:55:32 [INFO] [stdout] | [INFO] [stdout] 55 | TermWithIndent(t1, indent + 2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/ast/printer.rs:56:32 [INFO] [stdout] | [INFO] [stdout] 56 | TermWithIndent(t2, indent + 2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:59:63 [INFO] [stdout] | [INFO] [stdout] 59 | write!(f, "(|>{}. {})", ident, TermWithIndent(t, indent + 2)) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 59 - write!(f, "(|>{}. {})", ident, TermWithIndent(t, indent + 2)) [INFO] [stdout] 59 + write!(f, "(|>{}. {})", ident, TermWithIndent(f, indent + 2)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:62:63 [INFO] [stdout] | [INFO] [stdout] 62 | write!(f, "(<|{}. {})", ident, TermWithIndent(t, indent + 2)) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 62 - write!(f, "(<|{}. {})", ident, TermWithIndent(t, indent + 2)) [INFO] [stdout] 62 + write!(f, "(<|{}. {})", ident, TermWithIndent(f, indent + 2)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:68:32 [INFO] [stdout] | [INFO] [stdout] 68 | TermWithIndent(t, indent + 2), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 68 - TermWithIndent(t, indent + 2), [INFO] [stdout] 68 + TermWithIndent(f, indent + 2), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:81:42 [INFO] [stdout] | [INFO] [stdout] 81 | write!(f, "({}@{{{}}})", t, stage) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 81 - write!(f, "({}@{{{}}})", t, stage) [INFO] [stdout] 81 + write!(f, "({}@{{{}}})", f, stage) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:83:82 [INFO] [stdout] | [INFO] [stdout] 83 | CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, t), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 83 - CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, t), [INFO] [stdout] 83 + CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, f), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/printer.rs:89:17 [INFO] [stdout] | [INFO] [stdout] 89 | ty, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/ast/printer.rs:90:32 [INFO] [stdout] | [INFO] [stdout] 90 | TermWithIndent(t1, indent + 2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/ast/printer.rs:91:32 [INFO] [stdout] | [INFO] [stdout] 91 | TermWithIndent(t2, indent + 2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/printer.rs:99:17 [INFO] [stdout] | [INFO] [stdout] 99 | ty, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:100:32 [INFO] [stdout] | [INFO] [stdout] 100 | TermWithIndent(t, indent + 2), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 100 - TermWithIndent(t, indent + 2), [INFO] [stdout] 100 + TermWithIndent(f, indent + 2), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/ast/printer.rs:107:32 [INFO] [stdout] | [INFO] [stdout] 107 | TermWithIndent(cond, indent + 2), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/ast/printer.rs:108:32 [INFO] [stdout] | [INFO] [stdout] 108 | TermWithIndent(t1, indent + 2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/ast/printer.rs:109:32 [INFO] [stdout] | [INFO] [stdout] 109 | TermWithIndent(t2, indent + 2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope [INFO] [stdout] --> src/ast/printer.rs:131:43 [INFO] [stdout] | [INFO] [stdout] 131 | write!(f, "{} -> {}", ty1, ty2) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope [INFO] [stdout] --> src/ast/printer.rs:131:48 [INFO] [stdout] | [INFO] [stdout] 131 | write!(f, "{} -> {}", ty1, ty2) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope [INFO] [stdout] --> src/ast/printer.rs:133:55 [INFO] [stdout] | [INFO] [stdout] 133 | write!(f, "Pi {}: {}. {}", ident, ty1, ty2) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope [INFO] [stdout] --> src/ast/printer.rs:133:60 [INFO] [stdout] | [INFO] [stdout] 133 | write!(f, "Pi {}: {}. {}", ident, ty1, ty2) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/printer.rs:136:62 [INFO] [stdout] | [INFO] [stdout] 136 | App(box ref ty, box ref t) => write!(f, "{} {}", ty, t), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:136:66 [INFO] [stdout] | [INFO] [stdout] 136 | App(box ref ty, box ref t) => write!(f, "{} {}", ty, t), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 136 - App(box ref ty, box ref t) => write!(f, "{} {}", ty, t), [INFO] [stdout] 136 + App(box ref ty, box ref t) => write!(f, "{} {}", ty, f), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/printer.rs:137:83 [INFO] [stdout] | [INFO] [stdout] 137 | Code(StageVar(ref ident), box ref ty) => write!(f, "|>{}. {}", ident, ty), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/printer.rs:138:93 [INFO] [stdout] | [INFO] [stdout] 138 | StageBind(StageVar(ref ident), box ref ty) => write!(f, "forall {}. {}", ident, ty), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:9:26 [INFO] [stdout] | [INFO] [stdout] 9 | Box::new(ty.subst_term(x.clone(), t.clone())), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 9 - Box::new(ty.subst_term(x.clone(), t.clone())), [INFO] [stdout] 9 + Box::new(t.subst_term(x.clone(), t.clone())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t_` in this scope [INFO] [stdout] --> src/ast/subst.rs:10:26 [INFO] [stdout] | [INFO] [stdout] 10 | Box::new(t_.subst_term(x, t)), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 10 - Box::new(t_.subst_term(x, t)), [INFO] [stdout] 10 + Box::new(t.subst_term(x, t)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/ast/subst.rs:13:26 [INFO] [stdout] | [INFO] [stdout] 13 | Box::new(t1.subst_term(x.clone(), t.clone())), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 13 - Box::new(t1.subst_term(x.clone(), t.clone())), [INFO] [stdout] 13 + Box::new(t.subst_term(x.clone(), t.clone())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/ast/subst.rs:14:26 [INFO] [stdout] | [INFO] [stdout] 14 | Box::new(t2.subst_term(x, t)), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 14 - Box::new(t2.subst_term(x, t)), [INFO] [stdout] 14 + Box::new(t.subst_term(x, t)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t_` in this scope [INFO] [stdout] --> src/ast/subst.rs:16:77 [INFO] [stdout] | [INFO] [stdout] 16 | Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t_.subst_term(x, t))), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 16 - Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t_.subst_term(x, t))), [INFO] [stdout] 16 + Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t.subst_term(x, t))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t_` in this scope [INFO] [stdout] --> src/ast/subst.rs:18:50 [INFO] [stdout] | [INFO] [stdout] 18 | Term::Escape(stage_var, Box::new(t_.subst_term(x, t))) [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 18 - Term::Escape(stage_var, Box::new(t_.subst_term(x, t))) [INFO] [stdout] 18 + Term::Escape(stage_var, Box::new(t.subst_term(x, t))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t_` in this scope [INFO] [stdout] --> src/ast/subst.rs:21:52 [INFO] [stdout] | [INFO] [stdout] 21 | Term::StageLam(stage_var, Box::new(t_.subst_term(x, t))) [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 21 - Term::StageLam(stage_var, Box::new(t_.subst_term(x, t))) [INFO] [stdout] 21 + Term::StageLam(stage_var, Box::new(t.subst_term(x, t))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t_` in this scope [INFO] [stdout] --> src/ast/subst.rs:23:70 [INFO] [stdout] | [INFO] [stdout] 23 | Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t_.subst_term(x, t)), stage), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 23 - Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t_.subst_term(x, t)), stage), [INFO] [stdout] 23 + Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t.subst_term(x, t)), stage), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t_` in this scope [INFO] [stdout] --> src/ast/subst.rs:24:75 [INFO] [stdout] | [INFO] [stdout] 24 | Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t_.subst_term(x, t))), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 24 - Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t_.subst_term(x, t))), [INFO] [stdout] 24 + Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t.subst_term(x, t))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:32:54 [INFO] [stdout] | [INFO] [stdout] 32 | Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:32:68 [INFO] [stdout] | [INFO] [stdout] 32 | Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 32 - Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))), [INFO] [stdout] 32 + Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(a.subst_stage(a, stage))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/ast/subst.rs:34:26 [INFO] [stdout] | [INFO] [stdout] 34 | Box::new(t1.subst_stage(a.clone(), stage.clone())), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/ast/subst.rs:35:26 [INFO] [stdout] | [INFO] [stdout] 35 | Box::new(t2.subst_stage(a, stage)), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:38:25 [INFO] [stdout] | [INFO] [stdout] 38 | let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 38 - let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] 38 + let t = a.subst_stage(a, stage.clone()); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:44:64 [INFO] [stdout] | [INFO] [stdout] 44 | Code(stage_var, box t) => Code(stage_var, Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: the binding `t` is available in a different scope in the same function [INFO] [stdout] --> src/ast/subst.rs:38:21 [INFO] [stdout] | [INFO] [stdout] 38 | let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:46:25 [INFO] [stdout] | [INFO] [stdout] 46 | let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: the binding `t` is available in a different scope in the same function [INFO] [stdout] --> src/ast/subst.rs:38:21 [INFO] [stdout] | [INFO] [stdout] 38 | let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:51:68 [INFO] [stdout] | [INFO] [stdout] 51 | Escape(stage_var, box t) => Escape(stage_var, Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: the binding `t` is available in a different scope in the same function [INFO] [stdout] --> src/ast/subst.rs:46:21 [INFO] [stdout] | [INFO] [stdout] 46 | let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t_` in this scope [INFO] [stdout] --> src/ast/subst.rs:53:46 [INFO] [stdout] | [INFO] [stdout] 53 | StageLam(stage_var, Box::new(t_.subst_stage(a, stage))) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:55:58 [INFO] [stdout] | [INFO] [stdout] 55 | StageApp(box t, stage_) => StageApp(Box::new(t.subst_stage(a, stage)), stage_), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 55 - StageApp(box t, stage_) => StageApp(Box::new(t.subst_stage(a, stage)), stage_), [INFO] [stdout] 55 + StageApp(box t, stage_) => StageApp(Box::new(a.subst_stage(a, stage)), stage_), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:57:25 [INFO] [stdout] | [INFO] [stdout] 57 | let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 57 - let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] 57 + let t = a.subst_stage(a, stage.clone()); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:62:62 [INFO] [stdout] | [INFO] [stdout] 62 | CSP(stage_var, box t) => CSP(stage_var, Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: the binding `t` is available in a different scope in the same function [INFO] [stdout] --> src/ast/subst.rs:57:21 [INFO] [stdout] | [INFO] [stdout] 57 | let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope [INFO] [stdout] --> src/ast/subst.rs:76:26 [INFO] [stdout] | [INFO] [stdout] 76 | Box::new(ty1.subst_term(x.clone(), t.clone())), [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope [INFO] [stdout] --> src/ast/subst.rs:77:26 [INFO] [stdout] | [INFO] [stdout] 77 | Box::new(ty2.subst_term(x, t)), [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope [INFO] [stdout] --> src/ast/subst.rs:80:45 [INFO] [stdout] | [INFO] [stdout] 80 | DepFun(x_.clone(), Box::new(ty1.clone()), Box::new(ty2.clone())) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope [INFO] [stdout] --> src/ast/subst.rs:80:68 [INFO] [stdout] | [INFO] [stdout] 80 | DepFun(x_.clone(), Box::new(ty1.clone()), Box::new(ty2.clone())) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:83:26 [INFO] [stdout] | [INFO] [stdout] 83 | Box::new(ty.subst_term(x.clone(), t.clone())), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 83 - Box::new(ty.subst_term(x.clone(), t.clone())), [INFO] [stdout] 83 + Box::new(t.subst_term(x.clone(), t.clone())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `arg` in this scope [INFO] [stdout] --> src/ast/subst.rs:84:26 [INFO] [stdout] | [INFO] [stdout] 84 | Box::new(arg.subst_term(x, t)), [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:86:57 [INFO] [stdout] | [INFO] [stdout] 86 | Code(alpha, box ty) => Code(alpha, Box::new(ty.subst_term(x, t))), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 86 - Code(alpha, box ty) => Code(alpha, Box::new(ty.subst_term(x, t))), [INFO] [stdout] 86 + Code(alpha, box ty) => Code(alpha, Box::new(t.subst_term(x, t))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:87:67 [INFO] [stdout] | [INFO] [stdout] 87 | StageBind(alpha, box ty) => StageBind(alpha, Box::new(ty.subst_term(x, t))), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 87 - StageBind(alpha, box ty) => StageBind(alpha, Box::new(ty.subst_term(x, t))), [INFO] [stdout] 87 + StageBind(alpha, box ty) => StageBind(alpha, Box::new(t.subst_term(x, t))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope [INFO] [stdout] --> src/ast/subst.rs:98:26 [INFO] [stdout] | [INFO] [stdout] 98 | Box::new(ty1.subst_stage(alpha.clone(), stage.clone())), [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope [INFO] [stdout] --> src/ast/subst.rs:99:26 [INFO] [stdout] | [INFO] [stdout] 99 | Box::new(ty2.subst_stage(alpha, stage)), [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:102:26 [INFO] [stdout] | [INFO] [stdout] 102 | Box::new(ty.subst_stage(alpha.clone(), stage.clone())), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/printer.rs:47:17 [INFO] [stdout] | [INFO] [stdout] 47 | ty, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `arg` in this scope [INFO] [stdout] --> src/ast/subst.rs:103:26 [INFO] [stdout] | [INFO] [stdout] 103 | Box::new(arg.subst_stage(alpha, stage)), [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:48:32 [INFO] [stdout] | [INFO] [stdout] 48 | TermWithIndent(t, indent + 2), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 48 - TermWithIndent(t, indent + 2), [INFO] [stdout] 48 + TermWithIndent(f, indent + 2), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/ast/printer.rs:55:32 [INFO] [stdout] | [INFO] [stdout] 55 | TermWithIndent(t1, indent + 2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/ast/printer.rs:56:32 [INFO] [stdout] | [INFO] [stdout] 56 | TermWithIndent(t2, indent + 2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:59:63 [INFO] [stdout] | [INFO] [stdout] 59 | write!(f, "(|>{}. {})", ident, TermWithIndent(t, indent + 2)) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 59 - write!(f, "(|>{}. {})", ident, TermWithIndent(t, indent + 2)) [INFO] [stdout] 59 + write!(f, "(|>{}. {})", ident, TermWithIndent(f, indent + 2)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:106:26 [INFO] [stdout] | [INFO] [stdout] 106 | let ty = ty.subst_stage(alpha, stage.clone()); [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:62:63 [INFO] [stdout] | [INFO] [stdout] 62 | write!(f, "(<|{}. {})", ident, TermWithIndent(t, indent + 2)) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 62 - write!(f, "(<|{}. {})", ident, TermWithIndent(t, indent + 2)) [INFO] [stdout] 62 + write!(f, "(<|{}. {})", ident, TermWithIndent(f, indent + 2)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:68:32 [INFO] [stdout] | [INFO] [stdout] 68 | TermWithIndent(t, indent + 2), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 68 - TermWithIndent(t, indent + 2), [INFO] [stdout] 68 + TermWithIndent(f, indent + 2), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:81:42 [INFO] [stdout] | [INFO] [stdout] 81 | write!(f, "({}@{{{}}})", t, stage) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 81 - write!(f, "({}@{{{}}})", t, stage) [INFO] [stdout] 81 + write!(f, "({}@{{{}}})", f, stage) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:83:82 [INFO] [stdout] | [INFO] [stdout] 83 | CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, t), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 83 - CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, t), [INFO] [stdout] 83 + CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, f), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:112:65 [INFO] [stdout] | [INFO] [stdout] 112 | Code(alpha, box ty) => Code(alpha.clone(), Box::new(ty.subst_stage(alpha, stage))), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: the binding `ty` is available in a different scope in the same function [INFO] [stdout] --> src/ast/subst.rs:106:21 [INFO] [stdout] | [INFO] [stdout] 106 | let ty = ty.subst_stage(alpha, stage.clone()); [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/printer.rs:89:17 [INFO] [stdout] | [INFO] [stdout] 89 | ty, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/ast/printer.rs:90:32 [INFO] [stdout] | [INFO] [stdout] 90 | TermWithIndent(t1, indent + 2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/ast/printer.rs:91:32 [INFO] [stdout] | [INFO] [stdout] 91 | TermWithIndent(t2, indent + 2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/printer.rs:99:17 [INFO] [stdout] | [INFO] [stdout] 99 | ty, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:100:32 [INFO] [stdout] | [INFO] [stdout] 100 | TermWithIndent(t, indent + 2), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 100 - TermWithIndent(t, indent + 2), [INFO] [stdout] 100 + TermWithIndent(f, indent + 2), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/ast/printer.rs:107:32 [INFO] [stdout] | [INFO] [stdout] 107 | TermWithIndent(cond, indent + 2), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/ast/printer.rs:108:32 [INFO] [stdout] | [INFO] [stdout] 108 | TermWithIndent(t1, indent + 2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/ast/printer.rs:109:32 [INFO] [stdout] | [INFO] [stdout] 109 | TermWithIndent(t2, indent + 2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope [INFO] [stdout] --> src/ast/printer.rs:131:43 [INFO] [stdout] | [INFO] [stdout] 131 | write!(f, "{} -> {}", ty1, ty2) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope [INFO] [stdout] --> src/ast/printer.rs:131:48 [INFO] [stdout] | [INFO] [stdout] 131 | write!(f, "{} -> {}", ty1, ty2) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope [INFO] [stdout] --> src/ast/printer.rs:133:55 [INFO] [stdout] | [INFO] [stdout] 133 | write!(f, "Pi {}: {}. {}", ident, ty1, ty2) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope [INFO] [stdout] --> src/ast/printer.rs:133:60 [INFO] [stdout] | [INFO] [stdout] 133 | write!(f, "Pi {}: {}. {}", ident, ty1, ty2) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/printer.rs:136:62 [INFO] [stdout] | [INFO] [stdout] 136 | App(box ref ty, box ref t) => write!(f, "{} {}", ty, t), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/printer.rs:136:66 [INFO] [stdout] | [INFO] [stdout] 136 | App(box ref ty, box ref t) => write!(f, "{} {}", ty, t), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 136 - App(box ref ty, box ref t) => write!(f, "{} {}", ty, t), [INFO] [stdout] 136 + App(box ref ty, box ref t) => write!(f, "{} {}", ty, f), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/printer.rs:137:83 [INFO] [stdout] | [INFO] [stdout] 137 | Code(StageVar(ref ident), box ref ty) => write!(f, "|>{}. {}", ident, ty), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:114:51 [INFO] [stdout] | [INFO] [stdout] 114 | StageBind(alpha.clone(), Box::new(ty.subst_stage(alpha, stage))) [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: the binding `ty` is available in a different scope in the same function [INFO] [stdout] --> src/ast/subst.rs:106:21 [INFO] [stdout] | [INFO] [stdout] 106 | let ty = ty.subst_stage(alpha, stage.clone()); [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/printer.rs:138:93 [INFO] [stdout] | [INFO] [stdout] 138 | StageBind(StageVar(ref ident), box ref ty) => write!(f, "forall {}. {}", ident, ty), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:23:47 [INFO] [stdout] | [INFO] [stdout] 23 | Code(ref alpha, box ref v) => v.is_value_at(&vec![alpha.clone()]), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:9:26 [INFO] [stdout] | [INFO] [stdout] 9 | Box::new(ty.subst_term(x.clone(), t.clone())), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 9 - Box::new(ty.subst_term(x.clone(), t.clone())), [INFO] [stdout] 9 + Box::new(t.subst_term(x.clone(), t.clone())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:24:43 [INFO] [stdout] | [INFO] [stdout] 24 | StageLam(_, box ref v) => v.is_value_at(&vec![]), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:30:41 [INFO] [stdout] | [INFO] [stdout] 30 | Lam(_, _, box ref v) => v.is_value_at(stage), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v1` in this scope [INFO] [stdout] --> src/ast/util.rs:31:48 [INFO] [stdout] | [INFO] [stdout] 31 | App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v2` in this scope [INFO] [stdout] --> src/ast/util.rs:31:73 [INFO] [stdout] | [INFO] [stdout] 31 | App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:35:21 [INFO] [stdout] | [INFO] [stdout] 35 | v.is_value_at(&stage) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t_` in this scope [INFO] [stdout] --> src/ast/subst.rs:10:26 [INFO] [stdout] | [INFO] [stdout] 10 | Box::new(t_.subst_term(x, t)), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 10 - Box::new(t_.subst_term(x, t)), [INFO] [stdout] 10 + Box::new(t.subst_term(x, t)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:37:43 [INFO] [stdout] | [INFO] [stdout] 37 | StageLam(_, box ref v) => v.is_value_at(stage), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/ast/subst.rs:13:26 [INFO] [stdout] | [INFO] [stdout] 13 | Box::new(t1.subst_term(x.clone(), t.clone())), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 13 - Box::new(t1.subst_term(x.clone(), t.clone())), [INFO] [stdout] 13 + Box::new(t.subst_term(x.clone(), t.clone())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/ast/subst.rs:14:26 [INFO] [stdout] | [INFO] [stdout] 14 | Box::new(t2.subst_term(x, t)), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 14 - Box::new(t2.subst_term(x, t)), [INFO] [stdout] 14 + Box::new(t.subst_term(x, t)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t_` in this scope [INFO] [stdout] --> src/ast/subst.rs:16:77 [INFO] [stdout] | [INFO] [stdout] 16 | Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t_.subst_term(x, t))), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 16 - Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t_.subst_term(x, t))), [INFO] [stdout] 16 + Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t.subst_term(x, t))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:38:43 [INFO] [stdout] | [INFO] [stdout] 38 | StageApp(box ref v, _) => v.is_value_at(stage), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t_` in this scope [INFO] [stdout] --> src/ast/subst.rs:18:50 [INFO] [stdout] | [INFO] [stdout] 18 | Term::Escape(stage_var, Box::new(t_.subst_term(x, t))) [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 18 - Term::Escape(stage_var, Box::new(t_.subst_term(x, t))) [INFO] [stdout] 18 + Term::Escape(stage_var, Box::new(t.subst_term(x, t))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:42:45 [INFO] [stdout] | [INFO] [stdout] 42 | alpha == &alpha_ && v.is_value_at(&stage) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:50:45 [INFO] [stdout] | [INFO] [stdout] 50 | alpha == &alpha_ && v.is_value_at(&stage) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t_` in this scope [INFO] [stdout] --> src/ast/subst.rs:21:52 [INFO] [stdout] | [INFO] [stdout] 21 | Term::StageLam(stage_var, Box::new(t_.subst_term(x, t))) [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 21 - Term::StageLam(stage_var, Box::new(t_.subst_term(x, t))) [INFO] [stdout] 21 + Term::StageLam(stage_var, Box::new(t.subst_term(x, t))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:9:49 [INFO] [stdout] | [INFO] [stdout] 9 | App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t_` in this scope [INFO] [stdout] --> src/ast/subst.rs:23:70 [INFO] [stdout] | [INFO] [stdout] 23 | Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t_.subst_term(x, t)), stage), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 23 - Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t_.subst_term(x, t)), stage), [INFO] [stdout] 23 + Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t.subst_term(x, t)), stage), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:9:78 [INFO] [stdout] | [INFO] [stdout] 9 | App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t_` in this scope [INFO] [stdout] --> src/ast/subst.rs:24:75 [INFO] [stdout] | [INFO] [stdout] 24 | Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t_.subst_term(x, t))), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 24 - Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t_.subst_term(x, t))), [INFO] [stdout] 24 + Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t.subst_term(x, t))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `x` in this scope [INFO] [stdout] --> src/reduce.rs:9:91 [INFO] [stdout] | [INFO] [stdout] 9 | App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:9:94 [INFO] [stdout] | [INFO] [stdout] 9 | App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:32:54 [INFO] [stdout] | [INFO] [stdout] 32 | Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:10:64 [INFO] [stdout] | [INFO] [stdout] 10 | StageApp(box StageLam(alpha, box v), stage) if v.is_value_at(&vec![]) => { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:32:68 [INFO] [stdout] | [INFO] [stdout] 32 | Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 32 - Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))), [INFO] [stdout] 32 + Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(a.subst_stage(a, stage))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:11:24 [INFO] [stdout] | [INFO] [stdout] 11 | Ok(v.subst_stage(alpha, stage)) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/ast/subst.rs:34:26 [INFO] [stdout] | [INFO] [stdout] 34 | Box::new(t1.subst_stage(a.clone(), stage.clone())), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `alpha` in this scope [INFO] [stdout] --> src/reduce.rs:11:38 [INFO] [stdout] | [INFO] [stdout] 11 | Ok(v.subst_stage(alpha, stage)) [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/ast/subst.rs:35:26 [INFO] [stdout] | [INFO] [stdout] 35 | Box::new(t2.subst_stage(a, stage)), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `stage_var2` in this scope [INFO] [stdout] --> src/reduce.rs:14:38 [INFO] [stdout] | [INFO] [stdout] 14 | if stage_var1 == stage_var2 && v.is_value_at(&vec![stage_var1.clone()]) => [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 14 - if stage_var1 == stage_var2 && v.is_value_at(&vec![stage_var1.clone()]) => [INFO] [stdout] 14 + if stage_var1 == stage_var1 && v.is_value_at(&vec![stage_var1.clone()]) => [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:38:25 [INFO] [stdout] | [INFO] [stdout] 38 | let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 38 - let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] 38 + let t = a.subst_stage(a, stage.clone()); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:14:52 [INFO] [stdout] | [INFO] [stdout] 14 | if stage_var1 == stage_var2 && v.is_value_at(&vec![stage_var1.clone()]) => [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:44:64 [INFO] [stdout] | [INFO] [stdout] 44 | Code(stage_var, box t) => Code(stage_var, Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: the binding `t` is available in a different scope in the same function [INFO] [stdout] --> src/ast/subst.rs:38:21 [INFO] [stdout] | [INFO] [stdout] 38 | let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:16:24 [INFO] [stdout] | [INFO] [stdout] 16 | Ok(v) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:46:25 [INFO] [stdout] | [INFO] [stdout] 46 | let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: the binding `t` is available in a different scope in the same function [INFO] [stdout] --> src/ast/subst.rs:38:21 [INFO] [stdout] | [INFO] [stdout] 38 | let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `op` in this scope [INFO] [stdout] --> src/reduce.rs:39:46 [INFO] [stdout] | [INFO] [stdout] 39 | ) => Ok(Const(Literal::Int(match op { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n1` in this scope [INFO] [stdout] --> src/reduce.rs:40:33 [INFO] [stdout] | [INFO] [stdout] 40 | Literal::Add => n1 + n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:51:68 [INFO] [stdout] | [INFO] [stdout] 51 | Escape(stage_var, box t) => Escape(stage_var, Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: the binding `t` is available in a different scope in the same function [INFO] [stdout] --> src/ast/subst.rs:46:21 [INFO] [stdout] | [INFO] [stdout] 46 | let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n2` in this scope [INFO] [stdout] --> src/reduce.rs:40:38 [INFO] [stdout] | [INFO] [stdout] 40 | Literal::Add => n1 + n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t_` in this scope [INFO] [stdout] --> src/ast/subst.rs:53:46 [INFO] [stdout] | [INFO] [stdout] 53 | StageLam(stage_var, Box::new(t_.subst_stage(a, stage))) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n1` in this scope [INFO] [stdout] --> src/reduce.rs:41:33 [INFO] [stdout] | [INFO] [stdout] 41 | Literal::Sub => n1 - n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:55:58 [INFO] [stdout] | [INFO] [stdout] 55 | StageApp(box t, stage_) => StageApp(Box::new(t.subst_stage(a, stage)), stage_), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 55 - StageApp(box t, stage_) => StageApp(Box::new(t.subst_stage(a, stage)), stage_), [INFO] [stdout] 55 + StageApp(box t, stage_) => StageApp(Box::new(a.subst_stage(a, stage)), stage_), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n2` in this scope [INFO] [stdout] --> src/reduce.rs:41:38 [INFO] [stdout] | [INFO] [stdout] 41 | Literal::Sub => n1 - n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:57:25 [INFO] [stdout] | [INFO] [stdout] 57 | let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 57 - let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] 57 + let t = a.subst_stage(a, stage.clone()); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n1` in this scope [INFO] [stdout] --> src/reduce.rs:42:34 [INFO] [stdout] | [INFO] [stdout] 42 | Literal::Mult => n1 * n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n2` in this scope [INFO] [stdout] --> src/reduce.rs:42:39 [INFO] [stdout] | [INFO] [stdout] 42 | Literal::Mult => n1 * n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/ast/subst.rs:62:62 [INFO] [stdout] | [INFO] [stdout] 62 | CSP(stage_var, box t) => CSP(stage_var, Box::new(t.subst_stage(a, stage))), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: the binding `t` is available in a different scope in the same function [INFO] [stdout] --> src/ast/subst.rs:57:21 [INFO] [stdout] | [INFO] [stdout] 57 | let t = t.subst_stage(a, stage.clone()); [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n1` in this scope [INFO] [stdout] --> src/reduce.rs:43:33 [INFO] [stdout] | [INFO] [stdout] 43 | Literal::Div => n1 / n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope [INFO] [stdout] --> src/ast/subst.rs:76:26 [INFO] [stdout] | [INFO] [stdout] 76 | Box::new(ty1.subst_term(x.clone(), t.clone())), [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n2` in this scope [INFO] [stdout] --> src/reduce.rs:43:38 [INFO] [stdout] | [INFO] [stdout] 43 | Literal::Div => n1 / n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope [INFO] [stdout] --> src/ast/subst.rs:77:26 [INFO] [stdout] | [INFO] [stdout] 77 | Box::new(ty2.subst_term(x, t)), [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:47:37 [INFO] [stdout] | [INFO] [stdout] 47 | App(box t1, box t2) if !t1.is_value_at(&vec![]) => Ok(App( [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope [INFO] [stdout] --> src/ast/subst.rs:80:45 [INFO] [stdout] | [INFO] [stdout] 80 | DepFun(x_.clone(), Box::new(ty1.clone()), Box::new(ty2.clone())) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:48:41 [INFO] [stdout] | [INFO] [stdout] 48 | Box::new(reduce_context(t1, &vec![], rule)?), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope [INFO] [stdout] --> src/ast/subst.rs:80:68 [INFO] [stdout] | [INFO] [stdout] 80 | DepFun(x_.clone(), Box::new(ty1.clone()), Box::new(ty2.clone())) [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:49:26 [INFO] [stdout] | [INFO] [stdout] 49 | Box::new(t2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:83:26 [INFO] [stdout] | [INFO] [stdout] 83 | Box::new(ty.subst_term(x.clone(), t.clone())), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 83 - Box::new(ty.subst_term(x.clone(), t.clone())), [INFO] [stdout] 83 + Box::new(t.subst_term(x.clone(), t.clone())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:51:34 [INFO] [stdout] | [INFO] [stdout] 51 | App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App( [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `arg` in this scope [INFO] [stdout] --> src/ast/subst.rs:84:26 [INFO] [stdout] | [INFO] [stdout] 84 | Box::new(arg.subst_term(x, t)), [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:51:61 [INFO] [stdout] | [INFO] [stdout] 51 | App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App( [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:52:26 [INFO] [stdout] | [INFO] [stdout] 52 | Box::new(v), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:53:41 [INFO] [stdout] | [INFO] [stdout] 53 | Box::new(reduce_context(t, &vec![], rule)?), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v1` in this scope [INFO] [stdout] --> src/reduce.rs:55:36 [INFO] [stdout] | [INFO] [stdout] 55 | App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v2` in this scope [INFO] [stdout] --> src/reduce.rs:55:63 [INFO] [stdout] | [INFO] [stdout] 55 | App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:86:57 [INFO] [stdout] | [INFO] [stdout] 86 | Code(alpha, box ty) => Code(alpha, Box::new(ty.subst_term(x, t))), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 86 - Code(alpha, box ty) => Code(alpha, Box::new(ty.subst_term(x, t))), [INFO] [stdout] 86 + Code(alpha, box ty) => Code(alpha, Box::new(t.subst_term(x, t))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:87:67 [INFO] [stdout] | [INFO] [stdout] 87 | StageBind(alpha, box ty) => StageBind(alpha, Box::new(ty.subst_term(x, t))), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 87 - StageBind(alpha, box ty) => StageBind(alpha, Box::new(ty.subst_term(x, t))), [INFO] [stdout] 87 + StageBind(alpha, box ty) => StageBind(alpha, Box::new(t.subst_term(x, t))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v1` in this scope [INFO] [stdout] --> src/reduce.rs:56:35 [INFO] [stdout] | [INFO] [stdout] 56 | rule(App(Box::new(v1), Box::new(v2))) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope [INFO] [stdout] --> src/ast/subst.rs:98:26 [INFO] [stdout] | [INFO] [stdout] 98 | Box::new(ty1.subst_stage(alpha.clone(), stage.clone())), [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope [INFO] [stdout] --> src/ast/subst.rs:99:26 [INFO] [stdout] | [INFO] [stdout] 99 | Box::new(ty2.subst_stage(alpha, stage)), [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:102:26 [INFO] [stdout] | [INFO] [stdout] 102 | Box::new(ty.subst_stage(alpha.clone(), stage.clone())), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v2` in this scope [INFO] [stdout] --> src/reduce.rs:56:49 [INFO] [stdout] | [INFO] [stdout] 56 | rule(App(Box::new(v1), Box::new(v2))) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `arg` in this scope [INFO] [stdout] --> src/ast/subst.rs:103:26 [INFO] [stdout] | [INFO] [stdout] 103 | Box::new(arg.subst_stage(alpha, stage)), [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:58:36 [INFO] [stdout] | [INFO] [stdout] 58 | Code(alpha, box t) if !t.is_value_at(&vec![alpha.clone()]) => Ok(Code( [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:106:26 [INFO] [stdout] | [INFO] [stdout] 106 | let ty = ty.subst_stage(alpha, stage.clone()); [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:112:65 [INFO] [stdout] | [INFO] [stdout] 112 | Code(alpha, box ty) => Code(alpha.clone(), Box::new(ty.subst_stage(alpha, stage))), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: the binding `ty` is available in a different scope in the same function [INFO] [stdout] --> src/ast/subst.rs:106:21 [INFO] [stdout] | [INFO] [stdout] 106 | let ty = ty.subst_stage(alpha, stage.clone()); [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:60:41 [INFO] [stdout] | [INFO] [stdout] 60 | Box::new(reduce_context(t, &vec![alpha.clone()], rule)?), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:62:40 [INFO] [stdout] | [INFO] [stdout] 62 | StageLam(alpha, box t) if !t.is_value_at(&vec![]) => { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/ast/subst.rs:114:51 [INFO] [stdout] | [INFO] [stdout] 114 | StageBind(alpha.clone(), Box::new(ty.subst_stage(alpha, stage))) [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: the binding `ty` is available in a different scope in the same function [INFO] [stdout] --> src/ast/subst.rs:106:21 [INFO] [stdout] | [INFO] [stdout] 106 | let ty = ty.subst_stage(alpha, stage.clone()); [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:63:60 [INFO] [stdout] | [INFO] [stdout] 63 | Ok(StageLam(alpha, Box::new(reduce_context(t, &vec![], rule)?))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:23:47 [INFO] [stdout] | [INFO] [stdout] 23 | Code(ref alpha, box ref v) => v.is_value_at(&vec![alpha.clone()]), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:65:40 [INFO] [stdout] | [INFO] [stdout] 65 | StageApp(box t, stage) if !t.is_value_at(&vec![]) => { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:24:43 [INFO] [stdout] | [INFO] [stdout] 24 | StageLam(_, box ref v) => v.is_value_at(&vec![]), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:66:53 [INFO] [stdout] | [INFO] [stdout] 66 | Ok(StageApp(Box::new(reduce_context(t, &vec![], rule)?), stage)) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:30:41 [INFO] [stdout] | [INFO] [stdout] 30 | Lam(_, _, box ref v) => v.is_value_at(stage), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `alpha` in this scope [INFO] [stdout] --> src/reduce.rs:69:49 [INFO] [stdout] | [INFO] [stdout] 69 | rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage)) [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v1` in this scope [INFO] [stdout] --> src/ast/util.rs:31:48 [INFO] [stdout] | [INFO] [stdout] 31 | App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:69:65 [INFO] [stdout] | [INFO] [stdout] 69 | rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage)) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v2` in this scope [INFO] [stdout] --> src/ast/util.rs:31:73 [INFO] [stdout] | [INFO] [stdout] 31 | App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/reduce.rs:73:46 [INFO] [stdout] | [INFO] [stdout] 73 | App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:73:60 [INFO] [stdout] | [INFO] [stdout] 73 | App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:35:21 [INFO] [stdout] | [INFO] [stdout] 35 | v.is_value_at(&stage) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:73:76 [INFO] [stdout] | [INFO] [stdout] 73 | App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:37:43 [INFO] [stdout] | [INFO] [stdout] 37 | StageLam(_, box ref v) => v.is_value_at(stage), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/reduce.rs:78:51 [INFO] [stdout] | [INFO] [stdout] 78 | let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone())); [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:38:43 [INFO] [stdout] | [INFO] [stdout] 38 | StageApp(box ref v, _) => v.is_value_at(stage), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:42:45 [INFO] [stdout] | [INFO] [stdout] 42 | alpha == &alpha_ && v.is_value_at(&stage) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:78:65 [INFO] [stdout] | [INFO] [stdout] 78 | let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone())); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 78 - let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone())); [INFO] [stdout] 78 + let fix = Fix(x.clone(), Box::new(ty), Box::new(x.clone())); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/ast/util.rs:50:45 [INFO] [stdout] | [INFO] [stdout] 50 | alpha == &alpha_ && v.is_value_at(&stage) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:79:20 [INFO] [stdout] | [INFO] [stdout] 79 | Ok(t.subst_term(x, fix)) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 79 - Ok(t.subst_term(x, fix)) [INFO] [stdout] 79 + Ok(x.subst_term(x, fix)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:9:49 [INFO] [stdout] | [INFO] [stdout] 9 | App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/reduce.rs:81:46 [INFO] [stdout] | [INFO] [stdout] 81 | Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:9:78 [INFO] [stdout] | [INFO] [stdout] 9 | App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/reduce.rs:82:55 [INFO] [stdout] | [INFO] [stdout] 82 | if let Term::Const(Literal::Int(n)) = cond { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `x` in this scope [INFO] [stdout] --> src/reduce.rs:9:91 [INFO] [stdout] | [INFO] [stdout] 9 | App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:84:28 [INFO] [stdout] | [INFO] [stdout] 84 | Ok(t1) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:86:28 [INFO] [stdout] | [INFO] [stdout] 86 | Ok(t2) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:9:94 [INFO] [stdout] | [INFO] [stdout] 9 | App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/reduce.rs:93:41 [INFO] [stdout] | [INFO] [stdout] 93 | Box::new(reduce_context(cond, stage, rule)?), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:10:64 [INFO] [stdout] | [INFO] [stdout] 10 | StageApp(box StageLam(alpha, box v), stage) if v.is_value_at(&vec![]) => { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:94:26 [INFO] [stdout] | [INFO] [stdout] 94 | Box::new(t1), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:11:24 [INFO] [stdout] | [INFO] [stdout] 11 | Ok(v.subst_stage(alpha, stage)) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:95:26 [INFO] [stdout] | [INFO] [stdout] 95 | Box::new(t2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `alpha` in this scope [INFO] [stdout] --> src/reduce.rs:11:38 [INFO] [stdout] | [INFO] [stdout] 11 | Ok(v.subst_stage(alpha, stage)) [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:121:35 [INFO] [stdout] | [INFO] [stdout] 121 | Lam(x, ty, box t) if !t.is_value_at(stage) => { [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 121 | Lam(x, ty, box t) if !ty.is_value_at(stage) => { [INFO] [stdout] | + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `stage_var2` in this scope [INFO] [stdout] --> src/reduce.rs:14:38 [INFO] [stdout] | [INFO] [stdout] 14 | if stage_var1 == stage_var2 && v.is_value_at(&vec![stage_var1.clone()]) => [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 14 - if stage_var1 == stage_var2 && v.is_value_at(&vec![stage_var1.clone()]) => [INFO] [stdout] 14 + if stage_var1 == stage_var1 && v.is_value_at(&vec![stage_var1.clone()]) => [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:122:55 [INFO] [stdout] | [INFO] [stdout] 122 | Ok(Lam(x, ty, Box::new(reduce_context(t, stage, rule)?))) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 122 | Ok(Lam(x, ty, Box::new(reduce_context(ty, stage, rule)?))) [INFO] [stdout] | + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:14:52 [INFO] [stdout] | [INFO] [stdout] 14 | if stage_var1 == stage_var2 && v.is_value_at(&vec![stage_var1.clone()]) => [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:124:37 [INFO] [stdout] | [INFO] [stdout] 124 | App(box t1, box t2) if !t1.is_value_at(stage) => Ok(App( [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:16:24 [INFO] [stdout] | [INFO] [stdout] 16 | Ok(v) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:125:41 [INFO] [stdout] | [INFO] [stdout] 125 | Box::new(reduce_context(t1, &vec![], rule)?), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `op` in this scope [INFO] [stdout] --> src/reduce.rs:39:46 [INFO] [stdout] | [INFO] [stdout] 39 | ) => Ok(Const(Literal::Int(match op { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:126:26 [INFO] [stdout] | [INFO] [stdout] 126 | Box::new(t2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n1` in this scope [INFO] [stdout] --> src/reduce.rs:40:33 [INFO] [stdout] | [INFO] [stdout] 40 | Literal::Add => n1 + n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:128:34 [INFO] [stdout] | [INFO] [stdout] 128 | App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n2` in this scope [INFO] [stdout] --> src/reduce.rs:40:38 [INFO] [stdout] | [INFO] [stdout] 40 | Literal::Add => n1 + n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:128:59 [INFO] [stdout] | [INFO] [stdout] 128 | App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:129:33 [INFO] [stdout] | [INFO] [stdout] 129 | Ok(App(Box::new(v), Box::new(reduce_context(t, stage, rule)?))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n1` in this scope [INFO] [stdout] --> src/reduce.rs:41:33 [INFO] [stdout] | [INFO] [stdout] 41 | Literal::Sub => n1 - n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n2` in this scope [INFO] [stdout] --> src/reduce.rs:41:38 [INFO] [stdout] | [INFO] [stdout] 41 | Literal::Sub => n1 - n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n1` in this scope [INFO] [stdout] --> src/reduce.rs:42:34 [INFO] [stdout] | [INFO] [stdout] 42 | Literal::Mult => n1 * n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:129:61 [INFO] [stdout] | [INFO] [stdout] 129 | Ok(App(Box::new(v), Box::new(reduce_context(t, stage, rule)?))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n2` in this scope [INFO] [stdout] --> src/reduce.rs:42:39 [INFO] [stdout] | [INFO] [stdout] 42 | Literal::Mult => n1 * n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v1` in this scope [INFO] [stdout] --> src/reduce.rs:131:36 [INFO] [stdout] | [INFO] [stdout] 131 | App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n1` in this scope [INFO] [stdout] --> src/reduce.rs:43:33 [INFO] [stdout] | [INFO] [stdout] 43 | Literal::Div => n1 / n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v2` in this scope [INFO] [stdout] --> src/reduce.rs:131:61 [INFO] [stdout] | [INFO] [stdout] 131 | App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v1` in this scope [INFO] [stdout] --> src/reduce.rs:132:35 [INFO] [stdout] | [INFO] [stdout] 132 | rule(App(Box::new(v1), Box::new(v2))) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `n2` in this scope [INFO] [stdout] --> src/reduce.rs:43:38 [INFO] [stdout] | [INFO] [stdout] 43 | Literal::Div => n1 / n2, [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v2` in this scope [INFO] [stdout] --> src/reduce.rs:132:49 [INFO] [stdout] | [INFO] [stdout] 132 | rule(App(Box::new(v1), Box::new(v2))) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `alpha_` in this scope [INFO] [stdout] --> src/reduce.rs:135:29 [INFO] [stdout] | [INFO] [stdout] 135 | if alpha == alpha_ && v.is_value_at(&vec![alpha.clone()]) => [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 135 - if alpha == alpha_ && v.is_value_at(&vec![alpha.clone()]) => [INFO] [stdout] 135 + if alpha == alpha && v.is_value_at(&vec![alpha.clone()]) => [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:135:39 [INFO] [stdout] | [INFO] [stdout] 135 | if alpha == alpha_ && v.is_value_at(&vec![alpha.clone()]) => [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:47:37 [INFO] [stdout] | [INFO] [stdout] 47 | App(box t1, box t2) if !t1.is_value_at(&vec![]) => Ok(App( [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `alpha_` in this scope [INFO] [stdout] --> src/reduce.rs:137:50 [INFO] [stdout] | [INFO] [stdout] 137 | rule(Escape(alpha, Box::new(Code(alpha_, Box::new(v))))) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 137 - rule(Escape(alpha, Box::new(Code(alpha_, Box::new(v))))) [INFO] [stdout] 137 + rule(Escape(alpha, Box::new(Code(alpha, Box::new(v))))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:48:41 [INFO] [stdout] | [INFO] [stdout] 48 | Box::new(reduce_context(t1, &vec![], rule)?), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:137:67 [INFO] [stdout] | [INFO] [stdout] 137 | rule(Escape(alpha, Box::new(Code(alpha_, Box::new(v))))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:49:26 [INFO] [stdout] | [INFO] [stdout] 49 | Box::new(t2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:51:34 [INFO] [stdout] | [INFO] [stdout] 51 | App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App( [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:51:61 [INFO] [stdout] | [INFO] [stdout] 51 | App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App( [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:142:21 [INFO] [stdout] | [INFO] [stdout] 142 | if !t.is_value_at(&stage) { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:143:62 [INFO] [stdout] | [INFO] [stdout] 143 | rule(Code(alpha, Box::new(reduce_context(t, &stage, rule)?))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:152:66 [INFO] [stdout] | [INFO] [stdout] 152 | Ok(Escape(alpha, Box::new(reduce_context(t, &stage, rule)?))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:160:40 [INFO] [stdout] | [INFO] [stdout] 160 | StageLam(alpha, box t) if !t.is_value_at(stage) => { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:52:26 [INFO] [stdout] | [INFO] [stdout] 52 | Box::new(v), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:161:60 [INFO] [stdout] | [INFO] [stdout] 161 | Ok(StageLam(alpha, Box::new(reduce_context(t, stage, rule)?))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:53:41 [INFO] [stdout] | [INFO] [stdout] 53 | Box::new(reduce_context(t, &vec![], rule)?), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:163:40 [INFO] [stdout] | [INFO] [stdout] 163 | StageApp(box t, stage) if !t.is_value_at(&stage) => { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v1` in this scope [INFO] [stdout] --> src/reduce.rs:55:36 [INFO] [stdout] | [INFO] [stdout] 55 | App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:164:53 [INFO] [stdout] | [INFO] [stdout] 164 | Ok(StageApp(Box::new(reduce_context(t, &stage, rule)?), stage)) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v2` in this scope [INFO] [stdout] --> src/reduce.rs:55:63 [INFO] [stdout] | [INFO] [stdout] 55 | App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `alpha` in this scope [INFO] [stdout] --> src/reduce.rs:167:49 [INFO] [stdout] | [INFO] [stdout] 167 | rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage)) [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v1` in this scope [INFO] [stdout] --> src/reduce.rs:56:35 [INFO] [stdout] | [INFO] [stdout] 56 | rule(App(Box::new(v1), Box::new(v2))) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:167:65 [INFO] [stdout] | [INFO] [stdout] 167 | rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage)) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v2` in this scope [INFO] [stdout] --> src/reduce.rs:56:49 [INFO] [stdout] | [INFO] [stdout] 56 | rule(App(Box::new(v1), Box::new(v2))) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:58:36 [INFO] [stdout] | [INFO] [stdout] 58 | Code(alpha, box t) if !t.is_value_at(&vec![alpha.clone()]) => Ok(Code( [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:172:44 [INFO] [stdout] | [INFO] [stdout] 172 | if alpha == alpha_ && !t.is_value_at(&stage) { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:60:41 [INFO] [stdout] | [INFO] [stdout] 60 | Box::new(reduce_context(t, &vec![alpha.clone()], rule)?), [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:62:40 [INFO] [stdout] | [INFO] [stdout] 62 | StageLam(alpha, box t) if !t.is_value_at(&vec![]) => { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:63:60 [INFO] [stdout] | [INFO] [stdout] 63 | Ok(StageLam(alpha, Box::new(reduce_context(t, &vec![], rule)?))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:173:63 [INFO] [stdout] | [INFO] [stdout] 173 | Ok(CSP(alpha, Box::new(reduce_context(t, &stage, rule)?))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/reduce.rs:183:46 [INFO] [stdout] | [INFO] [stdout] 183 | App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:183:60 [INFO] [stdout] | [INFO] [stdout] 183 | App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:183:76 [INFO] [stdout] | [INFO] [stdout] 183 | App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/reduce.rs:188:51 [INFO] [stdout] | [INFO] [stdout] 188 | let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone())); [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:188:65 [INFO] [stdout] | [INFO] [stdout] 188 | let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone())); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 188 - let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone())); [INFO] [stdout] 188 + let fix = Fix(x.clone(), Box::new(ty), Box::new(x.clone())); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:189:20 [INFO] [stdout] | [INFO] [stdout] 189 | Ok(t.subst_term(x, fix)) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 189 - Ok(t.subst_term(x, fix)) [INFO] [stdout] 189 + Ok(x.subst_term(x, fix)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:65:40 [INFO] [stdout] | [INFO] [stdout] 65 | StageApp(box t, stage) if !t.is_value_at(&vec![]) => { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:66:53 [INFO] [stdout] | [INFO] [stdout] 66 | Ok(StageApp(Box::new(reduce_context(t, &vec![], rule)?), stage)) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/reduce.rs:191:46 [INFO] [stdout] | [INFO] [stdout] 191 | Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `alpha` in this scope [INFO] [stdout] --> src/reduce.rs:69:49 [INFO] [stdout] | [INFO] [stdout] 69 | rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage)) [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:69:65 [INFO] [stdout] | [INFO] [stdout] 69 | rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage)) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/reduce.rs:73:46 [INFO] [stdout] | [INFO] [stdout] 73 | App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/reduce.rs:192:55 [INFO] [stdout] | [INFO] [stdout] 192 | if let Term::Const(Literal::Int(n)) = cond { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:73:60 [INFO] [stdout] | [INFO] [stdout] 73 | App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:194:28 [INFO] [stdout] | [INFO] [stdout] 194 | Ok(t1) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:73:76 [INFO] [stdout] | [INFO] [stdout] 73 | App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:196:28 [INFO] [stdout] | [INFO] [stdout] 196 | Ok(t2) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/reduce.rs:78:51 [INFO] [stdout] | [INFO] [stdout] 78 | let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone())); [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/reduce.rs:203:41 [INFO] [stdout] | [INFO] [stdout] 203 | Box::new(reduce_context(cond, stage, rule)?), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:78:65 [INFO] [stdout] | [INFO] [stdout] 78 | let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone())); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 78 - let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone())); [INFO] [stdout] 78 + let fix = Fix(x.clone(), Box::new(ty), Box::new(x.clone())); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:204:26 [INFO] [stdout] | [INFO] [stdout] 204 | Box::new(t1), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:205:26 [INFO] [stdout] | [INFO] [stdout] 205 | Box::new(t2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:79:20 [INFO] [stdout] | [INFO] [stdout] 79 | Ok(t.subst_term(x, fix)) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 79 - Ok(t.subst_term(x, fix)) [INFO] [stdout] 79 + Ok(x.subst_term(x, fix)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/reduce.rs:81:46 [INFO] [stdout] | [INFO] [stdout] 81 | Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/reduce.rs:82:55 [INFO] [stdout] | [INFO] [stdout] 82 | if let Term::Const(Literal::Int(n)) = cond { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:84:28 [INFO] [stdout] | [INFO] [stdout] 84 | Ok(t1) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `arg_ty` in this scope [INFO] [stdout] --> src/type_check.rs:85:38 [INFO] [stdout] | [INFO] [stdout] 85 | env.insert(var.clone(), (arg_ty.clone(), stage.clone())); [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:86:42 [INFO] [stdout] | [INFO] [stdout] 86 | let ret_ty = type_check_impl(t, stage, &env)?; [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `arg_ty` in this scope [INFO] [stdout] --> src/type_check.rs:89:26 [INFO] [stdout] | [INFO] [stdout] 89 | Box::new(arg_ty.clone()), [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/type_check.rs:94:38 [INFO] [stdout] | [INFO] [stdout] 94 | let ty = type_check_impl(t1, stage, env)?; [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/type_check.rs:96:46 [INFO] [stdout] | [INFO] [stdout] 96 | let arg_ty = type_check_impl(t2, stage, env)?; [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 96 - let arg_ty = type_check_impl(t2, stage, env)?; [INFO] [stdout] 96 + let arg_ty = type_check_impl(ty, stage, env)?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `param_ty` in this scope [INFO] [stdout] --> src/type_check.rs:97:31 [INFO] [stdout] | [INFO] [stdout] 97 | if &arg_ty == param_ty [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `param_ty` in this scope [INFO] [stdout] --> src/type_check.rs:100:33 [INFO] [stdout] | [INFO] [stdout] 100 | arg_ty, param_ty [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:86:28 [INFO] [stdout] | [INFO] [stdout] 86 | Ok(t2) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/reduce.rs:93:41 [INFO] [stdout] | [INFO] [stdout] 93 | Box::new(reduce_context(cond, stage, rule)?), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:94:26 [INFO] [stdout] | [INFO] [stdout] 94 | Box::new(t1), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `body_ty` in this scope [INFO] [stdout] --> src/type_check.rs:103:24 [INFO] [stdout] | [INFO] [stdout] 103 | Ok(body_ty.clone().subst_term(x.clone(), t2.clone())) [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:95:26 [INFO] [stdout] | [INFO] [stdout] 95 | Box::new(t2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:121:35 [INFO] [stdout] | [INFO] [stdout] 121 | Lam(x, ty, box t) if !t.is_value_at(stage) => { [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 121 | Lam(x, ty, box t) if !ty.is_value_at(stage) => { [INFO] [stdout] | + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:122:55 [INFO] [stdout] | [INFO] [stdout] 122 | Ok(Lam(x, ty, Box::new(reduce_context(t, stage, rule)?))) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 122 | Ok(Lam(x, ty, Box::new(reduce_context(ty, stage, rule)?))) [INFO] [stdout] | + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/type_check.rs:103:62 [INFO] [stdout] | [INFO] [stdout] 103 | Ok(body_ty.clone().subst_term(x.clone(), t2.clone())) [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 103 - Ok(body_ty.clone().subst_term(x.clone(), t2.clone())) [INFO] [stdout] 103 + Ok(body_ty.clone().subst_term(x.clone(), ty.clone())) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:124:37 [INFO] [stdout] | [INFO] [stdout] 124 | App(box t1, box t2) if !t1.is_value_at(stage) => Ok(App( [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `param_ty` in this scope [INFO] [stdout] --> src/type_check.rs:105:42 [INFO] [stdout] | [INFO] [stdout] 105 | Err(NotMatch(arg_ty, param_ty.clone(), stage.clone())) [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:125:41 [INFO] [stdout] | [INFO] [stdout] 125 | Box::new(reduce_context(t1, &vec![], rule)?), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/type_check.rs:109:21 [INFO] [stdout] | [INFO] [stdout] 109 | t1.clone(), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 109 - t1.clone(), [INFO] [stdout] 109 + ty.clone(), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:126:26 [INFO] [stdout] | [INFO] [stdout] 126 | Box::new(t2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:119:38 [INFO] [stdout] | [INFO] [stdout] 119 | let ty = type_check_impl(t, &stage, env)?; [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:128:34 [INFO] [stdout] | [INFO] [stdout] 128 | App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:126:46 [INFO] [stdout] | [INFO] [stdout] 126 | let ty = type_check_impl(t, &stage, env)?; [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:128:59 [INFO] [stdout] | [INFO] [stdout] 128 | App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:134:36 [INFO] [stdout] | [INFO] [stdout] 134 | Err(MustBe(t.clone(), ty, stage.clone(), "code".to_string())) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 134 | Err(MustBe(ty.clone(), ty, stage.clone(), "code".to_string())) [INFO] [stdout] | + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:129:33 [INFO] [stdout] | [INFO] [stdout] 129 | Ok(App(Box::new(v), Box::new(reduce_context(t, stage, rule)?))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:144:38 [INFO] [stdout] | [INFO] [stdout] 144 | let ty = type_check_impl(t, stage, env)?; [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:129:61 [INFO] [stdout] | [INFO] [stdout] 129 | Ok(App(Box::new(v), Box::new(reduce_context(t, stage, rule)?))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:148:65 [INFO] [stdout] | [INFO] [stdout] 148 | if let Type::StageBind(alpha, ty) = type_check_impl(t, stage, env)? { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:160:37 [INFO] [stdout] | [INFO] [stdout] 160 | type_check_impl(t, &stage, env) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/type_check.rs:171:50 [INFO] [stdout] | [INFO] [stdout] 171 | Box::new(Lam(x.clone(), Box::new(ty.clone()), Box::new(t2.clone()))), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/type_check.rs:171:72 [INFO] [stdout] | [INFO] [stdout] 171 | Box::new(Lam(x.clone(), Box::new(ty.clone()), Box::new(t2.clone()))), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/type_check.rs:172:26 [INFO] [stdout] | [INFO] [stdout] 172 | Box::new(t1.clone()), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v1` in this scope [INFO] [stdout] --> src/reduce.rs:131:36 [INFO] [stdout] | [INFO] [stdout] 131 | App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v2` in this scope [INFO] [stdout] --> src/reduce.rs:131:61 [INFO] [stdout] | [INFO] [stdout] 131 | App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v1` in this scope [INFO] [stdout] --> src/reduce.rs:132:35 [INFO] [stdout] | [INFO] [stdout] 132 | rule(App(Box::new(v1), Box::new(v2))) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v2` in this scope [INFO] [stdout] --> src/reduce.rs:132:49 [INFO] [stdout] | [INFO] [stdout] 132 | rule(App(Box::new(v1), Box::new(v2))) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/type_check.rs:180:36 [INFO] [stdout] | [INFO] [stdout] 180 | env.insert(x.clone(), (ty.clone(), stage.clone())); [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `alpha_` in this scope [INFO] [stdout] --> src/reduce.rs:135:29 [INFO] [stdout] | [INFO] [stdout] 135 | if alpha == alpha_ && v.is_value_at(&vec![alpha.clone()]) => [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 135 - if alpha == alpha_ && v.is_value_at(&vec![alpha.clone()]) => [INFO] [stdout] 135 + if alpha == alpha && v.is_value_at(&vec![alpha.clone()]) => [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:135:39 [INFO] [stdout] | [INFO] [stdout] 135 | if alpha == alpha_ && v.is_value_at(&vec![alpha.clone()]) => [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:181:42 [INFO] [stdout] | [INFO] [stdout] 181 | let ret_ty = type_check_impl(t, stage, &env)?; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 181 - let ret_ty = type_check_impl(t, stage, &env)?; [INFO] [stdout] 181 + let ret_ty = type_check_impl(x, stage, &env)?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `alpha_` in this scope [INFO] [stdout] --> src/reduce.rs:137:50 [INFO] [stdout] | [INFO] [stdout] 137 | rule(Escape(alpha, Box::new(Code(alpha_, Box::new(v))))) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 137 - rule(Escape(alpha, Box::new(Code(alpha_, Box::new(v))))) [INFO] [stdout] 137 + rule(Escape(alpha, Box::new(Code(alpha, Box::new(v))))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/type_check.rs:182:79 [INFO] [stdout] | [INFO] [stdout] 182 | if input_yes_or_no(&format!("are\n {} and\n {}\nsame? (y/n): ", ty, ret_ty)) { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `v` in this scope [INFO] [stdout] --> src/reduce.rs:137:67 [INFO] [stdout] | [INFO] [stdout] 137 | rule(Escape(alpha, Box::new(Code(alpha_, Box::new(v))))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/type_check.rs:185:30 [INFO] [stdout] | [INFO] [stdout] 185 | Err(NotMatch(ty.clone(), ret_ty, stage.clone())) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:142:21 [INFO] [stdout] | [INFO] [stdout] 142 | if !t.is_value_at(&stage) { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/type_check.rs:189:43 [INFO] [stdout] | [INFO] [stdout] 189 | let cond_ty = type_check_impl(cond, stage, env)?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:143:62 [INFO] [stdout] | [INFO] [stdout] 143 | rule(Code(alpha, Box::new(reduce_context(t, &stage, rule)?))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/type_check.rs:191:43 [INFO] [stdout] | [INFO] [stdout] 191 | let ty1 = type_check_impl(t1, stage, env)?; [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:152:66 [INFO] [stdout] | [INFO] [stdout] 152 | Ok(Escape(alpha, Box::new(reduce_context(t, &stage, rule)?))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/type_check.rs:192:43 [INFO] [stdout] | [INFO] [stdout] 192 | let ty2 = type_check_impl(t2, stage, env)?; [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/type_check.rs:200:21 [INFO] [stdout] | [INFO] [stdout] 200 | cond.clone(), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:160:40 [INFO] [stdout] | [INFO] [stdout] 160 | StageLam(alpha, box t) if !t.is_value_at(stage) => { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:161:60 [INFO] [stdout] | [INFO] [stdout] 161 | Ok(StageLam(alpha, Box::new(reduce_context(t, stage, rule)?))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:163:40 [INFO] [stdout] | [INFO] [stdout] 163 | StageApp(box t, stage) if !t.is_value_at(&stage) => { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:164:53 [INFO] [stdout] | [INFO] [stdout] 164 | Ok(StageApp(Box::new(reduce_context(t, &stage, rule)?), stage)) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `alpha` in this scope [INFO] [stdout] --> src/reduce.rs:167:49 [INFO] [stdout] | [INFO] [stdout] 167 | rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage)) [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:167:65 [INFO] [stdout] | [INFO] [stdout] 167 | rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage)) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:172:44 [INFO] [stdout] | [INFO] [stdout] 172 | if alpha == alpha_ && !t.is_value_at(&stage) { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:173:63 [INFO] [stdout] | [INFO] [stdout] 173 | Ok(CSP(alpha, Box::new(reduce_context(t, &stage, rule)?))) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/reduce.rs:183:46 [INFO] [stdout] | [INFO] [stdout] 183 | App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:183:60 [INFO] [stdout] | [INFO] [stdout] 183 | App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:183:76 [INFO] [stdout] | [INFO] [stdout] 183 | App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/reduce.rs:188:51 [INFO] [stdout] | [INFO] [stdout] 188 | let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone())); [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:188:65 [INFO] [stdout] | [INFO] [stdout] 188 | let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone())); [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 188 - let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone())); [INFO] [stdout] 188 + let fix = Fix(x.clone(), Box::new(ty), Box::new(x.clone())); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/reduce.rs:189:20 [INFO] [stdout] | [INFO] [stdout] 189 | Ok(t.subst_term(x, fix)) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 189 - Ok(t.subst_term(x, fix)) [INFO] [stdout] 189 + Ok(x.subst_term(x, fix)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/reduce.rs:191:46 [INFO] [stdout] | [INFO] [stdout] 191 | Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/reduce.rs:192:55 [INFO] [stdout] | [INFO] [stdout] 192 | if let Term::Const(Literal::Int(n)) = cond { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:194:28 [INFO] [stdout] | [INFO] [stdout] 194 | Ok(t1) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:196:28 [INFO] [stdout] | [INFO] [stdout] 196 | Ok(t2) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/reduce.rs:203:41 [INFO] [stdout] | [INFO] [stdout] 203 | Box::new(reduce_context(cond, stage, rule)?), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/reduce.rs:204:26 [INFO] [stdout] | [INFO] [stdout] 204 | Box::new(t1), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/reduce.rs:205:26 [INFO] [stdout] | [INFO] [stdout] 205 | Box::new(t2), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `arg_ty` in this scope [INFO] [stdout] --> src/type_check.rs:85:38 [INFO] [stdout] | [INFO] [stdout] 85 | env.insert(var.clone(), (arg_ty.clone(), stage.clone())); [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:86:42 [INFO] [stdout] | [INFO] [stdout] 86 | let ret_ty = type_check_impl(t, stage, &env)?; [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `arg_ty` in this scope [INFO] [stdout] --> src/type_check.rs:89:26 [INFO] [stdout] | [INFO] [stdout] 89 | Box::new(arg_ty.clone()), [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/type_check.rs:94:38 [INFO] [stdout] | [INFO] [stdout] 94 | let ty = type_check_impl(t1, stage, env)?; [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/type_check.rs:96:46 [INFO] [stdout] | [INFO] [stdout] 96 | let arg_ty = type_check_impl(t2, stage, env)?; [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 96 - let arg_ty = type_check_impl(t2, stage, env)?; [INFO] [stdout] 96 + let arg_ty = type_check_impl(ty, stage, env)?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `param_ty` in this scope [INFO] [stdout] --> src/type_check.rs:97:31 [INFO] [stdout] | [INFO] [stdout] 97 | if &arg_ty == param_ty [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `param_ty` in this scope [INFO] [stdout] --> src/type_check.rs:100:33 [INFO] [stdout] | [INFO] [stdout] 100 | arg_ty, param_ty [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `body_ty` in this scope [INFO] [stdout] --> src/type_check.rs:103:24 [INFO] [stdout] | [INFO] [stdout] 103 | Ok(body_ty.clone().subst_term(x.clone(), t2.clone())) [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/type_check.rs:103:62 [INFO] [stdout] | [INFO] [stdout] 103 | Ok(body_ty.clone().subst_term(x.clone(), t2.clone())) [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 103 - Ok(body_ty.clone().subst_term(x.clone(), t2.clone())) [INFO] [stdout] 103 + Ok(body_ty.clone().subst_term(x.clone(), ty.clone())) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `param_ty` in this scope [INFO] [stdout] --> src/type_check.rs:105:42 [INFO] [stdout] | [INFO] [stdout] 105 | Err(NotMatch(arg_ty, param_ty.clone(), stage.clone())) [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/type_check.rs:109:21 [INFO] [stdout] | [INFO] [stdout] 109 | t1.clone(), [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 109 - t1.clone(), [INFO] [stdout] 109 + ty.clone(), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:119:38 [INFO] [stdout] | [INFO] [stdout] 119 | let ty = type_check_impl(t, &stage, env)?; [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:126:46 [INFO] [stdout] | [INFO] [stdout] 126 | let ty = type_check_impl(t, &stage, env)?; [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:134:36 [INFO] [stdout] | [INFO] [stdout] 134 | Err(MustBe(t.clone(), ty, stage.clone(), "code".to_string())) [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 134 | Err(MustBe(ty.clone(), ty, stage.clone(), "code".to_string())) [INFO] [stdout] | + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:144:38 [INFO] [stdout] | [INFO] [stdout] 144 | let ty = type_check_impl(t, stage, env)?; [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:148:65 [INFO] [stdout] | [INFO] [stdout] 148 | if let Type::StageBind(alpha, ty) = type_check_impl(t, stage, env)? { [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:160:37 [INFO] [stdout] | [INFO] [stdout] 160 | type_check_impl(t, &stage, env) [INFO] [stdout] | ^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/type_check.rs:171:50 [INFO] [stdout] | [INFO] [stdout] 171 | Box::new(Lam(x.clone(), Box::new(ty.clone()), Box::new(t2.clone()))), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/type_check.rs:171:72 [INFO] [stdout] | [INFO] [stdout] 171 | Box::new(Lam(x.clone(), Box::new(ty.clone()), Box::new(t2.clone()))), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/type_check.rs:172:26 [INFO] [stdout] | [INFO] [stdout] 172 | Box::new(t1.clone()), [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/type_check.rs:180:36 [INFO] [stdout] | [INFO] [stdout] 180 | env.insert(x.clone(), (ty.clone(), stage.clone())); [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t` in this scope [INFO] [stdout] --> src/type_check.rs:181:42 [INFO] [stdout] | [INFO] [stdout] 181 | let ret_ty = type_check_impl(t, stage, &env)?; [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] help: a local variable with a similar name exists [INFO] [stdout] | [INFO] [stdout] 181 - let ret_ty = type_check_impl(t, stage, &env)?; [INFO] [stdout] 181 + let ret_ty = type_check_impl(x, stage, &env)?; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/type_check.rs:182:79 [INFO] [stdout] | [INFO] [stdout] 182 | if input_yes_or_no(&format!("are\n {} and\n {}\nsame? (y/n): ", ty, ret_ty)) { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `ty` in this scope [INFO] [stdout] --> src/type_check.rs:185:30 [INFO] [stdout] | [INFO] [stdout] 185 | Err(NotMatch(ty.clone(), ret_ty, stage.clone())) [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `exclusive_range_pattern` has been stable since 1.80.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/main.rs:2:12 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(exclusive_range_pattern)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/type_check.rs:189:43 [INFO] [stdout] | [INFO] [stdout] 189 | let cond_ty = type_check_impl(cond, stage, env)?; [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t1` in this scope [INFO] [stdout] --> src/type_check.rs:191:43 [INFO] [stdout] | [INFO] [stdout] 191 | let ty1 = type_check_impl(t1, stage, env)?; [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `t2` in this scope [INFO] [stdout] --> src/type_check.rs:192:43 [INFO] [stdout] | [INFO] [stdout] 192 | let ty2 = type_check_impl(t2, stage, env)?; [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `cond` in this scope [INFO] [stdout] --> src/type_check.rs:200:21 [INFO] [stdout] | [INFO] [stdout] 200 | cond.clone(), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `exclusive_range_pattern` has been stable since 1.80.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/main.rs:2:12 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(exclusive_range_pattern)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0425, E0557. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0425`. [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0425, E0557. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0425`. [INFO] [stdout] [INFO] [stderr] error: could not compile `dtmsc` (bin "dtmsc" test) due to 340 previous errors; 1 warning emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `dtmsc` (bin "dtmsc") due to 340 previous errors; 1 warning emitted [INFO] running `Command { std: "docker" "inspect" "61c4eb0d60463c007f5931de45cbfadf3b4db38a6e08136f9102766c549543e7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "61c4eb0d60463c007f5931de45cbfadf3b4db38a6e08136f9102766c549543e7", kill_on_drop: false }` [INFO] [stdout] 61c4eb0d60463c007f5931de45cbfadf3b4db38a6e08136f9102766c549543e7