Parsing0.Load_path
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.
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.
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: { ... };
let add: Dir.t => unit;
Old name for append_dir
let append_dir: Dir.t => unit;
append_dir d
adds d
to the end of the load path (i.e. at lowest priority.
let prepend_dir: Dir.t => unit;
prepend_dir d
adds d
to the start of the load path (i.e. at highest priority.
let get: unit => list(Dir.t);
Same as get_paths ()
, except that it returns a Dir.t list
.