Build #201513 2019-11-26T07:15:04.503108+00:00
# rustc version
rustc 1.41.0-nightly (5c5b8afd8 2019-11-16)
# docs.rs version
docsrs 0.6.0 (a6e6aa9 2019-11-25)
# build log
[INFO] running `"docker" "create" "-v" "/home/cratesfyi/workspace/builds/voile-0.2.5/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/voile-0.2.5/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1001" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=-Z unstable-options --resource-suffix -20191116-1.41.0-nightly-5c5b8afd8 --static-root-path / --disable-per-crate-search --extern-html-root-url clap=https://docs.rs/clap/2.33.0 --extern-html-root-url structopt=https://docs.rs/structopt/0.3.3 --extern-html-root-url minitt_util=https://docs.rs/minitt-util/0.2.2 --extern-html-root-url pest_derive=https://docs.rs/pest_derive/2.1.0 --extern-html-root-url rustyline=https://docs.rs/rustyline/5.0.3 --extern-html-root-url voile_util=https://docs.rs/voile-util/0.2.1 --extern-html-root-url pest=https://docs.rs/pest/2.1.2 --html-in-header rustdoc/katex-header.html --document-private-items" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "3221225472" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2019-11-17" "doc" "--lib" "--no-deps" "--target" "x86_64-unknown-linux-gnu"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] f5118c6da03ce57f3029f3cf5376537a7914da1c9ad92aa45f889115591486d1
[INFO] running `"docker" "start" "-a" "f5118c6da03ce57f3029f3cf5376537a7914da1c9ad92aa45f889115591486d1"`
[INFO] [stderr] Compiling proc-macro2 v1.0.6
[INFO] [stderr] Compiling libc v0.2.65
[INFO] [stderr] Compiling unicode-xid v0.2.0
[INFO] [stderr] Compiling syn v1.0.5
[INFO] [stderr] Compiling bitflags v1.2.1
[INFO] [stderr] Checking cfg-if v0.1.10
[INFO] [stderr] Compiling ucd-trie v0.1.2
[INFO] [stderr] Checking unicode-width v0.1.6
[INFO] [stderr] Compiling unicode-segmentation v1.3.0
[INFO] [stderr] Compiling nix v0.14.1
[INFO] [stderr] Compiling memchr v2.2.1
[INFO] [stderr] Compiling maplit v1.0.2
[INFO] [stderr] Compiling log v0.4.8
[INFO] [stderr] Checking void v1.0.2
[INFO] [stderr] Checking vec_map v0.8.1
[INFO] [stderr] Checking strsim v0.8.0
[INFO] [stderr] Checking ansi_term v0.11.0
[INFO] [stderr] Checking utf8parse v0.1.1
[INFO] [stderr] Checking textwrap v0.11.0
[INFO] [stderr] Compiling pest v2.1.2
[INFO] [stderr] Compiling heck v0.3.1
[INFO] [stderr] Compiling quote v1.0.2
[INFO] [stderr] Checking atty v0.2.13
[INFO] [stderr] Checking dirs-sys v0.3.4
[INFO] [stderr] Compiling pest_meta v2.1.2
[INFO] [stderr] Checking clap v2.33.0
[INFO] [stderr] Checking dirs v2.0.2
[INFO] [stderr] Checking rustyline v5.0.3
[INFO] [stderr] Compiling proc-macro-error v0.2.6
[INFO] [stderr] Compiling pest_generator v2.1.1
[INFO] [stderr] Compiling structopt-derive v0.3.3
[INFO] [stderr] Compiling pest_derive v2.1.0
[INFO] [stderr] Checking voile-util v0.2.1
[INFO] [stderr] Checking structopt v0.3.3
[INFO] [stderr] Checking minitt-util v0.2.2
[INFO] [stderr] Documenting voile v0.2.5 (/opt/rustwide/workdir)
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/lib.rs:50:20
[INFO] [stderr] |
[INFO] [stderr] 50 | \newcommand{\Unit}[0]{\texttt{Rec} \\{ \\}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = note: `#[warn(intra_doc_link_resolution_failure)]` on by default
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/lib.rs:51:20
[INFO] [stderr] |
[INFO] [stderr] 51 | \newcommand{\Bool}[0]{\texttt{Sum} \\{ \texttt{true}: \Unit \mid \texttt{false}: \Unit \\}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/lib.rs:63:20
[INFO] [stderr] |
[INFO] [stderr] 63 | \newcommand{\Unit}[0]{\texttt{Unit}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/lib.rs:64:20
[INFO] [stderr] |
[INFO] [stderr] 64 | \newcommand{\Bool}[0]{\texttt{Bool}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/lib.rs:77:18
[INFO] [stderr] |
[INFO] [stderr] 77 | \newcommand{\xx}[0]{\texttt{X}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/lib.rs:78:17
[INFO] [stderr] |
[INFO] [stderr] 78 | \newcommand{\T}[0]{\texttt{Rec} \\{\xx:A, ...=r\\}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[reduce_with_dbi]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/syntax/core/redex.rs:13:46
[INFO] [stderr] |
[INFO] [stderr] 13 | /// prefer this over [`reduce_with_dbi`](reduce_with_dbi).
[INFO] [stderr] | ^^^^^^^^^^^^^^^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/mod.rs:9:20
[INFO] [stderr] |
[INFO] [stderr] 9 | \\newcommand{\\xx}[0]{\\texttt{x}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:29:22
[INFO] [stderr] |
[INFO] [stderr] 29 | \newcommand{\Gvdash}[0]{\Gamma \vdash}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[4]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:30:20
[INFO] [stderr] |
[INFO] [stderr] 30 | \newcommand{\tyck}[4]{#1 \vdash_\texttt{c} #2 : #3 \Rightarrow #4}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[3]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:31:21
[INFO] [stderr] |
[INFO] [stderr] 31 | \newcommand{\Gtyck}[3]{\tyck{\Gamma}{#1}{#2}{#3}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:32:18
[INFO] [stderr] |
[INFO] [stderr] 32 | \newcommand{\ty}[0]{\tau}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:33:18
[INFO] [stderr] |
[INFO] [stderr] 33 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:34:18
[INFO] [stderr] |
[INFO] [stderr] 34 | \newcommand{\cB}[0]{\mathcal B}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:35:22
[INFO] [stderr] |
[INFO] [stderr] 35 | \newcommand{\ctyLab}[0]{\gamma}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:36:23
[INFO] [stderr] |
[INFO] [stderr] 36 | \newcommand{\clabVal}[0]{\delta}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:37:23
[INFO] [stderr] |
[INFO] [stderr] 37 | \newcommand{\variant}[1]{\textbf{Sum}\\ \\{ #1 \\}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:38:22
[INFO] [stderr] |
[INFO] [stderr] 38 | \newcommand{\record}[1]{\textbf{Rec}\\ \\{ #1 \\}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:73:22
[INFO] [stderr] |
[INFO] [stderr] 73 | \newcommand{\Gvdash}[0]{\Gamma \vdash}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:74:18
[INFO] [stderr] |
[INFO] [stderr] 74 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:75:18
[INFO] [stderr] |
[INFO] [stderr] 75 | \newcommand{\cB}[0]{\mathcal B}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:76:25
[INFO] [stderr] |
[INFO] [stderr] 76 | \newcommand{\recordext}[2]{\record{#1 \mid #2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:77:23
[INFO] [stderr] |
[INFO] [stderr] 77 | \newcommand{\clabVal}[0]{\delta}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:78:22
[INFO] [stderr] |
[INFO] [stderr] 78 | \newcommand{\recExt}[1]{\mid #1}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:79:26
[INFO] [stderr] |
[INFO] [stderr] 79 | \newcommand{\variantext}[2]{\variant{#1 \mid #2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:207:18
[INFO] [stderr] |
[INFO] [stderr] 207 | \newcommand{\xx}[0]{\texttt{x}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:208:22
[INFO] [stderr] |
[INFO] [stderr] 208 | \newcommand{\Gvdash}[0]{\Gamma \vdash}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:260:22
[INFO] [stderr] |
[INFO] [stderr] 260 | \newcommand{\casevS}[2]{\textbf{split}\\ #1\\ (#2)}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:261:22
[INFO] [stderr] |
[INFO] [stderr] 261 | \newcommand{\caseTr}[0]{\text{ct}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:262:23
[INFO] [stderr] |
[INFO] [stderr] 262 | \newcommand{\clabVal}[0]{\delta}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:263:24
[INFO] [stderr] |
[INFO] [stderr] 263 | \newcommand{\caseextS}[2]{\textbf{split}\\ (#1)\\ \textbf{or}\\ #2}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:264:22
[INFO] [stderr] |
[INFO] [stderr] 264 | \newcommand{\Gvdash}[0]{\Gamma \vdash}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/unify.rs:265:22
[INFO] [stderr] |
[INFO] [stderr] 265 | \newcommand{\recExt}[1]{\mid #1}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/mod.rs:29:24
[INFO] [stderr] |
[INFO] [stderr] 29 | \\newcommand{\\checkD}[0]{\\vdash_\\texttt{d}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/mod.rs:30:25
[INFO] [stderr] |
[INFO] [stderr] 30 | \\newcommand{\\GcheckD}[0]{\\Gamma \\checkD}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/decl.rs:43:21
[INFO] [stderr] |
[INFO] [stderr] 43 | \newcommand{\cdecl}[2]{#1 \vdash_\texttt{d} #2 \ \textbf{ok}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/decl.rs:44:22
[INFO] [stderr] |
[INFO] [stderr] 44 | \newcommand{\Gcdecl}[1]{\cdecl{\Gamma}{#1}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[3]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/decl.rs:45:21
[INFO] [stderr] |
[INFO] [stderr] 45 | \newcommand{\infer}[3]{#1 \vdash_\texttt{i} #2 \Leftarrow #3}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/decl.rs:46:18
[INFO] [stderr] |
[INFO] [stderr] 46 | \newcommand{\xx}[0]{\texttt{x}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[4]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/decl.rs:47:20
[INFO] [stderr] |
[INFO] [stderr] 47 | \newcommand{\tyck}[4]{#1 \vdash_\texttt{c} #2 : #3 \Rightarrow #4}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[3]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/decl.rs:48:21
[INFO] [stderr] |
[INFO] [stderr] 48 | \newcommand{\Gtyck}[3]{\tyck{\Gamma}{#1}{#2}{#3}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/decl.rs:49:18
[INFO] [stderr] |
[INFO] [stderr] 49 | \newcommand{\ty}[0]{\tau}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/decl.rs:50:18
[INFO] [stderr] |
[INFO] [stderr] 50 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/decl.rs:51:18
[INFO] [stderr] |
[INFO] [stderr] 51 | \newcommand{\cB}[0]{\mathcal B}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:13:18
[INFO] [stderr] |
[INFO] [stderr] 13 | \newcommand{\xx}[0]{\texttt{x}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:14:18
[INFO] [stderr] |
[INFO] [stderr] 14 | \newcommand{\ty}[0]{\tau}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:15:20
[INFO] [stderr] |
[INFO] [stderr] 15 | \newcommand{\eval}[1]{\llbracket #1 \rrbracket} % {\texttt{eval}(#1)}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:16:20
[INFO] [stderr] |
[INFO] [stderr] 16 | \newcommand{\piTy}[1]{\Pi \langle #1 \rangle}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:17:21
[INFO] [stderr] |
[INFO] [stderr] 17 | \newcommand{\sigTy}[1]{\Sigma \langle #1 \rangle}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:18:23
[INFO] [stderr] |
[INFO] [stderr] 18 | \newcommand{\variant}[1]{\textbf{Sum}\\ \\{ #1 \\}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:19:22
[INFO] [stderr] |
[INFO] [stderr] 19 | \newcommand{\record}[1]{\textbf{Rec}\\ \\{ #1 \\}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:20:24
[INFO] [stderr] |
[INFO] [stderr] 20 | \newcommand{\variantR}[1]{\mathbb{Sum}\\ #1}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:21:23
[INFO] [stderr] |
[INFO] [stderr] 21 | \newcommand{\recordR}[1]{\mathbb{Rec}\\ #1}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:22:18
[INFO] [stderr] |
[INFO] [stderr] 22 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:23:18
[INFO] [stderr] |
[INFO] [stderr] 23 | \newcommand{\cB}[0]{\mathcal B}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:24:22
[INFO] [stderr] |
[INFO] [stderr] 24 | \newcommand{\labels}[1]{\texttt{labels}(#1)}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:25:22
[INFO] [stderr] |
[INFO] [stderr] 25 | \newcommand{\fields}[1]{\texttt{fields}(#1)}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:26:21
[INFO] [stderr] |
[INFO] [stderr] 26 | \newcommand{\tyLab}[0]{\bar \gamma}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:27:22
[INFO] [stderr] |
[INFO] [stderr] 27 | \newcommand{\labVal}[0]{\bar \delta}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:28:22
[INFO] [stderr] |
[INFO] [stderr] 28 | \newcommand{\ctyLab}[0]{\gamma}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:29:23
[INFO] [stderr] |
[INFO] [stderr] 29 | \newcommand{\clabVal}[0]{\delta}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:30:22
[INFO] [stderr] |
[INFO] [stderr] 30 | \newcommand{\caseTr}[0]{\text{ct}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:31:21
[INFO] [stderr] |
[INFO] [stderr] 31 | \newcommand{\caseS}[1]{\langle #1 \rangle}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[4]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:32:20
[INFO] [stderr] |
[INFO] [stderr] 32 | \newcommand{\case}[4]{\textbf{case}\\ #1\\ #2: #3\\ \textbf{or}\\ #4}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:33:22
[INFO] [stderr] |
[INFO] [stderr] 33 | \newcommand{\casevS}[2]{\textbf{split}\\ #1\\ (#2)}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:34:23
[INFO] [stderr] |
[INFO] [stderr] 34 | \newcommand{\oneCase}[2]{#1\\ #2}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:35:24
[INFO] [stderr] |
[INFO] [stderr] 35 | \newcommand{\oneCaseL}[2]{\oneCase{#1}{\langle #2 \rangle}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:36:24
[INFO] [stderr] |
[INFO] [stderr] 36 | \newcommand{\caseextS}[2]{\textbf{split}\\ (#1)\\ \textbf{or}\\ #2}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:37:23
[INFO] [stderr] |
[INFO] [stderr] 37 | \newcommand{\nocases}[0]{\textbf{whatever}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:38:25
[INFO] [stderr] |
[INFO] [stderr] 38 | \newcommand{\recordext}[2]{\record{#1 \mid #2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:39:22
[INFO] [stderr] |
[INFO] [stderr] 39 | \newcommand{\recExt}[1]{\mid #1}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:40:27
[INFO] [stderr] |
[INFO] [stderr] 40 | \newcommand{\variantextS}[2]{\variant{#1, \ldots = #2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:41:26
[INFO] [stderr] |
[INFO] [stderr] 41 | \newcommand{\recordextS}[2]{\record{#1, \ldots = #2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:42:26
[INFO] [stderr] |
[INFO] [stderr] 42 | \newcommand{\variantext}[2]{\variant{#1 \mid #2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[k]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:51:35
[INFO] [stderr] |
[INFO] [stderr] 51 | [k.1] & \text{if} & \eval{a} = [k] \\\\
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[k]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:55:35
[INFO] [stderr] |
[INFO] [stderr] 55 | [k.2] & \text{if} & \eval{a} = [k] \\\\
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[k]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:61:44
[INFO] [stderr] |
[INFO] [stderr] 61 | [k\\ \eval{b}] & \text{if} & \eval{a} = [k] \\\\
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[k]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:66:80
[INFO] [stderr] |
[INFO] [stderr] 66 | [\casevS{k}{\oneCaseL{n}{\xx. \alpha}, \caseTr}] & \text{if} & \eval{b} = [k] \\\\
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[k]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:78:65
[INFO] [stderr] |
[INFO] [stderr] 78 | [\variantext{\labels{\tyLab_0}}{k}] & \text{if} & \eval{a} = [k] \\\\
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[k]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:84:64
[INFO] [stderr] |
[INFO] [stderr] 84 | [\recordext{\labels{\tyLab_0}}{k}] & \text{if} & \eval{a} = [k] \\\\
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[k]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:95:68
[INFO] [stderr] |
[INFO] [stderr] 95 | [\\{ \fields{\labVal_0}\recExt{k} \\}] & \text{if} & \eval{a} = [k] \\\\
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[k]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:99:35
[INFO] [stderr] |
[INFO] [stderr] 99 | [k.n] & \text{if} & \eval{a} = [k] \\\\
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[k]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/eval.rs:107:71
[INFO] [stderr] |
[INFO] [stderr] 107 | \caseextS{\oneCaseL{n}{\xx. \eval{a}}}{k} & \text{if} & \eval{b} = [k] \\\\
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/mod.rs:47:22
[INFO] [stderr] |
[INFO] [stderr] 47 | \\newcommand{\\tyck}[0]{\\vdash_\\texttt{c}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/mod.rs:48:23
[INFO] [stderr] |
[INFO] [stderr] 48 | \\newcommand{\\Gtyck}[0]{\\Gamma \\tyck}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/mod.rs:49:23
[INFO] [stderr] |
[INFO] [stderr] 49 | \\newcommand{\\infer}[0]{\\vdash_\\texttt{i}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/mod.rs:50:24
[INFO] [stderr] |
[INFO] [stderr] 50 | \\newcommand{\\Ginfer}[0]{\\Gamma \\infer}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[4]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:15:20
[INFO] [stderr] |
[INFO] [stderr] 15 | \newcommand{\tyck}[4]{#1 \vdash_\texttt{c} #2 : #3 \Rightarrow #4}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[3]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:16:21
[INFO] [stderr] |
[INFO] [stderr] 16 | \newcommand{\Gtyck}[3]{\tyck{\Gamma}{#1}{#2}{#3}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:17:20
[INFO] [stderr] |
[INFO] [stderr] 17 | \newcommand{\eval}[1]{\llbracket #1 \rrbracket} % {\texttt{eval}(#1)}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[3]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:18:22
[INFO] [stderr] |
[INFO] [stderr] 18 | \newcommand{\cheval}[3]{#1 \vdash_\texttt{e} #2 \Rightarrow #3}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:19:23
[INFO] [stderr] |
[INFO] [stderr] 19 | \newcommand{\Gcheval}[2]{\cheval{\Gamma}{#1}{#2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:20:20
[INFO] [stderr] |
[INFO] [stderr] 20 | \newcommand{\subt}[0]{<:}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:21:18
[INFO] [stderr] |
[INFO] [stderr] 21 | \newcommand{\xx}[0]{\texttt{x}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:22:18
[INFO] [stderr] |
[INFO] [stderr] 22 | \newcommand{\ty}[0]{\tau}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:23:20
[INFO] [stderr] |
[INFO] [stderr] 23 | \newcommand{\piTy}[1]{\Pi \langle #1 \rangle}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:24:21
[INFO] [stderr] |
[INFO] [stderr] 24 | \newcommand{\sigTy}[1]{\Sigma \langle #1 \rangle}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:25:25
[INFO] [stderr] |
[INFO] [stderr] 25 | \newcommand{\recordext}[2]{\record{#1 \mid #2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:26:22
[INFO] [stderr] |
[INFO] [stderr] 26 | \newcommand{\recExt}[1]{\mid #1}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:27:23
[INFO] [stderr] |
[INFO] [stderr] 27 | \newcommand{\variant}[1]{\textbf{Sum}\ \{ #1 \}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:28:22
[INFO] [stderr] |
[INFO] [stderr] 28 | \newcommand{\record}[1]{\textbf{Rec}\ \{ #1 \}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:29:23
[INFO] [stderr] |
[INFO] [stderr] 29 | \newcommand{\nocases}[0]{\textbf{whatever}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[4]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:30:20
[INFO] [stderr] |
[INFO] [stderr] 30 | \newcommand{\case}[4]{\textbf{case}\\ #1\\ #2: #3\\ \textbf{or}\\ #4}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:31:26
[INFO] [stderr] |
[INFO] [stderr] 31 | \newcommand{\variantext}[2]{\variant{#1 \mid #2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:32:22
[INFO] [stderr] |
[INFO] [stderr] 32 | \newcommand{\ctyLab}[0]{\gamma}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:33:18
[INFO] [stderr] |
[INFO] [stderr] 33 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:34:18
[INFO] [stderr] |
[INFO] [stderr] 34 | \newcommand{\cB}[0]{\mathcal B}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[k]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:65:18
[INFO] [stderr] |
[INFO] [stderr] 65 | \Gcheval{a}{[k]}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[k]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:102:30
[INFO] [stderr] |
[INFO] [stderr] 102 | \Gcheval{a}{\piTy{\xx : [k] . \cB}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:335:18
[INFO] [stderr] |
[INFO] [stderr] 335 | \newcommand{\ty}[0]{\tau}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[4]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:336:20
[INFO] [stderr] |
[INFO] [stderr] 336 | \newcommand{\tyck}[4]{#1 \vdash_\texttt{c} #2 : #3 \Rightarrow #4}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[3]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:337:21
[INFO] [stderr] |
[INFO] [stderr] 337 | \newcommand{\Gtyck}[3]{\tyck{\Gamma}{#1}{#2}{#3}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[3]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:338:22
[INFO] [stderr] |
[INFO] [stderr] 338 | \newcommand{\cheval}[3]{#1 \vdash_\texttt{e} #2 \Rightarrow #3}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:339:23
[INFO] [stderr] |
[INFO] [stderr] 339 | \newcommand{\Gcheval}[2]{\cheval{\Gamma}{#1}{#2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:340:23
[INFO] [stderr] |
[INFO] [stderr] 340 | \newcommand{\variant}[1]{\textbf{Sum}\\ \\{ #1 \\}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:341:22
[INFO] [stderr] |
[INFO] [stderr] 341 | \newcommand{\record}[1]{\textbf{Rec}\\ \\{ #1 \\}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:342:24
[INFO] [stderr] |
[INFO] [stderr] 342 | \newcommand{\variantR}[1]{\mathbb{Sum}\ #1}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:343:23
[INFO] [stderr] |
[INFO] [stderr] 343 | \newcommand{\recordR}[1]{\mathbb{Rec}\ #1}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:344:27
[INFO] [stderr] |
[INFO] [stderr] 344 | \newcommand{\variantextS}[2]{\variant{#1, \ldots = #2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:345:26
[INFO] [stderr] |
[INFO] [stderr] 345 | \newcommand{\recordextS}[2]{\record{#1, \ldots = #2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:346:18
[INFO] [stderr] |
[INFO] [stderr] 346 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[4]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:411:20
[INFO] [stderr] |
[INFO] [stderr] 411 | \newcommand{\tyck}[4]{#1 \vdash_\texttt{c} #2 : #3 \Rightarrow #4}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[3]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:412:21
[INFO] [stderr] |
[INFO] [stderr] 412 | \newcommand{\Gtyck}[3]{\tyck{\Gamma}{#1}{#2}{#3}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:413:20
[INFO] [stderr] |
[INFO] [stderr] 413 | \newcommand{\eval}[1]{\llbracket #1 \rrbracket} % {\texttt{eval}(#1)}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[3]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:414:21
[INFO] [stderr] |
[INFO] [stderr] 414 | \newcommand{\infer}[3]{#1 \vdash_\texttt{i} #2 \Leftarrow #3}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:415:22
[INFO] [stderr] |
[INFO] [stderr] 415 | \newcommand{\Ginfer}[2]{\infer{\Gamma}{#1}{#2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:416:20
[INFO] [stderr] |
[INFO] [stderr] 416 | \newcommand{\subt}[0]{<:}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:417:18
[INFO] [stderr] |
[INFO] [stderr] 417 | \newcommand{\xx}[0]{\texttt{x}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:418:18
[INFO] [stderr] |
[INFO] [stderr] 418 | \newcommand{\ty}[0]{\tau}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:419:20
[INFO] [stderr] |
[INFO] [stderr] 419 | \newcommand{\piTy}[1]{\Pi \langle #1 \rangle}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:420:21
[INFO] [stderr] |
[INFO] [stderr] 420 | \newcommand{\sigTy}[1]{\Sigma \langle #1 \rangle}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:421:21
[INFO] [stderr] |
[INFO] [stderr] 421 | \newcommand{\tyLab}[0]{\bar \gamma}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:422:22
[INFO] [stderr] |
[INFO] [stderr] 422 | \newcommand{\ctyLab}[0]{\gamma}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:423:22
[INFO] [stderr] |
[INFO] [stderr] 423 | \newcommand{\labVal}[0]{\bar \delta}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:424:22
[INFO] [stderr] |
[INFO] [stderr] 424 | \newcommand{\record}[1]{\textbf{Rec}\\ \\{ #1 \\}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:425:18
[INFO] [stderr] |
[INFO] [stderr] 425 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:426:18
[INFO] [stderr] |
[INFO] [stderr] 426 | \newcommand{\cB}[0]{\mathcal B}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:629:22
[INFO] [stderr] |
[INFO] [stderr] 629 | \newcommand{\Gvdash}[0]{\Gamma \vdash}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[4]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:630:20
[INFO] [stderr] |
[INFO] [stderr] 630 | \newcommand{\tyck}[4]{#1 \vdash_\texttt{c} #2 : #3 \Rightarrow #4}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[3]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:631:21
[INFO] [stderr] |
[INFO] [stderr] 631 | \newcommand{\Gtyck}[3]{\tyck{\Gamma}{#1}{#2}{#3}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:632:20
[INFO] [stderr] |
[INFO] [stderr] 632 | \newcommand{\subt}[0]{<:}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:633:18
[INFO] [stderr] |
[INFO] [stderr] 633 | \newcommand{\xx}[0]{\texttt{x}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:634:18
[INFO] [stderr] |
[INFO] [stderr] 634 | \newcommand{\ty}[0]{\tau}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:635:20
[INFO] [stderr] |
[INFO] [stderr] 635 | \newcommand{\piTy}[1]{\Pi \langle #1 \rangle}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:636:21
[INFO] [stderr] |
[INFO] [stderr] 636 | \newcommand{\sigTy}[1]{\Sigma \langle #1 \rangle}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:637:23
[INFO] [stderr] |
[INFO] [stderr] 637 | \newcommand{\variant}[1]{\textbf{Sum}\\ \\{ #1 \\}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:638:22
[INFO] [stderr] |
[INFO] [stderr] 638 | \newcommand{\record}[1]{\textbf{Rec}\\ \\{ #1 \\}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:639:18
[INFO] [stderr] |
[INFO] [stderr] 639 | \newcommand{\cA}[0]{\mathcal A}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:640:18
[INFO] [stderr] |
[INFO] [stderr] 640 | \newcommand{\cB}[0]{\mathcal B}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:641:22
[INFO] [stderr] |
[INFO] [stderr] 641 | \newcommand{\ctyLab}[0]{\gamma}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[0]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:642:23
[INFO] [stderr] |
[INFO] [stderr] 642 | \newcommand{\clabVal}[0]{\delta}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:643:25
[INFO] [stderr] |
[INFO] [stderr] 643 | \newcommand{\recordext}[2]{\record{#1 \mid #2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:644:22
[INFO] [stderr] |
[INFO] [stderr] 644 | \newcommand{\recExt}[1]{\mid #1}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[2]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:645:26
[INFO] [stderr] |
[INFO] [stderr] 645 | \newcommand{\variantext}[2]{\variant{#1 \mid #2}}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:646:24
[INFO] [stderr] |
[INFO] [stderr] 646 | \newcommand{\variantR}[1]{\mathbb{Sum}\ #1}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: `[1]` cannot be resolved, ignoring it...
[INFO] [stderr] --> src/check/expr.rs:647:23
[INFO] [stderr] |
[INFO] [stderr] 647 | \newcommand{\recordR}[1]{\mathbb{Rec}\ #1}
[INFO] [stderr] | ^ cannot be resolved, ignoring
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 27.52s
[INFO] running `"docker" "inspect" "f5118c6da03ce57f3029f3cf5376537a7914da1c9ad92aa45f889115591486d1"`
[INFO] running `"docker" "rm" "-f" "f5118c6da03ce57f3029f3cf5376537a7914da1c9ad92aa45f889115591486d1"`
[INFO] [stdout] f5118c6da03ce57f3029f3cf5376537a7914da1c9ad92aa45f889115591486d1