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 q49AHAJY015331 for ; Wed, 9 May 2012 12:17:10 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EAEZDqk+NOIQe/2dsb2JhbABEs06BB4INAQV5EAtGVwaIJbtLkR4ElX2FdopLgms X-IronPort-AV: E=Sophos;i="4.75,557,1330902000"; d="scan'208";a="143164696" Received: from imail1.informatik.htw-dresden.de ([141.56.132.30]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 May 2012 12:17:04 +0200 Received: from [141.56.131.27] (iti27.informatik.htw-dresden.de [141.56.131.27]) by imail1.informatik.htw-dresden.de (Postfix) with ESMTP id 8F68D294037; Wed, 9 May 2012 12:17:02 +0200 (CEST) From: Boris Hollas To: Thomas Gazagnaire Cc: caml-list@inria.fr In-Reply-To: References: Content-Type: text/plain; charset="ISO-8859-15" Date: Wed, 09 May 2012 12:17:05 +0200 Message-ID: <1336558625.6794.8.camel@iti27.informatik.htw-dresden.de> Mime-Version: 1.0 X-Mailer: Evolution 2.30.3 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] lag when using typerex I used Typerex with Emacs 23 on Debian and it was very slow (> 10 s) when looking up definitions in a 170 kLOC project. A number of times, the search was aborted with a memory exception. -- Best regards, Boris