summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_print.ml
diff options
context:
space:
mode:
authorFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>2012-05-30 14:52:37 +0000
committerFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>2012-05-30 14:52:37 +0000
commitd39d43e55fab716fbe05cec3c89233f0dd208835 (patch)
treebf5c56aa9bb32a0e3d49509b8b2863a9ec407563 /ocamldoc/odoc_print.ml
parente3d82817909dd7bc69dff4f75aa63c5ba606d9c8 (diff)
downloadocaml-d39d43e55fab716fbe05cec3c89233f0dd208835.tar.gz
merge with branch bin-annot
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_print.ml')
-rw-r--r--ocamldoc/odoc_print.ml20
1 files changed, 10 insertions, 10 deletions
diff --git a/ocamldoc/odoc_print.ml b/ocamldoc/odoc_print.ml
index 5cc8e038c7..2c48327417 100644
--- a/ocamldoc/odoc_print.ml
+++ b/ocamldoc/odoc_print.ml
@@ -55,15 +55,15 @@ exception Use_code of string
let simpl_module_type ?code t =
let rec iter t =
match t with
- Types.Tmty_ident p -> t
- | Types.Tmty_signature _ ->
+ Types.Mty_ident p -> t
+ | Types.Mty_signature _ ->
(
match code with
- None -> Types.Tmty_signature []
+ None -> Types.Mty_signature []
| Some s -> raise (Use_code s)
)
- | Types.Tmty_functor (id, mt1, mt2) ->
- Types.Tmty_functor (id, iter mt1, iter mt2)
+ | Types.Mty_functor (id, mt1, mt2) ->
+ Types.Mty_functor (id, iter mt1, iter mt2)
in
iter t
@@ -80,20 +80,20 @@ let string_of_module_type ?code ?(complete=false) t =
let simpl_class_type t =
let rec iter t =
match t with
- Types.Tcty_constr (p,texp_list,ct) -> t
- | Types.Tcty_signature cs ->
+ Types.Cty_constr (p,texp_list,ct) -> t
+ | Types.Cty_signature cs ->
(* on vire les vals et methods pour ne pas qu'elles soient imprimées
quand on affichera le type *)
let tnil = { Types.desc = Types.Tnil ; Types.level = 0; Types.id = 0 } in
- Types.Tcty_signature { Types.cty_self = { cs.Types.cty_self with
+ Types.Cty_signature { Types.cty_self = { cs.Types.cty_self with
Types.desc = Types.Tobject (tnil, ref None) };
Types.cty_vars = Types.Vars.empty ;
Types.cty_concr = Types.Concr.empty ;
Types.cty_inher = []
}
- | Types.Tcty_fun (l, texp, ct) ->
+ | Types.Cty_fun (l, texp, ct) ->
let new_ct = iter ct in
- Types.Tcty_fun (l, texp, new_ct)
+ Types.Cty_fun (l, texp, new_ct)
in
iter t