Module Build_path_prefix_map

module Build_path_prefix_map: sig .. end

Rewrite paths for reproducible builds

Warning: this module is unstable and part of compiler-libs.

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_opt : map ->
       path -> path option

rewrite_opt map path tries to find a source in map that is a prefix of the input path. If it succeeds, it replaces this prefix with the corresponding target. If it fails, it just returns None.

val rewrite : map ->
       path -> path