From eb15c59bb2f79f0154a0c37e43cdf4e90235c053 Mon Sep 17 00:00:00 2001 From: Guillaume Melquiond Date: Tue, 8 Apr 2014 20:01:41 +0200 Subject: Add an option -Q (tentative name). This option complements -I-as and -R. As the two other options, it adds a new loadpath, but contrarily to them, files are not looked into the directory unless fully qualified. --- library/loadpath.mli | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) (limited to 'library/loadpath.mli') diff --git a/library/loadpath.mli b/library/loadpath.mli index f755ace9e..af86122cf 100644 --- a/library/loadpath.mli +++ b/library/loadpath.mli @@ -15,6 +15,11 @@ open Names *) +type path_type = + | ImplicitPath (** Can be implicitly appended to a logical path. *) + | ImplicitRootPath (** Can be implicitly appended to the suffix of a logical path. *) + | RootPath (** Can only be a prefix of a logical path. *) + type t (** Type of loadpath bindings. *) @@ -33,10 +38,9 @@ val get_paths : unit -> CUnix.physical_path list val get_accessible_paths : unit -> CUnix.physical_path list (** Same as [get_paths] but also get paths that can be relatively accessed. *) -val add_load_path : CUnix.physical_path -> bool -> DirPath.t -> unit -(** [add_load_path root phys log] adds the binding [phys := log] to the current - loadpaths. The [root] flag indicates whether this loadpath has to be treated - as a root one. *) +val add_load_path : CUnix.physical_path -> path_type -> DirPath.t -> unit +(** [add_load_path phys type log] adds the binding [phys := log] to the current + loadpaths. *) val remove_load_path : CUnix.physical_path -> unit (** Remove the current logical path binding associated to a given physical path, -- cgit v1.2.3