caml-list - the Caml user's mailing list
 help / Atom feed
From: Damien Doligez <damien.doligez@inria.fr>
To: caml users <caml-list@inria.fr>, caml announce <caml-announce@inria.fr>
Subject: [Caml-list] OCaml 4.08.0+beta3
Date: Thu, 18 Apr 2019 15:21:54 +0200
Message-ID: <7B0DECD5-BF69-48F4-8524-DED5D46700C3@inria.fr> (raw)

Dear OCaml users,

The release of OCaml 4.08.0 is approaching. We have created
a third beta version to help you adapt your software to the new features
ahead of the release.

The source code is available at these addresses:

 https://github.com/ocaml/ocaml/archive/4.08.0+beta3.tar.gz
 https://caml.inria.fr/pub/distrib/ocaml-4.08/ocaml-4.08.0+beta3.tar.gz

The compiler is (or will soon be) also available in OPAM with one of
the following commands.

opam switch create ocaml-variants.4.08.0+beta3 --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git

or

opam switch create ocaml-variants.4.08.0+beta3+<VARIANT> --repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git

 where you replace <VARIANT> with one of these:
   afl
   default_unsafe_string
   flambda
   fp
   fp+flambda

We want to know about all bugs. Please report them here:
 https://github.com/ocaml/ocaml/issues

Happy hacking,

-- Damien Doligez for the OCaml team.


The changes from beta2 are the following:

- GPR#1942, GPR#2244: simplification of the static check
  for recursive definitions
  (Alban Reynaud and Gabriel Scherer,
   review by Jeremy Yallop, Armaël Guéneau and Damien Doligez)

- GPR#1354, GPR#2177: Add fma support to Float module.
  (Laurent Thévenoux, review by Alain Frisch, Jacques-Henri Jourdan,
  Xavier Leroy)

- GPR#2202: Correct Hashtbl.MakeSeeded.{add_seq,replace_seq,of_seq} to use
  functor hash function instead of default hash function. Hashtbl.Make.of_seq
  shouldn't create randomized hash tables.
  (David Allsopp, review by Alain Frisch)

* PR#4208, PR#4229, PR#4839, PR#6462, PR#6957, PR#6950, GPR#1063, GPR#2176,
  GPR#2297: Make (nat)dynlink sound.
  (Mark Shinwell, Leo White, Nicolás Ojeda Bär, Pierre Chambart)

- GPR#2317: type_let: be more careful generalizing parts of the pattern
  (Thomas Refis and Leo White, review by Jacques Garrigue)

- MPR#6242, GPR#2143, MPR#8558, GPR#8559: optimize some local functions
  (Alain Frisch, review by Gabriel Scherer)

- #7829, #8585: Fix pointer comparisons in freelist.c (for 32-bit platforms)
  (David Allsopp and Damien Doligez)

- #8567, #8569: on ARM64, use 32-bit loads to access caml_backtrace_active
  (Xavier Leroy, review by Mark Shinwell and Greta Yorsh)

- #8568: Fix a memory leak in mmapped bigarrays
  (Damien Doligez, review by Xavier Leroy and Jérémie Dimino)

- MPR#7548: printf example in the tutorial part of the manual
 (Kostikova Oxana, rewiew by Gabriel Scherer, Florian Angeletti,
 Marcello Seri and Armaël Guéneau)

- MPR#7547, GPR#2273: Tutorial on Lazy expressions and patterns in OCaml Manual
  (Ulugbek Abdullaev, review by Florian Angeletti and Gabriel Scherer)

- GPR#8508: refresh \moduleref macro
  (Florian Angeletti, review by Gabriel Scherer)

- MPR#7919, GPR#2311: Fix assembler detection in configure
  (Sébastien Hinderer, review by David Allsopp)

- GPR#2295: Restore support for bytecode target XLC/AIX/Power
  (Konstantin Romanov, review by Sébastien Hinderer and David Allsopp)

- GPR#8528: get rid of the direct call to the C preprocessor in the testsuite
  (Sébastien Hinderer, review by David Allsopp)

- Issue #7938, GPR #8532: Fix alignment detection for ints on 32-bits platforms
  (Sébastien Hinderer, review by Xavier Leroy)

* GPR#8533: Remove some unused configure tests
  (Stephen Dolan, review by David Allsopp and Sébastien Hinderer)

- GPR#2207,#8604: Add opam files to allow pinning
  (Leo White, Greta Yorsh, review by Gabriel Radanne)

- MPR#7835, GPR#1980, GPR#8548, GPR#8586: separate scope from stamp in idents
  and explicitly rescope idents when substituting signatures.
  (Thomas Refis, review by Jacques Garrigue and Leo White)

- #8550, #8552: Soundness issue with class generalization
  (Jacques Garrigue, review by Leo White and Thomas Refis,
  report by Jeremy Yallop)


                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=7B0DECD5-BF69-48F4-8524-DED5D46700C3@inria.fr \
    --to=damien.doligez@inria.fr \
    --cc=caml-announce@inria.fr \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox