You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Anysinglefunction from the Unix module can raise Unix_error if the underlying system call fails. There is no point in mentioning it for everysinglefunction.
The documentation for the Unix module says:
"exception Unix_error of error * string * string
Raised by the system calls below when an error is encountered. [...]"
If this is not clear enough, we should make it clearer that any of the Unix functions can raise Unix_error. But please don't submit one bug report per Unix function.
Original bug ID: 6168
Reporter: kosik
Status: closed (set by @damiendoligez on 2014-05-25T18:14:07Z)
Resolution: fixed
Priority: low
Severity: trivial
Version: 4.00.0
Fixed in version: 4.02.0+dev
Category: documentation
Tags: junior_job
Duplicate of: #5841
Bug description
Unix.stat 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.stat function.
(If that is the intended documenting policy concerning exceptions.)
Additional information
I've reported similar problem before:
#5841
(for openfile)
There may be more of these kind of omissions.
The text was updated successfully, but these errors were encountered: