Skip to content

Commit 5b03ed6

Browse files
authored
flambda-backend: remove duplicated modality functions (#2265)
1 parent ce61903 commit 5b03ed6

File tree

1 file changed

+0
-16
lines changed

1 file changed

+0
-16
lines changed

typing/typecore.ml

Lines changed: 0 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -422,22 +422,6 @@ let check_tail_call_local_returning loc env ap_mode {region_mode; _} =
422422
end
423423
| None -> ()
424424

425-
(* Describes how a modality affects field projection. Returns the mode
426-
of the projection given the mode of the record. *)
427-
let _modality_unbox_left global_flag mode =
428-
match global_flag with
429-
| Global ->
430-
mode |> Value.to_global |> Value.to_shared |> Value.to_many
431-
| Unrestricted -> mode
432-
433-
(* Describes how a modality affects record construction. Gives the
434-
expected mode of the field given the expected mode of the record. *)
435-
let _modality_box_right global_flag mode =
436-
match global_flag with
437-
| Global ->
438-
mode |> Value.to_global |> Value.to_shared |> Value.to_many
439-
| Unrestricted -> mode
440-
441425
(* Describes how a modality affects field projection. Returns the mode
442426
of the projection given the mode of the record. *)
443427
let modality_unbox_left global_flag mode =

0 commit comments

Comments
 (0)