diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2003-09-05 15:40:12 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2003-09-05 15:40:12 +0000 |
| commit | d10e45fd950db9954d313b1caae0430190282f0d (patch) | |
| tree | 05533df978435fcaf4460f4f7d237ca831b3759c /ocamldoc/odoc_info.ml | |
| parent | 8681289c195bb0390b239024d9c48b3cc99668b0 (diff) | |
| download | ocaml-d10e45fd950db9954d313b1caae0430190282f0d.tar.gz | |
Affichage des variances des parametres de types semble ok
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5823 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_info.ml')
| -rw-r--r-- | ocamldoc/odoc_info.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/ocamldoc/odoc_info.ml b/ocamldoc/odoc_info.ml index d6b7fdbe7b..7438fd6132 100644 --- a/ocamldoc/odoc_info.ml +++ b/ocamldoc/odoc_info.ml @@ -110,11 +110,13 @@ let load_modules = Odoc_analyse.load_modules let reset_type_names = Printtyp.reset +let string_of_variance t (co,cn) = Odoc_str.string_of_variance t (co, cn) + let string_of_type_expr t = Odoc_misc.string_of_type_expr t -(** This function returns a string to represent the given list of types, - with a given separator. *) -let string_of_type_list sep type_list = Odoc_misc.string_of_type_list sep type_list +let string_of_type_list sep type_list = Odoc_str.string_of_type_list sep type_list + +let string_of_type_param_list t = Odoc_str.string_of_type_param_list t let string_of_module_type = Odoc_misc.string_of_module_type |