Module Patdiff_kernel.File_nameSource

Used to determine which name to use for a file, depending on the operation.

Sourcetype t =
  1. | Real of {
    1. real_name : string;
    2. alt_name : string option;
    }
    (*

    A name corresponding to a real file on disk. alt_name is used to display the file name and for file extension heuristics.

    *)
  2. | Fake of string
    (*

    A name not necessarily corresponding to a real file.

    *)
include Ppx_compare_lib.Comparable.S with type t := t
Sourceval compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
Sourceval equal : t Base__Ppx_compare_lib.equal
Sourceval real_name_exn : t -> string

The name used to access the file system. May differ from the name used for display.

Sourceval display_name : t -> string

The name used for display. Also used for file extension heuristics.

If t has an alt_name, then that is used. Otherwise, the real name is used.

Sourceval to_string_hum : t -> string

Equivalent to display_name.

Sourceval append : t -> string -> t

Append a path component to each of real_name, alt_name.

Sourceval dev_null : t