异常索引

A
Assert_failure [Stdlib]

断言失败时引发的异常。

B
Bad [Arg]

specanon_fun 中的函数可以通过带有错误消息的 Arg.Bad 异常来拒绝无效参数。

Break [Sys]

如果启用了 Sys.catch_break,则在交互式中断时引发此异常。

C
Continuation_already_resumed [Effect]

当延续被继续或中断超过一次时引发此异常。

D
Division_by_zero [Stdlib]

当整数除法和取余运算的第二个参数为零时引发此异常。

E
Empty [Stack]

Stack.popStack.top 应用于空栈时引发此异常。

Empty [Queue]

Queue.takeQueue.peek 应用于空队列时引发此异常。

End_of_file [Stdlib]

输入函数引发此异常以指示已到达文件末尾。

Error [Dynlink]

动态链接中的错误通过引发带有错误描述的 Error 异常来报告。

Exit [Thread]

用户代码引发此异常以启动当前线程的终止。

Exit [Stdlib]

Exit 异常不会由任何库函数引发。

F
Failure [Stdlib]

库函数引发此异常以指示它们在给定参数上未定义。

Finally_raised [Fun]

Finally_raised exnprotect ~finally workfinally 引发异常 exn 时引发。

Forced_twice [Seq]

当由 Seq.once(或其后缀)返回的序列被查询多次时引发此异常。

H
Help [Arg]

当用户请求帮助时,由 Arg.parse_argv 引发。

I
Invalid_argument [Stdlib]

库函数引发此异常以指示给定的参数没有意义。

M
Match_failure [Stdlib]

当模式匹配的任何情况都不适用时引发此异常。

N
Not_found [Stdlib]

当搜索函数找不到所需的宾时引发此异常。

O
Out_of_memory [Stdlib]

当垃圾回收器没有足够的内存来完成计算时引发此异常。

P
Parse_error [Parsing]

当解析器遇到语法错误时引发。

S
Scan_failure [Scanf]

当输入无法根据格式字符串规范读取时,格式化输入函数通常会引发 Scan_failure 异常。

Stack_overflow [Stdlib]

当字节码解释器的评估栈达到其最大大小时引发此异常。

Sys_blocked_io [Stdlib]

当在非阻塞 I/O 通道上无法进行任何 I/O 时引发的 Sys_error 的特殊情况。

Sys_error [Stdlib]

输入/输出函数引发此异常以报告操作系统错误。

U
Undefined [CamlinternalLazy]
Undefined [Lazy]

当从多个纤维、systhreads 或域并发强制执行挂起时,或者当挂起尝试递归地强制执行自身时引发。

Undefined_recursive_module [Stdlib]

当评估不合理的递归模块定义时引发此异常。

Unhandled [Effect]

Unhandled e 当执行效果 e 且没有处理程序时引发。

Unix_error [UnixLabels]

当遇到错误时,以下系统调用引发此异常。

Unix_error [Unix]

当遇到错误时,以下系统调用引发此异常。