From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1NBMQjr016552 for ; Thu, 23 Feb 2012 12:22:28 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AisCAGAgRk/RVdS2kGdsb2JhbABEgw6eFpEtCCIBAQEBCQkNBxQEI4FzAQEBAwESAiwBKgMLAQMBCwEFBQ4KDSE0AQUBChIGHAkQh18DBpsLCo5jhR2JMgIFC4xoBQwLCioUCxEIAQoCCoRRBwUNCCQGNQMMBQEBAwYCBA8DA4JOYwSbFYE6UoZEPYFTgjE X-IronPort-AV: E=Sophos;i="4.73,469,1325458800"; d="scan'208,217";a="132576110" Received: from mail-wi0-f182.google.com ([209.85.212.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Feb 2012 12:22:28 +0100 Received: by mail-wi0-f182.google.com with SMTP id hn14so1128966wib.27 for ; Thu, 23 Feb 2012 03:22:28 -0800 (PST) Received-SPF: pass (google.com: domain of thomas.gazagnaire@gmail.com designates 10.180.92.71 as permitted sender) client-ip=10.180.92.71; Authentication-Results: mr.google.com; spf=pass (google.com: domain of thomas.gazagnaire@gmail.com designates 10.180.92.71 as permitted sender) smtp.mail=thomas.gazagnaire@gmail.com; dkim=pass header.i=thomas.gazagnaire@gmail.com Received: from mr.google.com ([10.180.92.71]) by 10.180.92.71 with SMTP id ck7mr2832832wib.3.1329996148478 (num_hops = 1); Thu, 23 Feb 2012 03:22:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=sender:subject:mime-version:content-type:from:in-reply-to:date:cc :message-id:references:to:x-mailer; bh=FcSqdNyhyp+oA1HGCg/6F24k+aPCXNVI+SyPgGMVu5g=; b=Z7PP8YSD8Z0GJEyYzHLsgF7eeZmPiuOG7eEGjayjpuBFTao/9S30u0l3kG3+ypKbzu bOifbGiDydLiI0h9oWbMUFaV3x7w2a1TuiJU7qcB1/0phZgYbtQ2AxSGsDCkM9nHlLu9 MP2lZ8bD+7urS6sYeydHz5k3hz9rndQu/7rtE= Received: by 10.180.92.71 with SMTP id ck7mr2312523wib.3.1329996148319; Thu, 23 Feb 2012 03:22:28 -0800 (PST) Received: from [192.168.0.14] (gou06-3-88-170-165-56.fbx.proxad.net. [88.170.165.56]) by mx.google.com with ESMTPS id er8sm5323777wib.1.2012.02.23.03.22.25 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 23 Feb 2012 03:22:27 -0800 (PST) Sender: Thomas Gazagnaire Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: multipart/alternative; boundary=Apple-Mail-104--498373680 From: Thomas Gazagnaire In-Reply-To: Date: Thu, 23 Feb 2012 12:22:24 +0100 Cc: caml-list@inria.fr Message-Id: References: <4F452F9F.4050203@inria.fr> To: Hongbo Zhang X-Mailer: Apple Mail (2.1084) Subject: Re: [Caml-list] Re: [ANN] TypeRex release 1.0.0 candidate 1 --Apple-Mail-104--498373680 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii > On 2/22/12 1:10 PM, Tiphaine Turpin wrote: >> Hi everyone, > Hi, I tested on Aquamacs, too slow... ( I did not turn on auto complete ) yes, we are aware of this issue [1]. We believe it is due to some slowness = in the way aquamacs handle sockets ... and unfortunately we don't know yet = how to fix this. If aquamacs experts know how to fix this, we gladly accept= patches... However, there is a work-around: you should disable typerex colorisation by= adding (setq ocp-syntax-coloring nil) to your .emacs. Then, you should be = able to use navigation and refactoring tools smoothly. [1] https://github.com/OCamlPro/typerex/issues/2 -- Thomas >>=20 >> 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. >>=20 >> Downloads, screenshots, documentation, support and feedback >> instructions are available on TypeRex website at: >>=20 >> http://www.typerex.org/ >>=20 >> Summary of TypeRex features: >>=20 >> * 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) >>=20 >> Auto-completion is disabled by default, since more testing is still >> needed for this feature. >>=20 >> TypeRex is written in OCaml, communicating through a socket with the >> OCaml mode of the editor (currently Tuareg for Emacs, OCAIDE for Eclipse >> soon). >>=20 >> All the features of the Tuareg mode are also included, even when we >> provide an equivalent for them. >>=20 >> Beta testers, enjoy! >>=20 >> Tiphaine Turpin >> Thomas Gazagnaire >> Fabrice Le Fessant >>=20 >>=20 >>=20 >>=20 >=20 >=20 >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >=20 --Apple-Mail-104--498373680 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii
On 2/22/12 1:10 PM, Tiphaine Turpin wrote:
Hi everyone,
Hi, I tested on Aquamacs, too slow... (= I did not turn on auto complete )

yes, we are aware of this issue [1]. We believe it is due to some slownes= s in the way aquamacs handle sockets ... and unfortunately we don't know ye= t how to fix this. If aquamacs experts know how to fix this, we gladly acce= pt patches...

However, there is a work-around= : you should disable typerex colorisation by adding (setq ocp-syntax-coloring nil) = to your .emacs. Then, you should be able to use navigation and refactoring = tools smoothly.

--
Thomas


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 feedb= ack
instructions are available on= TypeRex website at:

http://w= ww.typerex.org/

Summary of TypeRex features:
=

 = ;   * Improved syntax coloring
    * Auto-completion of identifiers (exp= erimental)
   &nb= sp;* Browsing of identifiers: show type and comment, go to definition,
<= /blockquote>
      = cycle between alternate definitions, and semantic grep;
    * Strictly semantic-preserv= ing, local and whole-program refactoring:
          o re= naming identifiers and compilation units
          o op= en elimination and reference simplification
    * Robust /w.r.t./ not-recompiled, possi= bly unsaved buffers
  =   * Scalable (used regularly on a few hundreds of source files)

Auto-completion is disabled by default, since more testing is sti= ll
needed for this feature.

TypeRex is written in OCaml, communicating through a socket with the
OCaml mode of the editor (currentl= y Tuareg for Emacs, OCAIDE for Eclipse
soon).

All the features of the Tuareg mode are also include= d, even when we
provide an equiva= lent for them.

<= blockquote type=3D"cite">Beta testers, enjoy!

Tiphaine Turpin
=
Thomas Gazagnaire
Fabrice Le Fessant







--
Caml-list mailing list.  Subscription managem= ent and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: h= ttp://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.in= ria.fr/bin/caml-bugs


= --Apple-Mail-104--498373680--