Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Omitted information concerning exceptions that could be raised. #5841
Original bug ID: 5841
Unix.openfile function may raise Unix.Unix_error exception.
Like in case of Unix.execv and others, it would be beneficial to state it also explicitely in case of Unix.openfile function.
(If that is the intended documenting policy concerning exceptions.)