From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 0C7EC7F7B4 for ; Mon, 10 Feb 2014 10:11:03 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jdimino@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jdimino@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@tot-dmz-mxout1.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="postmaster@tot-dmz-mxout1.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmsBAIGW+FImacjlnGdsb2JhbABZg0RXv0yBAx4OAQEBAQEGFgk8gmwBATglXRIBBQEiAQmIDgMCCJwMixWEVwEFnGcRAgSOKRI+gjoPgXqYL5A0GCmEWYFqJA X-IPAS-Result: AmsBAIGW+FImacjlnGdsb2JhbABZg0RXv0yBAx4OAQEBAQEGFgk8gmwBATglXRIBBQEiAQmIDgMCCJwMixWEVwEFnGcRAgSOKRI+gjoPgXqYL5A0GCmEWYFqJA X-IronPort-AV: E=Sophos;i="4.95,816,1384297200"; d="scan'208";a="48436566" Received: from mx5.janestreet.com (HELO tot-dmz-mxout1.janestreet.com) ([38.105.200.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 Feb 2014 10:11:01 +0100 Received: from tot-oib-smtp1.delacy.com ([172.27.22.15] helo=tot-smtp) by tot-dmz-mxout1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1WCmtG-0005cO-RM for caml-list@inria.fr; Mon, 10 Feb 2014 04:10:58 -0500 Received: from tot-dmz-mxgoog1.delacy.com ([172.27.224.14] helo=mxgoog2.janestreet.com) by tot-smtp with esmtps (TLSv1:AES256-SHA:256) (Exim 4.72) (envelope-from ) id 1WCmtG-0008Tg-QT for caml-list@inria.fr; Mon, 10 Feb 2014 04:10:58 -0500 Received: from mail-ie0-f176.google.com ([209.85.223.176]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1WCmtG-00020V-O2 for caml-list@inria.fr; Mon, 10 Feb 2014 04:10:58 -0500 Received: by mail-ie0-f176.google.com with SMTP id tp5so3235756ieb.7 for ; Mon, 10 Feb 2014 01:10:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:date:message-id:subject:from:to:content-type; bh=XUxPXef4nmbJkMkrpFBxgBAGL924CgaGLGhde6ASsE0=; b=Y8zCtJaHgd3n1gk83GaNQrjB9mMgRIfFokyWu+z6RunDEeTeF7ZYvkDsKsdhzLhqMc YQYcqDkzxWbHYXdOAk85HB75VcgRAJoBonoNAPmezeTRkS7SkDJApj4mc7+1Mmb14PEr SdD+7X+/PRXWuP2ZKfmMlZVJAy7iHiuB7Bzf0= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to :content-type; bh=XUxPXef4nmbJkMkrpFBxgBAGL924CgaGLGhde6ASsE0=; b=GGP1aAYVpQHdewD5G6xAlIA/DjT01kSRsMyMpZSwXO2QdnEagR8wCPp2BuFkeHLqTe hxROZzI4b/jeeYwwjYpGwrSopfjjgbBalEmwWmcDPi0etmtYf9tWoxKMfJC0PKhpaBbG jI+Zw7AHB3bQOLe19LGR74zUbnZZcD5niNLU+tw6DM32o2I47ZJBvBLp2Q8r3B3FqIXO RC0lRwyHLvMM4l0rM7Nuh2x4HEB8CHUqxG7OUznJ0OL58evZA4uWeVAsltAiEvdOxIOa UQiro7PzT/U/gW+r69lNYDEDxfmlweQDQllr1W1Edu2yYRYns3Mk10pns9J0ZmhY/aDL zKBQ== X-Gm-Message-State: ALoCoQmdn9mbn2pvV7DENaqTW2plz2Qw77nRyW8peBmJM24rOHLBqAWOZ4yqO+2Jr+H12UnaDaPgIBF4nvtnAen7y9woBckzIiGp3WxURS7R6RJyeZUWY6EiBZU5jtpWzf+cMFJDweLM32L2B/WJIirRpvAIFrimwA== X-Received: by 10.50.128.137 with SMTP id no9mr13198844igb.36.1392023458504; Mon, 10 Feb 2014 01:10:58 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.50.128.137 with SMTP id no9mr13198842igb.36.1392023458360; Mon, 10 Feb 2014 01:10:58 -0800 (PST) Received: by 10.50.114.38 with HTTP; Mon, 10 Feb 2014 01:10:58 -0800 (PST) Date: Mon, 10 Feb 2014 09:10:58 +0000 Message-ID: From: Jeremie Dimino To: ocaml-core@googlegroups.com, "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=047d7b10cf0dc148a604f209b768 Subject: [Caml-list] [ANN] Core Suite 110.01.00 --047d7b10cf0dc148a604f209b768 Content-Type: text/plain; charset=ISO-8859-1 I am pleased to announce the 110.01.00 release of the Core suite. The following packages were upgraded: - async - async_extra - async_kernel - async_unix - core - core_extended - core_kernel - ocaml_plugin - pa_test - pipebang - sexplib Files and documentation for this release are available on our website and all packages are in opam: https://ocaml.janestreet.com/ocaml-core/110.01.00/individual/ https://ocaml.janestreet.com/ocaml-core/110.01.00/doc/ Here is list of changes for this version: # 110.01.00 ## async_extra - Added `Cpu_usage.Sampler` for directly sampling CPU usage. - Fixed `Log.rotate` to never raise. - Fixed two bugs in `Log` rotation. * Log rotation had used the wrong date when checking whether it should rotate. * Made `Rotation.keep = \`At_least` delete the oldest, rather than the newest, logs. ## async_kernel - Added `Deferred.Result.map_error`. ## core - Fixed `Time` unit tests that failed in London because of timezone dependence. - Added `Iobuf.protect_window_and_bounds`, which calls a user function and restores the iobuf's bounds afterwards. - Fixed compilation on OpenBSD, which doesn't support `Unix.mcast_join`'s `?source : Inet_addr.t` argument. ## core_kernel - Changed `Queue` from a linked to an array-backed implementation. Renamed the previous implementation to `Linked_queue`. Renamed `transfer`, which was constant time, as `blit_transfer`, which is linear time. Removed `partial_iter`. One can use `with_return`. Added `singleton`, `filter`, `get`, `set`. - For `Error` and `Info`, changed `to_string_hum` to use `sexp_of_t` and `Sexp.to_string_hum`, rather than a custom string format. - Changed the output format of `Validate.errors` to be a sexp. - Added `Hashtbl.of_alist_or_error` and `Map.of_alist_or_error`. - Added `String_id.Make` functor, which includes a module name for better error messages. - Exposed `Bucket.size`. - Changed the default for `Debug.should_print_backtrace` to be `false` rather than `true`. Usually the backtraces are noise. - Removed the tuning of gc parameters built in to Core, so that the default is now the stock OCaml settings. Such tuning doesn't belong in Core, but rather done per application. Also, the Core settings had fallen way out of date, and not kept up with changes in the OCaml runtime settings. We have one example (lwt on async) where the Core settings significantly slowed down a program. - Added `Exn.raise_without_backtrace`, to raise without building a backtrace. `raise_without_backtrace` never builds a backtrace, even when `Backtrace.am_recording ()`. - Made `with_return` faster by using `Exn.raise_without_backtrace`. - Improved `with_return` to detect usage of a `return` after its creating `with_return` has returned. ## ocaml_plugin - Added `cmi`'s so that plugins can use `lazy`, recursive modules, and objects. ## pa_test - For `<:test_result< >>`, renamed `~expected` to `~expect` ## sexplib - Added `with sexp` support for mutually recursive types with common fields. For instance: ```ocaml type a = { fl : float } and b = { fl : int } with sexp ``` Closes #3 - Fixed the behavior of sexplib on `private` types. sexplib used to ignore the `private` modifier, which means generated functions had the wrong type. Now, it generates a function with the right type for `sexp_of` and refuses to generate anything for `of_sexp`. - Added `Macro.expand_local_macros`, which macro expands sexps, failing on `:include` macros. - Fixed `Macro`'s handling of nested `:include`'s which was broken with respect to paths. Prior to this fix, `:include`'s were broken with respect to the path used to resolve the filename. Including a file outside the current directory which included another file relative to that one would break. -- Jeremie Dimino, for the Core team --047d7b10cf0dc148a604f209b768 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
I am pleased to announce the 110.01.00 release of the= Core suite.

