Модуль Build_path_prefix_map

module Build_path_prefix_map: sig .. end

Переписать пути для воспроизводимых сборках

Предупреждение: этот модуль нестабилен и является частью compiler-libs.

См. спецификацию BUILD_PATH_PREFIX_MAP

type path = string

type path_prefix = string

type error_message = string

val encode_prefix : path_prefix -> string

val decode_prefix : string ->       (path_prefix, error_message)       result

type pair = {

	`target : path_prefix;`
	`source : path_prefix;`

}

val encode_pair : pair -> string

val decode_pair : string ->       (pair, error_message)       result

type map = pair option list

val encode_map : map -> string

val decode_map : string ->       (map, error_message)       result

val rewrite_first : map ->       path -> path option

rewrite_first map path пытается найти исходный файл в map, являющийся префиксом входного path. Если это удается, он заменяет этот префикс соответствующим целевым значением. В противном случае он просто возвращает None.

val rewrite_all : map ->       path -> path list

rewrite_all map path находит все исходные файлы в map, являющиеся префиксами входного path. Для каждого совпадающего исходного файла, в порядке приоритета, он заменяет этот префикс соответствующим целевым значением и добавляет результат в возвращаемый список. Если совпадений нет, он просто возвращает [].

val rewrite : map ->       path -> path

rewrite path использует rewrite_first для поиска сопоставления пути. Если найдено, возвращает его, в противном случае возвращает path.