diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 1996-11-08 13:38:34 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 1996-11-08 13:38:34 +0000 |
| commit | 975c4742fa833534f80b3ddbfc0bdf6cabce77a1 (patch) | |
| tree | f1fbc71115a040703cdac24154dd4f14a5c9d70f | |
| parent | 8f2493e35f23dd63d2ea9aa2bbe7609e30d6c2db (diff) | |
Gestion des boi^tes ?
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/printtyp.ml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index e1ec4cf2d..cc7308876 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -301,10 +301,9 @@ let rec type_declaration id decl = Type_abstract -> () | Type_variant [] -> () (* A fatal error actually, except when printing type exn... *) - | Type_variant (cstr1 :: cstrs as cstrs0) -> - List.iter (fun (_, args) -> List.iter mark_loops args) cstrs0; - print_string " ="; print_break 1 2; - constructor cstr1; + | Type_variant cstrs -> + List.iter (fun (_, args) -> List.iter mark_loops args) cstrs; + print_string " ="; List.iter (fun cstr -> print_space(); print_string "| "; constructor cstr) cstrs |