The following packages were upgraded:=

- async
- async_extra
- async= _kernel
- async_unix
- core
- core_extended
- co= re_kernel
- ocaml_plugin
- pa_test
- pipebang=
- sexplib

Files and documentation for t= his release are available on our
website and all packages are in opam:


Here is list of changes for this version:
# 110.01.00

## async_extra
<= br>
- Added `Cpu_usage.Sampler` for directly sampling CPU usage.<= /div>
- Fixed `Log.rotate` to never raise.
- Fixed two bugs in `Lo= g` rotation.
=A0 * Log rotation had used the wrong date when chec= king whether it
=A0 =A0 should rotate.
=A0 * Made `Rota= tion.keep =3D \`At_least` delete the oldest, rather than
=A0 =A0 the newest, logs.

## async_kernel

- Added `Deferred.Result.map_error`.

## core

- Fixed `Time` unit tests that fa= iled in London because of timezone
=A0 dependence.
- Added `Iobuf.protect_window_and_bounds`, w= hich calls a user function
=A0 and restores the iobuf's bound= s afterwards.
- Fixed compilation on OpenBSD, which doesn't s= upport
=A0 `Unix.mcast_join`'s `?source : Inet_addr.t` argument.

## core_kernel

- Changed `Queue` = from a linked to an array-backed implementation.

