focal (3) Load_path.3o.gz

NAME

       Load_path - Management of include directories.

Module

       Module   Load_path

Documentation

       Module Load_path
        : sig end

       Management of include directories.

       This  module  offers a high level interface to locating files in the load path, which is constructed from
       -I command line flags and a few other parameters.

       It makes the assumption that the contents of include directories doesn't change during the  execution  of
       the compiler.

       val add_dir : string -> unit

       Add a directory to the load path

       val remove_dir : string -> unit

       Remove a directory from the load path

       val reset : unit -> unit

       Remove all directories

       val init : string list -> unit

       init l is the same as reset (); List.iter add_dir (List.rev l)

       val get_paths : unit -> string list

       Return the list of directories passed to add_dir so far, in reverse order.

       val find : string -> string

       Locate  a  file in the load path. Raise Not_found if the file cannot be found. This function is optimized
       for the case where the filename is a basename, i.e. doesn't contain a directory separator.

       val find_uncap : string -> string

       Same as find , but search also for uncapitalized name, i.e.  if name is Foo.ml,  allow  /path/Foo.ml  and
       /path/foo.ml to match.

       module Dir : sig end

       val add : Dir.t -> unit

       val get : unit -> Dir.t list

       Same as get_paths () , except that it returns a Dir.t list .