A | |
Already_set [Set_once] | |
B | |
Bad [Core_arg] | |
Break [Core_sys] |
Exception raised on interactive interrupt if
Sys.catch_break is on.
|
Bug [Common] | |
D | |
Duplicate_found [Core_list] | |
E | |
Empty [Heap] |
Raised when
top or pop is called on an empty heap.
|
Empty [Fqueue] | |
Empty [Core_stack] | |
Empty [Core_queue] | |
F | |
File_truncated_or_deleted [Linebuf] | |
Finally [Exn] |
Raised when finalization after an exception failed, too.
|
Finally [Common] |
Raised when finalization after an exception failed, too.
|
H | |
Help [Core_arg] | |
I | |
IOError [Bigstring] |
Type of I/O errors
|
Invalid_file_format [Zone] | |
R | |
Reraised [Exn] | |
U | |
Unimplemented [Common] | |
Unix_error [Core_unix] |
Raised by the system calls below when an error is encountered.
|
Unknown_zone [Zone] | |
V | |
Validation_error [Common] |