parent
5ac3acf195
commit
65385bbaa4
|
@ -502,12 +502,3 @@ let extension = Filename.extension
|
||||||
|
|
||||||
let pp ppf t = Format.pp_print_string ppf (to_string t)
|
let pp ppf t = Format.pp_print_string ppf (to_string t)
|
||||||
|
|
||||||
let drop_prefix t ~prefix =
|
|
||||||
let t = to_string t in
|
|
||||||
let prefix =
|
|
||||||
to_string (
|
|
||||||
if String.is_suffix prefix ~suffix:"/" then
|
|
||||||
prefix
|
|
||||||
else
|
|
||||||
prefix ^ "/") in
|
|
||||||
String.drop_prefix t ~prefix
|
|
||||||
|
|
|
@ -137,14 +137,6 @@ val change_extension : ext:string -> t -> t
|
||||||
|
|
||||||
val extension : t -> string
|
val extension : t -> string
|
||||||
|
|
||||||
(** maintains the invariant:
|
|
||||||
{[
|
|
||||||
let suffix = Option.value_exn (Path.drop_prefix t ~prefix) in
|
|
||||||
Path.relative prefix suffix = t
|
|
||||||
]}
|
|
||||||
*)
|
|
||||||
val drop_prefix : t -> prefix:t -> string option
|
|
||||||
|
|
||||||
val pp : Format.formatter -> t -> unit
|
val pp : Format.formatter -> t -> unit
|
||||||
|
|
||||||
val build_dir_exists : unit -> bool
|
val build_dir_exists : unit -> bool
|
||||||
|
|
Loading…
Reference in New Issue