Turn on warning 50 for otherlibs

otherlibs/Makefile.shared

@@ -22,7 +22,7 @@ CAMLYACC ?= $(ROOTDIR)/boot/ocamlyacc
 
 # Compilation options
 CC=$(BYTECC)
-COMPFLAGS=-w +33..39 -warn-error A -bin-annot -g -safe-string $(EXTRACAMLFLAGS)
+COMPFLAGS=-w +33..39+50 -warn-error A -bin-annot -g -safe-string $(EXTRACAMLFLAGS)
 ifeq "$(FLAMBDA)" "true"
 OPTCOMPFLAGS=-O3
 else

otherlibs/num/arith_status.mli

@@ -20,6 +20,7 @@ val arith_status: unit -> unit
 
 val get_error_when_null_denominator : unit -> bool
         (** See {!Arith_status.set_error_when_null_denominator}.*)
+
 val set_error_when_null_denominator : bool -> unit
         (** Get or set the flag [null_denominator]. When on, attempting to
            create a rational with a null denominator raises an exception.
@@ -28,6 +29,7 @@ val set_error_when_null_denominator : bool -> unit
 
 val get_normalize_ratio : unit -> bool
         (** See {!Arith_status.set_normalize_ratio}.*)
+
 val set_normalize_ratio : bool -> unit
         (** Get or set the flag [normalize_ratio]. When on, rational
            numbers are normalized after each operation. When off,
@@ -36,6 +38,7 @@ val set_normalize_ratio : bool -> unit
 
 val get_normalize_ratio_when_printing : unit -> bool
         (** See {!Arith_status.set_normalize_ratio_when_printing}.*)
+
 val set_normalize_ratio_when_printing : bool -> unit
         (** Get or set the flag [normalize_ratio_when_printing].
            When on, rational numbers are normalized before being printed.
@@ -44,6 +47,7 @@ val set_normalize_ratio_when_printing : bool -> unit
 
 val get_approx_printing : unit -> bool
         (** See {!Arith_status.set_approx_printing}.*)
+
 val set_approx_printing : bool -> unit
         (** Get or set the flag [approx_printing].
            When on, rational numbers are printed as a decimal approximation.
@@ -52,6 +56,7 @@ val set_approx_printing : bool -> unit
 
 val get_floating_precision : unit -> int
         (** See {!Arith_status.set_floating_precision}.*)
+
 val set_floating_precision : int -> unit
         (** Get or set the parameter [floating_precision].
            This parameter is the number of digits displayed when

otherlibs/num/big_int.mli

@@ -25,6 +25,7 @@ type big_int
 
 val zero_big_int : big_int
         (** The big integer [0]. *)
+
 val unit_big_int : big_int
         (** The big integer [1]. *)
 
@@ -32,28 +33,39 @@ val unit_big_int : big_int
 
 val minus_big_int : big_int -> big_int
         (** Unary negation. *)
+
 val abs_big_int : big_int -> big_int
         (** Absolute value. *)
+
 val add_big_int : big_int -> big_int -> big_int
         (** Addition. *)
+
 val succ_big_int : big_int -> big_int
         (** Successor (add 1). *)
+
 val add_int_big_int : int -> big_int -> big_int
         (** Addition of a small integer to a big integer. *)
+
 val sub_big_int : big_int -> big_int -> big_int
         (** Subtraction. *)
+
 val pred_big_int : big_int -> big_int
         (** Predecessor (subtract 1). *)
+
 val mult_big_int : big_int -> big_int -> big_int
         (** Multiplication of two big integers. *)
+
 val mult_int_big_int : int -> big_int -> big_int
         (** Multiplication of a big integer by a small integer *)
+
 val square_big_int: big_int -> big_int
         (** Return the square of the given big integer *)
+
 val sqrt_big_int: big_int -> big_int
         (** [sqrt_big_int a] returns the integer square root of [a],
            that is, the largest big integer [r] such that [r * r <= a].
            Raise [Invalid_argument] if [a] is negative. *)
+
 val quomod_big_int : big_int -> big_int -> big_int * big_int
         (** Euclidean division of two big integers.
            The first part of the result is the quotient,
@@ -61,14 +73,18 @@ val quomod_big_int : big_int -> big_int -> big_int * big_int
            Writing [(q,r) = quomod_big_int a b], we have
            [a = q * b + r] and [0 <= r < |b|].
            Raise [Division_by_zero] if the divisor is zero. *)
+
 val div_big_int : big_int -> big_int -> big_int
         (** Euclidean quotient of two big integers.
            This is the first result [q] of [quomod_big_int] (see above). *)
+
 val mod_big_int : big_int -> big_int -> big_int
         (** Euclidean modulus of two big integers.
            This is the second result [r] of [quomod_big_int] (see above). *)
+
 val gcd_big_int : big_int -> big_int -> big_int
         (** Greatest common divisor of two big integers. *)
+
 val power_int_positive_int: int -> int -> big_int
 val power_big_int_positive_int: big_int -> int -> big_int
 val power_int_positive_big_int: int -> big_int -> big_int
@@ -84,23 +100,29 @@ val power_big_int_positive_big_int: big_int -> big_int -> big_int
 val sign_big_int : big_int -> int
         (** Return [0] if the given big integer is zero,
            [1] if it is positive, and [-1] if it is negative. *)
+
 val compare_big_int : big_int -> big_int -> int
         (** [compare_big_int a b] returns [0] if [a] and [b] are equal,
            [1] if [a] is greater than [b], and [-1] if [a] is smaller
            than [b]. *)
+
 val eq_big_int : big_int -> big_int -> bool
 val le_big_int : big_int -> big_int -> bool
 val ge_big_int : big_int -> big_int -> bool
 val lt_big_int : big_int -> big_int -> bool
 val gt_big_int : big_int -> big_int -> bool
         (** Usual boolean comparisons between two big integers. *)
+
 val max_big_int : big_int -> big_int -> big_int
         (** Return the greater of its two arguments. *)
+
 val min_big_int : big_int -> big_int -> big_int
         (** Return the smaller of its two arguments. *)
+
 val num_digits_big_int : big_int -> int
         (** Return the number of machine words used to store the
            given big integer.  *)
+
 val num_bits_big_int : big_int -> int
         (** Return the number of significant bits in the absolute
             value of the given big integer.  [num_bits_big_int a]
@@ -112,6 +134,7 @@ val num_bits_big_int : big_int -> int
 val string_of_big_int : big_int -> string
         (** Return the string representation of the given big integer,
            in decimal (base 10). *)
+
 val big_int_of_string : string -> big_int
         (** Convert a string to a big integer, in decimal.
            The string consists of an optional [-] or [+] sign,
@@ -121,6 +144,7 @@ val big_int_of_string : string -> big_int
 
 val big_int_of_int : int -> big_int
         (** Convert a small integer to a big integer. *)
+
 val is_int_big_int : big_int -> bool
         (** Test whether the given big integer is small enough to
            be representable as a small integer (type [int])
@@ -129,6 +153,7 @@ val is_int_big_int : big_int -> bool
            [a] is between 2{^30} and 2{^30}-1.  On a 64-bit platform,
            [is_int_big_int a] returns [true] if and only if
            [a] is between -2{^62} and 2{^62}-1. *)
+
 val int_of_big_int : big_int -> int
         (** Convert a big integer to a small integer (type [int]).
            Raises [Failure "int_of_big_int"] if the big integer
@@ -136,18 +161,23 @@ val int_of_big_int : big_int -> int
 
 val big_int_of_int32 : int32 -> big_int
         (** Convert a 32-bit integer to a big integer. *)
+
 val big_int_of_nativeint : nativeint -> big_int
         (** Convert a native integer to a big integer. *)
+
 val big_int_of_int64 : int64 -> big_int
         (** Convert a 64-bit integer to a big integer. *)
+
 val int32_of_big_int : big_int -> int32
         (** Convert a big integer to a 32-bit integer.
             Raises [Failure] if the big integer is outside the
             range \[-2{^31}, 2{^31}-1\]. *)
+
 val nativeint_of_big_int : big_int -> nativeint
         (** Convert a big integer to a native integer.
             Raises [Failure] if the big integer is outside the
             range [[Nativeint.min_int, Nativeint.max_int]]. *)
+
 val int64_of_big_int : big_int -> int64
         (** Convert a big integer to a 64-bit integer.
             Raises [Failure] if the big integer is outside the
@@ -162,25 +192,31 @@ val float_of_big_int : big_int -> float
 val and_big_int : big_int -> big_int -> big_int
         (** Bitwise logical 'and'.
             The arguments must be positive or zero. *)
+
 val or_big_int : big_int -> big_int -> big_int
         (** Bitwise logical 'or'.
             The arguments must be positive or zero. *)
+
 val xor_big_int : big_int -> big_int -> big_int
         (** Bitwise logical 'exclusive or'.
             The arguments must be positive or zero. *)
+
 val shift_left_big_int : big_int -> int -> big_int
         (** [shift_left_big_int b n] returns [b] shifted left by [n] bits.
             Equivalent to multiplication by 2^n. *)
+
 val shift_right_big_int : big_int -> int -> big_int
         (** [shift_right_big_int b n] returns [b] shifted right by [n] bits.
             Equivalent to division by 2^n with the result being
             rounded towards minus infinity. *)
+
 val shift_right_towards_zero_big_int : big_int -> int -> big_int
         (** [shift_right_towards_zero_big_int b n] returns [b] shifted
             right by [n] bits.  The shift is performed on the absolute
             value of [b], and the result has the same sign as [b].
             Equivalent to division by 2^n with the result being
             rounded towards zero. *)
+
 val extract_big_int : big_int -> int -> int -> big_int
         (** [extract_big_int bi ofs n] returns a nonnegative number
             corresponding to bits [ofs] to [ofs + n - 1] of the

otherlibs/unix/unix.mli

@@ -879,6 +879,7 @@ val alarm : int -> int
 
 val sleep : int -> unit
 (** Stop execution for the given number of seconds. *)
+
 val sleepf : float -> unit
 (** Stop execution for the given number of seconds.  Like [sleep],
     but fractions of seconds are supported. *)
@@ -1365,7 +1366,8 @@ val getaddrinfo:
 
 type name_info =
   { ni_hostname : string;               (** Name or IP address of host *)
-    ni_service : string }               (** Name of service or port number *)
+    ni_service : string                 (** Name of service or port number *)
+  }
 (** Host and service information returned by {!Unix.getnameinfo}. *)
 
 type getnameinfo_option =

otherlibs/unix/unixLabels.mli

@@ -1243,7 +1243,8 @@ val getaddrinfo:
 
 type name_info =
   { ni_hostname : string;               (** Name or IP address of host *)
-    ni_service : string }               (** Name of service or port number *)
+    ni_service : string                 (** Name of service or port number *)
+  }
 (** Host and service information returned by {!Unix.getnameinfo}. *)
 
 type getnameinfo_option =