diff options
Diffstat (limited to 'plugins/xml/cic2acic.ml')
-rw-r--r-- | plugins/xml/cic2acic.ml | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/plugins/xml/cic2acic.ml b/plugins/xml/cic2acic.ml index 90712c473..5f4add47a 100644 --- a/plugins/xml/cic2acic.ml +++ b/plugins/xml/cic2acic.ml @@ -38,7 +38,7 @@ let get_module_path_of_full_path path = let remove_module_dirpath_from_dirpath ~basedir dir = let module Ln = Libnames in if Ln.is_dirpath_prefix_of basedir dir then - let ids = Names.Dir_path.repr dir in + let ids = Names.DirPath.repr dir in let rec remove_firsts n l = match n,l with (0,l) -> l @@ -48,11 +48,11 @@ let remove_module_dirpath_from_dirpath ~basedir dir = let ids' = List.rev (remove_firsts - (List.length (Names.Dir_path.repr basedir)) + (List.length (Names.DirPath.repr basedir)) (List.rev ids)) in ids' - else Names.Dir_path.repr dir + else Names.DirPath.repr dir ;; @@ -63,7 +63,7 @@ let get_uri_of_var v pvars = function [] -> Errors.error ("Variable "^v^" not found") | he::tl as modules -> - let dirpath = N.Dir_path.make modules in + let dirpath = N.DirPath.make modules in if List.mem (N.Id.of_string v) (D.last_section_hyps dirpath) then modules else @@ -73,7 +73,7 @@ let get_uri_of_var v pvars = if List.mem v pvars then [] else - search_in_open_sections (N.Dir_path.repr (Lib.cwd ())) + search_in_open_sections (N.DirPath.repr (Lib.cwd ())) in "cic:" ^ List.fold_left @@ -108,21 +108,21 @@ let ext_of_tag = exception FunctorsXMLExportationNotImplementedYet;; let subtract l1 l2 = - let l1' = List.rev (Names.Dir_path.repr l1) in - let l2' = List.rev (Names.Dir_path.repr l2) in + let l1' = List.rev (Names.DirPath.repr l1) in + let l2' = List.rev (Names.DirPath.repr l2) in let rec aux = function he::tl when tl = l2' -> [he] | he::tl -> he::(aux tl) | [] -> assert (l2' = []) ; [] in - Names.Dir_path.make (List.rev (aux l1')) + Names.DirPath.make (List.rev (aux l1')) ;; let token_list_of_path dir id tag = let module N = Names in let token_list_of_dirpath dirpath = - List.rev_map N.Id.to_string (N.Dir_path.repr dirpath) in + List.rev_map N.Id.to_string (N.DirPath.repr dirpath) in token_list_of_dirpath dir @ [N.Id.to_string id ^ "." ^ (ext_of_tag tag)] let token_list_of_kernel_name tag = |