diff options
author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2004-03-19 10:38:29 +0000 |
---|---|---|
committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2004-03-19 10:38:29 +0000 |
commit | 3473073799dc19bd869ab40aa18f5813a64b928b (patch) | |
tree | 80d570a8f6b60674c98780a90c1a4e21b9dc9271 /ocamldoc/odoc_name.ml | |
parent | 9f320eede0158e9565c0ac404723419ce30980fa (diff) | |
download | ocaml-3473073799dc19bd869ab40aa18f5813a64b928b.tar.gz |
odoc_cross.ml: use hash tables modified on the fly to resolve
(module | module type | exception) name aliases
- odoc_html: replace some calls to Str. by specific functions on strings
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6157 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_name.ml')
-rw-r--r-- | ocamldoc/odoc_name.ml | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/ocamldoc/odoc_name.ml b/ocamldoc/odoc_name.ml index ef01ec4a3f..da7fb84002 100644 --- a/ocamldoc/odoc_name.ml +++ b/ocamldoc/odoc_name.ml @@ -142,21 +142,3 @@ let to_path n = let from_longident longident = String.concat "." (Longident.flatten longident) -let name_alias name cpl_aliases = - let rec f n1 = function - [] -> raise Not_found - | (n2, n3) :: q -> - if n2 = n1 then - n3 - else - if prefix n2 n1 then - let ln2 = String.length n2 in - n3^(String.sub n1 ln2 ((String.length n1) - ln2)) - else - f n1 q - in - let rec iter n = - try iter (f n cpl_aliases) - with Not_found -> n - in - iter name |