We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Original bug ID: 5841 Reporter: kosik Status: closed (set by @damiendoligez on 2014-05-25T18:13:41Z) Resolution: fixed Priority: low Severity: trivial Version: 4.00.0 Target version: 4.01.1+dev Fixed in version: 4.02.0+dev Category: documentation Tags: junior_job Has duplicate: #6168 #6280
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.)
The text was updated successfully, but these errors were encountered:
Comment author: @damiendoligez
fixed in branch 4.02 (commit 14918)
Sorry, something went wrong.
No branches or pull requests
Original bug ID: 5841
Reporter: kosik
Status: closed (set by @damiendoligez on 2014-05-25T18:13:41Z)
Resolution: fixed
Priority: low
Severity: trivial
Version: 4.00.0
Target version: 4.01.1+dev
Fixed in version: 4.02.0+dev
Category: documentation
Tags: junior_job
Has duplicate: #6168 #6280
Bug description
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.)
The text was updated successfully, but these errors were encountered: