[INFO] fetching crate mutica 0.2.4... [INFO] testing mutica-0.2.4 against try#c2e32f1c9652b13ed99608599c1e855462f421f3 for pr-146098-7 [INFO] extracting crate mutica 0.2.4 into /workspace/builds/worker-3-tc2/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-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate mutica 0.2.4 on toolchain c2e32f1c9652b13ed99608599c1e855462f421f3 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] b6848b3365d41fcf001e82e1490133067b089266b8e6de4689563292f8863828 [INFO] running `Command { std: "docker" "start" "-a" "b6848b3365d41fcf001e82e1490133067b089266b8e6de4689563292f8863828", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "b6848b3365d41fcf001e82e1490133067b089266b8e6de4689563292f8863828", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b6848b3365d41fcf001e82e1490133067b089266b8e6de4689563292f8863828", kill_on_drop: false }` [INFO] [stdout] b6848b3365d41fcf001e82e1490133067b089266b8e6de4689563292f8863828 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 93598a9199642ff6479e9cd1c6be1cc14810fabc6ff68e81b22725aac7b14844 [INFO] running `Command { std: "docker" "start" "-a" "93598a9199642ff6479e9cd1c6be1cc14810fabc6ff68e81b22725aac7b14844", kill_on_drop: false }` [INFO] [stderr] Compiling find-msvc-tools v0.1.3 [INFO] [stderr] Compiling regex-syntax v0.8.6 [INFO] [stderr] Compiling memchr v2.7.6 [INFO] [stderr] Compiling scopeguard v1.2.0 [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 siphasher v1.0.1 [INFO] [stderr] Compiling hashbrown v0.16.0 [INFO] [stderr] Compiling logos-codegen v0.15.1 [INFO] [stderr] Compiling term v1.2.0 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Compiling proc-macro-error-attr2 v2.0.0 [INFO] [stderr] Compiling keccak v0.1.5 [INFO] [stderr] Compiling lock_api v0.4.14 [INFO] [stderr] Compiling new_debug_unreachable v1.0.6 [INFO] [stderr] Compiling cc v1.2.40 [INFO] [stderr] Compiling phf_shared v0.11.3 [INFO] [stderr] Compiling bit-vec v0.8.0 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling ena v0.14.3 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Compiling beef v0.5.2 [INFO] [stderr] Compiling parking_lot v0.12.5 [INFO] [stderr] Compiling bit-set v0.8.0 [INFO] [stderr] Compiling ascii-canvas v4.0.0 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling pico-args v0.5.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 ariadne v0.4.1 [INFO] [stderr] Compiling clap_builder v4.5.48 [INFO] [stderr] Compiling indexmap v2.11.4 [INFO] [stderr] Compiling string_cache v0.8.9 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling block-buffer v0.10.4 [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 petgraph v0.7.1 [INFO] [stderr] Compiling regex-automata v0.4.11 [INFO] [stderr] Compiling proc-macro-error2 v2.0.1 [INFO] [stderr] Compiling stacksafe-macro v0.1.4 [INFO] [stderr] Compiling thiserror-impl v2.0.17 [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 45.43s [INFO] running `Command { std: "docker" "inspect" "93598a9199642ff6479e9cd1c6be1cc14810fabc6ff68e81b22725aac7b14844", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "93598a9199642ff6479e9cd1c6be1cc14810fabc6ff68e81b22725aac7b14844", kill_on_drop: false }` [INFO] [stdout] 93598a9199642ff6479e9cd1c6be1cc14810fabc6ff68e81b22725aac7b14844 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8cc0b3235d531765e59df354c5c169262bcf2689fde1d6b974fbb1b6eb63ab3b [INFO] running `Command { std: "docker" "start" "-a" "8cc0b3235d531765e59df354c5c169262bcf2689fde1d6b974fbb1b6eb63ab3b", kill_on_drop: false }` [INFO] [stderr] Compiling mutica v0.2.4 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 2.13s [INFO] running `Command { std: "docker" "inspect" "8cc0b3235d531765e59df354c5c169262bcf2689fde1d6b974fbb1b6eb63ab3b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8cc0b3235d531765e59df354c5c169262bcf2689fde1d6b974fbb1b6eb63ab3b", kill_on_drop: false }` [INFO] [stdout] 8cc0b3235d531765e59df354c5c169262bcf2689fde1d6b974fbb1b6eb63ab3b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 509e310a51692617893989d4c8fe838567a6ba8acd7279edbba13a56c3650dab [INFO] running `Command { std: "docker" "start" "-a" "509e310a51692617893989d4c8fe838567a6ba8acd7279edbba13a56c3650dab", 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] 2 │         let A: any = x: any -> y: any -> (x, y) \ false \ faError: [INFO] [stderr] Error: Unrecognized token Backslash at line 3, column 38 [INFO] [stdout] test tests::test_char ... ok [INFO] [stderr] lError: Unrecognized token FatArrow at line 2, column 30 [INFO] [stdout] test tests::test_discard ... ok [INFO] [stderr] s ╭─[test_generic.mutica:2:30] [INFO] [stdout] test tests::test_dict ... ok [INFO] [stderr] │ [INFO] [stderr] Error: Unrecognized token Backslash at line 2, column 49 [INFO] [stderr] ╭─[test_assert_failed.mutica:2:49] [INFO] [stderr] │ [INFO] [stderr] 2 │         let f:  2 │ ae;  [INFO] [stderr]  │ Error: Unrecognized token RParen at line 3, column 46 [INFO] [stderr] n ╭─[test_list_advanced.mutica:3:46] [INFO] [stdout] test tests::test_missing_pattern ... ok [INFO] [stderr] │ [INFO] [stdout] test tests::test_multipattern ... ok [INFO] [stderr] 3 │         let my_list: any = @(int, int, int, 4); [INFO] [stdout] test tests::test_fn ... ok [INFO] [stderr]  │ ┬ [INFO] [stderr]  │ ╰── Expected one of: "Semicolon" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╭─[test_fn.mutica:3:38] [INFO] [stderr] │ [INFO] [stderr] yError: Unrecognized token FatArrow at line 3, column 64 [INFO] [stderr] Error: Unrecognized token Backslash at line 2, column 42 [INFO] [stdout] test tests::test_namespace ... ok [INFO] [stderr] ╭─[test_fn_2.mutica:2:42] [INFO] [stderr] │ [INFO] [stderr] 2 │ 3 │         let f: any = x: any -> x + y \ 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", "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] Error: Unrecognized token RParen at line 3, column 40 [INFO] [stderr] ╭─[test_iter.mutica:3:40] [INFO] [stderr] │ [INFO] [stderr] Error: Unrecognized token Backslash at line 3, column 43 [INFO] [stderr] ╭─[test_nat.mutica:3:43] [INFO] [stderr] │ [INFO] [stderr] 3 │         let sError: Unrecognized token FatArrow at line 3, column 20 [INFO] [stderr] ╭─[test_complex.mutica:3:20] [INFO] [stderr] │ [INFO] [stderr] 3 │  ucc: any = x: any ->  Error: Ambiguous pattern [INFO] [stderr] = ╭─[test_import.mutica:1:1] [INFO] [stderr] │ [INFO] [stderr] 1 │   ┬──────┬─────── [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] [stdout] test tests::test_complex ... ok [INFO] [stderr] │ [INFO] [stdout] test tests::test_import ... ok [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] [stderr]  │       (x: (1+y)) |-> 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", "LParen", "LBracket", "LBrace" [INFO] [stderr]  │ Error: Unrecognized token Backslash at line 4, column 35 [INFO] [stderr] Error: Unrecognized token RParen at line 5, column 86 [INFO] [stderr] (      ╭─[test_ambiguous.mutica:3:19] [INFO] [stderr] │ [INFO] [stderr] 3 │ ╭─[test_list_append.mutica:3:64] [INFO] [stderr] │ [INFO] [stderr] i │ [INFO] [stderr]  │ ╰──── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] mport "./iter.mu" [INFO] [stderr]  │ ─────────┬──────── [INFO] [stderr]  │ ╰────────── No such file or directory (os error 2) [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token FatArrow at line 2, column 29 [INFO] [stderr] ╭─[test_literal.mutica:2:29] [INFO] [stderr] │ [INFO] [stdout] test tests::test_literal ... ok [INFO] [stdout] test tests::test_specialize_generalize ... ok [INFO] [stderr] 2 │         let f: any = x    3 │     (): any |-> x + 1; [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] ╭─[test_io.mutica:5:86] [INFO] [stderr] │ [INFO] [stderr] 5 │                 | (head: char, tail: any) => (discard print!(head); print_chars(tail)) [INFO] [stderr]  │ Error: Unrecognized token FatArrow at line 2, column 36 [INFO] [stderr] ╭─[test_simple_fn.mutica:2:36] [INFO] [stderr] │ [INFO] [stderr] 2 │         let f: any = rec f: x: int |-> match 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 DoubleArrow at line 3, column 17 [INFO] [stderr] ╭─[test_simple_fn.mutica:3:17] [INFO] [stderr] │ [INFO] [stderr] 3 │             | 0 => 0 [INFO] [stderr]  │ ─┬┬─ [INFO] [stderr]  │ Error: Unrecognized token FatArrow at line 2, column 68 [INFO] [stderr] ╭─[test_struct.mutica:2:68] [INFO] [stderr] │ [INFO] [stderr] 2 │ ╭─▶         let get: any = rec get: (lst: [() | (any, any)], 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 =>             | x: (int | (y: int, int)) => x [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 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] [stderr] 3 │ ╭─▶         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]  │ │ [INFO] [stderr]  │ ╰───────────────────────────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 5, column 22 [INFO] [stdout] test tests::test_ambiguous ... ok [INFO] [stderr] ╭─[test_list_append.mutica:5:22] [INFO] [stdout] test tests::test_list_advanced ... ok [INFO] [stderr] │ [INFO] [stderr] 5 │      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 FatArrow at line 4, column 33 [INFO] [stderr] ╭─[test_iter.mutica:4:33] [INFO] [stderr] │ [INFO] [stderr] 4 │         let break: any = v: any |-> Break::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 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 |-> rec 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] Error: Unrecognized token FatArrow at line 2, column 32 [INFO] [stderr] ╭─[test_optional.mutica:2:32] [INFO] [stderr] │ [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 8, column 47 [INFO] [stderr] 2 │  (x: int, y: int) -> (x, y) \ 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] , x) \ false; [INFO] [stderr]  │ ╰──── Expected one of: "Pipe", "Comma", "Ampersand", "Semicolon" [INFO] [stderr]  │ Error: Ambiguous pattern [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] [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] │ [INFO] [stderr] 12 │ ╭─▶         let sum: any = (count: int, lst: (() | (int, any))) |-> [INFO] [stderr]  │ │ ─┬─ [INFO] [stdout] test tests::test_generic ... ok [INFO] [stderr]  │ │ lst[0] [INFO] [stdout] test tests::test_rec ... ok [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] [stdout] test tests::test_simple_fn ... ok [INFO] [stderr]  │ ─┬────┬────── [INFO] [stdout] test tests::test_struct ... ok [INFO] [stderr]  │ ╰───────────── Expected one of: "Pipe", "Comma", "Ampersand", "RParen" [INFO] [stdout] test tests::test_io ... ok [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] [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] Error: Unrecognized token RBrace at line 7, column 61 [INFO] [stdout] test tests::test_nat ... ok [INFO] [stderr] ╭─[test_struct.mutica:7:61] [INFO] [stderr] │ [INFO] [stderr] 7 │         let Point: any = (x: int, y: int) |-> { x::x & y::y }; [INFO] [stdout] test tests::test_pattern ... ok [INFO] [stderr]  │ ┬ [INFO] [stdout] test tests::test_fn_2 ... ok [INFO] [stderr]  │ ╰── Expected one of: "RParen" [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰── The error span including all tokens [INFO] [stderr] ───╯ [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 │     ┬ [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 │ ├─▶   let id: any = T: any |-> x: T |-> x; [INFO] [stderr]  │ ─┬─────┬────── [INFO] [stdout] test tests::test_iter ... 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", "Semicolon", "LParen", "LBracket", "LBrace" [INFO] [stdout] test tests::test_assert_failed ... ok [INFO] [stderr]  │ │ [INFO] [stderr]  │ ╰──────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token Backslash at line 8, column 13 [INFO] [stderr] ╭─[test_rec.mutica:8:13] [INFO] [stderr] │ [INFO] [stderr] 8 │             \ 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] ╰─── 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 │ ├─▶              │ [INFO] [stderr]  │ ╰─── The error span including all tokens [INFO] [stdout] test tests::test_list_append ... ok [INFO] [stderr] ───╯ [INFO] [stdout] test tests::test_coinductive ... ok [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] ╰──────── 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] ╭─[test_assert_failed.mutica:2:14] [INFO] [stderr]    Error: Unrecognized token Backslash at line 16, column 13 [INFO] [stderr] │ [INFO] [stderr] ╭─[test_pattern.mutica:4:35] [INFO] [stderr] │ [INFO] [stderr] 4 │         let C: any = () -> (A, B) \ false; [INFO] [stderr]  │      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]          print_chars("Hello, world!\n") [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] 3 │         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] 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]         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_nat.mutica:16:13] [INFO] [stderr] │ [INFO] [stderr] 16 │             \ false; [INFO] [stdout] test tests::test_alpha_equivalence ... ok [INFO] [stderr]  │ ┬──┬─── [INFO] [stdout] test tests::test_optional ... ok [INFO] [stderr]  │ ╰──────── Expected one of: "Pipe", "Comma", "Ampersand", "Semicolon" [INFO] [stdout] [INFO] [stderr]  │ │ [INFO] [stdout] test result: ok. 27 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s [INFO] [stderr]  │ ╰───── The error span including all tokens [INFO] [stdout] [INFO] [stderr] ────╯ [INFO] [stderr]        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 │ ╭─▶  ┬──┬─── [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]         let safe_div: any = (x: int, y: int) |-> [INFO] [stderr]  │ │ ─┬─ [INFO] [stderr]  │ │   ╭─[test_iter.mutica:14:22] [INFO] [stderr] │ [INFO] [stderr] Error: Use of undeclared variable 'y' [INFO] [stderr] ╭─[test_assert_failed.mutica:3:13] [INFO] [stderr] │ [INFO] [stderr] 3 │ 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]         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] | () => 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 │   ╰───────── The error span including all tokens [INFO] [stderr] ───╯ [INFO] [stderr] Error: Unrecognized token Assign at line 2, column 42 [INFO] [stderr] Error: Unrecognized token Backslash at line 2, column 49 [INFO] [stderr] ╭─[test_coinductive.mutica:2:42] [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] [stderr] ╭─[test_alpha_equivalence.mutica:2:49] [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 │ ├─▶             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 Panic at line 7, column 19 [INFO] [stderr] │ [INFO] [stderr] 2 │         let P0: ((a: 0, b: 1) |-> a + b) = (x: int, y: 1) |-> x + 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 FatArrow at line 2, column 59 [INFO] [stderr] ╭─[test_coinductive.mutica:2:59] [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 8, column 21 [INFO] [stderr] ╭─[test_optional.mutica:8:21] [INFO] [stderr] │ [INFO] [stderr] 8 │                 | _ => 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] Error: Unrecognized token Panic at line 9, column 19 [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_val │ [INFO] [stderr] │ [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]  │ ╰── 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] ue 2 │ : any  2 │         le      = t P0: ((a: 0, b: 1) |-> a + b) = (x: int, y: 1) |-> x + y; [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] 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] [stdout] [INFO] [stderr]  │ ╰─────────────────────────── The error span including all tokens [INFO] [stdout] running 0 tests [INFO] [stderr] ────╯ [INFO] [stdout] [INFO] [stderr] Error: Unrecognized token DoubleArrow at line 12, column 34 [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stderr] ╭─[test_optional.mutica:12:34] [INFO] [stdout] [INFO] [stderr] │ [INFO] [stderr] 12 │                 | Just::(v: any) => v [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 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]   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] Error: Unrecognized token Panic at line 14, column 19 [INFO] [stderr] ╭─[test_optional.mutica:14:19] [INFO] [stderr] │ [INFO] [stderr] 14 │                 | 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] running `Command { std: "docker" "inspect" "509e310a51692617893989d4c8fe838567a6ba8acd7279edbba13a56c3650dab", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "509e310a51692617893989d4c8fe838567a6ba8acd7279edbba13a56c3650dab", kill_on_drop: false }` [INFO] [stdout] 509e310a51692617893989d4c8fe838567a6ba8acd7279edbba13a56c3650dab