=A0 Renamed the previous implementation to `Linked_queue`.

=A0 Renamed `transfer`, which was constant time, as `blit_transfer= `,
=A0 which is linear time.

=A0 Removed= `partial_iter`. =A0One can use `with_return`.

=A0 Added `singleton`, `filter`, `get`, `set`.
- For `Error` and `Info`, changed `to_string_hum` to use `sexp_of_t`
=A0 and `Sexp.to_string_hum`, rather than a custom string format.
- Changed the output format of `Validate.errors` to be a sexp.
- Added `Hashtbl.of_alist_or_error` and `Map.of_alist_or_error`.
- Added `String_id.Make` functor, which includes a module name for
=A0 better error messages.
- Exposed `Bucket.size`.
- Changed the default for `Debug.should_print_backtrace` to be `false`
=A0 rather than `true`.

=A0 Usually the ba= cktraces are noise.
- Removed the tuning of gc parameters built in to Core, so that the
=A0 default is now the stock OCaml settings.

=A0 Such tuning doesn't belong in Core, but rather done per applicat= ion.
=A0 Also, the Core settings had fallen way out of date, and not kept u= p
=A0 with changes in the OCaml runtime settings. =A0We have one = example
=A0 (lwt on async) where the Core settings significantly = slowed down a
=A0 program.
- Added `Exn.raise_without_backtrace`, to raise= without building a
=A0 backtrace.

=A0 `= raise_without_backtrace` never builds a backtrace, even when
=A0 = `Backtrace.am_recording ()`.
- Made `with_return` faster by using `Exn.raise_without_backtrace`.
- Improved `with_return` to detect usage of a `return` after its
=A0 creating `with_return` has returned.

## ocaml_plugin

- Added `cmi`'s so that plugin= s can use `lazy`, recursive modules, and
=A0 objects.
<= br>
## pa_test

- For `<:test_result&l= t; >>`, renamed `~expected` to `~expect`

## sexplib

- Added `with sexp`= support for mutually recursive types with common
=A0 fields.

=A0 For instance:

=A0 ```oca= ml
=A0 type a =3D { fl : float } and b =3D { fl : int } with sexp
=A0 ```

=A0 Closes #3
- Fixed the beh= avior of sexplib on `private` types.

=A0 sexplib u= sed to ignore the `private` modifier, which means generated
=A0 functions had the wrong type. =A0Now, it generates a function with= the
=A0 right type for `sexp_of` and refuses to generate anythin= g for
=A0 `of_sexp`.
- Added `Macro.expand_local_macros= `, which macro expands sexps,
=A0 failing on `:include` macros.
- Fixed `Macro`'s hand= ling of nested `:include`'s which was broken
=A0 with respect= to paths.

=A0 Prior to this fix, `:include`'s= were broken with respect to the path
=A0 used to resolve the filename. =A0Including a file outside the curr= ent
=A0 directory which included another file relative to that on= e would
=A0 break.

--=A0
Jerem= ie Dimino, for the Core team

--047d7b10cf0dc148a604f209b768--