summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2001-03-06 12:53:58 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2001-03-06 12:53:58 +0000
commit0ec00520a797726c76448e20c2990cad80b386b9 (patch)
treefe7dc02b930997088ef2c5e8ee3a09a75d98c63e
parentae10161814305b32667627378a5c9ae3ae23db6d (diff)
Version = 3.01; MAJ deps
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3458 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--.depend12
-rw-r--r--Changes4
-rwxr-xr-xboot/ocamlcbin706855 -> 765725 bytes
-rwxr-xr-xboot/ocamllexbin88940 -> 86555 bytes
-rw-r--r--utils/config.mlp2
5 files changed, 10 insertions, 8 deletions
diff --git a/.depend b/.depend
index 3b57b8231..b222ea15f 100644
--- a/.depend
+++ b/.depend
@@ -630,13 +630,13 @@ driver/opterrors.cmx: asmcomp/asmgen.cmx asmcomp/asmlibrarian.cmx \
typing/typecore.cmx typing/typedecl.cmx typing/typemod.cmx \
typing/typetexp.cmx driver/opterrors.cmi
driver/optmain.cmo: asmcomp/asmlibrarian.cmi asmcomp/asmlink.cmi \
- utils/clflags.cmo utils/config.cmi bytecomp/matching.cmi \
- driver/optcompile.cmi driver/opterrors.cmi asmcomp/printmach.cmi \
- bytecomp/switch.cmi utils/warnings.cmi driver/optmain.cmi
+ utils/clflags.cmo utils/config.cmi driver/optcompile.cmi \
+ driver/opterrors.cmi asmcomp/printmach.cmi utils/warnings.cmi \
+ driver/optmain.cmi
driver/optmain.cmx: asmcomp/asmlibrarian.cmx asmcomp/asmlink.cmx \
- utils/clflags.cmx utils/config.cmx bytecomp/matching.cmx \
- driver/optcompile.cmx driver/opterrors.cmx asmcomp/printmach.cmx \
- bytecomp/switch.cmx utils/warnings.cmx driver/optmain.cmi
+ utils/clflags.cmx utils/config.cmx driver/optcompile.cmx \
+ driver/opterrors.cmx asmcomp/printmach.cmx utils/warnings.cmx \
+ driver/optmain.cmi
toplevel/genprintval.cmi: typing/env.cmi typing/path.cmi typing/types.cmi
toplevel/topdirs.cmi: parsing/longident.cmi
toplevel/toploop.cmi: typing/env.cmi parsing/location.cmi \
diff --git a/Changes b/Changes
index bc857bb44..60ac391cc 100644
--- a/Changes
+++ b/Changes
@@ -98,9 +98,11 @@ Other libraries:
toplevels including Bigarray.
- Dynlink: raise an error instead of crashing when the loaded module
refers to the not-yet-initialized module performing a dynlink operation.
-- Bytecode threads: added a thread-safe version of the Marshal module.
+- Bytecode threads: added a thread-safe version of the Marshal module;
+ fixed a rare GC bug in the thread scheduler.
- POSIX threads: fixed compilation problem with threads.cmxa.
- Both thread libraries: better tail-recursion in Event.sync.
+- Num library: fixed bug in square roots (Nat.sqrt_nat, Big_int.sqrt_big_int).
Tools:
- ocamldep: fixed missing dependencies on labels of record patterns and
diff --git a/boot/ocamlc b/boot/ocamlc
index bd8e1f17e..6f6ec90fb 100755
--- a/boot/ocamlc
+++ b/boot/ocamlc
Binary files differ
diff --git a/boot/ocamllex b/boot/ocamllex
index 84d96f5f5..ac545356f 100755
--- a/boot/ocamllex
+++ b/boot/ocamllex
Binary files differ
diff --git a/utils/config.mlp b/utils/config.mlp
index f9b747c3b..fe9411417 100644
--- a/utils/config.mlp
+++ b/utils/config.mlp
@@ -12,7 +12,7 @@
(* $Id$ *)
-let version = "3.00+24 (2001-03-03)"
+let version = "3.01"
let standard_library =
try