Closed JeffGarland closed 4 years ago
I think we don't want to do this. The reason for exit_code is so you can write portable code. The reason for native_exit_code is so you can write platform specific code.
added discussion to the paper recording the above
I think we don't want to do this. The reason for exit_code is so you can write portable code. The reason for native_exit_code is so you can write platform specific code.