Exception 关于哪个OCaml标准库函数会引发哪个错误的文档

Exception 关于哪个OCaml标准库函数会引发哪个错误的文档,exception,ocaml,system-calls,Exception,Ocaml,System Calls,标题说一切都已经很好了:) 特别是,我对模块Sys和Unix中的函数感兴趣 《OCaml中的Unix系统编程》一书()指出: 1.3错误处理 除非另有说明,否则Unix模块中的所有函数都会在出现错误时引发异常Unix\u error 异常Unix\u错误*字符串*字符串的错误 [……] 最后,异常的第一个参数是指示错误性质的错误代码。它属于变量类型错误: type error=E2BIG | EACCES | EAGAIN |……|内特的恩克诺内尔 到目前为止还不错,但是。。。哪个函数可以引发哪

标题说一切都已经很好了:)

特别是,我对模块
Sys
Unix
中的函数感兴趣

《OCaml中的Unix系统编程》一书()指出:

1.3错误处理 除非另有说明,否则Unix模块中的所有函数都会在出现错误时引发异常
Unix\u error

异常Unix\u错误*字符串*字符串的错误

[……]

最后,异常的第一个参数是指示错误性质的错误代码。它属于变量类型错误:

type error=E2BIG | EACCES | EAGAIN |……|内特的恩克诺内尔

到目前为止还不错,但是。。。哪个函数可以引发哪个
错误

比如说,哪些可以引发Unix错误(EAGAIN,,,),哪些不能


我必须研究实现还是有现成的列表?

OCaml只是传递Unix错误。每个操作可能出现的错误都在Unix文档中。事实上,在我使用的类Unix系统上,这一点已经得到了很好的记录。例如,您可以从命令行尝试
man2 chmod

然而,在我的经验中,每个错误的可能原因(反向关系)并没有被很好地记录(或根本没有记录)