From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q22JpIuY007676
	for <caml-list@sympa-roc.inria.fr>; Fri, 2 Mar 2012 20:51:21 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApsCAE4kUU/UGyoBkWdsb2JhbABCgxSxMiIBAQEBCQsLBxQDJIF+AQUyAQVAEQshFg8JAwIBAgFFEwgBAQWIAbgujEKDIgSbH40V
X-IronPort-AV: E=Sophos;i="4.73,519,1325458800"; 
   d="scan'208";a="147221951"
Received: from smtp1-g21.free.fr ([212.27.42.1])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 02 Mar 2012 20:51:20 +0100
Received: from [192.168.0.14] (unknown [82.225.106.147])
	by smtp1-g21.free.fr (Postfix) with ESMTP id 212FD940190
	for <caml-list@inria.fr>; Fri,  2 Mar 2012 20:51:13 +0100 (CET)
Message-ID: <4F5124B0.9050709@laposte.net>
Date: Fri, 02 Mar 2012 20:51:12 +0100
From: Vu Ngoc San <san.vu-ngoc@laposte.net>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2
MIME-Version: 1.0
To: caml-list@inria.fr
References: <4F452F9F.4050203@inria.fr>
In-Reply-To: <4F452F9F.4050203@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] [ANN] TypeRex release 1.0.0 candidate 1

Le 22/02/2012 19:10, Tiphaine Turpin a écrit :
> Hi everyone,
>
> We are pleased to announce the first release candidate of TypeRex, a new
> OCaml development environment, developed by OCamlPro and Inria Saclay.
> This version of TypeRex only integrates with Emacs and brings a
> collection of new features that programmers expect from a modern IDE.
> Next versions will target more editors.
>
> Downloads, screenshots, documentation, support and feedback
> instructions are available on TypeRex website at:
>
> http://www.typerex.org/
>
> Summary of TypeRex features:
>
>      * Improved syntax coloring
>      * Auto-completion of identifiers (experimental)
>      * Browsing of identifiers: show type and comment, go to definition,
>        cycle between alternate definitions, and semantic grep;
>      * Strictly semantic-preserving, local and whole-program refactoring:
>            o renaming identifiers and compilation units
>            o open elimination and reference simplification
>      * Robust /w.r.t./ not-recompiled, possibly unsaved buffers
>      * Scalable (used regularly on a few hundreds of source files)
>
> Auto-completion is disabled by default, since more testing is still
> needed for this feature.
>
> TypeRex is written in OCaml, communicating through a socket with the
> OCaml mode of the editor (currently Tuareg for Emacs, OCAIDE for Eclipse
> soon).
>
> All the features of the Tuareg mode are also included, even when we
> provide an equivalent for them.
>
> Beta testers, enjoy!
>
> Tiphaine Turpin
> Thomas Gazagnaire
> Fabrice Le Fessant
>
>
>
>

thanks for this nice tool, I've been using it for some days.
First the color scheme seemed ugly and not practical to me, but I guess 
I'm slowly getting used to it.

Concerning indentation: apparently it doesn't properly recognize the 
chars ')' and '(':

let f x =
   if x = '('
            then 1
            else 2;;

whereas

let f x =
   if x = '()'
   then 1
   else 2;;

San