8 files changed, 17 insertions, 7 deletions
diff --git a/otherlibs/Makefile.shared b/otherlibs/Makefile.shared
index e7f94f1fa..b10129212 100644
--- a/otherlibs/Makefile.shared
+++ b/otherlibs/Makefile.shared
@@ -21,7 +21,7 @@ include $(ROOTDIR)/config/Makefile
 # Compilation options
 CC=$(BYTECC)
 CAMLRUN=$(ROOTDIR)/boot/ocamlrun
-COMPFLAGS=-w +33 -warn-error A -g $(EXTRACAMLFLAGS)
+COMPFLAGS=-w +33..88 -warn-error A -g $(EXTRACAMLFLAGS)
 MKLIB=$(CAMLRUN) $(ROOTDIR)/tools/ocamlmklib
 
 # Variables to be defined by individual libraries:
diff --git a/otherlibs/dynlink/Makefile b/otherlibs/dynlink/Makefile
index e9d0a5a21..d86351d16 100644
--- a/otherlibs/dynlink/Makefile
+++ b/otherlibs/dynlink/Makefile
@@ -20,7 +20,7 @@ include ../../config/Makefile
 CAMLC=../../boot/ocamlrun ../../ocamlc
 CAMLOPT=../../ocamlcompopt.sh
 INCLUDES=-I ../../utils -I ../../typing -I ../../bytecomp -I ../../asmcomp
-COMPFLAGS=-w +33 -warn-error A -I ../../stdlib $(INCLUDES)
+COMPFLAGS=-w +33..38 -warn-error A -I ../../stdlib $(INCLUDES)
 
 OBJS=dynlinkaux.cmo dynlink.cmo
 
diff --git a/otherlibs/num/big_int.ml b/otherlibs/num/big_int.ml
index 34de4b127..e54c795cf 100644
--- a/otherlibs/num/big_int.ml
+++ b/otherlibs/num/big_int.ml
@@ -453,7 +453,7 @@ let power_base_nat base nat off len =
     and l = num_bits_int n - 2 in
     let p = ref (1 lsl l) in
       blit_nat res 0 power_base pmax 1;
-      for i = l downto 0 do
+      for _i = l downto 0 do
         let len = num_digits_nat res 0 n in
         let len2 = min n (2 * len) in
         let succ_len2 = succ len2 in
@@ -498,7 +498,7 @@ let power_big_int_positive_int bi n =
          and l = num_bits_int n - 2 in
          let p = ref (1 lsl l) in
          blit_nat res 0 bi.abs_value 0 bi_len;
-         for i = l downto 0 do
+         for _i = l downto 0 do
            let len = num_digits_nat res 0 res_len in
            let len2 = min res_len (2 * len) in
            set_to_zero_nat res2 0 len2;
diff --git a/otherlibs/num/nat.ml b/otherlibs/num/nat.ml
index 44742a213..c86df5318 100644
--- a/otherlibs/num/nat.ml
+++ b/otherlibs/num/nat.ml
@@ -372,7 +372,7 @@ let power_base_int base i =
                and l = num_bits_int n - 2 in
                let p = ref (1 lsl l) in
                  blit_nat res 0 power_base pmax 1;
-                 for i = l downto 0 do
+                 for _i = l downto 0 do
                    let len = num_digits_nat res 0 newn in
                    let len2 = min n (2 * len) in
                    let succ_len2 = succ len2 in
diff --git a/otherlibs/systhreads/Makefile b/otherlibs/systhreads/Makefile
index 716da79c9..41d9ba50a 100644
--- a/otherlibs/systhreads/Makefile
+++ b/otherlibs/systhreads/Makefile
@@ -18,7 +18,7 @@ include ../../config/Makefile
 CAMLC=../../ocamlcomp.sh -I ../unix
 CAMLOPT=../../ocamlcompopt.sh -I ../unix
 MKLIB=../../boot/ocamlrun ../../tools/ocamlmklib
-COMPFLAGS=-w +33 -warn-error A -g
+COMPFLAGS=-w +33..38 -warn-error A -g
 
 BYTECODE_C_OBJS=st_stubs_b.o
 NATIVECODE_C_OBJS=st_stubs_n.o
diff --git a/otherlibs/threads/Makefile b/otherlibs/threads/Makefile
index 93651d8dc..7abf74aaa 100644
--- a/otherlibs/threads/Makefile
+++ b/otherlibs/threads/Makefile
@@ -19,7 +19,7 @@ CC=$(BYTECC)
 CFLAGS=-I../../byterun -O $(BYTECCCOMPOPTS) $(SHAREDCCCOMPOPTS) -g
 CAMLC=../../ocamlcomp.sh -I ../unix
 MKLIB=../../boot/ocamlrun ../../tools/ocamlmklib
-COMPFLAGS=-w +33 -warn-error A
+COMPFLAGS=-w +33..38 -warn-error A
 
 C_OBJS=scheduler.o
 
diff --git a/otherlibs/threads/thread.ml b/otherlibs/threads/thread.ml
index f4bbd8a5a..e3de604d2 100644
--- a/otherlibs/threads/thread.ml
+++ b/otherlibs/threads/thread.ml
@@ -28,6 +28,11 @@ type resumption_status =
       Unix.file_descr list * Unix.file_descr list * Unix.file_descr list
   | Resumed_wait of int * Unix.process_status
 
+(* to avoid warning *)
+let _ = [Resumed_wakeup; Resumed_delay; Resumed_join;
+         Resumed_io; Resumed_select ([], [], []);
+         Resumed_wait (0, Unix.WEXITED 0)]
+
 (* It is mucho important that the primitives that reschedule are called
    through an ML function call, not directly. That's because when such a
    primitive returns, the bytecode interpreter is only semi-obedient:
diff --git a/otherlibs/threads/unix.ml b/otherlibs/threads/unix.ml
index 609c098a3..490facc76 100644
--- a/otherlibs/threads/unix.ml
+++ b/otherlibs/threads/unix.ml
@@ -36,6 +36,11 @@ type resumption_status =
   | Resumed_select of file_descr list * file_descr list * file_descr list
   | Resumed_wait of int * process_status
 
+(* to avoid warning *)
+let _ = [Resumed_wakeup; Resumed_delay; Resumed_join;
+         Resumed_io; Resumed_select ([], [], []);
+         Resumed_wait (0, WEXITED 0)]
+
 external thread_initialize : unit -> unit = "thread_initialize"
 external thread_wait_read : file_descr -> unit = "thread_wait_read"
 external thread_wait_write : file_descr -> unit = "thread_wait_write"