Skip to content

Commit

Permalink
Fix Translobj assertions for Flambda 2 (ocaml-flambda#112)
Browse files Browse the repository at this point in the history
  • Loading branch information
mshinwell committed Jul 26, 2021
1 parent 210b14b commit d00eeba
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions ocaml/lambda/translobj.ml
Original file line number Diff line number Diff line change
Expand Up @@ -104,7 +104,7 @@ let transl_label_init_general f =
expr, size

let transl_label_init_flambda f =
assert(Config.flambda);
assert(Config.flambda || Config.flambda2);
let method_cache_id = Ident.create_local "method_cache" in
method_cache := Lvar method_cache_id;
(* Calling f (usually Translmod.transl_struct) requires the
Expand All @@ -123,7 +123,7 @@ let transl_label_init_flambda f =
transl_label_init_general (fun () -> expr, size)

let transl_store_label_init glob size f arg =
assert(not Config.flambda);
assert(not (Config.flambda || Config.flambda2));
assert(!Clflags.native_code);
method_cache := Lprim(mod_field ~read_semantics:Reads_vary size,
[Lprim(Pgetglobal glob, [], Loc_unknown)],
Expand Down

0 comments on commit d00eeba

Please sign in to comment.