`exitFailure` gives zero exit code

Viewed 46

I'd expect exitFailure

Exit the program indicating failure.

to give a non-zero exit code, but the program

main : IO ()
main = exitFailure

results in

$ idris2 Foo.idr -x main
$ echo $?
0

What have I misunderstood?

0 Answers
Related