File tree 6 files changed +6
-6
lines changed
middle_end/flambda2/tests
6 files changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -188,5 +188,5 @@ let _ =
188
188
let linkage_name = Compilation_unit.Name. of_string " camlTest" in
189
189
Compilation_unit. create Compilation_unit.Prefix. empty linkage_name
190
190
in
191
- Compilation_unit. set_current (Some comp_unit);
191
+ Compilation_unit. set_current (Some comp_unit, Impl );
192
192
test_double_recursion ()
Original file line number Diff line number Diff line change @@ -260,7 +260,7 @@ let test_meet_bottom_after_alias () =
260
260
261
261
let () =
262
262
let comp_unit = " Meet_test" |> Compilation_unit. of_string in
263
- Compilation_unit. set_current (Some comp_unit);
263
+ Compilation_unit. set_current (Some comp_unit, Impl );
264
264
Format. eprintf " MEET CHAINS WITH TWO VARS@\n @." ;
265
265
test_meet_chains_two_vars () ;
266
266
Format. eprintf " @.MEET CHAINS WITH THREE VARS@\n @." ;
Original file line number Diff line number Diff line change 9
9
let modname1 =
10
10
Parse_flambda. make_compilation_unit ~filename: file1 ~extension: " .fl" ()
11
11
in
12
- Compilation_unit. set_current (Some modname1);
12
+ Compilation_unit. set_current (Some ( modname1, Impl ) );
13
13
Format. printf " %a@."
14
14
(Compare.Comparison. print Flambda_unit. print)
15
15
(Compare. flambda_units unit1 unit2)
Original file line number Diff line number Diff line change 35
35
let run_expect_test ~get_module_info ~extension ~filename
36
36
({ before; after = expected } : Fexpr.expect_test_spec ) : Test_outcome.t =
37
37
let comp_unit = Parse_flambda. make_compilation_unit ~extension ~filename () in
38
- Compilation_unit. set_current (Some comp_unit);
38
+ Compilation_unit. set_current (Some ( comp_unit, Impl ) );
39
39
let before_fl = Fexpr_to_flambda. conv comp_unit before in
40
40
check_invariants before_fl;
41
41
let cmx_loader = Flambda_cmx. create_loader ~get_module_info in
Original file line number Diff line number Diff line change @@ -15,7 +15,7 @@ let parse_flambda filename =
15
15
let comp_unit =
16
16
Parse_flambda. make_compilation_unit ~extension: " .fl" ~filename ()
17
17
in
18
- Compilation_unit. set_current comp_unit;
18
+ Compilation_unit. set_current ( comp_unit, Impl ) ;
19
19
Format. printf " %a@.@." Print_fexpr. flambda_unit unit ;
20
20
let fl2 = Fexpr_to_flambda. conv comp_unit unit in
21
21
Format. printf " flambda:@.%a@.@." Flambda_unit. print fl2;
Original file line number Diff line number Diff line change @@ -30,7 +30,7 @@ let () =
30
30
in
31
31
(* Need to get this right or the conversion will complain about binding
32
32
non-local symbols *)
33
- Compilation_unit. set_current (Some modname);
33
+ Compilation_unit. set_current (Some ( modname, Impl ) );
34
34
let unit =
35
35
match Parse_flambda. parse file with
36
36
| Ok unit -> unit
You can’t perform that action at this time.
0 commit comments