summaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
authorshym <shym@users.noreply.github.com>2023-03-03 09:44:02 +0000
committerGitHub <noreply@github.com>2023-03-03 09:44:02 +0000
commit0f22c5aec7c9787e832838bca3439b855ca06306 (patch)
treefb7fe5cb7905d607e8033aa4d0e3c8c2a963bbca /stdlib
parentde1061bda2593734043b5a594656947759e56f58 (diff)
downloadocaml-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