From 43a0a3147073b12b038c55c27fd6f0adcb900ac9 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 31 Mar 2015 19:24:10 +0200
Subject: Removing the unused root flag from loadpaths.

---
 library/loadpath.mli | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'library/loadpath.mli')

diff --git a/library/loadpath.mli b/library/loadpath.mli
index d4029303d2..ae54b3183a 100644
--- a/library/loadpath.mli
+++ b/library/loadpath.mli
@@ -30,8 +30,8 @@ val get_load_paths : unit -> t list
 val get_paths : unit -> CUnix.physical_path list
 (** Same as [get_load_paths] but only get the physical part. *)
 
-val add_load_path : CUnix.physical_path -> DirPath.t -> root:bool -> implicit:bool -> unit
-(** [add_load_path phys type log] adds the binding [phys := log] to the current
+val add_load_path : CUnix.physical_path -> DirPath.t -> implicit:bool -> unit
+(** [add_load_path phys log type] adds the binding [phys := log] to the current
     loadpaths. *)
 
 val remove_load_path : CUnix.physical_path -> unit
@@ -47,7 +47,7 @@ val is_in_load_paths : CUnix.physical_path -> bool
 
 val expand_path : DirPath.t -> (CUnix.physical_path * DirPath.t) list
 (** Given a relative logical path, associate the list of absolute physical and
-    logical paths which are possible expansions of it. *)
+    logical paths which are possible matches of it. *)
 
 val expand_root_path : DirPath.t -> CUnix.physical_path list
-(** As [expand_path] but restricts to root loadpaths. *)
+(** As [expand_path] but ignores the implicit status. *)
-- 
cgit v1.2.3


From 7c41bc9bdc883aacbc015954a89ff13fe9c9c1c0 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 1 Apr 2015 10:51:32 +0200
Subject: From X Require Y looks for X with absolute path, disregarding -R.

---
 library/loadpath.mli | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'library/loadpath.mli')

diff --git a/library/loadpath.mli b/library/loadpath.mli
index ae54b3183a..3251b8c60c 100644
--- a/library/loadpath.mli
+++ b/library/loadpath.mli
@@ -49,5 +49,6 @@ val expand_path : DirPath.t -> (CUnix.physical_path * DirPath.t) list
 (** Given a relative logical path, associate the list of absolute physical and
     logical paths which are possible matches of it. *)
 
-val expand_root_path : DirPath.t -> CUnix.physical_path list
-(** As [expand_path] but ignores the implicit status. *)
+val filter_path : (DirPath.t -> bool) -> (CUnix.physical_path * DirPath.t) list
+(** As {!expand_path} but uses a filter function instead, and ignores the
+    implicit status of loadpaths. *)
-- 
cgit v1.2.3