File tree 4 files changed +19
-8
lines changed
4 files changed +19
-8
lines changed Original file line number Diff line number Diff line change @@ -34,7 +34,6 @@ let setup_env () =
34
34
Ctype. variant_is_subtype := Matching_polyfill. variant_is_subtype;
35
35
Clflags. dump_location := false ;
36
36
Config. syntax_kind := `rescript ;
37
- Parmatch. print_res_pat := Pattern_printer. print_pattern;
38
37
39
38
# 38 " core/bs_conditional_initial.pp.ml"
40
39
Clflags. color := Some Always ;
@@ -74,4 +73,4 @@ let setup_env () =
74
73
75
74
76
75
let () =
77
- at_exit (fun _ -> Format. pp_print_flush Format. err_formatter () )
76
+ at_exit (fun _ -> Format. pp_print_flush Format. err_formatter () )
Original file line number Diff line number Diff line change @@ -26327,6 +26327,8 @@ val pretty_pat : pattern -> unit
26327
26327
val pretty_line : pattern list -> unit
26328
26328
val pretty_matrix : pattern list list -> unit
26329
26329
26330
+ val print_res_pat: (Typedtree.pattern -> string) ref
26331
+
26330
26332
val omega : pattern
26331
26333
val omegas : int -> pattern list
26332
26334
val omega_list : 'a list -> pattern list
@@ -26773,6 +26775,9 @@ let get_type_path ty tenv =
26773
26775
(* Values as patterns pretty printer *)
26774
26776
(*************************************)
26775
26777
26778
+ let print_res_pat: (Typedtree.pattern -> string) ref =
26779
+ ref (fun _ -> assert false)
26780
+
26776
26781
open Format
26777
26782
;;
26778
26783
@@ -28496,8 +28501,7 @@ let do_check_partial ?pred exhaust loc casel pss = match pss with
28496
28501
let errmsg =
28497
28502
try
28498
28503
let buf = Buffer.create 16 in
28499
- let fmt = formatter_of_buffer buf in
28500
- top_pretty fmt v;
28504
+ Buffer.add_string buf (!print_res_pat v);
28501
28505
begin match check_partial_all v casel with
28502
28506
| None -> ()
28503
28507
| Some _ ->
Original file line number Diff line number Diff line change @@ -26327,6 +26327,8 @@ val pretty_pat : pattern -> unit
26327
26327
val pretty_line : pattern list -> unit
26328
26328
val pretty_matrix : pattern list list -> unit
26329
26329
26330
+ val print_res_pat: (Typedtree.pattern -> string) ref
26331
+
26330
26332
val omega : pattern
26331
26333
val omegas : int -> pattern list
26332
26334
val omega_list : 'a list -> pattern list
@@ -26773,6 +26775,9 @@ let get_type_path ty tenv =
26773
26775
(* Values as patterns pretty printer *)
26774
26776
(*************************************)
26775
26777
26778
+ let print_res_pat: (Typedtree.pattern -> string) ref =
26779
+ ref (fun _ -> assert false)
26780
+
26776
26781
open Format
26777
26782
;;
26778
26783
@@ -28496,8 +28501,7 @@ let do_check_partial ?pred exhaust loc casel pss = match pss with
28496
28501
let errmsg =
28497
28502
try
28498
28503
let buf = Buffer.create 16 in
28499
- let fmt = formatter_of_buffer buf in
28500
- top_pretty fmt v;
28504
+ Buffer.add_string buf (!print_res_pat v);
28501
28505
begin match check_partial_all v casel with
28502
28506
| None -> ()
28503
28507
| Some _ ->
Original file line number Diff line number Diff line change @@ -186268,6 +186268,8 @@ val pretty_pat : pattern -> unit
186268
186268
val pretty_line : pattern list -> unit
186269
186269
val pretty_matrix : pattern list list -> unit
186270
186270
186271
+ val print_res_pat: (Typedtree.pattern -> string) ref
186272
+
186271
186273
val omega : pattern
186272
186274
val omegas : int -> pattern list
186273
186275
val omega_list : 'a list -> pattern list
@@ -186714,6 +186716,9 @@ let get_type_path ty tenv =
186714
186716
(* Values as patterns pretty printer *)
186715
186717
(*************************************)
186716
186718
186719
+ let print_res_pat: (Typedtree.pattern -> string) ref =
186720
+ ref (fun _ -> assert false)
186721
+
186717
186722
open Format
186718
186723
;;
186719
186724
@@ -188437,8 +188442,7 @@ let do_check_partial ?pred exhaust loc casel pss = match pss with
188437
188442
let errmsg =
188438
188443
try
188439
188444
let buf = Buffer.create 16 in
188440
- let fmt = formatter_of_buffer buf in
188441
- top_pretty fmt v;
188445
+ Buffer.add_string buf (!print_res_pat v);
188442
188446
begin match check_partial_all v casel with
188443
188447
| None -> ()
188444
188448
| Some _ ->
You can’t perform that action at this time.
0 commit comments