|  | 
| Files is a partial list or a list with an element
E which is a variable |  | instantiation_error | 
|  | 
| Files is neither a partial list nor a list nor an atom |  | type_error(list, Files) | 
|  | 
| an element E of the Files list is neither a
variable nor an atom |  | type_error(atom, E) | 
|  | 
| an element E of the Files list is an atom but not
a valid pathname |  | domain_error(os_path, E) | 
|  | 
| an element E of the Files list is a valid
pathname but does not correspond to an existing source |  | existence_error(source_sink, E) | 
|  | 
| an error occurs executing a directive |  | see call/1 errors (section 5.2.3) | 
|  | 
|  | 
| Files is a partial list or a list with an element
E which is a variable |  | instantiation_error | 
|  | 
| Files is neither a partial list nor a list nor an atom |  | type_error(list, Files) | 
|  | 
| an element E of the Files list is neither a
variable nor an atom |  | type_error(atom, E) | 
|  | 
| an element E of the Files list is an atom but not
a valid pathname |  | domain_error(os_path, E) | 
|  | 
| an element E of the Files list is a valid
pathname but does not correspond to an existing source |  | existence_error(source_sink, E) | 
|  | 
| an error occurs executing a directive |  | see call/1 errors (section 5.2.3) | 
|  |