summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_name.ml
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2004-03-19 10:38:29 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2004-03-19 10:38:29 +0000
commit3473073799dc19bd869ab40aa18f5813a64b928b (patch)
tree80d570a8f6b60674c98780a90c1a4e21b9dc9271 /ocamldoc/odoc_name.ml
parent9f320eede0158e9565c0ac404723419ce30980fa (diff)
downloadocaml-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.ml18
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