diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2003-07-02 09:14:35 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2003-07-02 09:14:35 +0000 |
| commit | 3e4bf9252b89c156d6d89cbd61e932bdc1a91781 (patch) | |
| tree | a7a5627fb43832caec7ad8894bac6eb0b7318d0e /parsing/printast.ml | |
| parent | c348f9a6ae467537e4dd6c80811554d540845597 (diff) | |
Revu representation des declarations de type private
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/printast.ml')
| -rw-r--r-- | parsing/printast.ml | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/parsing/printast.ml b/parsing/printast.ml index 9cc166d44..be819a7d4 100644 --- a/parsing/printast.ml +++ b/parsing/printast.ml @@ -314,15 +314,12 @@ and type_kind i ppf x = match x with | Ptype_abstract -> line i ppf "Ptype_abstract\n" - | Ptype_variant (l) -> - line i ppf "Ptype_variant\n"; + | Ptype_variant (l, priv) -> + line i ppf "Ptype_variant %a\n" fmt_private_flag priv; list (i+1) string_x_core_type_list ppf l; - | Ptype_record (l) -> - line i ppf "Ptype_record\n"; + | Ptype_record (l, priv) -> + line i ppf "Ptype_record %a\n" fmt_private_flag priv; list (i+1) string_x_mutable_flag_x_core_type ppf l; - | Ptype_private x -> - line i ppf "Ptype_private\n"; - type_kind (i + 1) ppf x and exception_declaration i ppf x = list i core_type ppf x @@ -573,7 +570,7 @@ and structure_item i ppf x = line i ppf "Pstr_module \"%s\"\n" s; module_expr i ppf me; | Pstr_recmodule bindings -> - line i ppf "Pstr_type\n"; + line i ppf "Pstr_recmodule\n"; list i string_x_modtype_x_module ppf bindings; | Pstr_modtype (s, mt) -> line i ppf "Pstr_modtype \"%s\"\n" s; |