D | |
Different_list_size [ExtList.List] | Different_list_size is raised when applying functions such as
iter2 on two lists having different size.
|
E | |
Empty_list [RefList] | |
Empty_list [ExtList.List] | Empty_list is raised when an operation applied on an empty list
is invalid : hd for example.
|
G | |
Global_not_initialized [Global] |
Raised when a global variable is accessed without first having been
assigned a value.
|
I | |
Invalid_arg [DynArray] |
When an operation on an array fails,
Invalid_arg is raised.
|
Invalid_index [RefList] | |
Invalid_index [ExtList.List] | Invalid_index is raised when an indexed access on a list is
out of list bounds.
|
Invalid_string [ExtString.String] | |
M | |
Malformed_code [UTF8] | |
N | |
Negative_index [BitSet] |
When a negative bit value is used for one of the BitSet functions,
this exception is raised with the name of the function.
|
No_more_elements [Enum] |
This exception shall be raised by the
next function of make
or from when no more elements can be enumerated, it shall not
be raised by any function which is an argument to any
other function specified in the interface.
|
No_value [Option] |
raised when calling
get None .
|
O | |
Out_of_range [UChar] |