[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] 074ef01b7dbbdbaea91645c2c0bd3b45c31e7cc2 [INFO] checking yportne13/elaboration-zoo-lsp against d0ab665d12770dbaae620b539ee4319b83445f45 for pr-133502-25 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fyportne13%2Felaboration-zoo-lsp" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/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-5-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/yportne13/elaboration-zoo-lsp on toolchain d0ab665d12770dbaae620b539ee4319b83445f45 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d0ab665d12770dbaae620b539ee4319b83445f45" "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" "+d0ab665d12770dbaae620b539ee4319b83445f45" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] a058837b9af98c4cce9cf9f933c1d269ae7b83e027f1f4aeaac4f12a72d28336 [INFO] running `Command { std: "docker" "start" "a058837b9af98c4cce9cf9f933c1d269ae7b83e027f1f4aeaac4f12a72d28336", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a058837b9af98c4cce9cf9f933c1d269ae7b83e027f1f4aeaac4f12a72d28336", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "a058837b9af98c4cce9cf9f933c1d269ae7b83e027f1f4aeaac4f12a72d28336" "/opt/rustwide/cargo-home/bin/cargo" "+d0ab665d12770dbaae620b539ee4319b83445f45" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a058837b9af98c4cce9cf9f933c1d269ae7b83e027f1f4aeaac4f12a72d28336", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "a058837b9af98c4cce9cf9f933c1d269ae7b83e027f1f4aeaac4f12a72d28336" "/opt/rustwide/cargo-home/bin/cargo" "+d0ab665d12770dbaae620b539ee4319b83445f45" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.94 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Checking stable_deref_trait v1.2.0 [INFO] [stderr] Checking litemap v0.7.5 [INFO] [stderr] Checking writeable v0.5.5 [INFO] [stderr] Checking smallvec v1.14.0 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling find-msvc-tools v0.1.5 [INFO] [stderr] Checking icu_locid_transform_data v1.5.0 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Checking cfg-if v1.0.4 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling zerocopy v0.8.31 [INFO] [stderr] Compiling libc v0.2.177 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling cc v1.2.48 [INFO] [stderr] Checking icu_properties_data v1.5.0 [INFO] [stderr] Checking utf16_iter v1.0.5 [INFO] [stderr] Checking icu_normalizer_data v1.5.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Checking write16 v1.0.0 [INFO] [stderr] Checking utf8_iter v1.0.4 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Checking utf8parse v0.2.2 [INFO] [stderr] Compiling serde_json v1.0.140 [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Checking anstyle-parse v0.2.7 [INFO] [stderr] Compiling object v0.32.2 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking itoa v1.0.15 [INFO] [stderr] Checking ryu v1.0.20 [INFO] [stderr] Compiling syn v2.0.100 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Checking percent-encoding v2.3.1 [INFO] [stderr] Checking anstyle-query v1.1.5 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Checking colorchoice v1.0.5 [INFO] [stderr] Checking anstyle v1.0.14 [INFO] [stderr] Checking is_terminal_polyfill v1.70.2 [INFO] [stderr] Checking form_urlencoded v1.2.1 [INFO] [stderr] Checking anstream v0.6.21 [INFO] [stderr] Checking strsim v0.11.1 [INFO] [stderr] Compiling thiserror v2.0.17 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Checking clap_lex v1.1.0 [INFO] [stderr] Checking lock_api v0.4.14 [INFO] [stderr] Checking clap_builder v4.5.60 [INFO] [stderr] Checking crossbeam-channel v0.5.15 [INFO] [stderr] Checking str_indices v0.4.4 [INFO] [stderr] Compiling stacker v0.1.22 [INFO] [stderr] Checking log v0.4.30 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking unicode-width v0.2.2 [INFO] [stderr] Checking colored v2.2.0 [INFO] [stderr] Checking walkdir v2.5.0 [INFO] [stderr] Checking ropey v1.6.1 [INFO] [stderr] Checking codespan-reporting v0.13.1 [INFO] [stderr] Checking oxc_index v0.36.0 [INFO] [stderr] Checking rust-lapper v1.2.0 [INFO] [stderr] Checking smol_str v0.3.2 [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 clap_derive v4.5.55 [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] Compiling thiserror-impl v2.0.17 [INFO] [stderr] Checking zerofrom v0.1.6 [INFO] [stderr] Checking yoke v0.7.5 [INFO] [stderr] Checking zerovec v0.10.4 [INFO] [stderr] Checking clap v4.5.60 [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 icu_properties v1.5.1 [INFO] [stderr] Checking icu_normalizer v1.5.0 [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] warning: unused import: `std::time::Duration` [INFO] [stdout] --> src/lib.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::time::Duration; [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 imports: `hash::Hash`, `marker::PhantomData`, `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, marker::PhantomData}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ [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: `PrimFunc` [INFO] [stdout] --> src/L13_namespace/elaboration.rs:9:41 [INFO] [stdout] | [INFO] [stdout] 9 | Closure, Cxt, DeclTm, Error, Infer, PrimFunc, Tm, VTy, Val, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `HashMap` and `extract_base` [INFO] [stdout] --> src/L13_namespace/parser/macros.rs:5:32 [INFO] [stdout] | [INFO] [stdout] 5 | use super::{TokenNode, IError, HashMap, ErrMsg, BaseMsg, extract_base, string, p_raw, p_pi_binder, empty_span, ParserExt, kw, MacroSt... [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ToSpan` [INFO] [stdout] --> src/L13_namespace/parser/derive.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/L13_namespace/unification.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use colored::Colorize; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Assertion` and `pretty::pretty_tm` [INFO] [stdout] --> src/L13_namespace/unification.rs:9:56 [INFO] [stdout] | [INFO] [stdout] 9 | parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] 10 | typeclass::{Assertion, Instance}, 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/L13_namespace/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: duplicated attribute [INFO] [stdout] --> src/L13_namespace/legacy_tests.rs:1310:1 [INFO] [stdout] | [INFO] [stdout] 1310 | #[test] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(duplicate_macro_attributes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/L13_namespace/struct_refine_probe.rs:95:1 [INFO] [stdout] | [INFO] [stdout] 95 | /// identity_vec: 重建构造函数，非绑定变量，应通过。 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/L13_namespace/struct_refine_probe.rs:108:1 [INFO] [stdout] | [INFO] [stdout] 108 | /// 直接 Vec 匹配，重建构造函数，应通过。 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/L13_namespace/struct_refine_probe.rs:117:1 [INFO] [stdout] | [INFO] [stdout] 117 | /// 非索引依赖的返回类型（A），预约束的类型 sucessor，通过。 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/L13_namespace/struct_refine_probe.rs:129:1 [INFO] [stdout] | [INFO] [stdout] 129 | /// 嵌套结构体，预约束类型，通过。 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/L13_namespace/struct_refine_probe.rs:140:1 [INFO] [stdout] | [INFO] [stdout] 140 | /// 不返回绑定变量，而是返回无类型依赖的值。 [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/L13_namespace/struct_refine_probe.rs:157:1 [INFO] [stdout] | [INFO] [stdout] 157 | / /// 直接 Vec 匹配，返回绑定变量 xs。最简复现。 [INFO] [stdout] 158 | | /// 失败模式：expected: Vec[A](_l + 1), find: Vec[A](_l) [INFO] [stdout] 159 | | /// 原因：绑定 xs 的类型为 Vec[A] l'，但返回类型被细化为 Vec[A] (succ l')，无法统一。 [INFO] [stdout] | |_------------------------------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/L13_namespace/struct_refine_probe.rs:168:1 [INFO] [stdout] | [INFO] [stdout] 168 | / /// 单层 struct，泛型 len，返回绑定变量 xs。 [INFO] [stdout] 169 | | /// 失败模式：expected: Vec[A](_l + 1), find: Vec[A](_l) [INFO] [stdout] | |_-------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/L13_namespace/struct_refine_probe.rs:182:1 [INFO] [stdout] | [INFO] [stdout] 182 | / /// 两个字段，第二个字段类型依赖第一个字段的索引细化。 [INFO] [stdout] 183 | | /// 失败模式：expected: Fin(len + 1), find: Fin(1) 或反向。 [INFO] [stdout] 184 | | /// 原因：绑定 w 的类型 Fin(succ len) 中的 len 是原始的、未经 cons/nil 细化的变量。 [INFO] [stdout] | |_----------------------------------------------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/L13_namespace/struct_refine_probe.rs:198:1 [INFO] [stdout] | [INFO] [stdout] 198 | / /// 嵌套 struct，泛型 len，返回绑定尾部变量。 [INFO] [stdout] 199 | | /// 失败模式同 weak02。 [INFO] [stdout] | |_----------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/L13_namespace/struct_refine_probe.rs:211:1 [INFO] [stdout] | [INFO] [stdout] 211 | / /// VecHolder: Vec[A] len + Fin(succ len)，递归重建。 [INFO] [stdout] 212 | | /// 失败模式：expected: Fin(_l + 2), find: Fin(_n + 1) [INFO] [stdout] 213 | | /// 原因：第一个字段匹配 cons (len:=succ l') 与第二个字段匹配 fsucc (len:=n) 的细化 [INFO] [stdout] 214 | | /// 没有传播到对方，导致 n 和 succ l' 无法统一。 [INFO] [stdout] | |_-----------------------------------------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/L13_namespace/struct_refine_probe.rs:231:1 [INFO] [stdout] | [INFO] [stdout] 231 | / /// 返回值是重建结构体，使用了从内部字段提取的变量。 [INFO] [stdout] 232 | | /// 成功/失败？ [INFO] [stdout] | |_--------------^ [INFO] [stdout] | | [INFO] [stdout] | rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `assert_expected_fail` [INFO] [stdout] --> src/L13_namespace/struct_refine_probe.rs:58:14 [INFO] [stdout] | [INFO] [stdout] 58 | macro_rules! assert_expected_fail { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `parser` [INFO] [stdout] --> src/lib.rs:49:29 [INFO] [stdout] | [INFO] [stdout] 49 | use L13_namespace::parser::{parser, parser_with_macros, macros::MacroRule, MacroExpansionInfo}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `self`, `stdin`, and `stdout` [INFO] [stdout] --> src/lib.rs:55:15 [INFO] [stdout] | [INFO] [stdout] 55 | use std::io::{self, BufRead, Write, stdin, stdout}; [INFO] [stdout] | ^^^^ ^^^^^ ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::time::Duration` [INFO] [stdout] --> src/lib.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::time::Duration; [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 imports: `hash::Hash`, `marker::PhantomData`, `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, marker::PhantomData}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^ [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: `PrimFunc` [INFO] [stdout] --> src/L13_namespace/elaboration.rs:9:41 [INFO] [stdout] | [INFO] [stdout] 9 | Closure, Cxt, DeclTm, Error, Infer, PrimFunc, Tm, VTy, Val, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `HashMap` and `extract_base` [INFO] [stdout] --> src/L13_namespace/parser/macros.rs:5:32 [INFO] [stdout] | [INFO] [stdout] 5 | use super::{TokenNode, IError, HashMap, ErrMsg, BaseMsg, extract_base, string, p_raw, p_pi_binder, empty_span, ParserExt, kw, MacroSt... [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ToSpan` [INFO] [stdout] --> src/L13_namespace/parser/derive.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/L13_namespace/unification.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use colored::Colorize; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Assertion` and `pretty::pretty_tm` [INFO] [stdout] --> src/L13_namespace/unification.rs:9:56 [INFO] [stdout] | [INFO] [stdout] 9 | parser::syntax::Icit, syntax::Pruning, empty_span, pretty::pretty_tm, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] 10 | typeclass::{Assertion, Instance}, 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/L13_namespace/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: `parser` [INFO] [stdout] --> src/lib.rs:49:29 [INFO] [stdout] | [INFO] [stdout] 49 | use L13_namespace::parser::{parser, parser_with_macros, macros::MacroRule, MacroExpansionInfo}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `self`, `stdin`, and `stdout` [INFO] [stdout] --> src/lib.rs:55:15 [INFO] [stdout] | [INFO] [stdout] 55 | use std::io::{self, BufRead, Write, stdin, stdout}; [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] error[E0282]: type annotations needed [INFO] [stdout] --> src/L11_macro/parser/macros.rs:88:43 [INFO] [stdout] | [INFO] [stdout] 88 | MacroMatcher::Many0(m) => m.to_parser() [INFO] [stdout] | ___________________________________________^ [INFO] [stdout] 89 | | .many0_sep(kw(TokenKind::EndLine).option()) [INFO] [stdout] | |_______________________________________________________________^ cannot infer type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0282]: type annotations needed [INFO] [stdout] --> src/L11_macro/parser/macros.rs:88:43 [INFO] [stdout] | [INFO] [stdout] 88 | MacroMatcher::Many0(m) => m.to_parser() [INFO] [stdout] | ___________________________________________^ [INFO] [stdout] 89 | | .many0_sep(kw(TokenKind::EndLine).option()) [INFO] [stdout] | |_______________________________________________________________^ cannot infer type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0282]: type annotations needed [INFO] [stdout] --> src/L12_canonical/parser/macros.rs:106:43 [INFO] [stdout] | [INFO] [stdout] 106 | MacroMatcher::Many0(m) => m.to_parser() [INFO] [stdout] | ___________________________________________^ [INFO] [stdout] 107 | | .many0_sep(kw(TokenKind::EndLine).option()) [INFO] [stdout] | |_______________________________________________________________^ cannot infer type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0282]: type annotations needed [INFO] [stdout] --> src/L13_namespace/parser/macros.rs:109:21 [INFO] [stdout] | [INFO] [stdout] 109 | / m.to_parser() [INFO] [stdout] 110 | | .many0_sep(kw(TokenKind::EndLine).option()) [INFO] [stdout] | |___________________________________________________________________^ cannot infer type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0282]: type annotations needed [INFO] [stdout] --> src/L12_canonical/parser/macros.rs:106:43 [INFO] [stdout] | [INFO] [stdout] 106 | MacroMatcher::Many0(m) => m.to_parser() [INFO] [stdout] | ___________________________________________^ [INFO] [stdout] 107 | | .many0_sep(kw(TokenKind::EndLine).option()) [INFO] [stdout] | |_______________________________________________________________^ cannot infer type [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0282]: type annotations needed [INFO] [stdout] --> src/L13_namespace/parser/macros.rs:109:21 [INFO] [stdout] | [INFO] [stdout] 109 | / m.to_parser() [INFO] [stdout] 110 | | .many0_sep(kw(TokenKind::EndLine).option()) [INFO] [stdout] | |___________________________________________________________________^ cannot infer type [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/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: `Write` [INFO] [stdout] --> src/lib.rs:55:30 [INFO] [stdout] | [INFO] [stdout] 55 | use std::io::{self, BufRead, Write, stdin, stdout}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BufRead` [INFO] [stdout] --> src/lib.rs:55:21 [INFO] [stdout] | [INFO] [stdout] 55 | use std::io::{self, BufRead, Write, stdin, stdout}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `colored::Colorize` [INFO] [stdout] --> src/L13_namespace/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/L13_namespace/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/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 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 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, version: Option) { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_version` [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: `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/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/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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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, 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 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/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: `Write` [INFO] [stdout] --> src/lib.rs:55:30 [INFO] [stdout] | [INFO] [stdout] 55 | use std::io::{self, BufRead, Write, stdin, stdout}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BufRead` [INFO] [stdout] --> src/lib.rs:55:21 [INFO] [stdout] | [INFO] [stdout] 55 | use std::io::{self, BufRead, Write, stdin, stdout}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `colored::Colorize` [INFO] [stdout] --> src/L13_namespace/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/L13_namespace/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/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 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 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: `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: `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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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, 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: `version` [INFO] [stdout] --> src/client.rs:113:75 [INFO] [stdout] | [INFO] [stdout] 113 | fn publish_diagnostics(&self, uri: Url, diagnostics: Vec, version: Option) { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_version` [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: `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/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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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` [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: `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: `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: `a_quote` [INFO] [stdout] --> src/L08_product_type/cxt.rs:121:46 [INFO] [stdout] | [INFO] [stdout] 121 | pub fn fake_bind(&self, x: Span, 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/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/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: `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/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: `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/L06_string/pretty.rs:51:19 [INFO] [stdout] | [INFO] [stdout] 51 | fn go_app_pruning(p: i32, top_ns: List, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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: `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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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: `a_quote` [INFO] [stdout] --> src/L07_sum_type/cxt.rs:119:46 [INFO] [stdout] | [INFO] [stdout] 119 | pub fn fake_bind(&self, x: Span, 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: `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: `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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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, 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: `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: `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: `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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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: `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: `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/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/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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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, 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: `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) -> Rc { [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: `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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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: `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/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/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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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, ns: List, 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/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: `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: `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: `t` [INFO] [stdout] --> src/L12_canonical/cxt.rs:300:13 [INFO] [stdout] | [INFO] [stdout] 300 | 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:536:21 [INFO] [stdout] | [INFO] [stdout] 536 | 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: `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/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: `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) -> Rc { [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: `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:60 [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:183:28 [INFO] [stdout] | [INFO] [stdout] 183 | Tm::Sum(span, tms, items, _) => { [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:209:23 [INFO] [stdout] | [INFO] [stdout] 209 | 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:81:35 [INFO] [stdout] | [INFO] [stdout] 81 | 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: `x` [INFO] [stdout] --> src/L13_namespace/elaboration.rs:354:32 [INFO] [stdout] | [INFO] [stdout] 354 | 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/L13_namespace/elaboration.rs:844:21 [INFO] [stdout] | [INFO] [stdout] 844 | 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: `out_param` [INFO] [stdout] --> src/L13_namespace/elaboration.rs:919:25 [INFO] [stdout] | [INFO] [stdout] 919 | let out_param = self.trait_out_param.get(&trait_name.data) [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_out_param` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `is_expl` [INFO] [stdout] --> src/L13_namespace/elaboration.rs:1328:21 [INFO] [stdout] | [INFO] [stdout] 1328 | let is_expl = matches!(i, Either::Icit(Icit::Expl)); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_expl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `head` [INFO] [stdout] --> src/L13_namespace/elaboration.rs:1542:29 [INFO] [stdout] | [INFO] [stdout] 1542 | if let Some(ref head) = typ_raw_head { [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_head` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `typ` [INFO] [stdout] --> src/L13_namespace/parser/syntax.rs:144:41 [INFO] [stdout] | [INFO] [stdout] 144 | 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: `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: `t` [INFO] [stdout] --> src/L12_canonical/cxt.rs:300:13 [INFO] [stdout] | [INFO] [stdout] 300 | 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:536:21 [INFO] [stdout] | [INFO] [stdout] 536 | 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: `e` [INFO] [stdout] --> src/L13_namespace/parser/mod.rs:1959:13 [INFO] [stdout] | [INFO] [stdout] 1959 | Err(e) => Ok((input, vec![])), // No attribute found, not an error [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/L13_namespace/unification.rs:451:13 [INFO] [stdout] | [INFO] [stdout] 451 | let mut solution = self.eval(decl, &List::new(), &self.lams(pren.dom, decl, &mty, rhs)); [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cxt` [INFO] [stdout] --> src/L13_namespace/unification.rs:456:41 [INFO] [stdout] | [INFO] [stdout] 456 | pub fn solve_multi_trait(&mut self, cxt: &Cxt, m: MetaVar, allow_flex_defaulting: bool) -> Result<(), UnifyError> { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_cxt` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c1` [INFO] [stdout] --> src/L13_namespace/typeclass.rs:319:33 [INFO] [stdout] | [INFO] [stdout] 319 | (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/L13_namespace/typeclass.rs:319:57 [INFO] [stdout] | [INFO] [stdout] 319 | (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/L13_namespace/pretty.rs:182:28 [INFO] [stdout] | [INFO] [stdout] 182 | Tm::Sum(span, tms, items, _) => { [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/L13_namespace/pretty.rs:208:23 [INFO] [stdout] | [INFO] [stdout] 208 | 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/L13_namespace/canonical.rs:75:35 [INFO] [stdout] | [INFO] [stdout] 75 | 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: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:442:22 [INFO] [stdout] | [INFO] [stdout] 442 | Val::Lam(name, _, clos) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:447:21 [INFO] [stdout] | [INFO] [stdout] 447 | Val::Pi(name, _, vty, clos) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/L13_namespace/mod.rs:455:31 [INFO] [stdout] | [INFO] [stdout] 455 | Val::LiteralIntro(s) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:458:22 [INFO] [stdout] | [INFO] [stdout] 458 | Val::Sum(name, params, cases, _) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pname` [INFO] [stdout] --> src/L13_namespace/mod.rs:460:22 [INFO] [stdout] | [INFO] [stdout] 460 | for (pname, pval, pvty, _) in params.iter() { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_pname` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cname` [INFO] [stdout] --> src/L13_namespace/mod.rs:465:21 [INFO] [stdout] | [INFO] [stdout] 465 | for cname in cases.iter() { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_cname` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `case_name` [INFO] [stdout] --> src/L13_namespace/mod.rs:469:33 [INFO] [stdout] | [INFO] [stdout] 469 | Val::SumCase { typ, case_name, datas, .. } => { [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `case_name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dname` [INFO] [stdout] --> src/L13_namespace/mod.rs:472:22 [INFO] [stdout] | [INFO] [stdout] 472 | for (dname, dval, _) in datas.iter() { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_dname` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pat` [INFO] [stdout] --> src/L13_namespace/mod.rs:480:22 [INFO] [stdout] | [INFO] [stdout] 480 | for (pat, tm) in cases { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:521:22 [INFO] [stdout] | [INFO] [stdout] 521 | Tm::Decl(name) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:524:28 [INFO] [stdout] | [INFO] [stdout] 524 | Tm::Obj(inner, name) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:528:21 [INFO] [stdout] | [INFO] [stdout] 528 | Tm::Lam(name, _, body) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:540:20 [INFO] [stdout] | [INFO] [stdout] 540 | Tm::Pi(name, _, ty_a, ty_b) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:545:21 [INFO] [stdout] | [INFO] [stdout] 545 | Tm::Let(name, ty, val, body) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:556:21 [INFO] [stdout] | [INFO] [stdout] 556 | Tm::Sum(name, params, cases, _) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pname` [INFO] [stdout] --> src/L13_namespace/mod.rs:558:22 [INFO] [stdout] | [INFO] [stdout] 558 | for (pname, ptm, pty, _) in params.iter() { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_pname` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cname` [INFO] [stdout] --> src/L13_namespace/mod.rs:563:21 [INFO] [stdout] | [INFO] [stdout] 563 | for cname in cases.iter() { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_cname` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `case_name` [INFO] [stdout] --> src/L13_namespace/mod.rs:567:32 [INFO] [stdout] | [INFO] [stdout] 567 | Tm::SumCase { typ, case_name, datas, .. } => { [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `case_name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dname` [INFO] [stdout] --> src/L13_namespace/mod.rs:570:22 [INFO] [stdout] | [INFO] [stdout] 570 | for (dname, dtm, _) in datas.iter() { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_dname` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pat` [INFO] [stdout] --> src/L13_namespace/mod.rs:577:22 [INFO] [stdout] | [INFO] [stdout] 577 | for (pat, branch) in cases { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span` [INFO] [stdout] --> src/L13_namespace/mod.rs:594:18 [INFO] [stdout] | [INFO] [stdout] 594 | for (_, (span, rtm, rval, rty, rvty, _)) in cxt.decl.iter() { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_span` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span` [INFO] [stdout] --> src/L13_namespace/mod.rs:606:21 [INFO] [stdout] | [INFO] [stdout] 606 | for (_, _, (span, vty)) in cxt.src_names.iter_all() { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_span` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `meta_alloc` [INFO] [stdout] --> src/L13_namespace/mod.rs:854:13 [INFO] [stdout] | [INFO] [stdout] 854 | let meta_alloc = (std::mem::size_of::() + 16 + 7) & !7; [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_meta_alloc` [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: `url` [INFO] [stdout] --> src/lib.rs:526:29 [INFO] [stdout] | [INFO] [stdout] 526 | 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: `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:60 [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:183:28 [INFO] [stdout] | [INFO] [stdout] 183 | Tm::Sum(span, tms, items, _) => { [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:209:23 [INFO] [stdout] | [INFO] [stdout] 209 | 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: `resp` [INFO] [stdout] --> src/lib.rs:1174:35 [INFO] [stdout] | [INFO] [stdout] 1174 | 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:1193:62 [INFO] [stdout] | [INFO] [stdout] 1193 | ... 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:1200:62 [INFO] [stdout] | [INFO] [stdout] 1200 | ... 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:1207:62 [INFO] [stdout] | [INFO] [stdout] 1207 | ... 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:1214:62 [INFO] [stdout] | [INFO] [stdout] 1214 | ... 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: `span` [INFO] [stdout] --> src/L12_canonical/canonical.rs:81:35 [INFO] [stdout] | [INFO] [stdout] 81 | 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] For more information about this error, try `rustc --explain E0282`. [INFO] [stdout] [INFO] [stdout] warning: unused variable: `x` [INFO] [stdout] --> src/L13_namespace/elaboration.rs:354:32 [INFO] [stdout] | [INFO] [stdout] 354 | Val::U(x) => {//TODO:x? [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_x` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `elaboration-zoo-lsp` (lib) due to 3 previous errors; 268 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: unused variable: `span` [INFO] [stdout] --> src/L13_namespace/elaboration.rs:844:21 [INFO] [stdout] | [INFO] [stdout] 844 | 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: `out_param` [INFO] [stdout] --> src/L13_namespace/elaboration.rs:919:25 [INFO] [stdout] | [INFO] [stdout] 919 | let out_param = self.trait_out_param.get(&trait_name.data) [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_out_param` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `is_expl` [INFO] [stdout] --> src/L13_namespace/elaboration.rs:1328:21 [INFO] [stdout] | [INFO] [stdout] 1328 | let is_expl = matches!(i, Either::Icit(Icit::Expl)); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_is_expl` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `head` [INFO] [stdout] --> src/L13_namespace/elaboration.rs:1542:29 [INFO] [stdout] | [INFO] [stdout] 1542 | if let Some(ref head) = typ_raw_head { [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_head` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `typ` [INFO] [stdout] --> src/L13_namespace/parser/syntax.rs:144:41 [INFO] [stdout] | [INFO] [stdout] 144 | 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: `e` [INFO] [stdout] --> src/L13_namespace/parser/mod.rs:1959:13 [INFO] [stdout] | [INFO] [stdout] 1959 | Err(e) => Ok((input, vec![])), // No attribute found, not an error [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_e` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/L13_namespace/unification.rs:451:13 [INFO] [stdout] | [INFO] [stdout] 451 | let mut solution = self.eval(decl, &List::new(), &self.lams(pren.dom, decl, &mty, rhs)); [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cxt` [INFO] [stdout] --> src/L13_namespace/unification.rs:456:41 [INFO] [stdout] | [INFO] [stdout] 456 | pub fn solve_multi_trait(&mut self, cxt: &Cxt, m: MetaVar, allow_flex_defaulting: bool) -> Result<(), UnifyError> { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_cxt` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c1` [INFO] [stdout] --> src/L13_namespace/typeclass.rs:319:33 [INFO] [stdout] | [INFO] [stdout] 319 | (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/L13_namespace/typeclass.rs:319:57 [INFO] [stdout] | [INFO] [stdout] 319 | (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/L13_namespace/pretty.rs:182:28 [INFO] [stdout] | [INFO] [stdout] 182 | Tm::Sum(span, tms, items, _) => { [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/L13_namespace/pretty.rs:208:23 [INFO] [stdout] | [INFO] [stdout] 208 | 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/L13_namespace/canonical.rs:75:35 [INFO] [stdout] | [INFO] [stdout] 75 | 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: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:442:22 [INFO] [stdout] | [INFO] [stdout] 442 | Val::Lam(name, _, clos) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:447:21 [INFO] [stdout] | [INFO] [stdout] 447 | Val::Pi(name, _, vty, clos) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/L13_namespace/mod.rs:455:31 [INFO] [stdout] | [INFO] [stdout] 455 | Val::LiteralIntro(s) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:458:22 [INFO] [stdout] | [INFO] [stdout] 458 | Val::Sum(name, params, cases, _) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pname` [INFO] [stdout] --> src/L13_namespace/mod.rs:460:22 [INFO] [stdout] | [INFO] [stdout] 460 | for (pname, pval, pvty, _) in params.iter() { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_pname` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cname` [INFO] [stdout] --> src/L13_namespace/mod.rs:465:21 [INFO] [stdout] | [INFO] [stdout] 465 | for cname in cases.iter() { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_cname` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `case_name` [INFO] [stdout] --> src/L13_namespace/mod.rs:469:33 [INFO] [stdout] | [INFO] [stdout] 469 | Val::SumCase { typ, case_name, datas, .. } => { [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `case_name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dname` [INFO] [stdout] --> src/L13_namespace/mod.rs:472:22 [INFO] [stdout] | [INFO] [stdout] 472 | for (dname, dval, _) in datas.iter() { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_dname` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pat` [INFO] [stdout] --> src/L13_namespace/mod.rs:480:22 [INFO] [stdout] | [INFO] [stdout] 480 | for (pat, tm) in cases { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:521:22 [INFO] [stdout] | [INFO] [stdout] 521 | Tm::Decl(name) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:524:28 [INFO] [stdout] | [INFO] [stdout] 524 | Tm::Obj(inner, name) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:528:21 [INFO] [stdout] | [INFO] [stdout] 528 | Tm::Lam(name, _, body) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:540:20 [INFO] [stdout] | [INFO] [stdout] 540 | Tm::Pi(name, _, ty_a, ty_b) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:545:21 [INFO] [stdout] | [INFO] [stdout] 545 | Tm::Let(name, ty, val, body) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/L13_namespace/mod.rs:556:21 [INFO] [stdout] | [INFO] [stdout] 556 | Tm::Sum(name, params, cases, _) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pname` [INFO] [stdout] --> src/L13_namespace/mod.rs:558:22 [INFO] [stdout] | [INFO] [stdout] 558 | for (pname, ptm, pty, _) in params.iter() { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_pname` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cname` [INFO] [stdout] --> src/L13_namespace/mod.rs:563:21 [INFO] [stdout] | [INFO] [stdout] 563 | for cname in cases.iter() { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_cname` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `case_name` [INFO] [stdout] --> src/L13_namespace/mod.rs:567:32 [INFO] [stdout] | [INFO] [stdout] 567 | Tm::SumCase { typ, case_name, datas, .. } => { [INFO] [stdout] | ^^^^^^^^^ help: try ignoring the field: `case_name: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dname` [INFO] [stdout] --> src/L13_namespace/mod.rs:570:22 [INFO] [stdout] | [INFO] [stdout] 570 | for (dname, dtm, _) in datas.iter() { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_dname` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pat` [INFO] [stdout] --> src/L13_namespace/mod.rs:577:22 [INFO] [stdout] | [INFO] [stdout] 577 | for (pat, branch) in cases { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_pat` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span` [INFO] [stdout] --> src/L13_namespace/mod.rs:594:18 [INFO] [stdout] | [INFO] [stdout] 594 | for (_, (span, rtm, rval, rty, rvty, _)) in cxt.decl.iter() { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_span` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span` [INFO] [stdout] --> src/L13_namespace/mod.rs:606:21 [INFO] [stdout] | [INFO] [stdout] 606 | for (_, _, (span, vty)) in cxt.src_names.iter_all() { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_span` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `meta_alloc` [INFO] [stdout] --> src/L13_namespace/mod.rs:854:13 [INFO] [stdout] | [INFO] [stdout] 854 | let meta_alloc = (std::mem::size_of::() + 16 + 7) & !7; [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_meta_alloc` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `url` [INFO] [stdout] --> src/lib.rs:526:29 [INFO] [stdout] | [INFO] [stdout] 526 | 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:1174:35 [INFO] [stdout] | [INFO] [stdout] 1174 | 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:1193:62 [INFO] [stdout] | [INFO] [stdout] 1193 | ... 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:1200:62 [INFO] [stdout] | [INFO] [stdout] 1200 | ... 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:1207:62 [INFO] [stdout] | [INFO] [stdout] 1207 | ... 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:1214:62 [INFO] [stdout] | [INFO] [stdout] 1214 | ... 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 E0282`. [INFO] [stdout] [INFO] [stderr] error: could not compile `elaboration-zoo-lsp` (lib test) due to 3 previous errors; 281 warnings emitted [INFO] running `Command { std: "docker" "inspect" "a058837b9af98c4cce9cf9f933c1d269ae7b83e027f1f4aeaac4f12a72d28336", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a058837b9af98c4cce9cf9f933c1d269ae7b83e027f1f4aeaac4f12a72d28336", kill_on_drop: false }` [INFO] [stdout] a058837b9af98c4cce9cf9f933c1d269ae7b83e027f1f4aeaac4f12a72d28336