[INFO] fetching crate mutica 0.2.4... [INFO] testing mutica-0.2.4 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-7 [INFO] extracting crate mutica 0.2.4 into /workspace/builds/worker-3-tc1/source [INFO] started tweaking crates.io crate mutica 0.2.4 [INFO] finished tweaking crates.io crate mutica 0.2.4 [INFO] tweaked toml for crates.io crate mutica 0.2.4 written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate mutica 0.2.4 on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate mutica 0.2.4 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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded mutica-core v0.2.4 [INFO] [stderr] Downloaded stacksafe-macro v0.1.4 [INFO] [stderr] Downloaded logos-codegen v0.15.1 [INFO] [stderr] Downloaded logos-derive v0.15.1 [INFO] [stderr] Downloaded stacksafe v0.1.4 [INFO] [stderr] Downloaded mutica-compiler v0.2.4 [INFO] [stderr] Downloaded mutica-semantic v0.2.4 [INFO] [stderr] Downloaded clap v4.5.48 [INFO] [stderr] Downloaded clap_builder v4.5.48 [INFO] [stderr] Downloaded regex v1.11.3 [INFO] [stderr] Downloaded logos v0.15.1 [INFO] [stderr] Downloaded ariadne v0.4.1 [INFO] [stderr] Downloaded rust-arc-gc v0.2.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 3643c04d43ba8a23c83f3a6a429beaf703429623ec0c3fba37c67cb6afb016b3 [INFO] running `Command { std: "docker" "start" "-a" "3643c04d43ba8a23c83f3a6a429beaf703429623ec0c3fba37c67cb6afb016b3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3643c04d43ba8a23c83f3a6a429beaf703429623ec0c3fba37c67cb6afb016b3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3643c04d43ba8a23c83f3a6a429beaf703429623ec0c3fba37c67cb6afb016b3", kill_on_drop: false }` [INFO] [stdout] 3643c04d43ba8a23c83f3a6a429beaf703429623ec0c3fba37c67cb6afb016b3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7b42b561e04adfff732d006c87863ab4eebd5e7c4efc73e6509c7b122a8655e8 [INFO] running `Command { std: "docker" "start" "-a" "7b42b561e04adfff732d006c87863ab4eebd5e7c4efc73e6509c7b122a8655e8", kill_on_drop: false }` [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Compiling regex-syntax v0.8.6 [INFO] [stderr] Compiling find-msvc-tools v0.1.3 [INFO] [stderr] Compiling memchr v2.7.6 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling siphasher v1.0.1 [INFO] [stderr] Compiling typenum v1.19.0 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling parking_lot_core v0.9.12 [INFO] [stderr] Compiling hashbrown v0.16.0 [INFO] [stderr] Compiling proc-macro-error-attr2 v2.0.0 [INFO] [stderr] Compiling logos-codegen v0.15.1 [INFO] [stderr] Compiling bit-vec v0.8.0 [INFO] [stderr] Compiling term v1.2.0 [INFO] [stderr] Compiling new_debug_unreachable v1.0.6 [INFO] [stderr] Compiling keccak v0.1.5 [INFO] [stderr] Compiling lock_api v0.4.14 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling cc v1.2.40 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling phf_shared v0.11.3 [INFO] [stderr] Compiling ena v0.14.3 [INFO] [stderr] Compiling beef v0.5.2 [INFO] [stderr] Compiling pico-args v0.5.0 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling parking_lot v0.12.5 [INFO] [stderr] Compiling indexmap v2.11.4 [INFO] [stderr] Compiling bit-set v0.8.0 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling ascii-canvas v4.0.0 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling rust-arc-gc v0.2.1 [INFO] [stderr] Compiling yansi v1.0.1 [INFO] [stderr] Compiling anstream v0.6.21 [INFO] [stderr] Compiling string_cache v0.8.9 [INFO] [stderr] Compiling ariadne v0.4.1 [INFO] [stderr] Compiling petgraph v0.7.1 [INFO] [stderr] Compiling clap_builder v4.5.48 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling sha3 v0.10.8 [INFO] [stderr] Compiling psm v0.1.27 [INFO] [stderr] Compiling stacker v0.1.22 [INFO] [stderr] Compiling regex-automata v0.4.11 [INFO] [stderr] Compiling proc-macro-error2 v2.0.1 [INFO] [stderr] Compiling thiserror-impl v2.0.17 [INFO] [stderr] Compiling stacksafe-macro v0.1.4 [INFO] [stderr] Compiling clap_derive v4.5.47 [INFO] [stderr] Compiling stacksafe v0.1.4 [INFO] [stderr] Compiling logos-derive v0.15.1 [INFO] [stderr] Compiling logos v0.15.1 [INFO] [stderr] Compiling thiserror v2.0.17 [INFO] [stderr] Compiling mutica-core v0.2.4 [INFO] [stderr] Compiling lalrpop-util v0.22.2 [INFO] [stderr] Compiling regex v1.11.3 [INFO] [stderr] Compiling clap v4.5.48 [INFO] [stderr] Compiling lalrpop v0.22.2 [INFO] [stderr] Compiling mutica-compiler v0.2.4 [INFO] [stderr] Compiling mutica-semantic v0.2.4 [INFO] [stderr] Compiling mutica v0.2.4 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 37.39s [INFO] running `Command { std: "docker" "inspect" "7b42b561e04adfff732d006c87863ab4eebd5e7c4efc73e6509c7b122a8655e8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7b42b561e04adfff732d006c87863ab4eebd5e7c4efc73e6509c7b122a8655e8", kill_on_drop: false }` [INFO] [stdout] 7b42b561e04adfff732d006c87863ab4eebd5e7c4efc73e6509c7b122a8655e8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 1b0a29e2be055852d5ece6629174206159a1cb4049e4f40fe679e74f1d9099f7 [INFO] running `Command { std: "docker" "start" "-a" "1b0a29e2be055852d5ece6629174206159a1cb4049e4f40fe679e74f1d9099f7", kill_on_drop: false }` [INFO] [stderr] Compiling mutica v0.2.4 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1.90s [INFO] running `Command { std: "docker" "inspect" "1b0a29e2be055852d5ece6629174206159a1cb4049e4f40fe679e74f1d9099f7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1b0a29e2be055852d5ece6629174206159a1cb4049e4f40fe679e74f1d9099f7", kill_on_drop: false }` [INFO] [stdout] 1b0a29e2be055852d5ece6629174206159a1cb4049e4f40fe679e74f1d9099f7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 47cd62ad613c132570c40254d80d3afa64772a78587f7b633e9f38befbe10ba1 [INFO] running `Command { std: "docker" "start" "-a" "47cd62ad613c132570c40254d80d3afa64772a78587f7b633e9f38befbe10ba1", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.11s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mutica-03f120a6ea73cc71) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/mutica-520e9d4422bbb0b6) [INFO] [stdout] [INFO] [stdout] running 27 tests [INFO] [stderr] Error: Unrecognized token Backslash at line 2, column 49 [INFO] [stderr] ╭─[test_alpha_equivalence.mutica:2:49] [INFO] [stderr] │ [INFO] [stderr] Error: Unrecognized token FatArrow at line 3, column 20 [INFO] [stderr] ╭─[test_complex.mutica:3:20] [INFO] [stderr] │ [INFO] [stderr] 3 │         (x: Error: Unrecognized token Backslash at line 2, column 49 [INFO] [stderr] Error: Unrecognized token Assign at line 2, column 42 [INFO] [stderr] ╭─[test_coinductive.mutica:2:42] [INFO] [stderr] │ [INFO] [stderr] 2 │         leError: [INFO] [stderr] ╭─[test_import.mutica:1:1] [INFO] [stderr] │ [INFO] [stderr] 2 │         let A: any = x: any -> y: any -> (x, y) \ false \ false; [INFO] [stderr]  │ ┬──────┬─────── [INFO] [stderr]  │ ╰──────────────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ ╭─[test_assert_failed.mutica:2:49] [INFO] [stderr] │ [INFO] [stderr] 2 │ 1 │ import "./iter.mu" [INFO] [stderr]  │ ─────────┬──────── [INFO] [stderr]  │ ╰────────── No such file or directory (os error 2) [INFO] [stderr] ───╯ [INFO] [stderr] (1+y)) |-> x [INFO] [stdout] test tests::test_char ... ok [INFO] [stderr]  │ ─┬┬── [INFO] [stdout] test tests::test_discard ... ok [INFO] [stderr]  │ ╰───── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "LParen", "LBracket", "LBrace" [INFO] [stdout] test tests::test_import ... ok [INFO] [stderr]  │ │ [INFO] [stdout] test tests::test_complex ... ok [INFO] [stderr]  │ ╰──── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] [INFO] [stderr]  │ Error: Unrecognized token FatArrow at line 2, column 29 [INFO] [stderr]     t P0: ((a: 0, b: 1) |-> a + b) = (x: int, y: 1) |-> x + y; [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Expected one of: "RParen" [INFO] [stderr]  │ Error: Unrecognized token FatArrow at line 2, column 30 [INFO] [stderr] ╭─[test_generic.mutica:2:30] [INFO] [stderr] │ [INFO] [stderr] 2 │  Error: Ambiguous pattern [INFO] [stdout] test tests::test_namespace ... ok [INFO] [stderr] ╭─[test_ambiguous.mutica:3:19] [INFO] [stderr] │ [INFO] [stderr] ╰───────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token Backslash at line 3, column 49 [INFO] [stderr] ╭─[test_alpha_equivalence.mutica:3:49] [INFO] [stderr] │ [INFO] [stderr] 3 │         let B: any = a: any -> b: any -> (a, b) \ false \ false; [INFO] [stderr]  │ ┬──────┬─────── [INFO] [stderr]  │ ╰──────────────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stdout] test tests::test_multipattern ... ok [INFO] [stdout] test tests::test_missing_pattern ... ok [INFO] [stdout] test tests::test_dict ... ok [INFO] [stderr]  │ ╰──────── Error: Unrecognized token FatArrow at line 3, column 64 [INFO] [stderr] ╭─[test_list_append.mutica:3:64] [INFO] [stderr] │ [INFO] [stderr] Error: Unrecognized token Backslash at line 2, column 42 [INFO] [stderr] Error: Unrecognized token Backslash at line 3, column 38 [INFO] [stderr] ╭─[test_fn.mutica:3:38] [INFO] [stderr] │ [INFO] [stderr] 3 │ ╭─[test_fn_2.mutica:2:42] [INFO] [stderr] │ [INFO] [stderr]  Error: Unrecognized token RParen at line 3, column 40 [INFO] [stderr] ╭─[test_iter.mutica:3:40] [INFO] [stderr] 3 │  ╭      let id: any = T: any |-> x: T |-> x; [INFO] [stderr]  │ ─┬─────┬────── [INFO] [stderr]  │ 3 │       │ [INFO] [stderr]   3 │         let list: any = @(1, 2, 3, 4, 5); [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Expected one of: "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr]     Error: Unrecognized token RParen at line 5, column 86 [INFO] [stderr] ─ The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token Backslash at line 2, column 49 [INFO] [stderr] Error: Unrecognized token Backslash at line 3, column 43 [INFO] [stderr] ╭─[test_nat.mutica:3:43] [INFO] [stderr] │ [INFO] [stderr] 3 │         let succ: any = x: any -> ((), x) \ false; [INFO] [stderr]  │ ┬──┬─── [INFO] [stderr]  │ ╰──────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ Error: Unrecognized token Backslash at line 4, column 35 [INFO] [stderr] Error: Unrecognized token Backslash at line 8, column 13 [INFO] [stderr] ╭─[test_rec.mutica:8:13] [INFO] [stderr] │ [INFO] [stderr] 8 │             \ fals   let f: any = x: any -> x + y \ false; [INFO] [stdout] test tests::test_fn ... ok [INFO] [stderr]  │ ┬──┬─── [INFO] [stderr]  │ ╰──────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "DoubleColon", "Dot", "At", "Pipe", "Bang", "Colon", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] ╭─[test_pattern.mutica:4:35] [INFO] [stderr] │ [INFO] [stderr] 4 │         let C: any = () -> (A  let f: any = (x: int, y: int) -> (x, y) \ false; [INFO] [stderr]  │ ┬──┬─── [INFO] [stdout] test tests::test_io ... ok [INFO] [stderr]  │ ╰─ ╭─[test_io.mutica:5:86] [INFO] [stdout] test tests::test_specialize_generalize ... ok [INFO] [stderr] │ [INFO] [stdout] test tests::test_alpha_equivalence ... ok [INFO] [stderr] 5 │                 | (head: char, tail: any) => (discard print!(head); print_chars(tail)) [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Invalid token [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token Panic at line 6, column 19 [INFO] [stderr] ╭─[test_io.mutica:6:19] [INFO] [stderr] │ [INFO] [stderr] 6 │ ╭─▶                 | panic; [INFO] [stderr]  │ │ ──┬── [INFO] [stderr]  │ │ ╰──── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Match", "Rec", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "If", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Pipe", "Bang", "Minus", "Hash", "LParen", "LBracket", "LBrace" [INFO] [stderr] 7 │ ├─▶         print_chars("Hello, world!\n") [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──────────────────────────────────────────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] ╭─[test_alpha_equivalence.mutica:2:49] [INFO] [stderr] │ [INFO] [stderr] 2 │         let A: any = x: any -> y: any -> (x, y) \ false \ false; [INFO] [stderr]  │ ┬──────┬─────── [INFO] [stderr]  │ ╰──────────────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token Backslash at line 3, column 49 [INFO] [stderr] ╭─[test_alpha_equivalence.mutica:3:49] [INFO] [stderr] │ [INFO] [stderr] 3 │         let B: any = a: any -> b: any -> (b, a) \ false \ false; [INFO] [stderr]  │ ┬──────┬─────── [INFO] [stderr]  │ ╰──────────────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] eError: Unrecognized token FatArrow at line 2, column 32 [INFO] [stderr] ╭─[test_optional.mutica:2:32] [INFO] [stderr] │ [INFO] [stderr] 2 │         let Just: any = x: any |-> Just::x; [INFO] [stderr]  │ ─┬───┬───── [INFO] [stderr]  │ ╰─────────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token RParen at line 4, column 55 [INFO] [stderr] ╭─[test_optional.mutica:4:55] [INFO] [stderr] │ [INFO] [stderr] 4 │         let Option: any = T: any |-> (Nothing | Just T); [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Expected one of: "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token FatArrow at line 5, column 46 [INFO] [stderr] ╭─[test_optional.mutica:5:46] [INFO] [stderr] │ [INFO] [stderr] 5 │ ╭─▶         let safe_div: any = (x: int, y: int) |-> [INFO] [stderr]  │ │ ─┬─ [INFO] [stderr]  │ │ ╰─── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr] 6 │ ├─▶       Error: Unrecognized token FatArrow at line 2, column 36 [INFO] [stderr] ╭─[test_simple_fn.mutica:2:36] [INFO] [stderr] ─   2 │ ──────Error: Unrecognized token FatArrow at line 2, column 68 [INFO] [stderr] Error: Unrecognized token RParen at line 3, column 46 [INFO] [stdout] test tests::test_pattern ... ok [INFO] [stderr] ;, B) \ false; [INFO] [stderr]  │ ┬──┬─── [INFO] [stderr]  │ ╰──────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr]       match y [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───────────────────────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 7, column 21 [INFO] [stderr] ╭─[test_optional.mutica:7:21] [INFO] [stderr] │ [INFO] [stderr] 7 │                 | 0 => Nothing [INFO] [stderr]  │ ─┬───┬──── [INFO] [stderr]  │ ╰────────── Expected one of: "Pipe", "Comma", "Ampersand", "RParen" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 8, column 21 [INFO] [stderr] ╭─[test_optional.mutica:8:21] [INFO] [stderr] │ [INFO] [stderr] 8 │                 | _  │ [INFO] [stderr] 2 │         let f: any = rec f: x: int |-> match x [INFO] [stderr]  │ ─┬───┬───── [INFO] [stderr]  │ ╰──────────Error: Unrecognized token FatArrow at line 4, column 33 [INFO] [stderr]      ╭─[test_iter.mutica:4:33] [INFO] [stderr] │ [INFO] [stderr] 4 │    ╭─[test_literal.mutica:2:29] [INFO] [stderr] ╭─[test_list_advanced.mutica:3:46] [INFO] [stderr] │ [INFO] [stderr] 3 │   => Just (x / y) [INFO] [stderr]  │ ─┬─────┬────── [INFO] [stderr]  │ ╰────────────── Expected one of: "Pipe", "Comma", "Ampersand", "RParen" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] ▶         let append: any = rec append: (list1: any, list2: any) |-> [INFO] [stderr]  │ │ ─┬─ [INFO] [stderr]  │ │ ╰─── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr] 4 │ ├─▶             match list1 [INFO] [stderr]  │ │ ─ Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │      | x: (int | (y: int, int)) => x [INFO] [stderr]  │        let my_list: any = @(int,      let break: any │ [INFO] [stderr] [INFO] [stderr]  │ ┬──┬─── [INFO] [stderr]  │ ╰──────── Expected one of: "Pipe", "Comma", "Ampersand", "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr]      let A: any = (int | char) -> int \ false; [INFO] [stderr]  │ ┬──┬─── [INFO] [stderr]  │ ╰──────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token Backslash at line 3, column 33 [INFO] [stderr] ╭─[test_fn_2.mutica:3:33] [INFO] [stderr] │ [INFO] [stderr] │ [INFO] [stderr]  │ ╰── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token FatArrow at line 2, column 59 [INFO] [stderr] ╭─[test_coinductive.mutica:2:59] [INFO] [stderr] │ [INFO] [stderr] 2 │         let P0: ((a: 0, b: 1) |-> a + b) = (x: int, y: 1) |-> x + y; [INFO] [stderr]  │ Error: Unrecognized token Panic at line 9, column 19 [INFO] [stdout] test tests::test_rec ... ok [INFO] [stderr] ╭─[test_optional.mutica:9:19] [INFO] [stderr] │ [INFO] [stderr] 9 │                 | panic; [INFO] [stderr]  │ ──┬── [INFO] [stderr]  │ ╰──── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Match", "Rec", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "If", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Pipe", "Bang", "Minus", "Hash", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token FatArrow at line 10, column 47 [INFO] [stderr] ╭─[test_optional.mutica:10:47] [INFO] [stderr] │ [INFO] [stderr] 10 │ ╭─▶         let get_value: any = opt: Option(any) |-> [INFO] [stderr]  │ │ ─┬─ [INFO] [stderr]  │ │ ╰─── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace", "PipeGreaterThan" [INFO] [stderr] 11 │ ├─▶             match opt [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────────────────────────── The error span including all tokens [INFO] [stderr] ────╯ [INFO] [stderr] ─ Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace"Error: Unrecognized token DoubleArrow at line 12, column 34 [INFO] [stderr] 2 │         let f: any = x: any |-> x + 1; [INFO] [stderr]  │ ╭─[test_struct.mutica:2:68] [INFO] [stderr] │ [INFO] [stderr] 2 │ [INFO] [stderr] ╭  │ ─┬──┬──── [INFO] [stderr]  │ ╰───────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token FatArrow at line 4, column 38 [INFO] [stderr] ╭─[test_literal.mutica:4:38] [INFO] [stderr] │ [INFO] [stderr] 4 │         let h: any = (#lazy_cps:any) |-> lazy_cps; [INFO] [stderr]  │ ─┬────┬───── [INFO] [stderr]  │ ╰──────────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] │ [INFO] [stderr]  │ ╰─────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 3, column 17 [INFO] [stderr] ╭─[test_simple_fn.mutica:3:17] [INFO] [stderr] │ [INFO] [stderr] 3 │             | [INFO] [stderr]  │ ╰───────────────────────────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 5, column 22 [INFO] [stderr] ╭─[test_list_append.mutica:5:22] [INFO] [stderr] │ [INFO] [stderr] 5 │                 | () => list2 [INFO] [stderr]  │ ─┬──┬─── [INFO] [stderr]  │ ╰──────── Expected one of: "Pipe", "Comma", "Ampersand", "RParen" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 6, column 42 [INFO] [stderr] ╭─[test_list_append.mutica:6:42] [INFO] [stderr] │ [INFO] [stderr] 6 │                 3 │ ╭─[test_optional.mutica:12:34] [INFO] [stdout] test tests::test_literal ... ok [INFO] [stderr] │ [INFO] [stderr] 12 │                 | Just::(v: any) => v [INFO] [stderr]  │ ─┬┬─ [INFO] [stderr]  │ ╰──── Expected one of: "Pipe", "Comma", "Ampersand", "RParen" [INFO] [stderr]  │ │ [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Ambiguous pattern [INFO] [stderr] ╭─[test_assert_failed.mutica:2:14] [INFO] [stderr] │ [INFO] [stderr] 2 │         let (x: int | y: int) = 1; [INFO] [stderr]  │ ───────┬─────── [INFO] [stderr]  │ ╰───────── Here: pattern variables are not allowed within generalized/specialized types. Pattern variables may only be used in ordered contexts (e.g., tuples, lists) [INFO] [stderr] ───╯ [INFO] [stderr] Error: Use of undeclared variable 'x' [INFO] [stderr] ╭─[test_assert_failed.mutica:3:9] [INFO] [stderr] │ [INFO] [stderr] 3 │         x + y [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Variable 'x' is used before declaration [INFO] [stderr]  │ [INFO] [stderr]  │ Help: Make sure the variable is declared before use [INFO] [stderr] ───╯ [INFO] [stderr] Error: Use of undeclared variable 'y' [INFO] [stderr] ╭─[test_assert_failed.mutica:3:13] [INFO] [stderr] │ [INFO] [stderr] 3 │         x + y [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Variable 'y' is used before declaration [INFO] [stderr]  │ [INFO] [stderr]  │ Help: Make sure the variable is declared before use [INFO] [stderr] ───╯ [INFO] [stderr]  = v: any |-> Break::v; [INFO] [stdout] test tests::test_assert_failed ... ok [INFO] [stderr]  │ ─┬────┬───── [INFO] [stderr]  │ ╰──────────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token FatArrow at line 5, column 36 [INFO] [stderr] ╭─[test_iter.mutica:5:36] [INFO] [stderr] │ [INFO] [stderr] 5 │         let continue: any = v: any |-> Continue::v; [INFO] [stderr]  │ ─┬─────┬─────── [INFO] [stderr]  │ ╰─────────────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token FatArrow at line 6, column 32 [INFO] [stderr] ╭─[test_iter.mutica:6:32] [INFO] [stderr] │ [INFO] [stderr] 6 │ ╭─▶         let iter: any = f: any  ╰ |int─▶     0 => 0 [INFO] [stderr]  │ ─┬┬─ [INFO] [stderr]  │ ╰──── Expected one of: "Pipe", "Comma", "Ampersand", "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 4, column 17 [INFO] [stderr] ╭─[test_simple_fn.mutica:4:17] [INFO] [stderr] │ [INFO] [stderr] 4 │             | 1 => 1 [INFO] [stderr]  │ ─┬┬─ [INFO] [stderr]  │ ╰──── Expected one of: "Pipe", "Comma", "Ampersand", "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 5, column 17 [INFO] [stderr] ╭─[test_simple_fn.mutica:5:17] [INFO] [stderr] │ [INFO] [stderr] 5 │             | _ => f(x - 2) [INFO] [stderr]  │ ─┬───┬───── [INFO] [stderr]  │ ╰─────────── Expected one of: "Pipe", "Comma", "Ampersand", "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token Panic at line 6, column 15 [INFO] [stderr] ╭─[test_simple_fn.mutica:6:15] [INFO] [stderr] │ [INFO] [stderr] 6 │             | panic; [INFO] [stderr]  │ ──┬── [INFO] [stderr]  │ ╰──── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Match", "Rec", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "If", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Pipe", "Bang", "Minus", "Hash", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr]  | (head: int, tail: any) => (head, append(tail, list2)) [INFO] [stderr]  │ ─┬──┬─── [INFO] [stderr]  │ ╰──────── Expected one of: "Pipe", "Comma", "Ampersand", "RParen" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stdout] test tests::test_simple_fn ... ok [INFO] [stderr] Error: Unrecognized token Panic at line 7, column 19 [INFO] [stderr] ╭─[test_list_append.mutica:7:19] [INFO] [stderr] │ [INFO] [stderr] 7 │                 | panic; [INFO] [stderr]  │ ──┬── [INFO] [stderr]  │ ╰──── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Match", "Rec", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "If", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Pipe", "Bang", "Minus", "Hash", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token RParen at line 8, column 34 [INFO] [stderr] ╭─[test_list_append.mutica:8:34] [INFO] [stderr] │ [INFO] [stderr] 8 │         let lst1: any = @(1, 2, 3); [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ , int, 4); [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Expected one of: "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token RParen at line 4, column 45 [INFO] [stderr] ╭─[test_list_advanced.mutica:4:45] [INFO] [stderr] │ [INFO] [stderr] 4 │         let my_list2: any = (1, (2, @(3, 4))); [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Expected one of: "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stdout] test tests::test_list_advanced ... ok [INFO] [stderr] ->   re            c      let B: any = int -> int \ false; [INFO] [stderr]  │ ┬──┬─── [INFO] [stderr]  │ ╰──────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token Backslash at line 4, column 42 [INFO] [stderr] ╭─[test_fn_2.mutica:4:42] [INFO] [stderr] │ [INFO] [stderr] 4 │         let C: any = int -> (char | int) \ false; [INFO] [stderr]  │ ┬──┬─── [INFO] [stderr]  │ ╰──────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr]        ─┬──┬──── [INFO] [stderr]  │ ╰───────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stdout] test tests::test_fn_2 ... ok [INFO] [stderr] ─────────┬───────── [INFO] [stderr]  │ ╰─────────── Here: pattern variables are not allowed within generalized/specialized types. Pattern variables may only be used in ordered contexts (e.g., tuples, lists) [INFO] [stderr] ───╯ [INFO] [stderr] ╰─────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token Backslash at line 16, column 13 [INFO] [stderr] ╭─[test_nat.mutica:16:13] [INFO] [stderr] │ [INFO] [stderr] 16 │             \ false; [INFO] [stderr]  │ ┬──┬─── [INFO] [stderr]  │ ╰──────── Expected one of: "Pipe", "Comma", "Ampersand", "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───── The error span including all tokens [INFO] [stderr] ────╯ [INFO] [stderr] iter: (state: any) |-> [INFO] [stderr]  │ │ ─┬─ [INFO] [stderr]  │ │ ╰─── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr] 7 │ ├─▶             match f(state) [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──────────────────────────────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] ╰── Expected one of: "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token RParen at line 9, column 34 [INFO] [stderr] ╭─[test_list_append.mutica:9:34] [INFO] [stderr] │ [INFO] [stderr] 9 │         let lst2: any = @(4, 5, 6); [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Expected one of: "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] ──────────── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] let get: any = rec get: (lst: [() | (any, any)], ╰─── The error span including all tokens [INFO] [stderr] ────╯ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 13, column 32 [INFO] [stderr] ╭─[test_optional.mutica:13:32] [INFO] [stderr] │ [INFO] [stderr] 13 │                 | Nothing::any => () [INFO] [stderr]  │ ─┬┬─ [INFO] [stderr]  │ ╰──── Expected one of: "Pipe", "Comma", "Ampersand", "RParen" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─── The error span including all tokens [INFO] [stderr] ────╯ [INFO] [stderr] Error: Unrecognized token Panic at line 14, column 19 [INFO] [stderr] ╭─[test_optional.mutica:14:19] [INFO] [stderr] │ [INFO] [stderr] 14 │        Error: Unrecognized token DoubleArrow at line 8, column 47 [INFO] [stderr]  idx: int) |-> [INFO] [stderr]  │ │ ─┬─ [INFO] [stderr]  │ │ ╰─── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr] 3 │ ├─▶             match idx [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────────────────────────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 4, column 21 [INFO] [stderr] ╭─[test_struct.mutica:4:21] [INFO] [stderr] │ [INFO] [stderr] 4 │                 | 0 => lst[0] [INFO] [stderr]  │ ─┬──┬──── [INFO] [stderr]  │ ╰───────── Expected one of: "Pipe", "Comma", "Ampersand", "RParen" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 5, column 21 [INFO] [stderr] ╭─[test_struct.mutica:5:21] [INFO] [stderr] │ [INFO] [stderr] 5 │                 | _ => get(lst[1], idx - 1) [INFO] [stderr]  │ ─┬────┬────── [INFO] [stderr]  │ ╰───────────── Expected one of: "Pipe", "Comma", "Ampersand", "RParen" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token Panic at line 6, column 19 [INFO] [stderr] ╭─[test_struct.mutica:6:19] [INFO] [stderr] │ [INFO] [stdout] test tests::test_coinductive ... ok [INFO] [stderr] 6 │                 | panic; [INFO] [stdout] test tests::test_ambiguous ... ok [INFO] [stderr]  │ ──┬── [INFO] [stdout] test tests::test_nat ... ok [INFO] [stderr]  │ ╰──── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Match", "Rec", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "If", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Pipe", "Bang", "Minus", "Hash", "LParen", "LBracket", "LBrace" [INFO] [stdout] test tests::test_list_append ... ok [INFO] [stderr]  │ │ [INFO] [stdout] test tests::test_generic ... ok [INFO] [stderr]  │ ╰───  ╭─[test_iter.mutica:8:47] [INFO] [stderr] │ [INFO] [stderr] 8 │                 | Continue::(next_state: any) => iter(next_state) [INFO] [stderr]  │ ─┬───────┬───────── [INFO] [stderr]  │ ╰─────────────────── Expected one of: "Pipe", "Comma", "Ampersand", "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────────── The error span including all tokens [INFO] [stdout] test tests::test_optional ... ok [INFO] [stdout] test tests::test_struct ... ok [INFO] [stdout] test tests::test_iter ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 27 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.13s [INFO] [stdout] [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 9, column 40 [INFO] [stderr] ╭─[test_iter.mutica:9:40] [INFO] [stderr] │ [INFO] [stderr] 9 │                 | Break::(result: any) => result [INFO] [stderr]  │ ─┬──┬──── [INFO] [stderr]  │ ╰───────── Expected one of: "Pipe", "Comma", "Ampersand", "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token Panic at line 10, column 19 [INFO] [stderr] ╭─[test_iter.mutica:10:19] [INFO] [stderr] │ [INFO] [stderr] 10 │                 | panic; [INFO] [stderr]  │ ──┬── [INFO] [stderr]  │ ╰──── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Match", "Rec", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "If", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Pipe", "Bang", "Minus", "Hash", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──── The error span including all tokens [INFO] [stderr] ────╯ [INFO] [stderr] Error: Unrecognized token FatArrow at line 12, column 61 [INFO] [stderr] ╭─[test_iter.mutica:12:61] [INFO] [stderr]         | panic; [INFO] [stderr]  │ ──┬── [INFO] [stderr]  │ ╰──── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Match", "Rec", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "If", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Pipe", "Bang", "Minus", "Hash", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──── The error span including all tokens [INFO] [stderr] ────╯ [INFO] [stderr] ─ The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token RBrace at line 7, column 61 [INFO] [stderr] ╭─[test_struct.mutica:7:61] [INFO] [stderr] │ [INFO] [stderr] 7 │         let Point: any = (x: int, y: int) |-> { x::x & y::y }; [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Expected one of: "RParen" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token RParen at line 11, column 38 [INFO] [stderr] ╭─[test_struct.mutica:11:38] [INFO] [stderr] │ [INFO] [stderr] 11 │         let p_list: any = @(p, p2, p3); [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Expected one of: "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── The error span including all tokens [INFO] [stderr] ────╯ [INFO] [stderr] │ [INFO] [stderr] 12 │ ╭─▶         let sum: any = (count: int, lst: (() | (int, any))) |-> [INFO] [stderr]  │ │ ─┬─ [INFO] [stderr]  │ │ ╰─── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Arrow", "Dot", "At", "Pipe", "Comma", "Ampersand", "Eq", "Neq", "Lt", "Lte", "Gt", "Gte", "Subtype", "Plus", "Minus", "Star", "Slash", "Percent", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stderr] 13 │ ├─▶             match lst [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰─────────────────────────── The error span including all tokens [INFO] [stderr] ────╯ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 14, column 22 [INFO] [stderr] ╭─[test_iter.mutica:14:22] [INFO] [stderr] │ [INFO] [stderr] 14 │                 | () => break count [INFO] [stderr]  │ ─┬─────┬────── [INFO] [stderr]  │ ╰────────────── Expected one of: "Pipe", "Comma", "Ampersand", "RParen" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──────── The error span including all tokens [INFO] [stderr] ────╯ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 15, column 42 [INFO] [stderr] ╭─[test_iter.mutica:15:42] [INFO] [stderr] │ [INFO] [stderr] 15 │                 | (head: int, tail: any) => continue(count + head, tail) [INFO] [stderr]  │ ─┬──────────┬─────────── [INFO] [stderr]  │ ╰──────────────────────── Expected one of: "Pipe", "Comma", "Ampersand", "RParen" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰───────────── The error span including all tokens [INFO] [stderr] ────╯ [INFO] [stderr] Error: Unrecognized token Panic at line 16, column 19 [INFO] [stderr] ╭─[test_iter.mutica:16:19] [INFO] [stderr] │ [INFO] [stderr] 16 │                 | panic; [INFO] [stderr]  │ ──┬── [INFO] [stderr]  │ ╰──── Expected one of: "Wildcard", "FloatNum", "Num", "Ident", "CharLit", "StringLit", "Match", "Rec", "Int", "Char", "Float", "True", "False", "Any", "None", "Import", "If", "Rot", "DunderAdd", "DunderSub", "DunderMul", "DunderDiv", "DunderMod", "DunderGreater", "DunderLess", "DunderIs", "DunderOpcode", "Pipe", "Bang", "Minus", "Hash", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──── The error span including all tokens [INFO] [stderr] ────╯ [INFO] [stderr] Doc-tests mutica [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "47cd62ad613c132570c40254d80d3afa64772a78587f7b633e9f38befbe10ba1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "47cd62ad613c132570c40254d80d3afa64772a78587f7b633e9f38befbe10ba1", kill_on_drop: false }` [INFO] [stdout] 47cd62ad613c132570c40254d80d3afa64772a78587f7b633e9f38befbe10ba1