diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-03-06 12:53:58 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-03-06 12:53:58 +0000 |
commit | 0ec00520a797726c76448e20c2990cad80b386b9 (patch) | |
tree | fe7dc02b930997088ef2c5e8ee3a09a75d98c63e | |
parent | ae10161814305b32667627378a5c9ae3ae23db6d (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-- | .depend | 12 | ||||
-rw-r--r-- | Changes | 4 | ||||
-rwxr-xr-x | boot/ocamlc | bin | 706855 -> 765725 bytes | |||
-rwxr-xr-x | boot/ocamllex | bin | 88940 -> 86555 bytes | |||
-rw-r--r-- | utils/config.mlp | 2 |
5 files changed, 10 insertions, 8 deletions
@@ -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 \ @@ -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 Binary files differindex bd8e1f17e..6f6ec90fb 100755 --- a/boot/ocamlc +++ b/boot/ocamlc diff --git a/boot/ocamllex b/boot/ocamllex Binary files differindex 84d96f5f5..ac545356f 100755 --- a/boot/ocamllex +++ b/boot/ocamllex 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 |