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?
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?