diff options
author | shym <shym@users.noreply.github.com> | 2023-03-03 09:44:02 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-03 09:44:02 +0000 |
commit | 0f22c5aec7c9787e832838bca3439b855ca06306 (patch) | |
tree | fb7fe5cb7905d607e8033aa4d0e3c8c2a963bbca /stdlib | |
parent | de1061bda2593734043b5a594656947759e56f58 (diff) | |
download | ocaml-0f22c5aec7c9787e832838bca3439b855ca06306.tar.gz |
Documentation-only: Add Windows specifics for `process_status` type (#12067)
Clarify that only WEXITED is ever used on Windows
Refer to NTSTATUS documentation for the possible return codes to
indicate errors
Detail the special case of a segfault, quite possibly the most common
case users would encounter
Diffstat (limited to 'stdlib')
0 files changed, 0 insertions, 0 deletions