diff --git a/typing/printtyp.ml b/typing/printtyp.ml index e1c9619ee67a..a05e27fa7281 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -1609,12 +1609,7 @@ let super_trace ppf = fprintf ppf "Further expanded:@," end; fprintf ppf - "@[\ - @[%a@]@,\ - vs@,\ - @[%a@]\ - %a\ - @]" + "@[%a@ vs@ %a@]%a" (super_type_expansion ~tag:"error" t1) t1' (super_type_expansion ~tag:"info" t2) t2' (super_trace false) rem; @@ -1638,14 +1633,8 @@ let super_unification_error unif tr txt1 ppf txt2 = begin let tr = List.map prepare_expansion tr in fprintf ppf "@[\ - @[\ - %t@,\ - @[<2>%a@]\ - @]@,\ - @[\ - %t@,\ - @[<2>%a@]\ - @]\ + @[%t@ %a@]@,\ + @[%t@ %a@]\ %a\ %t\ @]"