From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id C55E7BC6B for ; Fri, 11 Jan 2008 12:34:37 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALvihkfAXQInh2dsb2JhbACQHgEBAQgKKZlc X-IronPort-AV: E=Sophos;i="4.24,271,1196636400"; d="scan'208";a="5938274" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Jan 2008 12:34:37 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0BBYaov004077 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 11 Jan 2008 12:34:37 +0100 X-IronPort-AV: E=Sophos;i="4.24,271,1196636400"; d="scan'208";a="21124928" Received: from macabane.inria.fr ([128.93.8.160]) by mail4-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 11 Jan 2008 12:34:36 +0100 Message-Id: From: Damien Doligez To: caml users Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v915) Subject: OCaml release 3.10.1 Date: Fri, 11 Jan 2008 12:34:41 +0100 X-Mailer: Apple Mail (2.915) X-Miltered: at concorde with ID 4787544D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; damien:01 damien:01 ocaml:01 ocaml:01 bug-fix:01 ocaml-:01 ocaml-:01 bug:01 compilation:01 ocamlopt:01 ocamlopt:01 otherlibs:01 utimes:01 camlp:01 camlp:01 Hello world, It is our pleasure to announce the release of OCaml version 3.10.1. This is mainly a bug-fix release, see the list of changes below. It is available here: < ftp://ftp.inria.fr/INRIA/cristal/caml-light/ocaml-3.10/ocaml-3.10.1.tar.bz2 > and here: < ftp://ftp.inria.fr/INRIA/cristal/caml-light/ocaml-3.10/ocaml-3.10.1.tar.gz > It will soon be available on the OCaml download page: < http://caml.inria.fr/download.en.html > Happy hacking, -- Damien Doligez for the OCaml team. Objective Caml 3.10.1: ---------------------- Bug fixes: - PR#3830 small bugs in docs - PR#4053 compilers: improved compilation time for large variant types - PR#4174 ocamlopt: fixed ocamlopt -nopervasives - PR#4199 otherlibs: documented a small problem in Unix.utimes - PR#4280 camlp4: parsing of identifier (^) - PR#4281 camlp4: parsing of type constraint - PR#4285 runtime: cannot compile under AIX - PR#4286 ocamlbuild: cannot compile under AIX and SunOS - PR#4288 compilers: including a functor application with side effects - PR#4295 camlp4 toplevel: synchronization after an error - PR#4300 ocamlopt: crash with backtrace and illegal array access - PR#4302 camlp4: list comprehension parsing problem - PR#4304 ocamlbuild: handle -I correctly - PR#4305 stdlib: alignment of Arg.Symbol - PR#4307 camlp4: assertion failure - PR#4312 camlp4: accept "let _ : int = 1" - PR#4313 ocamlbuild: -log and missing directories - PR#4315 camlp4: constraints in classes - PR#4316 compilers: crash with recursive modules and Lazy - PR#4318 ocamldoc: installation problem with Cygwin (tentative fix) - PR#4322 ocamlopt: stack overflow under Windows - PR#4325 compilers: wrong error message for unused var - PR#4326 otherlibs: marshal Big_int on win64 - PR#4327 ocamlbuild: make emacs look for .annot in _build directory - PR#4328 camlp4: stack overflow with nil nodes - PR#4331 camlp4: guards on fun expressions - PR#4332 camlp4: parsing of negative 32/64 bit numbers - PR#4336 compilers: unsafe recursive modules - PR#4337 (note) camlp4: invalid character escapes - PR#4339 ocamlopt: problems on HP-UX (tentative fix) - PR#4340 camlp4: wrong pretty-printing of optional arguments - PR#4348 ocamlopt: crash on Mac Intel - PR#4349 camlp4: bug in private type definitions - PR#4350 compilers: type errors with records and polymorphic variants - PR#4352 compilers: terminal recursion under Windows (tentative fix) - PR#4354 ocamlcp: mismatch with ocaml on polymorphic let - PR#4358 ocamlopt: float constants wrong on ARM - PR#4360 ocamldoc: string inside comment - PR#4365 toplevel: wrong pretty-printing of polymorphic variants - PR#4373 otherlibs: leaks in win32unix - PR#4374 otherlibs: threads module not initialized - PR#4375 configure: fails to build on bytecode-only architectures - PR#4377 runtime: finalisation of infix pointers - PR#4378 ocamlbuild: typo in plugin.ml - PR#4379 ocamlbuild: problem with plugins under Windows - PR#4382 compilers: typing of polymorphic record fields - PR#4383 compilers: including module with private type - PR#4385 stdlib: Int32/Int64.format are unsafe - PR#4386 otherlibs: wrong signal numbers with Unix.sigprocmask etc. - PR#4387 ocamlbuild: build directory not used properly - PR#4392 ocamldep: optional argument of class - PR#4394 otherlibs: infinite loops in Str - PR#4397 otherlibs: wrong size for flag arrays in win32unix - PR#4402 ocamldebug: doesn't work with -rectypes - PR#4410 ocamlbuild: problem with plugin and -build - PR#4411 otherlibs: crash with Unix.access under Windows - PR#4412 stdlib: marshalling broken on 64 bit architectures - PR#4413 ocamlopt: crash on AMD64 with out-of-bound access and reraise - PR#4417 camlp4: pretty-printing of unary minus - PR#4419 camlp4: problem with constraint in type class - PR#4426 compilers: problem with optional labels - PR#4427 camlp4: wrong pretty-printing of lists of functions - PR#4433 ocamlopt: fails to build on MacOSX 10.5 - PR#4435 compilers: crash with objects - PR#4439 fails to build on MacOSX 10.5 - PR#4441 crash when build on sparc64 linux - PR#4442 stdlib: crash with weak pointers - PR#4446 configure: fails to detect X11 on MacOSX 10.5 - PR#4448 runtime: huge page table on 64-bit architectures - PR#4450 compilers: stack overflow with recursive modules - PR#4470 compilers: type-checking of recursive modules too restrictive - PR#4472 configure: autodetection of libX11.so on Fedora x86_64 - printf: removed (partially implemented) positional specifications - polymorphic < and <= comparisons: some C compiler optimizations were causing incorrect results when arguments are incomparable New features: - made configure script work on PlayStation 3 - ARM port: brought up-to-date for Debian 4.0 (Etch) - many other small changes and bugfixes in camlp4, ocamlbuild, labltk, emacs files