Skip to content

GitLab

Commit 46b447b8 authored by Virgile Prevosto's avatar Virgile Prevosto Committed by Andre Maroneze
Browse files

[dev] remove obsolete (pre-4.05) directives

parent d7796be3
Hide whitespace changes
Inline Side-by-side
src/libraries/utils/floating_point.mli
View file @ 46b447b8
......@@ -28,18 +28,16 @@ type c_rounding_mode =
val string_of_c_rounding_mode : c_rounding_mode -> string
(* replace "noalloc" with [@@noalloc] for OCaml version >= 4.03.0 *)
[@@@ warning "-3"]
external set_round_downward : unit -> unit = "set_round_downward" "noalloc"
external set_round_upward : unit -> unit = "set_round_upward" "noalloc"
external set_round_downward : unit -> unit = "set_round_downward" [@@noalloc]
external set_round_upward : unit -> unit = "set_round_upward" [@@noalloc]
external set_round_nearest_even : unit -> unit =
"set_round_nearest_even" "noalloc"
external set_round_toward_zero : unit -> unit = "set_round_toward_zero" "noalloc"
external get_rounding_mode: unit -> c_rounding_mode = "get_rounding_mode" "noalloc"
external set_rounding_mode: c_rounding_mode -> unit = "set_rounding_mode" "noalloc"
[@@@ warning "+3"]
"set_round_nearest_even" [@@noalloc]
external set_round_toward_zero : unit -> unit =
"set_round_toward_zero" [@@noalloc]
external get_rounding_mode: unit -> c_rounding_mode =
"get_rounding_mode" [@@noalloc]
external set_rounding_mode: c_rounding_mode -> unit =
"set_rounding_mode" [@@noalloc]
external round_to_single_precision_float: float -> float = "round_to_float"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment