diff options
author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-02 15:16:31 +0000 |
---|---|---|
committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-02 15:16:31 +0000 |
commit | 786b610e5db3c48e145a25f54237a22f48845977 (patch) | |
tree | 554551b48c1c1ba63383f49210dcf509f969c1c5 /ocamldoc/odoc_class.ml | |
parent | e3c3f8b66a3c7ed28253f11b348b706d988306af (diff) |
affichage des types de classes, ajout des labels pour les paramètres (pour les classes seulement pour l'instant)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4577 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_class.ml')
-rw-r--r-- | ocamldoc/odoc_class.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ocamldoc/odoc_class.ml b/ocamldoc/odoc_class.ml index 1826eaddb..3992c387a 100644 --- a/ocamldoc/odoc_class.ml +++ b/ocamldoc/odoc_class.ml @@ -40,7 +40,7 @@ and class_apply = { and class_constr = { cco_name : Name.t ; (** The complete name of the applied class *) - mutable cco_class : t_class option; (** The associated t_class if we found it *) + mutable cco_class : cct option; (** The associated class ot class type if we found it *) cco_type_parameters : Types.type_expr list; (** The type parameters of the class, if needed *) } @@ -131,7 +131,8 @@ let rec class_elements ?(trans=true) cl = | Class_constr cco -> ( match cco.cco_class with - Some c when trans -> class_elements ~trans: trans c + Some (Cl c) when trans -> class_elements ~trans: trans c + | Some (Cltype (ct,_)) when trans -> class_type_elements ~trans: trans ct | _ -> [] ) in |