[INFO] cloning repository https://github.com/yportne13/elaboration-zoo-lsp
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/yportne13/elaboration-zoo-lsp" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Felaboration-zoo-lsp", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Felaboration-zoo-lsp'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 23dd1e0b08d5518250c667be41ce7f76575881ed
[INFO] checking yportne13/elaboration-zoo-lsp against 1.95.0 for pr-155915
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Felaboration-zoo-lsp" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/yportne13/elaboration-zoo-lsp
[INFO] finished tweaking git repo https://github.com/yportne13/elaboration-zoo-lsp
[INFO] tweaked toml for git repo https://github.com/yportne13/elaboration-zoo-lsp written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/yportne13/elaboration-zoo-lsp on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/yportne13/elaboration-zoo-lsp 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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rust-lapper v1.2.0
[INFO] [stderr]   Downloaded lsp-types v0.95.1
[INFO] [stderr]   Downloaded lsp-server v0.7.8
[INFO] [stderr]   Downloaded oxc_index v0.36.0
[INFO] [stderr]   Downloaded smol_str v0.3.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] fe6a2f8cc609d2c15ea64660836e0c8830a8d2d8c9d3977e9d869670b9951d19
[INFO] running `Command { std: "docker" "start" "-a" "fe6a2f8cc609d2c15ea64660836e0c8830a8d2d8c9d3977e9d869670b9951d19", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fe6a2f8cc609d2c15ea64660836e0c8830a8d2d8c9d3977e9d869670b9951d19", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fe6a2f8cc609d2c15ea64660836e0c8830a8d2d8c9d3977e9d869670b9951d19", kill_on_drop: false }`
[INFO] [stdout] fe6a2f8cc609d2c15ea64660836e0c8830a8d2d8c9d3977e9d869670b9951d19
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e4493b42d638bbd24e1615cec1f20191f893976d9cca26eaf7fa507bb639a3af
[INFO] running `Command { std: "docker" "start" "-a" "e4493b42d638bbd24e1615cec1f20191f893976d9cca26eaf7fa507bb639a3af", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.94
[INFO] [stderr]     Checking litemap v0.7.5
[INFO] [stderr]    Compiling find-msvc-tools v0.1.5
[INFO] [stderr]     Checking smallvec v1.14.0
[INFO] [stderr]    Compiling zerocopy v0.8.31
[INFO] [stderr]    Compiling object v0.32.2
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking percent-encoding v2.3.1
[INFO] [stderr]    Compiling im-rc v15.1.0
[INFO] [stderr]    Compiling im v15.1.0
[INFO] [stderr]     Checking bitmaps v2.1.0
[INFO] [stderr]     Checking crossbeam-channel v0.5.15
[INFO] [stderr]     Checking str_indices v0.4.4
[INFO] [stderr]     Checking log v0.4.26
[INFO] [stderr]     Checking codespan-reporting v0.13.1
[INFO] [stderr]     Checking colored v2.2.0
[INFO] [stderr]     Checking form_urlencoded v1.2.1
[INFO] [stderr]     Checking rust-lapper v1.2.0
[INFO] [stderr]     Checking oxc_index v0.36.0
[INFO] [stderr]     Checking rand_xoshiro v0.6.0
[INFO] [stderr]     Checking smol_str v0.3.2
[INFO] [stderr]    Compiling cc v1.2.48
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking ropey v1.6.1
[INFO] [stderr]     Checking sized-chunks v0.6.5
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.100
[INFO] [stderr]    Compiling stacker v0.1.22
[INFO] [stderr]     Checking ahash v0.8.12
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking dashmap v6.1.0
[INFO] [stderr]    Compiling ar_archive_writer v0.2.0
[INFO] [stderr]    Compiling psm v0.1.28
[INFO] [stderr]     Checking chumsky v0.9.3
[INFO] [stderr]    Compiling synstructure v0.13.1
[INFO] [stderr]    Compiling zerovec-derive v0.10.3
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling icu_provider_macros v1.5.0
[INFO] [stderr]    Compiling serde_derive v1.0.219
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling serde_repr v0.1.20
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.7.5
[INFO] [stderr]     Checking zerofrom v0.1.6
[INFO] [stderr]     Checking yoke v0.7.5
[INFO] [stderr]     Checking thiserror v2.0.17
[INFO] [stderr]     Checking zerovec v0.10.4
[INFO] [stderr]     Checking tinystr v0.7.6
[INFO] [stderr]     Checking icu_collections v1.5.0
[INFO] [stderr]     Checking icu_locid v1.5.0
[INFO] [stderr]     Checking icu_provider v1.5.0
[INFO] [stderr]     Checking icu_locid_transform v1.5.0
[INFO] [stderr]     Checking serde v1.0.219
[INFO] [stderr]     Checking icu_properties v1.5.1
[INFO] [stderr]     Checking icu_normalizer v1.5.0
[INFO] [stderr]     Checking serde_json v1.0.140
[INFO] [stderr]     Checking idna_adapter v1.2.0
[INFO] [stderr]     Checking idna v1.0.3
[INFO] [stderr]     Checking url v2.5.4
[INFO] [stderr]     Checking lsp-server v0.7.8
[INFO] [stderr]     Checking lsp-types v0.95.1
[INFO] [stderr]     Checking elaboration-zoo-lsp v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(pattern)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `hash::Hash`, `ops::Add`, and `str::pattern::Pattern`
[INFO] [stdout]  --> src/parser_lib_resilient.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{fmt::Debug, ops::Add, str::pattern::Pattern, hash::Hash};
[INFO] [stdout]   |                       ^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Severity`
[INFO] [stdout]  --> src/parser_lib_resilient.rs:3:43
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub use crate::parser_lib::{Span, ToSpan, Severity, Diagnostic, unescape};
[INFO] [stdout]   |                                           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L03_holes/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L04_implicit/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Raw`
[INFO] [stdout]  --> src/L04_implicit/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L04_implicit/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L04_implicit/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L05_pruning/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Raw`
[INFO] [stdout]  --> src/L05_pruning/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L05_pruning/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix` and `cxt::NameOrigin`
[INFO] [stdout]  --> src/L05_pruning/elaboration.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     cxt::NameOrigin, empty_span, lvl2ix, parser::syntax::{Either, Icit, Raw}, Closure, Cxt, Error, Infer, Ix, Tm, VTy, Val
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^                                                                                       ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L05_pruning/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Error`
[INFO] [stdout]  --> src/L05_pruning/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L06_string/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Raw`
[INFO] [stdout]  --> src/L06_string/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L06_string/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix` and `cxt::NameOrigin`
[INFO] [stdout]  --> src/L06_string/elaboration.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     cxt::NameOrigin, empty_span, lvl2ix, parser::syntax::{Decl, Either, Icit, Raw}, Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^                                                                                                     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L06_string/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Error`
[INFO] [stdout]  --> src/L06_string/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07_sum_type/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Pattern`
[INFO] [stdout]  --> src/L07_sum_type/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L07_sum_type/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07_sum_type/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07_sum_type/elaboration.rs:5:13
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::{list::List, parser_lib::Span, L07_sum_type::{parser::syntax::Pattern, pattern_match::Compiler, PatternDetail}};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix` and `cxt::NameOrigin`
[INFO] [stdout]  --> src/L07_sum_type/elaboration.rs:8:41
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val,
[INFO] [stdout]   |                                         ^^
[INFO] [stdout] 9 |     cxt::NameOrigin,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07_sum_type/parser/syntax.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07_sum_type/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Error`
[INFO] [stdout]  --> src/L07_sum_type/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07a_depend_pm/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Pattern` and `Raw`
[INFO] [stdout]  --> src/L07a_depend_pm/mod.rs:3:36
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                                    ^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L07a_depend_pm/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L07a_depend_pm/cxt.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L07a_depend_pm/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07a_depend_pm/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07a_depend_pm/elaboration.rs:5:13
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix`, `PatternDetail`, `Pattern`, and `cxt::NameOrigin`
[INFO] [stdout]   --> src/L07a_depend_pm/elaboration.rs:8:41
[INFO] [stdout]    |
[INFO] [stdout]  8 |     Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val,
[INFO] [stdout]    |                                         ^^
[INFO] [stdout]  9 |     cxt::NameOrigin, Lvl,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 10 |     empty_span, lvl2ix,
[INFO] [stdout] 11 |     parser::syntax::{Decl, Either, Icit, Raw, Pattern},
[INFO] [stdout]    |                                               ^^^^^^^
[INFO] [stdout] 12 |     pattern_match::Compiler,
[INFO] [stdout] 13 |     PatternDetail,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07a_depend_pm/parser/syntax.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToSpan`
[INFO] [stdout]  --> src/L07a_depend_pm/pattern_match.rs:6:32
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::{parser_lib::{Span, ToSpan}, L07a_depend_pm::{parser::syntax::Icit}};
[INFO] [stdout]   |                                ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07a_depend_pm/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Error` and `pretty::pretty_tm`
[INFO] [stdout]  --> src/L07a_depend_pm/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L08_product_type/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Pattern` and `Raw`
[INFO] [stdout]  --> src/L08_product_type/mod.rs:3:36
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                                    ^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L08_product_type/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L08_product_type/cxt.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L08_product_type/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L08_product_type/elaboration.rs:5:13
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix`, `PatternDetail`, `Pattern`, and `cxt::NameOrigin`
[INFO] [stdout]   --> src/L08_product_type/elaboration.rs:8:41
[INFO] [stdout]    |
[INFO] [stdout]  8 |     Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val,
[INFO] [stdout]    |                                         ^^
[INFO] [stdout]  9 |     cxt::NameOrigin, Lvl,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 10 |     empty_span, lvl2ix,
[INFO] [stdout] 11 |     parser::syntax::{Decl, Either, Icit, Raw, Pattern},
[INFO] [stdout]    |                                               ^^^^^^^
[INFO] [stdout] 12 |     pattern_match::Compiler,
[INFO] [stdout] 13 |     PatternDetail,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `newKeyword` should have an upper camel case name
[INFO] [stdout]   --> src/L08_product_type/parser/lex.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     newKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^ help: convert the identifier to upper camel case: `NewKeyword`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_camel_case_types)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L08_product_type/parser/syntax.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::empty_span`
[INFO] [stdout]   --> src/L08_product_type/parser/mod.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use super::empty_span;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToSpan`
[INFO] [stdout]  --> src/L08_product_type/pattern_match.rs:6:31
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::parser_lib::{Span, ToSpan};
[INFO] [stdout]   |                               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L08_product_type/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Error` and `pretty::pretty_tm`
[INFO] [stdout]  --> src/L08_product_type/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L09_mltt/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Pattern` and `Raw`
[INFO] [stdout]  --> src/L09_mltt/mod.rs:3:36
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                                    ^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L09_mltt/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `collections::HashMap`
[INFO] [stdout]  --> src/L09_mltt/elaboration.rs:1:21
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{cmp::max, collections::HashMap};
[INFO] [stdout]   |                     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `PatternDetail` and `Pattern`
[INFO] [stdout]   --> src/L09_mltt/elaboration.rs:11:47
[INFO] [stdout]    |
[INFO] [stdout] 11 |     parser::syntax::{Decl, Either, Icit, Raw, Pattern},
[INFO] [stdout]    |                                               ^^^^^^^
[INFO] [stdout] 12 |     pattern_match::Compiler, MetaEntry,
[INFO] [stdout] 13 |     PatternDetail,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToSpan`
[INFO] [stdout]  --> src/L09_mltt/pattern_match.rs:6:31
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::parser_lib::{Span, ToSpan};
[INFO] [stdout]   |                               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L09_mltt/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Error` and `pretty::pretty_tm`
[INFO] [stdout]  --> src/L09_mltt/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L10_typeclass/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L10_typeclass/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `pretty::pretty_tm` and `typeclass::Typ`
[INFO] [stdout]  --> src/L10_typeclass/unification.rs:6:88
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix, typeclass::Typ,
[INFO] [stdout]   |                                                                                        ^^^^^^^^^^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm, typeclass::Assertion, Raw,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L11_macro/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Lvl`
[INFO] [stdout]  --> src/L11_macro/elaboration.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     Lvl, Rc,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L11_macro/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `pretty::pretty_tm` and `typeclass::Typ`
[INFO] [stdout]  --> src/L11_macro/unification.rs:6:88
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix, typeclass::Typ,
[INFO] [stdout]   |                                                                                        ^^^^^^^^^^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm, typeclass::Assertion, Raw, Rc, Decl,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Lvl`
[INFO] [stdout]   --> src/L12_canonical/elaboration.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     Lvl, Rc, MetaVar,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashMap`
[INFO] [stdout]  --> src/L12_canonical/parser/macros.rs:5:32
[INFO] [stdout]   |
[INFO] [stdout] 5 | use super::{TokenNode, IError, HashMap, ErrMsg, string, p_raw, p_pi_binder, empty_span, ParserExt, kw, MacroState};
[INFO] [stdout]   |                                ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L12_canonical/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `pretty::pretty_tm`
[INFO] [stdout]  --> src/L12_canonical/unification.rs:8:56
[INFO] [stdout]   |
[INFO] [stdout] 8 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm, typeclass::Assertion, Raw, Rc, Decl,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Closure`, `Ix`, `Lvl`, `MetaEntry`, `MetaVar`, `Span`, `Spine`, `Tm`, `Ty`, `VTy`, `close_ty`, and `syntax::Locals`
[INFO] [stdout]  --> src/L12_canonical/canonical.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 |     Infer, MetaEntry, Cxt, Rc, Val, UnifyError, Ty, Span,
[INFO] [stdout]   |            ^^^^^^^^^                            ^^  ^^^^
[INFO] [stdout] 4 |     MetaVar, Tm, Lvl, Ix, List, Closure, VTy, syntax::Locals,
[INFO] [stdout]   |     ^^^^^^^  ^^  ^^^  ^^        ^^^^^^^  ^^^  ^^^^^^^^^^^^^^
[INFO] [stdout] 5 |     empty_span, Raw, Either, Spine, close_ty, Icit,
[INFO] [stdout]   |                              ^^^^^  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Connection`
[INFO] [stdout]   --> src/lib.rs:34:18
[INFO] [stdout]    |
[INFO] [stdout] 34 | use lsp_server::{Connection, ExtractError, Message, ProtocolError, Request, RequestId, Response};
[INFO] [stdout]    |                  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Deserialize` and `Serialize`
[INFO] [stdout]   --> src/lib.rs:37:13
[INFO] [stdout]    |
[INFO] [stdout] 37 | use serde::{Deserialize, Serialize};
[INFO] [stdout]    |             ^^^^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `parser`
[INFO] [stdout]   --> src/lib.rs:44:29
[INFO] [stdout]    |
[INFO] [stdout] 44 | use L12_canonical::parser::{parser, parser_with_macros, macros::MacroRule};
[INFO] [stdout]    |                             ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(pattern)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `hash::Hash`, `ops::Add`, and `str::pattern::Pattern`
[INFO] [stdout]  --> src/parser_lib_resilient.rs:1:23
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{fmt::Debug, ops::Add, str::pattern::Pattern, hash::Hash};
[INFO] [stdout]   |                       ^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Severity`
[INFO] [stdout]  --> src/parser_lib_resilient.rs:3:43
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub use crate::parser_lib::{Span, ToSpan, Severity, Diagnostic, unescape};
[INFO] [stdout]   |                                           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L03_holes/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L04_implicit/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Raw`
[INFO] [stdout]  --> src/L04_implicit/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L04_implicit/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L04_implicit/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L05_pruning/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Raw`
[INFO] [stdout]  --> src/L05_pruning/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L05_pruning/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix` and `cxt::NameOrigin`
[INFO] [stdout]  --> src/L05_pruning/elaboration.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     cxt::NameOrigin, empty_span, lvl2ix, parser::syntax::{Either, Icit, Raw}, Closure, Cxt, Error, Infer, Ix, Tm, VTy, Val
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^                                                                                       ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L05_pruning/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Error`
[INFO] [stdout]  --> src/L05_pruning/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L06_string/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Raw`
[INFO] [stdout]  --> src/L06_string/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L06_string/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix` and `cxt::NameOrigin`
[INFO] [stdout]  --> src/L06_string/elaboration.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     cxt::NameOrigin, empty_span, lvl2ix, parser::syntax::{Decl, Either, Icit, Raw}, Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^                                                                                                     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L06_string/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Error`
[INFO] [stdout]  --> src/L06_string/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07_sum_type/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Either` and `Pattern`
[INFO] [stdout]  --> src/L07_sum_type/mod.rs:3:22
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                      ^^^^^^        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L07_sum_type/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07_sum_type/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07_sum_type/elaboration.rs:5:13
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::{list::List, parser_lib::Span, L07_sum_type::{parser::syntax::Pattern, pattern_match::Compiler, PatternDetail}};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix` and `cxt::NameOrigin`
[INFO] [stdout]  --> src/L07_sum_type/elaboration.rs:8:41
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val,
[INFO] [stdout]   |                                         ^^
[INFO] [stdout] 9 |     cxt::NameOrigin,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07_sum_type/parser/syntax.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07_sum_type/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Error`
[INFO] [stdout]  --> src/L07_sum_type/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07a_depend_pm/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Pattern` and `Raw`
[INFO] [stdout]  --> src/L07a_depend_pm/mod.rs:3:36
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                                    ^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L07a_depend_pm/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L07a_depend_pm/cxt.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L07a_depend_pm/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07a_depend_pm/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07a_depend_pm/elaboration.rs:5:13
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix`, `PatternDetail`, `Pattern`, and `cxt::NameOrigin`
[INFO] [stdout]   --> src/L07a_depend_pm/elaboration.rs:8:41
[INFO] [stdout]    |
[INFO] [stdout]  8 |     Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val,
[INFO] [stdout]    |                                         ^^
[INFO] [stdout]  9 |     cxt::NameOrigin, Lvl,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 10 |     empty_span, lvl2ix,
[INFO] [stdout] 11 |     parser::syntax::{Decl, Either, Icit, Raw, Pattern},
[INFO] [stdout]    |                                               ^^^^^^^
[INFO] [stdout] 12 |     pattern_match::Compiler,
[INFO] [stdout] 13 |     PatternDetail,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L07a_depend_pm/parser/syntax.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToSpan`
[INFO] [stdout]  --> src/L07a_depend_pm/pattern_match.rs:6:32
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::{parser_lib::{Span, ToSpan}, L07a_depend_pm::{parser::syntax::Icit}};
[INFO] [stdout]   |                                ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L07a_depend_pm/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Error` and `pretty::pretty_tm`
[INFO] [stdout]  --> src/L07a_depend_pm/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L08_product_type/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Pattern` and `Raw`
[INFO] [stdout]  --> src/L08_product_type/mod.rs:3:36
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                                    ^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L08_product_type/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L08_product_type/cxt.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/L08_product_type/elaboration.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L08_product_type/elaboration.rs:5:13
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Ix`, `PatternDetail`, `Pattern`, and `cxt::NameOrigin`
[INFO] [stdout]   --> src/L08_product_type/elaboration.rs:8:41
[INFO] [stdout]    |
[INFO] [stdout]  8 |     Closure, Cxt, DeclTm, Error, Infer, Ix, Tm, VTy, Val,
[INFO] [stdout]    |                                         ^^
[INFO] [stdout]  9 |     cxt::NameOrigin, Lvl,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 10 |     empty_span, lvl2ix,
[INFO] [stdout] 11 |     parser::syntax::{Decl, Either, Icit, Raw, Pattern},
[INFO] [stdout]    |                                               ^^^^^^^
[INFO] [stdout] 12 |     pattern_match::Compiler,
[INFO] [stdout] 13 |     PatternDetail,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `newKeyword` should have an upper camel case name
[INFO] [stdout]   --> src/L08_product_type/parser/lex.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     newKeyword,
[INFO] [stdout]    |     ^^^^^^^^^^ help: convert the identifier to upper camel case: `NewKeyword`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_camel_case_types)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `list::List`
[INFO] [stdout]  --> src/L08_product_type/parser/syntax.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{list::List, parser_lib::Span};
[INFO] [stdout]   |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::empty_span`
[INFO] [stdout]   --> src/L08_product_type/parser/mod.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use super::empty_span;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToSpan`
[INFO] [stdout]  --> src/L08_product_type/pattern_match.rs:6:31
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::parser_lib::{Span, ToSpan};
[INFO] [stdout]   |                               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L08_product_type/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Error` and `pretty::pretty_tm`
[INFO] [stdout]  --> src/L08_product_type/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L09_mltt/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Pattern` and `Raw`
[INFO] [stdout]  --> src/L09_mltt/mod.rs:3:36
[INFO] [stdout]   |
[INFO] [stdout] 3 | use parser::syntax::{Either, Icit, Pattern, Raw};
[INFO] [stdout]   |                                    ^^^^^^^  ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `DecisionTree`
[INFO] [stdout]  --> src/L09_mltt/mod.rs:4:31
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pattern_match::{Compiler, DecisionTree};
[INFO] [stdout]   |                               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `collections::HashMap`
[INFO] [stdout]  --> src/L09_mltt/elaboration.rs:1:21
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{cmp::max, collections::HashMap};
[INFO] [stdout]   |                     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `PatternDetail` and `Pattern`
[INFO] [stdout]   --> src/L09_mltt/elaboration.rs:11:47
[INFO] [stdout]    |
[INFO] [stdout] 11 |     parser::syntax::{Decl, Either, Icit, Raw, Pattern},
[INFO] [stdout]    |                                               ^^^^^^^
[INFO] [stdout] 12 |     pattern_match::Compiler, MetaEntry,
[INFO] [stdout] 13 |     PatternDetail,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToSpan`
[INFO] [stdout]  --> src/L09_mltt/pattern_match.rs:6:31
[INFO] [stdout]   |
[INFO] [stdout] 6 | use crate::parser_lib::{Span, ToSpan};
[INFO] [stdout]   |                               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L09_mltt/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Error` and `pretty::pretty_tm`
[INFO] [stdout]  --> src/L09_mltt/unification.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Error, Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L10_typeclass/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L10_typeclass/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `pretty::pretty_tm` and `typeclass::Typ`
[INFO] [stdout]  --> src/L10_typeclass/unification.rs:6:88
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix, typeclass::Typ,
[INFO] [stdout]   |                                                                                        ^^^^^^^^^^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm, typeclass::Assertion, Raw,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L11_macro/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Lvl`
[INFO] [stdout]  --> src/L11_macro/elaboration.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     Lvl, Rc,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L11_macro/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `pretty::pretty_tm` and `typeclass::Typ`
[INFO] [stdout]  --> src/L11_macro/unification.rs:6:88
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Infer, Lvl, MetaEntry, MetaVar, Spine, Tm, UnifyError, VTy, Val, cxt::Cxt, lvl2ix, typeclass::Typ,
[INFO] [stdout]   |                                                                                        ^^^^^^^^^^^^^^
[INFO] [stdout] 7 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm, typeclass::Assertion, Raw, Rc, Decl,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Lvl`
[INFO] [stdout]   --> src/L12_canonical/elaboration.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     Lvl, Rc, MetaVar,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashMap`
[INFO] [stdout]  --> src/L12_canonical/parser/macros.rs:5:32
[INFO] [stdout]   |
[INFO] [stdout] 5 | use super::{TokenNode, IError, HashMap, ErrMsg, string, p_raw, p_pi_binder, empty_span, ParserExt, kw, MacroState};
[INFO] [stdout]   |                                ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L12_canonical/unification.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `pretty::pretty_tm`
[INFO] [stdout]  --> src/L12_canonical/unification.rs:8:56
[INFO] [stdout]   |
[INFO] [stdout] 8 |     parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm, typeclass::Assertion, Raw, Rc, Decl,
[INFO] [stdout]   |                                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Closure`, `Ix`, `Lvl`, `MetaEntry`, `MetaVar`, `Span`, `Spine`, `Tm`, `Ty`, `VTy`, `close_ty`, and `syntax::Locals`
[INFO] [stdout]  --> src/L12_canonical/canonical.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 |     Infer, MetaEntry, Cxt, Rc, Val, UnifyError, Ty, Span,
[INFO] [stdout]   |            ^^^^^^^^^                            ^^  ^^^^
[INFO] [stdout] 4 |     MetaVar, Tm, Lvl, Ix, List, Closure, VTy, syntax::Locals,
[INFO] [stdout]   |     ^^^^^^^  ^^  ^^^  ^^        ^^^^^^^  ^^^  ^^^^^^^^^^^^^^
[INFO] [stdout] 5 |     empty_span, Raw, Either, Spine, close_ty, Icit,
[INFO] [stdout]   |                              ^^^^^  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Connection`
[INFO] [stdout]   --> src/lib.rs:34:18
[INFO] [stdout]    |
[INFO] [stdout] 34 | use lsp_server::{Connection, ExtractError, Message, ProtocolError, Request, RequestId, Response};
[INFO] [stdout]    |                  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Deserialize` and `Serialize`
[INFO] [stdout]   --> src/lib.rs:37:13
[INFO] [stdout]    |
[INFO] [stdout] 37 | use serde::{Deserialize, Serialize};
[INFO] [stdout]    |             ^^^^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `parser`
[INFO] [stdout]   --> src/lib.rs:44:29
[INFO] [stdout]    |
[INFO] [stdout] 44 | use L12_canonical::parser::{parser, parser_with_macros, macros::MacroRule};
[INFO] [stdout]    |                             ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `codespan_reporting::term::emit`: Use `emit_to_write_style` instead or depending on the writer use `emit_to_io_write` or `emit_to_string`
[INFO] [stdout]    --> src/client.rs:184:19
[INFO] [stdout]     |
[INFO] [stdout] 184 |             term::emit(&mut writer, &config, &files, cs_diag).unwrap();
[INFO] [stdout]     |                   ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `codespan_reporting::term::emit`: Use `emit_to_write_style` instead or depending on the writer use `emit_to_io_write` or `emit_to_string`
[INFO] [stdout]    --> src/client.rs:184:19
[INFO] [stdout]     |
[INFO] [stdout] 184 |             term::emit(&mut writer, &config, &files, cs_diag).unwrap();
[INFO] [stdout]     |                   ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L11_macro/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L12_canonical/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L12_canonical/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L10_typeclass/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L08_product_type/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L09_mltt/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]   --> src/parser_lib_resilient.rs:22:71
[INFO] [stdout]    |
[INFO] [stdout] 22 |         move |input, state: &mut S| self.parse(input, state).or_else(|e| rhs.parse(input, state))//TODO: err combine
[INFO] [stdout]    |                                                                       ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `version`
[INFO] [stdout]    --> src/client.rs:113:75
[INFO] [stdout]     |
[INFO] [stdout] 113 |     fn publish_diagnostics(&self, uri: Url, diagnostics: Vec<Diagnostic>, version: Option<i32>) {
[INFO] [stdout]     |                                                                           ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_version`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L11_macro/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L12_canonical/mod.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L12_canonical/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L10_typeclass/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L08_product_type/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `colored::Colorize`
[INFO] [stdout]  --> src/L09_mltt/elaboration.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use colored::Colorize;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]   --> src/parser_lib_resilient.rs:22:71
[INFO] [stdout]    |
[INFO] [stdout] 22 |         move |input, state: &mut S| self.parse(input, state).or_else(|e| rhs.parse(input, state))//TODO: err combine
[INFO] [stdout]    |                                                                       ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]    --> src/L03_holes/mod.rs:338:32
[INFO] [stdout]     |
[INFO] [stdout] 338 |             Val::Flex(m_prime, sp) if m == m_prime => Err(UnifyError), // occurs check
[INFO] [stdout]     |                                ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L03_holes/mod.rs:492:22
[INFO] [stdout]     |
[INFO] [stdout] 492 |             (Val::Pi(x, a, b_closure), Val::Pi(x_prime, a_prime, b_prime_closure)) => {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x_prime`
[INFO] [stdout]    --> src/L03_holes/mod.rs:492:48
[INFO] [stdout]     |
[INFO] [stdout] 492 |             (Val::Pi(x, a, b_closure), Val::Pi(x_prime, a_prime, b_prime_closure)) => {
[INFO] [stdout]     |                                                ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_x_prime`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L03_holes/mod.rs:661:25
[INFO] [stdout]     |
[INFO] [stdout] 661 |             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]     |                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: you might have meant to pattern match on the similarly named variant `U`
[INFO] [stdout]     |
[INFO] [stdout] 661 -             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout] 661 +             (Raw::Hole, L03_holes::Val::U) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]     |
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]     |
[INFO] [stdout] 661 |             (Raw::Hole, _a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]     |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `version`
[INFO] [stdout]    --> src/client.rs:113:75
[INFO] [stdout]     |
[INFO] [stdout] 113 |     fn publish_diagnostics(&self, uri: Url, diagnostics: Vec<Diagnostic>, version: Option<i32>) {
[INFO] [stdout]     |                                                                           ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_version`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]   --> src/L04_implicit/elaboration.rs:87:25
[INFO] [stdout]    |
[INFO] [stdout] 87 |             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]    |                         ^
[INFO] [stdout]    |
[INFO] [stdout] help: you might have meant to pattern match on the similarly named variant `U`
[INFO] [stdout]    |
[INFO] [stdout] 87 -             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout] 87 +             (Raw::Hole, L04_implicit::Val::U) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]    |
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]    |
[INFO] [stdout] 87 |             (Raw::Hole, _a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]    |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L04_implicit/elaboration.rs:136:22
[INFO] [stdout]     |
[INFO] [stdout] 136 |             Raw::Lam(x, Either::Name(_), t) => {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L04_implicit/elaboration.rs:136:42
[INFO] [stdout]     |
[INFO] [stdout] 136 |             Raw::Lam(x, Either::Name(_), t) => {
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]   --> src/L04_implicit/unification.rs:89:32
[INFO] [stdout]    |
[INFO] [stdout] 89 |             Val::Flex(m_prime, sp) if m == m_prime => Err(UnifyError), // occurs check
[INFO] [stdout]    |                                ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t_t`
[INFO] [stdout]    --> src/L04_implicit/unification.rs:185:41
[INFO] [stdout]     |
[INFO] [stdout] 185 |             (Val::Lam(_, i, t_closure), t_t) => self.unify(
[INFO] [stdout]     |                                         ^^^ help: if this is intentional, prefix it with an underscore: `_t_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]    --> src/L03_holes/mod.rs:338:32
[INFO] [stdout]     |
[INFO] [stdout] 338 |             Val::Flex(m_prime, sp) if m == m_prime => Err(UnifyError), // occurs check
[INFO] [stdout]     |                                ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L03_holes/mod.rs:492:22
[INFO] [stdout]     |
[INFO] [stdout] 492 |             (Val::Pi(x, a, b_closure), Val::Pi(x_prime, a_prime, b_prime_closure)) => {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x_prime`
[INFO] [stdout]    --> src/L03_holes/mod.rs:492:48
[INFO] [stdout]     |
[INFO] [stdout] 492 |             (Val::Pi(x, a, b_closure), Val::Pi(x_prime, a_prime, b_prime_closure)) => {
[INFO] [stdout]     |                                                ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_x_prime`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L03_holes/mod.rs:661:25
[INFO] [stdout]     |
[INFO] [stdout] 661 |             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]     |                         ^
[INFO] [stdout]     |
[INFO] [stdout] help: you might have meant to pattern match on the similarly named variant `U`
[INFO] [stdout]     |
[INFO] [stdout] 661 -             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout] 661 +             (Raw::Hole, L03_holes::Val::U) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]     |
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]     |
[INFO] [stdout] 661 |             (Raw::Hole, _a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]     |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L05_pruning/elaboration.rs:155:22
[INFO] [stdout]     |
[INFO] [stdout] 155 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L05_pruning/elaboration.rs:155:42
[INFO] [stdout]     |
[INFO] [stdout] 155 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:275:37
[INFO] [stdout]     |
[INFO] [stdout] 275 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:288:37
[INFO] [stdout]     |
[INFO] [stdout] 288 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]   --> src/L04_implicit/elaboration.rs:87:25
[INFO] [stdout]    |
[INFO] [stdout] 87 |             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]    |                         ^
[INFO] [stdout]    |
[INFO] [stdout] help: you might have meant to pattern match on the similarly named variant `U`
[INFO] [stdout]    |
[INFO] [stdout] 87 -             (Raw::Hole, a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout] 87 +             (Raw::Hole, L04_implicit::Val::U) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]    |
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]    |
[INFO] [stdout] 87 |             (Raw::Hole, _a) => Ok(self.fresh_meta(cxt)),
[INFO] [stdout]    |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L04_implicit/elaboration.rs:136:22
[INFO] [stdout]     |
[INFO] [stdout] 136 |             Raw::Lam(x, Either::Name(_), t) => {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L04_implicit/elaboration.rs:136:42
[INFO] [stdout]     |
[INFO] [stdout] 136 |             Raw::Lam(x, Either::Name(_), t) => {
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]   --> src/L04_implicit/unification.rs:89:32
[INFO] [stdout]    |
[INFO] [stdout] 89 |             Val::Flex(m_prime, sp) if m == m_prime => Err(UnifyError), // occurs check
[INFO] [stdout]    |                                ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t_t`
[INFO] [stdout]    --> src/L04_implicit/unification.rs:185:41
[INFO] [stdout]     |
[INFO] [stdout] 185 |             (Val::Lam(_, i, t_closure), t_t) => self.unify(
[INFO] [stdout]     |                                         ^^^ help: if this is intentional, prefix it with an underscore: `_t_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L06_string/elaboration.rs:222:22
[INFO] [stdout]     |
[INFO] [stdout] 222 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L06_string/elaboration.rs:222:42
[INFO] [stdout]     |
[INFO] [stdout] 222 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L06_string/unification.rs:293:37
[INFO] [stdout]     |
[INFO] [stdout] 293 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a_quote`
[INFO] [stdout]    --> src/L07_sum_type/cxt.rs:119:46
[INFO] [stdout]     |
[INFO] [stdout] 119 |     pub fn fake_bind(&self, x: Span<String>, a_quote: Tm, a: Val) -> Self {
[INFO] [stdout]     |                                              ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_a_quote`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L05_pruning/elaboration.rs:155:22
[INFO] [stdout]     |
[INFO] [stdout] 155 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L05_pruning/elaboration.rs:155:42
[INFO] [stdout]     |
[INFO] [stdout] 155 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:275:37
[INFO] [stdout]     |
[INFO] [stdout] 275 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L05_pruning/unification.rs:288:37
[INFO] [stdout]     |
[INFO] [stdout] 288 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07_sum_type/elaboration.rs:368:22
[INFO] [stdout]     |
[INFO] [stdout] 368 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L07_sum_type/elaboration.rs:368:42
[INFO] [stdout]     |
[INFO] [stdout] 368 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L06_string/elaboration.rs:222:22
[INFO] [stdout]     |
[INFO] [stdout] 222 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L06_string/elaboration.rs:222:42
[INFO] [stdout]     |
[INFO] [stdout] 222 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L06_string/unification.rs:293:37
[INFO] [stdout]     |
[INFO] [stdout] 293 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L06_string/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a_quote`
[INFO] [stdout]    --> src/L07_sum_type/cxt.rs:119:46
[INFO] [stdout]     |
[INFO] [stdout] 119 |     pub fn fake_bind(&self, x: Span<String>, a_quote: Tm, a: Val) -> Self {
[INFO] [stdout]     |                                              ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_a_quote`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07_sum_type/elaboration.rs:368:22
[INFO] [stdout]     |
[INFO] [stdout] 368 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L07_sum_type/elaboration.rs:368:42
[INFO] [stdout]     |
[INFO] [stdout] 368 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret_bind`
[INFO] [stdout]    --> src/L07_sum_type/pattern_match.rs:181:51
[INFO] [stdout]     |
[INFO] [stdout] 181 |                         .map(|(constr, item_typs, ret_bind)| {
[INFO] [stdout]     |                                                   ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ret_bind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sum_name`
[INFO] [stdout]    --> src/L07_sum_type/pattern_match.rs:382:17
[INFO] [stdout]     |
[INFO] [stdout] 382 |                 sum_name,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `sum_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:298:29
[INFO] [stdout]     |
[INFO] [stdout] 298 |             Val::Match(val, env, cases) => {
[INFO] [stdout]     |                             ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:321:37
[INFO] [stdout]     |
[INFO] [stdout] 321 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:334:37
[INFO] [stdout]     |
[INFO] [stdout] 334 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L07_sum_type/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/L07_sum_type/mod.rs:422:29
[INFO] [stdout]     |
[INFO] [stdout] 422 |             Val::Match(val, env, cases) => {
[INFO] [stdout]     |                             ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a_quote`
[INFO] [stdout]    --> src/L07a_depend_pm/cxt.rs:121:46
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn fake_bind(&self, x: Span<String>, a_quote: Tm, a: Val, global_idx: Lvl) -> Self {
[INFO] [stdout]     |                                              ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_a_quote`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]    --> src/L07a_depend_pm/elaboration.rs:184:22
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 let (ret, error) = compiler.compile(self, typ, &clause, cxt, self.eval(&cxt.env, tm.clone()))?;
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07a_depend_pm/elaboration.rs:422:22
[INFO] [stdout]     |
[INFO] [stdout] 422 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L07a_depend_pm/elaboration.rs:422:42
[INFO] [stdout]     |
[INFO] [stdout] 422 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret_bind`
[INFO] [stdout]    --> src/L07_sum_type/pattern_match.rs:181:51
[INFO] [stdout]     |
[INFO] [stdout] 181 |                         .map(|(constr, item_typs, ret_bind)| {
[INFO] [stdout]     |                                                   ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ret_bind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sum_name`
[INFO] [stdout]    --> src/L07_sum_type/pattern_match.rs:382:17
[INFO] [stdout]     |
[INFO] [stdout] 382 |                 sum_name,
[INFO] [stdout]     |                 ^^^^^^^^ help: try ignoring the field: `sum_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:298:29
[INFO] [stdout]     |
[INFO] [stdout] 298 |             Val::Match(val, env, cases) => {
[INFO] [stdout]     |                             ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:321:37
[INFO] [stdout]     |
[INFO] [stdout] 321 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07_sum_type/unification.rs:334:37
[INFO] [stdout]     |
[INFO] [stdout] 334 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L07_sum_type/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L07_sum_type/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `env`
[INFO] [stdout]    --> src/L07_sum_type/mod.rs:422:29
[INFO] [stdout]     |
[INFO] [stdout] 422 |             Val::Match(val, env, cases) => {
[INFO] [stdout]     |                             ^^^ help: if this is intentional, prefix it with an underscore: `_env`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a_quote`
[INFO] [stdout]    --> src/L07a_depend_pm/cxt.rs:121:46
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn fake_bind(&self, x: Span<String>, a_quote: Tm, a: Val, global_idx: Lvl) -> Self {
[INFO] [stdout]     |                                              ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_a_quote`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]    --> src/L07a_depend_pm/elaboration.rs:184:22
[INFO] [stdout]     |
[INFO] [stdout] 184 |                 let (ret, error) = compiler.compile(self, typ, &clause, cxt, self.eval(&cxt.env, tm.clone()))?;
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07a_depend_pm/elaboration.rs:422:22
[INFO] [stdout]     |
[INFO] [stdout] 422 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L07a_depend_pm/elaboration.rs:422:42
[INFO] [stdout]     |
[INFO] [stdout] 422 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:352:37
[INFO] [stdout]     |
[INFO] [stdout] 352 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:365:37
[INFO] [stdout]     |
[INFO] [stdout] 365 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L07a_depend_pm/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a_quote`
[INFO] [stdout]    --> src/L08_product_type/cxt.rs:121:46
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn fake_bind(&self, x: Span<String>, a_quote: Tm, a: Val, global_idx: Lvl) -> Self {
[INFO] [stdout]     |                                              ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_a_quote`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]    --> src/L08_product_type/elaboration.rs:183:22
[INFO] [stdout]     |
[INFO] [stdout] 183 |                 let (ret, error) = compiler.compile(self, typ, &clause, cxt, self.eval(&cxt.env, tm.clone()))?;
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L08_product_type/elaboration.rs:470:22
[INFO] [stdout]     |
[INFO] [stdout] 470 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L08_product_type/elaboration.rs:470:42
[INFO] [stdout]     |
[INFO] [stdout] 470 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:352:37
[INFO] [stdout]     |
[INFO] [stdout] 352 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L07a_depend_pm/unification.rs:365:37
[INFO] [stdout]     |
[INFO] [stdout] 365 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L07a_depend_pm/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L07a_depend_pm/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a_quote`
[INFO] [stdout]    --> src/L08_product_type/cxt.rs:121:46
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn fake_bind(&self, x: Span<String>, a_quote: Tm, a: Val, global_idx: Lvl) -> Self {
[INFO] [stdout]     |                                              ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_a_quote`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]    --> src/L08_product_type/elaboration.rs:183:22
[INFO] [stdout]     |
[INFO] [stdout] 183 |                 let (ret, error) = compiler.compile(self, typ, &clause, cxt, self.eval(&cxt.env, tm.clone()))?;
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L08_product_type/elaboration.rs:470:22
[INFO] [stdout]     |
[INFO] [stdout] 470 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L08_product_type/elaboration.rs:470:42
[INFO] [stdout]     |
[INFO] [stdout] 470 |             Raw::Lam(x, Either::Name(_), t) => Err(Error("infer named lambda".to_owned())),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:352:37
[INFO] [stdout]     |
[INFO] [stdout] 352 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:365:37
[INFO] [stdout]     |
[INFO] [stdout] 365 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L08_product_type/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L09_mltt/elaboration.rs:161:32
[INFO] [stdout]     |
[INFO] [stdout] 161 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]    --> src/L09_mltt/elaboration.rs:237:22
[INFO] [stdout]     |
[INFO] [stdout] 237 |                 let (ret, error) = compiler.compile(self, typ, &clause, cxt, self.eval(&cxt.env, tm.clone()))?;
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L09_mltt/elaboration.rs:537:42
[INFO] [stdout]     |
[INFO] [stdout] 537 |             Raw::Lam(x, Either::Name(_), t) => Err(Error(x.map(|_| "infer named lambda".to_owned()))),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/L09_mltt/parser/syntax.rs:91:28
[INFO] [stdout]    |
[INFO] [stdout] 91 |             Raw::SumCase { typ, case_name, datas } => datas.last()
[INFO] [stdout]    |                            ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:352:37
[INFO] [stdout]     |
[INFO] [stdout] 352 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L08_product_type/unification.rs:365:37
[INFO] [stdout]     |
[INFO] [stdout] 365 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L08_product_type/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L08_product_type/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L09_mltt/elaboration.rs:161:32
[INFO] [stdout]     |
[INFO] [stdout] 161 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]    --> src/L09_mltt/elaboration.rs:237:22
[INFO] [stdout]     |
[INFO] [stdout] 237 |                 let (ret, error) = compiler.compile(self, typ, &clause, cxt, self.eval(&cxt.env, tm.clone()))?;
[INFO] [stdout]     |                      ^^^ help: if this is intentional, prefix it with an underscore: `_ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:342:37
[INFO] [stdout]     |
[INFO] [stdout] 342 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:355:37
[INFO] [stdout]     |
[INFO] [stdout] 355 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L09_mltt/elaboration.rs:537:42
[INFO] [stdout]     |
[INFO] [stdout] 537 |             Raw::Lam(x, Either::Name(_), t) => Err(Error(x.map(|_| "infer named lambda".to_owned()))),
[INFO] [stdout]     |                                          ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L09_mltt/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L10_typeclass/elaboration.rs:167:32
[INFO] [stdout]     |
[INFO] [stdout] 167 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/L09_mltt/parser/syntax.rs:91:28
[INFO] [stdout]    |
[INFO] [stdout] 91 |             Raw::SumCase { typ, case_name, datas } => datas.last()
[INFO] [stdout]    |                            ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/L10_typeclass/parser/syntax.rs:94:41
[INFO] [stdout]    |
[INFO] [stdout] 94 |             Raw::SumCase { is_trait: _, typ, case_name, datas } => datas.last()
[INFO] [stdout]    |                                         ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:115:28
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:115:31
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:115:34
[INFO] [stdout]     |
[INFO] [stdout] 115 |             (list, Val::Pi(x, i, a, b)) if list.head().unwrap().is_none() => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:342:37
[INFO] [stdout]     |
[INFO] [stdout] 342 |                 Val::Pi(span, icit, val, closure) if span.data == "_" => {
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L09_mltt/unification.rs:355:37
[INFO] [stdout]     |
[INFO] [stdout] 355 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:19
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                   ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_ns`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ns`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:49
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                 ^^ help: if this is intentional, prefix it with an underscore: `_ns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:67
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pr`
[INFO] [stdout]   --> src/L09_mltt/pretty.rs:51:75
[INFO] [stdout]    |
[INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List<String>, ns: List<String>, t: &Tm, pr: &Pruning) -> String {
[INFO] [stdout]    |                                                                           ^^ help: if this is intentional, prefix it with an underscore: `_pr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L09_mltt/pretty.rs:141:28
[INFO] [stdout]     |
[INFO] [stdout] 141 |         Tm::Sum(span, tms, items) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L10_typeclass/elaboration.rs:167:32
[INFO] [stdout]     |
[INFO] [stdout] 167 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/L10_typeclass/pattern_match.rs:218:29
[INFO] [stdout]     |
[INFO] [stdout] 218 |                         Err(e) => {
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]    --> src/L10_typeclass/pattern_match.rs:248:15
[INFO] [stdout]     |
[INFO] [stdout] 248 |             [(var, typ, head_name, icit), heads_rest @ ..] => {
[INFO] [stdout]     |               ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L10_typeclass/unification.rs:360:37
[INFO] [stdout]     |
[INFO] [stdout] 360 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:24:22
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                      ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:24:27
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:24:33
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                                 ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:21
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `icit`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:27
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_icit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                 ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `closure`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:38
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                      ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_closure`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:29:31
[INFO] [stdout]    |
[INFO] [stdout] 29 |             Val::LiteralIntro(span) => todo!(),
[INFO] [stdout]    |                               ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L10_typeclass/pretty.rs:179:28
[INFO] [stdout]     |
[INFO] [stdout] 179 |         Tm::Sum(span, tms, items, _) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_trait`
[INFO] [stdout]    --> src/L10_typeclass/pretty.rs:188:23
[INFO] [stdout]     |
[INFO] [stdout] 188 |         Tm::SumCase { is_trait, typ, case_name, datas: params } => format!(
[INFO] [stdout]     |                       ^^^^^^^^ help: try ignoring the field: `is_trait: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/L10_typeclass/parser/syntax.rs:94:41
[INFO] [stdout]    |
[INFO] [stdout] 94 |             Raw::SumCase { is_trait: _, typ, case_name, datas } => datas.last()
[INFO] [stdout]    |                                         ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `decl`
[INFO] [stdout]   --> src/L11_macro/cxt.rs:40:33
[INFO] [stdout]    |
[INFO] [stdout] 40 | fn create_global(infer: &Infer, decl: &Decl, env: &Env, typ: Rc<Val>) -> Rc<Val> {
[INFO] [stdout]    |                                 ^^^^ help: if this is intentional, prefix it with an underscore: `_decl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/L11_macro/cxt.rs:385:22
[INFO] [stdout]     |
[INFO] [stdout] 385 |         if let Some((span, _, _, _, _)) = t {
[INFO] [stdout]     |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L11_macro/cxt.rs:433:13
[INFO] [stdout]     |
[INFO] [stdout] 433 |         let t = decl.insert(x.data.clone(), (x.to_span(), t, vt, a, va));
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L11_macro/elaboration.rs:168:32
[INFO] [stdout]     |
[INFO] [stdout] 168 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]    --> src/L11_macro/parser/syntax.rs:103:41
[INFO] [stdout]     |
[INFO] [stdout] 103 |             Raw::SumCase { is_trait: _, typ, case_name, datas } => datas.last()
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]   --> src/L11_macro/parser/macros.rs:43:53
[INFO] [stdout]    |
[INFO] [stdout] 43 | ...                   msg: token.map(|x| ErrMsg::Expect(*kind)),
[INFO] [stdout]    |                                       ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/L10_typeclass/pattern_match.rs:218:29
[INFO] [stdout]     |
[INFO] [stdout] 218 |                         Err(e) => {
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `var`
[INFO] [stdout]    --> src/L10_typeclass/pattern_match.rs:248:15
[INFO] [stdout]     |
[INFO] [stdout] 248 |             [(var, typ, head_name, icit), heads_rest @ ..] => {
[INFO] [stdout]     |               ^^^ help: if this is intentional, prefix it with an underscore: `_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L10_typeclass/unification.rs:360:37
[INFO] [stdout]     |
[INFO] [stdout] 360 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:24:22
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                      ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:24:27
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:24:33
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                                 ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:21
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `icit`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:27
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_icit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                 ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `closure`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:26:38
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                      ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_closure`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L10_typeclass/typeclass.rs:29:31
[INFO] [stdout]    |
[INFO] [stdout] 29 |             Val::LiteralIntro(span) => todo!(),
[INFO] [stdout]    |                               ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L10_typeclass/pretty.rs:179:28
[INFO] [stdout]     |
[INFO] [stdout] 179 |         Tm::Sum(span, tms, items, _) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_trait`
[INFO] [stdout]    --> src/L10_typeclass/pretty.rs:188:23
[INFO] [stdout]     |
[INFO] [stdout] 188 |         Tm::SumCase { is_trait, typ, case_name, datas: params } => format!(
[INFO] [stdout]     |                       ^^^^^^^^ help: try ignoring the field: `is_trait: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `decl`
[INFO] [stdout]   --> src/L11_macro/cxt.rs:40:33
[INFO] [stdout]    |
[INFO] [stdout] 40 | fn create_global(infer: &Infer, decl: &Decl, env: &Env, typ: Rc<Val>) -> Rc<Val> {
[INFO] [stdout]    |                                 ^^^^ help: if this is intentional, prefix it with an underscore: `_decl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/L11_macro/cxt.rs:385:22
[INFO] [stdout]     |
[INFO] [stdout] 385 |         if let Some((span, _, _, _, _)) = t {
[INFO] [stdout]     |                      ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L11_macro/cxt.rs:433:13
[INFO] [stdout]     |
[INFO] [stdout] 433 |         let t = decl.insert(x.data.clone(), (x.to_span(), t, vt, a, va));
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L11_macro/elaboration.rs:168:32
[INFO] [stdout]     |
[INFO] [stdout] 168 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]    --> src/L11_macro/parser/syntax.rs:103:41
[INFO] [stdout]     |
[INFO] [stdout] 103 |             Raw::SumCase { is_trait: _, typ, case_name, datas } => datas.last()
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]   --> src/L11_macro/parser/macros.rs:43:53
[INFO] [stdout]    |
[INFO] [stdout] 43 | ...                   msg: token.map(|x| ErrMsg::Expect(*kind)),
[INFO] [stdout]    |                                       ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/L11_macro/pattern_match.rs:217:29
[INFO] [stdout]     |
[INFO] [stdout] 217 |                         Err(e) => {
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L11_macro/unification.rs:378:37
[INFO] [stdout]     |
[INFO] [stdout] 378 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:26:22
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                      ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:26:27
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                                 ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:21
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `icit`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:27
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_icit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:33
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                 ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `closure`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:38
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                      ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_closure`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:31:31
[INFO] [stdout]    |
[INFO] [stdout] 31 |             Val::LiteralIntro(span) => todo!(),
[INFO] [stdout]    |                               ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L11_macro/pretty.rs:180:28
[INFO] [stdout]     |
[INFO] [stdout] 180 |         Tm::Sum(span, tms, items, _) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_trait`
[INFO] [stdout]    --> src/L11_macro/pretty.rs:189:23
[INFO] [stdout]     |
[INFO] [stdout] 189 |         Tm::SumCase { is_trait, typ, case_name, datas: params } => format!(
[INFO] [stdout]     |                       ^^^^^^^^ help: try ignoring the field: `is_trait: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L11_macro/mod.rs:109:35
[INFO] [stdout]     |
[INFO] [stdout] 109 |                 MetaEntry::Solved(t, _) => None,//TODO: this is error. this will be fixed in L12
[INFO] [stdout]     |                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/L12_canonical/cxt.rs:31:49
[INFO] [stdout]    |
[INFO] [stdout] 31 | fn string_newline(_: &Infer, _: &Decl, _: &Env, typ: Rc<Val>) -> Rc<Val> {
[INFO] [stdout]    |                                                 ^^^ help: if this is intentional, prefix it with an underscore: `_typ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L12_canonical/cxt.rs:570:13
[INFO] [stdout]     |
[INFO] [stdout] 570 |         let t = decl.insert(x.data.clone(), (x.to_span(), t, vt, a, va));
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L12_canonical/elaboration.rs:169:32
[INFO] [stdout]     |
[INFO] [stdout] 169 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/L12_canonical/elaboration.rs:499:21
[INFO] [stdout]     |
[INFO] [stdout] 499 |                 let span = name.to_span();
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]    --> src/L12_canonical/parser/syntax.rs:120:41
[INFO] [stdout]     |
[INFO] [stdout] 120 |             Raw::SumCase { is_trait: _, typ, case_name, datas } => datas.last()
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]   --> src/L12_canonical/parser/macros.rs:46:53
[INFO] [stdout]    |
[INFO] [stdout] 46 | ...                   msg: token.map(|x| ErrMsg::Expect(*kind)),
[INFO] [stdout]    |                                       ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/L11_macro/pattern_match.rs:217:29
[INFO] [stdout]     |
[INFO] [stdout] 217 |                         Err(e) => {
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]    --> src/L11_macro/unification.rs:378:37
[INFO] [stdout]     |
[INFO] [stdout] 378 |                 Val::Pi(span, icit, val, closure) => Tm::Lam(
[INFO] [stdout]     |                                     ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:26:22
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                      ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:26:27
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `sp`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:26:33
[INFO] [stdout]    |
[INFO] [stdout] 26 |             Val::Obj(val, span, sp) => None,
[INFO] [stdout]    |                                 ^^ help: if this is intentional, prefix it with an underscore: `_sp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:21
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `icit`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:27
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                           ^^^^ help: if this is intentional, prefix it with an underscore: `_icit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:33
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                 ^^^ help: if this is intentional, prefix it with an underscore: `_val`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `closure`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:28:38
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Val::Pi(span, icit, val, closure) => None,
[INFO] [stdout]    |                                      ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_closure`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L11_macro/typeclass.rs:31:31
[INFO] [stdout]    |
[INFO] [stdout] 31 |             Val::LiteralIntro(span) => todo!(),
[INFO] [stdout]    |                               ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L11_macro/pretty.rs:180:28
[INFO] [stdout]     |
[INFO] [stdout] 180 |         Tm::Sum(span, tms, items, _) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_trait`
[INFO] [stdout]    --> src/L11_macro/pretty.rs:189:23
[INFO] [stdout]     |
[INFO] [stdout] 189 |         Tm::SumCase { is_trait, typ, case_name, datas: params } => format!(
[INFO] [stdout]     |                       ^^^^^^^^ help: try ignoring the field: `is_trait: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L11_macro/mod.rs:109:35
[INFO] [stdout]     |
[INFO] [stdout] 109 |                 MetaEntry::Solved(t, _) => None,//TODO: this is error. this will be fixed in L12
[INFO] [stdout]     |                                   ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/L12_canonical/cxt.rs:31:49
[INFO] [stdout]    |
[INFO] [stdout] 31 | fn string_newline(_: &Infer, _: &Decl, _: &Env, typ: Rc<Val>) -> Rc<Val> {
[INFO] [stdout]    |                                                 ^^^ help: if this is intentional, prefix it with an underscore: `_typ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/L12_canonical/cxt.rs:570:13
[INFO] [stdout]     |
[INFO] [stdout] 570 |         let t = decl.insert(x.data.clone(), (x.to_span(), t, vt, a, va));
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]    --> src/L12_canonical/elaboration.rs:169:32
[INFO] [stdout]     |
[INFO] [stdout] 169 |                         Val::U(x) => {//TODO:x?
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/L12_canonical/elaboration.rs:499:21
[INFO] [stdout]     |
[INFO] [stdout] 499 |                 let span = name.to_span();
[INFO] [stdout]     |                     ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]    --> src/L12_canonical/parser/syntax.rs:120:41
[INFO] [stdout]     |
[INFO] [stdout] 120 |             Raw::SumCase { is_trait: _, typ, case_name, datas } => datas.last()
[INFO] [stdout]     |                                         ^^^ help: try ignoring the field: `typ: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]   --> src/L12_canonical/parser/macros.rs:46:53
[INFO] [stdout]    |
[INFO] [stdout] 46 | ...                   msg: token.map(|x| ErrMsg::Expect(*kind)),
[INFO] [stdout]    |                                       ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/L12_canonical/pattern_match.rs:212:29
[INFO] [stdout]     |
[INFO] [stdout] 212 |                         Err(e) => {
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c1`
[INFO] [stdout]    --> src/L12_canonical/typeclass.rs:227:33
[INFO] [stdout]     |
[INFO] [stdout] 227 |             (Val::Match(a1, b1, c1), Val::Match(a2, b2, c2)) => {
[INFO] [stdout]     |                                 ^^ help: if this is intentional, prefix it with an underscore: `_c1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c2`
[INFO] [stdout]    --> src/L12_canonical/typeclass.rs:227:57
[INFO] [stdout]     |
[INFO] [stdout] 227 |             (Val::Match(a1, b1, c1), Val::Match(a2, b2, c2)) => {
[INFO] [stdout]     |                                                         ^^ help: if this is intentional, prefix it with an underscore: `_c2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L12_canonical/pretty.rs:181:28
[INFO] [stdout]     |
[INFO] [stdout] 181 |         Tm::Sum(span, tms, items, _) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_trait`
[INFO] [stdout]    --> src/L12_canonical/pretty.rs:194:23
[INFO] [stdout]     |
[INFO] [stdout] 194 |         Tm::SumCase { is_trait, typ, case_name, datas: params } => format!(
[INFO] [stdout]     |                       ^^^^^^^^ help: try ignoring the field: `is_trait: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L12_canonical/canonical.rs:82:35
[INFO] [stdout]    |
[INFO] [stdout] 82 |                 while let Val::Pi(span, icit, dom, clos) = vt.as_ref() {
[INFO] [stdout]    |                                   ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `url`
[INFO] [stdout]    --> src/lib.rs:288:29
[INFO] [stdout]     |
[INFO] [stdout] 288 |                         let url = params.uri.clone();
[INFO] [stdout]     |                             ^^^ help: if this is intentional, prefix it with an underscore: `_url`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `resp`
[INFO] [stdout]    --> src/lib.rs:775:35
[INFO] [stdout]     |
[INFO] [stdout] 775 |                 Message::Response(resp) => {
[INFO] [stdout]     |                                   ^^^^ help: if this is intentional, prefix it with an underscore: `_resp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]    --> src/lib.rs:783:58
[INFO] [stdout]     |
[INFO] [stdout] 783 |                         Err(ExtractError::MethodMismatch(not)) => (),
[INFO] [stdout]     |                                                          ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]    --> src/lib.rs:790:58
[INFO] [stdout]     |
[INFO] [stdout] 790 |                         Err(ExtractError::MethodMismatch(not)) =>(),
[INFO] [stdout]     |                                                          ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]    --> src/lib.rs:797:58
[INFO] [stdout]     |
[INFO] [stdout] 797 |                         Err(ExtractError::MethodMismatch(not)) => (),
[INFO] [stdout]     |                                                          ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]    --> src/lib.rs:804:58
[INFO] [stdout]     |
[INFO] [stdout] 804 |                         Err(ExtractError::MethodMismatch(not)) => (),
[INFO] [stdout]     |                                                          ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0554`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `elaboration-zoo-lsp` (lib) due to 1 previous error; 224 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/L12_canonical/pattern_match.rs:212:29
[INFO] [stdout]     |
[INFO] [stdout] 212 |                         Err(e) => {
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c1`
[INFO] [stdout]    --> src/L12_canonical/typeclass.rs:227:33
[INFO] [stdout]     |
[INFO] [stdout] 227 |             (Val::Match(a1, b1, c1), Val::Match(a2, b2, c2)) => {
[INFO] [stdout]     |                                 ^^ help: if this is intentional, prefix it with an underscore: `_c1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c2`
[INFO] [stdout]    --> src/L12_canonical/typeclass.rs:227:57
[INFO] [stdout]     |
[INFO] [stdout] 227 |             (Val::Match(a1, b1, c1), Val::Match(a2, b2, c2)) => {
[INFO] [stdout]     |                                                         ^^ help: if this is intentional, prefix it with an underscore: `_c2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `items`
[INFO] [stdout]    --> src/L12_canonical/pretty.rs:181:28
[INFO] [stdout]     |
[INFO] [stdout] 181 |         Tm::Sum(span, tms, items, _) => format!(
[INFO] [stdout]     |                            ^^^^^ help: if this is intentional, prefix it with an underscore: `_items`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is_trait`
[INFO] [stdout]    --> src/L12_canonical/pretty.rs:194:23
[INFO] [stdout]     |
[INFO] [stdout] 194 |         Tm::SumCase { is_trait, typ, case_name, datas: params } => format!(
[INFO] [stdout]     |                       ^^^^^^^^ help: try ignoring the field: `is_trait: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/L12_canonical/canonical.rs:82:35
[INFO] [stdout]    |
[INFO] [stdout] 82 |                 while let Val::Pi(span, icit, dom, clos) = vt.as_ref() {
[INFO] [stdout]    |                                   ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `url`
[INFO] [stdout]    --> src/lib.rs:288:29
[INFO] [stdout]     |
[INFO] [stdout] 288 |                         let url = params.uri.clone();
[INFO] [stdout]     |                             ^^^ help: if this is intentional, prefix it with an underscore: `_url`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `resp`
[INFO] [stdout]    --> src/lib.rs:775:35
[INFO] [stdout]     |
[INFO] [stdout] 775 |                 Message::Response(resp) => {
[INFO] [stdout]     |                                   ^^^^ help: if this is intentional, prefix it with an underscore: `_resp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]    --> src/lib.rs:783:58
[INFO] [stdout]     |
[INFO] [stdout] 783 |                         Err(ExtractError::MethodMismatch(not)) => (),
[INFO] [stdout]     |                                                          ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]    --> src/lib.rs:790:58
[INFO] [stdout]     |
[INFO] [stdout] 790 |                         Err(ExtractError::MethodMismatch(not)) =>(),
[INFO] [stdout]     |                                                          ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]    --> src/lib.rs:797:58
[INFO] [stdout]     |
[INFO] [stdout] 797 |                         Err(ExtractError::MethodMismatch(not)) => (),
[INFO] [stdout]     |                                                          ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `not`
[INFO] [stdout]    --> src/lib.rs:804:58
[INFO] [stdout]     |
[INFO] [stdout] 804 |                         Err(ExtractError::MethodMismatch(not)) => (),
[INFO] [stdout]     |                                                          ^^^ help: if this is intentional, prefix it with an underscore: `_not`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0554`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `elaboration-zoo-lsp` (lib test) due to 1 previous error; 224 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "e4493b42d638bbd24e1615cec1f20191f893976d9cca26eaf7fa507bb639a3af", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e4493b42d638bbd24e1615cec1f20191f893976d9cca26eaf7fa507bb639a3af", kill_on_drop: false }`
[INFO] [stdout] e4493b42d638bbd24e1615cec1f20191f893976d9cca26eaf7fa507bb639a3af
