app [main!] { pf: platform "./platform/main.roc" }

import pf.Stdout

line : Str -> Try({}, [EmptyStrErr])
line = |str| {
    if str.is_empty() {
        Err(EmptyStrErr)
    } else {
        Ok({})
    }
}

my_func : {} -> Try({}, [Exit(I32), ..])
my_func = |_| {
    line("hey")?
    Err(Exit(1))
}

main! = || {
    match my_func({}) {
        Ok({}) => Stdout.line!("Ok")
        Err(_) => Stdout.line!("Err")
    }
}

❯ ./zig-out/bin/roc test/fx/repro.roc
-- TYPE MISMATCH ---------------------------------

This ? may return early with a type that doesn't match the function body:
   ┌─ test/fx/repro.roc:16:5
   │
16 │     line("hey")?
   │     ^^^^^^^^^^^^

On error, this would return:

    Try({  }, [EmptyStrErr])

But the function body evaluates to:

    Try({  }, [Exit(I32), ..])

Hint: The error types from all ? operators and the function body must be compatible since any of them could be the actual return value.

Found 1 error(s) and 0 warning(s) for test/fx/repro.roc.

app [main!] { cli: platform "https://github.com/roc-lang/basic-cli/releases/download/0.20.0/X73hGh05nNTkDHU06FHC0YfFaQB1pimX7gncRcao5mU.tar.br" }

import cli.Stdout

line : Str -> Result {} [EmptyStrErr]
line = |str|
    if Str.is_empty(str) then
        Err(EmptyStrErr)
    else
        Ok({})

my_func : {} -> Result {} [Exit(I32)]_
my_func = |_|
    line("hey")?
    Err(Exit(1))

main! = |_args|
    when my_func({}) is
        Ok({}) -> Stdout.line!("Ok")
        Err(_) -> Stdout.line!("Err")

❯ ./roc main.roc
Err

line : Str -> Result {} [EmptyStrErr]

line : Str -> Result {} [EmptyStrErr]_

line : Str -> Try({}, [EmptyStrErr, ..])