diff options
Diffstat (limited to 'typing/printtyped.ml')
| -rw-r--r-- | typing/printtyped.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/typing/printtyped.ml b/typing/printtyped.ml index 7861361b8e..209121e834 100644 --- a/typing/printtyped.ml +++ b/typing/printtyped.ml @@ -1,4 +1,4 @@ -(***********************************************************************) +2(***********************************************************************) (* *) (* OCaml *) (* *) @@ -557,12 +557,13 @@ and module_type i ppf x = let i = i+1 in match x.mty_desc with | Tmty_ident (li,_) -> line i ppf "Pmty_ident %a\n" fmt_path li; + | Tmty_alias (li,_) -> line i ppf "Pmty_alias %a\n" fmt_path li; | Tmty_signature (s) -> line i ppf "Pmty_signature\n"; signature i ppf s; | Tmty_functor (s, _, mt1, mt2) -> line i ppf "Pmty_functor \"%a\"\n" fmt_ident s; - module_type i ppf mt1; + Misc.may (module_type i ppf) mt1; module_type i ppf mt2; | Tmty_with (mt, l) -> line i ppf "Pmty_with\n"; @@ -651,7 +652,7 @@ and module_expr i ppf x = structure i ppf s; | Tmod_functor (s, _, mt, me) -> line i ppf "Pmod_functor \"%a\"\n" fmt_ident s; - module_type i ppf mt; + Misc.may (module_type i ppf) mt; module_expr i ppf me; | Tmod_apply (me1, me2, _) -> line i ppf "Pmod_apply\n"; |