diff options
33 files changed, 8 insertions, 38 deletions
@@ -19,7 +19,7 @@ include stdlib/StdlibModules CAMLC=boot/ocamlrun boot/ocamlc -nostdlib -I boot CAMLOPT=boot/ocamlrun ./ocamlopt -nostdlib -I stdlib -I otherlibs/dynlink -COMPFLAGS=-strict-sequence -warn-error A $(INCLUDES) +COMPFLAGS=-strict-sequence -w +33 -warn-error A $(INCLUDES) LINKFLAGS= CAMLYACC=boot/ocamlyacc diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml index 4f93f0c2b5..a80a076fae 100644 --- a/bytecomp/bytelink.ml +++ b/bytecomp/bytelink.ml @@ -14,10 +14,8 @@ (* Link a set of .cmo files and produce a bytecode executable. *) -open Sys open Misc open Config -open Instruct open Cmo_format type error = diff --git a/bytecomp/translclass.ml b/bytecomp/translclass.ml index 843ef5a90a..8ee252f4f3 100644 --- a/bytecomp/translclass.ml +++ b/bytecomp/translclass.ml @@ -12,7 +12,6 @@ (* $Id$ *) -open Misc open Asttypes open Types open Typedtree diff --git a/bytecomp/translmod.ml b/bytecomp/translmod.ml index 38eab85431..69c5e3b370 100644 --- a/bytecomp/translmod.ml +++ b/bytecomp/translmod.ml @@ -21,7 +21,6 @@ open Longident open Path open Types open Typedtree -open Primitive open Lambda open Translobj open Translcore diff --git a/bytecomp/typeopt.ml b/bytecomp/typeopt.ml index e80148f096..9d984e207f 100644 --- a/bytecomp/typeopt.ml +++ b/bytecomp/typeopt.ml @@ -14,9 +14,6 @@ (* Auxiliaries for type-based optimizations, e.g. array kinds *) -open Misc -open Asttypes -open Primitive open Path open Types open Typedtree diff --git a/driver/compile.ml b/driver/compile.ml index e6730df911..b19dca023d 100644 --- a/driver/compile.ml +++ b/driver/compile.ml @@ -17,7 +17,6 @@ open Misc open Config open Format -open Typedtree (* Initialize the search path. The current directory is always searched first, diff --git a/lex/Makefile b/lex/Makefile index d73939a3c1..e12eaa83d9 100644 --- a/lex/Makefile +++ b/lex/Makefile @@ -15,7 +15,7 @@ # The lexer generator CAMLC=../boot/ocamlrun ../boot/ocamlc -strict-sequence -nostdlib -I ../boot CAMLOPT=../boot/ocamlrun ../ocamlopt -nostdlib -I ../stdlib -COMPFLAGS=-warn-error A +COMPFLAGS=-w +33 -warn-error A CAMLYACC=../boot/ocamlyacc YACCFLAGS=-v CAMLLEX=../boot/ocamlrun ../boot/ocamllex diff --git a/lex/main.ml b/lex/main.ml index 28f1e55e62..73cfbd47bb 100644 --- a/lex/main.ml +++ b/lex/main.ml @@ -15,7 +15,6 @@ (* The lexer generator. Command-line parsing. *) open Syntax -open Lexgen let ml_automata = ref false let source_name = ref None diff --git a/lex/output.ml b/lex/output.ml index 377c00a2dd..d05e04bebc 100644 --- a/lex/output.ml +++ b/lex/output.ml @@ -15,7 +15,6 @@ (* Output the DFA tables and its entry points *) open Printf -open Syntax open Lexgen open Compact open Common diff --git a/lex/outputbis.ml b/lex/outputbis.ml index 7eac354444..db2326d31c 100644 --- a/lex/outputbis.ml +++ b/lex/outputbis.ml @@ -15,7 +15,6 @@ (* Output the DFA tables and its entry points *) open Printf -open Syntax open Lexgen open Common diff --git a/otherlibs/Makefile.shared b/otherlibs/Makefile.shared index 08e9abb1d5..e7f94f1fac 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=-warn-error A -g $(EXTRACAMLFLAGS) +COMPFLAGS=-w +33 -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 e6a632956b..e9d0a5a211 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=-warn-error A -I ../../stdlib $(INCLUDES) +COMPFLAGS=-w +33 -warn-error A -I ../../stdlib $(INCLUDES) OBJS=dynlinkaux.cmo dynlink.cmo diff --git a/otherlibs/labltk/compiler/lexer.mll b/otherlibs/labltk/compiler/lexer.mll index 2fc2376e27..92b14bdbf2 100644 --- a/otherlibs/labltk/compiler/lexer.mll +++ b/otherlibs/labltk/compiler/lexer.mll @@ -20,7 +20,6 @@ open StdLabels open Lexing open Parser -open Support exception Lexical_error of string let current_line = ref 1 diff --git a/otherlibs/labltk/compiler/maincompile.ml b/otherlibs/labltk/compiler/maincompile.ml index 91b6bcdffb..8b80e46dbe 100644 --- a/otherlibs/labltk/compiler/maincompile.ml +++ b/otherlibs/labltk/compiler/maincompile.ml @@ -17,7 +17,6 @@ (* $Id$ *) open StdLabels -open Support open Tables open Printer open Compile diff --git a/otherlibs/labltk/compiler/tables.ml b/otherlibs/labltk/compiler/tables.ml index a86b4af508..170255947e 100644 --- a/otherlibs/labltk/compiler/tables.ml +++ b/otherlibs/labltk/compiler/tables.ml @@ -17,7 +17,6 @@ (* $Id$ *) open StdLabels -open Support (* Internal compiler errors *) diff --git a/otherlibs/labltk/support/fileevent.ml b/otherlibs/labltk/support/fileevent.ml index ae1cc261a3..7285a4759e 100644 --- a/otherlibs/labltk/support/fileevent.ml +++ b/otherlibs/labltk/support/fileevent.ml @@ -17,7 +17,6 @@ (* $Id$ *) open Unix -open Support open Protocol external add_file_input : file_descr -> cbid -> unit diff --git a/otherlibs/labltk/support/protocol.ml b/otherlibs/labltk/support/protocol.ml index 28cb4737d9..a61905dcf6 100644 --- a/otherlibs/labltk/support/protocol.ml +++ b/otherlibs/labltk/support/protocol.ml @@ -16,7 +16,6 @@ (* $Id$ *) -open Support open Widget type callback_buffer = string list diff --git a/otherlibs/labltk/support/rawwidget.ml b/otherlibs/labltk/support/rawwidget.ml index f216df726a..d4344ad92d 100644 --- a/otherlibs/labltk/support/rawwidget.ml +++ b/otherlibs/labltk/support/rawwidget.ml @@ -16,8 +16,6 @@ (* $Id$ *) -open Support - (* * Widgets *) diff --git a/otherlibs/labltk/support/textvariable.ml b/otherlibs/labltk/support/textvariable.ml index 4e17a008ad..bcd3a04532 100644 --- a/otherlibs/labltk/support/textvariable.ml +++ b/otherlibs/labltk/support/textvariable.ml @@ -16,7 +16,6 @@ (* $Id$ *) -open Support open Protocol external internal_tracevar : string -> cbid -> unit diff --git a/otherlibs/labltk/support/timer.ml b/otherlibs/labltk/support/timer.ml index d5bd176aa7..fd232bc116 100644 --- a/otherlibs/labltk/support/timer.ml +++ b/otherlibs/labltk/support/timer.ml @@ -17,7 +17,6 @@ (* $Id$ *) (* Timers *) -open Support open Protocol type tkTimer = int diff --git a/otherlibs/systhreads/Makefile b/otherlibs/systhreads/Makefile index fbdd899466..716da79c93 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=-warn-error A -g +COMPFLAGS=-w +33 -warn-error A -g BYTECODE_C_OBJS=st_stubs_b.o NATIVECODE_C_OBJS=st_stubs_n.o diff --git a/otherlibs/systhreads/Makefile.nt b/otherlibs/systhreads/Makefile.nt index 8cc9dd2649..faa3b29872 100644 --- a/otherlibs/systhreads/Makefile.nt +++ b/otherlibs/systhreads/Makefile.nt @@ -18,7 +18,7 @@ include ../../config/Makefile # Compilation options CAMLC=../../boot/ocamlrun ../../ocamlc -I ../../stdlib -I ../win32unix CAMLOPT=../../boot/ocamlrun ../../ocamlopt -I ../../stdlib -I ../win32unix -COMPFLAGS=-warn-error A -g +COMPFLAGS=-w +33 -warn-error A -g MKLIB=../../boot/ocamlrun ../../tools/ocamlmklib CFLAGS=-I../../byterun $(EXTRACFLAGS) diff --git a/otherlibs/threads/Makefile b/otherlibs/threads/Makefile index 5d9e620b3f..93651d8dce 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=-warn-error A +COMPFLAGS=-w +33 -warn-error A C_OBJS=scheduler.o diff --git a/parsing/parse.ml b/parsing/parse.ml index cf862af3f1..9dcc3e41c6 100644 --- a/parsing/parse.ml +++ b/parsing/parse.ml @@ -14,8 +14,6 @@ (* Entry points in the parser *) -open Location - (* Skip tokens to the end of the phrase *) let rec skip_phrase lexbuf = diff --git a/stdlib/Makefile.shared b/stdlib/Makefile.shared index 009b80a094..daf2662687 100755 --- a/stdlib/Makefile.shared +++ b/stdlib/Makefile.shared @@ -17,7 +17,7 @@ include ../config/Makefile RUNTIME=../boot/ocamlrun COMPILER=../ocamlc CAMLC=$(RUNTIME) $(COMPILER) -COMPFLAGS=-strict-sequence -g -warn-error A -nostdlib +COMPFLAGS=-strict-sequence -w +33 -g -warn-error A -nostdlib OPTCOMPILER=../ocamlopt CAMLOPT=$(RUNTIME) $(OPTCOMPILER) OPTCOMPFLAGS=-warn-error A -nostdlib -g diff --git a/toplevel/expunge.ml b/toplevel/expunge.ml index 9cdcbf89e1..8672ea247e 100644 --- a/toplevel/expunge.ml +++ b/toplevel/expunge.ml @@ -15,7 +15,6 @@ (* "Expunge" a toplevel by removing compiler modules from the global List.map. Usage: expunge <source file> <dest file> <names of modules to keep> *) -open Sys open Misc module StringSet = diff --git a/toplevel/toploop.ml b/toplevel/toploop.ml index a058dc4dd1..f4ac1c82ab 100644 --- a/toplevel/toploop.ml +++ b/toplevel/toploop.ml @@ -15,7 +15,6 @@ (* The interactive toplevel loop *) open Path -open Lexing open Format open Config open Misc diff --git a/typing/datarepr.ml b/typing/datarepr.ml index bc05d2a845..8cb730021b 100644 --- a/typing/datarepr.ml +++ b/typing/datarepr.ml @@ -15,7 +15,6 @@ (* Compute constructor and label descriptions from type declarations, determining their representation. *) -open Misc open Asttypes open Types open Btype diff --git a/typing/includeclass.mli b/typing/includeclass.mli index f5bc98a032..b98960f828 100644 --- a/typing/includeclass.mli +++ b/typing/includeclass.mli @@ -15,7 +15,6 @@ (* Inclusion checks for the class language *) open Types -open Typedtree open Ctype open Format diff --git a/typing/includecore.ml b/typing/includecore.ml index 73fbc9c6e3..558cfe7def 100644 --- a/typing/includecore.ml +++ b/typing/includecore.ml @@ -14,7 +14,6 @@ (* Inclusion checks for the core language *) -open Misc open Asttypes open Path open Types diff --git a/typing/typeclass.ml b/typing/typeclass.ml index 5333f41268..232fca8603 100644 --- a/typing/typeclass.ml +++ b/typing/typeclass.ml @@ -12,7 +12,6 @@ (* $Id$ *) -open Misc open Parsetree open Asttypes open Path diff --git a/typing/typedecl.ml b/typing/typedecl.ml index ddd281f0d0..c82125cb8e 100644 --- a/typing/typedecl.ml +++ b/typing/typedecl.ml @@ -19,7 +19,6 @@ open Asttypes open Parsetree open Primitive open Types -open Typedtree open Typetexp type error = diff --git a/typing/types.ml b/typing/types.ml index 982dd76abd..a13611a81e 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -14,7 +14,6 @@ (* Representation of types and declarations *) -open Misc open Asttypes (* Type expressions for the core language *) |