From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jeremie@dimino.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 0287F7ED5C
	for <caml-list@sympa.inria.fr>; Tue, 31 Jul 2012 08:03:23 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jeremie@dimino.org) identity=pra; client-ip=213.186.38.18;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeremie@dimino.org";
  x-sender="jeremie@dimino.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  jeremie@dimino.org designates 213.186.38.18 as permitted
  sender) identity=mailfrom; client-ip=213.186.38.18;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeremie@dimino.org";
  x-sender="jeremie@dimino.org"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@solaria.dimino.org) identity=helo;
  client-ip=213.186.38.18;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeremie@dimino.org";
  x-sender="postmaster@solaria.dimino.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkUFAP5zF1DVuiYS/2dsb2JhbAArGoUeWrNsgQeCMxcdAQE4GBwCGA4CP4hEBymnDG6DQAEFj3ICBIEhjhqCCoESlUoBkA2CYQ
X-IronPort-AV: E=Sophos;i="4.77,681,1336341600"; 
   d="scan'208";a="152076255"
Received: from solaria.dimino.org ([213.186.38.18])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 31 Jul 2012 08:03:23 +0200
Received: from locris.home (AToulouse-552-1-40-14.w92-136.abo.wanadoo.fr [92.136.87.14])
	(using SSLv3 with cipher DHE-RSA-AES128-SHA (128/128 bits))
	(No client certificate requested)
	by solaria.dimino.org (Postfix) with ESMTPSA id 3FA8A80083
	for <caml-list@inria.fr>; Tue, 31 Jul 2012 08:03:22 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=dimino.org; s=dkim;
	t=1343714602; bh=cROucwGGL81FVj2CSpmAqXQWEJ2NZt1ypC9m+HWir4w=;
	h=Date:From:To:Subject;
	b=L/Tz4X6D6bwxEC4zjlWBNOnEltB5y5VHf2s4Nqgsnl7GrEjmgah77RKpx86DH4tVI
	 dv6sMnVzcmRqMBUgPwkHsTWUP8miH7GoEPbwZov4W+YWKTc1YLEi2DcO9s+kjgjjK4
	 i9iLxWKKo5nch2VIiqpA7MpVErmadE0JfrTXmoGo=
Date: Tue, 31 Jul 2012 08:03:21 +0200
From: =?UTF-8?B?SsOpcsOpbWll?= Dimino <jeremie@dimino.org>
To: caml-list@inria.fr
Message-ID: <20120731080321.0708141c@locris.home>
X-Mailer: Claws Mail 3.8.1 (GTK+ 2.24.10; x86_64-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Subject: [Caml-list] [ANN] utop 1.2

Hi,

The utop team is happy to announce the release of utop 1.2, an
improved toplevel for OCaml. You can download it at this url:

  https://forge.ocamlcore.org/frs/download.php/949/utop-1.2.tar.gz

Important changes are:

* utop now handles parsing/typing/compilation errors itself, this
  means a better highlighting and more importantly that errors are
  emphasized in the emacs mode. The style of errors can be controlled
  via the face "utop-error" in emacs and with the "error" resource of
  ~/.utoprc in the terminal.

* a "Lwt_main.run" is automatically inserted for toplevel expressions
  of type "_ Lwt.t". For example, with the classic toplevel:

  # Lwt_io.printf "Hello, world!\n";;
  - : unit Lwt.t =3D <abstract>

  and with the new utop:

  # Lwt_io.printf "Hello, world!\n";;
  - : unit =3D ()

  This behavior can be disabled with "UTop.set_auto_run_lwt false".

* many emacs mode fixes and improvements. It is now possible to
  complete a phrase in a tuareg/typerex buffer using the toplevel
  environment. You have to bind the function "utop-edit-complete" to a
  key for this feature to work, it is unbound by default.

Here is the complete changelog:

  * ocaml 4.00 compatibility
  * prevent findlib from being initialized twice
  * better highlighting of errors
  * automatically insert Lwt_main.run for
    toplevel expressions of type 'a Lwt.t
  * better camlp4 support
    ** parse quotations and antiquotations to
       handle completion inside them
    ** better support revised syntax
  * emacs mode improvements
    ** various fixes
    ** highlight errors
    ** add a menu
    ** add interactive list of findlib packages
    ** packages can be pre-loaded via the file variable
       "utop-package-list"
    ** better tuareg integration
    ** typerex integration
    ** allow to complete using the toplevel environment
       in a tuareg buffer
    ** allow to change the utop command
    ** use the same history as the terminal mode
    ** follow output of ocaml

Enjoy!

--=20
J=C3=A9r=C3=A9mie