Skip to content

Commit

Permalink
run ocamlformat
Browse files Browse the repository at this point in the history
  • Loading branch information
riaqn committed Feb 23, 2023
1 parent 2456934 commit 443ec5a
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -94,7 +94,8 @@ let convert_init_or_assign (i_or_a : L.initialization_or_assignment)
~current_region : P.Init_or_assign.t =
match i_or_a with
| Assignment mode ->
Assignment (Alloc_mode.For_allocations.from_lambda_modify mode ~current_region)
Assignment
(Alloc_mode.For_allocations.from_lambda_modify mode ~current_region)
| Heap_initialization -> Initialization
| Root_initialization ->
Misc.fatal_error "[Root_initialization] should not appear in Flambda input"
Expand Down
1 change: 0 additions & 1 deletion middle_end/flambda2/term_basics/alloc_mode.mli
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,6 @@ module For_allocations : sig

val to_lambda_modify : t -> Lambda.modify_mode


include Contains_names.S with type t := t

include Contains_ids.S with type t := t
Expand Down
3 changes: 2 additions & 1 deletion middle_end/flambda2/terms/flambda_primitive.ml
Original file line number Diff line number Diff line change
Expand Up @@ -243,7 +243,8 @@ module Init_or_assign = struct
let to_lambda t : Lambda.initialization_or_assignment =
match t with
| Initialization -> Heap_initialization
| Assignment mode -> Assignment (Alloc_mode.For_allocations.to_lambda_modify mode)
| Assignment mode ->
Assignment (Alloc_mode.For_allocations.to_lambda_modify mode)

let free_names t =
match t with
Expand Down

0 comments on commit 443ec5a

Please sign in to comment.