From c5517825788046ea170a8f119bd184c3446e4e19 Mon Sep 17 00:00:00 2001 From: Matthieu Sozeau Date: Thu, 11 Jul 2024 21:55:28 +0200 Subject: [PATCH] Remove ill-placed attributes --- .../lib/float64.mli | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/lib/coq_verified_extraction_malfunction_ffi/lib/float64.mli b/lib/coq_verified_extraction_malfunction_ffi/lib/float64.mli index 18f7f7d..579aecc 100644 --- a/lib/coq_verified_extraction_malfunction_ffi/lib/float64.mli +++ b/lib/coq_verified_extraction_malfunction_ffi/lib/float64.mli @@ -57,13 +57,11 @@ val le : t -> t -> bool (** The IEEE 754 float comparison. * NotComparable is returned if there is a NaN in the arguments *) val compare : t -> t -> float_comparison -[@@ocaml.inline always] type float_class = | PNormal | NNormal | PSubn | NSubn | PZero | NZero | PInf | NInf | NaN val classify : t -> float_class -[@@ocaml.inline always] val mul : t -> t -> t @@ -77,19 +75,15 @@ val sqrt : t -> t (** Link with integers *) val of_uint63 : Uint63.t -> t -[@@ocaml.inline always] val normfr_mantissa : t -> Uint63.t -[@@ocaml.inline always] (** Shifted exponent extraction *) val eshift : int val frshiftexp : t -> t * Uint63.t (* float remainder, shifted exponent *) -[@@ocaml.inline always] val ldshiftexp : t -> Uint63.t -> t -[@@ocaml.inline always] val next_up : t -> t @@ -98,7 +92,6 @@ val next_down : t -> t (** Return true if two floats are equal. * All NaN values are considered equal. *) val equal : t -> t -> bool -[@@ocaml.inline always] val hash : t -> int @@ -106,4 +99,4 @@ val hash : t -> int val total_compare : t -> t -> int val is_float64 : Obj.t -> bool -[@@ocaml.inline always] +