Skip to content

Commit

Permalink
flambda-backend: Minor fix for "lazy" compilation in Matching with Fl…
Browse files Browse the repository at this point in the history
…ambda 2 (ocaml-flambda#110)
  • Loading branch information
mshinwell authored Jul 26, 2021
1 parent dba922b commit 5106317
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion lambda/matching.ml
Original file line number Diff line number Diff line change
Expand Up @@ -1904,7 +1904,9 @@ let inline_lazy_force arg loc =
ap_specialised = Default_specialise;
ap_probe=None;
}
else if !Clflags.native_code then
else if !Clflags.native_code && not (Clflags.is_flambda2 ()) then
(* CR vlaviron: Find a way for Flambda 2 to avoid both the call to
caml_obj_tag and the switch on arbitrary tags *)
(* Lswitch generates compact and efficient native code *)
inline_lazy_force_switch arg loc
else
Expand Down

0 comments on commit 5106317

Please sign in to comment.