diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2009-12-09 09:52:47 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2009-12-09 09:52:47 +0000 |
| commit | 758e4cd86078a89af5790872f9704c5ea019b4e7 (patch) | |
| tree | 9a428a9eca676a232b10f3f428d2026d17088b94 | |
| parent | 341d13f27964c0a45d9cafae560c71bcc79f7816 (diff) | |
| download | ocaml-758e4cd86078a89af5790872f9704c5ea019b4e7.tar.gz | |
Using -strict-sequence to compile the compiler.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9467 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | Makefile | 4 | ||||
| -rwxr-xr-x | boot/ocamlc | bin | 1065100 -> 1065092 bytes | |||
| -rw-r--r-- | lex/Makefile | 2 | ||||
| -rwxr-xr-x | stdlib/Makefile.shared | 2 | ||||
| -rw-r--r-- | tools/Makefile.shared | 2 | ||||
| -rw-r--r-- | utils/tbl.mli | 2 |
6 files changed, 6 insertions, 6 deletions
@@ -17,8 +17,8 @@ include config/Makefile include stdlib/StdlibModules -CAMLC=boot/ocamlrun boot/ocamlc -nostdlib -I boot -CAMLOPT=boot/ocamlrun ./ocamlopt -nostdlib -I stdlib -I otherlibs/dynlink +CAMLC=boot/ocamlrun boot/ocamlc -strict-sequence -nostdlib -I boot +CAMLOPT=boot/ocamlrun ./ocamlopt -strict-sequence -nostdlib -I stdlib -I otherlibs/dynlink COMPFLAGS=-warn-error A $(INCLUDES) LINKFLAGS= diff --git a/boot/ocamlc b/boot/ocamlc Binary files differindex dc7017f092..03c288cf2c 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/lex/Makefile b/lex/Makefile index 2e593133f2..f190ed8925 100644 --- a/lex/Makefile +++ b/lex/Makefile @@ -13,7 +13,7 @@ # $Id$ # The lexer generator -CAMLC=../boot/ocamlrun ../boot/ocamlc -nostdlib -I ../boot +CAMLC=../boot/ocamlrun ../boot/ocamlc -strict-sequence -nostdlib -I ../boot CAMLOPT=../boot/ocamlrun ../ocamlopt -nostdlib -I ../stdlib COMPFLAGS=-warn-error A CAMLYACC=../boot/ocamlyacc diff --git a/stdlib/Makefile.shared b/stdlib/Makefile.shared index 2440f1b9ad..a02650a6a0 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=-g -warn-error A -nostdlib +COMPFLAGS=-strict-sequence -g -warn-error A -nostdlib OPTCOMPILER=../ocamlopt CAMLOPT=$(RUNTIME) $(OPTCOMPILER) OPTCOMPFLAGS=-warn-error A -nostdlib -g diff --git a/tools/Makefile.shared b/tools/Makefile.shared index 96e09e1f90..01c3a4d870 100644 --- a/tools/Makefile.shared +++ b/tools/Makefile.shared @@ -15,7 +15,7 @@ include ../config/Makefile CAMLRUN=../boot/ocamlrun -CAMLC=$(CAMLRUN) ../boot/ocamlc -nostdlib -I ../boot +CAMLC=$(CAMLRUN) ../boot/ocamlc -strict-sequence -nostdlib -I ../boot CAMLOPT=$(CAMLRUN) ../ocamlopt -nostdlib -I ../stdlib CAMLLEX=$(CAMLRUN) ../boot/ocamllex INCLUDES=-I ../utils -I ../parsing -I ../typing -I ../bytecomp -I ../asmcomp \ diff --git a/utils/tbl.mli b/utils/tbl.mli index 71c348efae..21c89b04fe 100644 --- a/utils/tbl.mli +++ b/utils/tbl.mli @@ -22,7 +22,7 @@ val add: 'a -> 'b -> ('a, 'b) t -> ('a, 'b) t val find: 'a -> ('a, 'b) t -> 'b val mem: 'a -> ('a, 'b) t -> bool val remove: 'a -> ('a, 'b) t -> ('a, 'b) t -val iter: ('a -> 'b -> 'c) -> ('a, 'b) t -> unit +val iter: ('a -> 'b -> unit) -> ('a, 'b) t -> unit val map: ('a -> 'b -> 'c) -> ('a, 'b) t -> ('a, 'c) t open Format |