Skip to content

alias ReadFileCallback

(alias) ReadFileCallback = fun(file_name: string) -> (boolean,string,integer)

callback for the loading of binary data files. The name will normally be a full path name as it is returned by either one of the file discovery callbacks or the internal version of kpse.find_file().

success

Return false when a fatal error occurred (e.g.\ when the file cannot be found, after all).

data

The bytes comprising the file.

data_size

The length of the data, in bytes.

Return an empty string and zero if the file was found but there was a reading problem.