File tree Expand file tree Collapse file tree 4 files changed +10
-43
lines changed Expand file tree Collapse file tree 4 files changed +10
-43
lines changed Original file line number Diff line number Diff line change @@ -54761,12 +54761,7 @@ let super_trace ppf =
54761
54761
fprintf ppf "Further expanded:@,"
54762
54762
end;
54763
54763
fprintf ppf
54764
- "@[<v>\
54765
- @[%a@]@,\
54766
- vs@,\
54767
- @[%a@]\
54768
- %a\
54769
- @]"
54764
+ "@[<hov>%a@ vs@ %a@]%a"
54770
54765
(super_type_expansion ~tag:"error" t1) t1'
54771
54766
(super_type_expansion ~tag:"info" t2) t2'
54772
54767
(super_trace false) rem;
@@ -54790,14 +54785,8 @@ let super_unification_error unif tr txt1 ppf txt2 = begin
54790
54785
let tr = List.map prepare_expansion tr in
54791
54786
fprintf ppf
54792
54787
"@[<v 0>\
54793
- @[<v 2>\
54794
- %t@,\
54795
- @[<2>%a@]\
54796
- @]@,\
54797
- @[<v 2>\
54798
- %t@,\
54799
- @[<2>%a@]\
54800
- @]\
54788
+ @[<hov 2>%t@ %a@]@,\
54789
+ @[<hov 2>%t@ %a@]\
54801
54790
%a\
54802
54791
%t\
54803
54792
@]"
Original file line number Diff line number Diff line change @@ -54761,12 +54761,7 @@ let super_trace ppf =
54761
54761
fprintf ppf "Further expanded:@,"
54762
54762
end;
54763
54763
fprintf ppf
54764
- "@[<v>\
54765
- @[%a@]@,\
54766
- vs@,\
54767
- @[%a@]\
54768
- %a\
54769
- @]"
54764
+ "@[<hov>%a@ vs@ %a@]%a"
54770
54765
(super_type_expansion ~tag:"error" t1) t1'
54771
54766
(super_type_expansion ~tag:"info" t2) t2'
54772
54767
(super_trace false) rem;
@@ -54790,14 +54785,8 @@ let super_unification_error unif tr txt1 ppf txt2 = begin
54790
54785
let tr = List.map prepare_expansion tr in
54791
54786
fprintf ppf
54792
54787
"@[<v 0>\
54793
- @[<v 2>\
54794
- %t@,\
54795
- @[<2>%a@]\
54796
- @]@,\
54797
- @[<v 2>\
54798
- %t@,\
54799
- @[<2>%a@]\
54800
- @]\
54788
+ @[<hov 2>%t@ %a@]@,\
54789
+ @[<hov 2>%t@ %a@]\
54801
54790
%a\
54802
54791
%t\
54803
54792
@]"
Original file line number Diff line number Diff line change @@ -339647,12 +339647,7 @@ let super_trace ppf =
339647
339647
fprintf ppf "Further expanded:@,"
339648
339648
end;
339649
339649
fprintf ppf
339650
- "@[<v>\
339651
- @[%a@]@,\
339652
- vs@,\
339653
- @[%a@]\
339654
- %a\
339655
- @]"
339650
+ "@[<hov>%a@ vs@ %a@]%a"
339656
339651
(super_type_expansion ~tag:"error" t1) t1'
339657
339652
(super_type_expansion ~tag:"info" t2) t2'
339658
339653
(super_trace false) rem;
@@ -339676,14 +339671,8 @@ let super_unification_error unif tr txt1 ppf txt2 = begin
339676
339671
let tr = List.map prepare_expansion tr in
339677
339672
fprintf ppf
339678
339673
"@[<v 0>\
339679
- @[<v 2>\
339680
- %t@,\
339681
- @[<2>%a@]\
339682
- @]@,\
339683
- @[<v 2>\
339684
- %t@,\
339685
- @[<2>%a@]\
339686
- @]\
339674
+ @[<hov 2>%t@ %a@]@,\
339675
+ @[<hov 2>%t@ %a@]\
339687
339676
%a\
339688
339677
%t\
339689
339678
@]"
You can’t perform that action at this time.
0 commit comments