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
It looks like it can raise Invalid_argument or Failure, as well as Sys_error. However it appears that an error arising from a failure to map (or some other system call that is used) is always reported as Sys_error. The remainder arise from validation of arguments.
Original bug ID: 6810
Reporter: @dbuenzli
Assigned to: @mshinwell
Status: closed (set by @xavierleroy on 2016-12-07T10:49:16Z)
Resolution: fixed
Priority: normal
Severity: trivial
Version: 4.02.1
Target version: 4.02.2+dev / +rc1
Fixed in version: 4.02.2+dev / +rc1
Category: documentation
Tags: junior_job
Monitored by: @hcarty
Bug description
It should mention that the function raises Sys_error in case of error.
The text was updated successfully, but these errors were encountered: