From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 1CA9CBC88 for ; Sat, 5 Feb 2005 01:56:20 +0100 (CET) Received: from ptb-relay03.plus.net (ptb-relay03.plus.net [212.159.14.214]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j150uJGl007760 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sat, 5 Feb 2005 01:56:19 +0100 Received: from [80.229.56.224] (helo=chetara) by ptb-relay03.plus.net with esmtp (Exim) id 1CxEXn-000HRM-3b for caml-list@yquem.inria.fr; Sat, 05 Feb 2005 01:15:27 +0000 From: Jon Harrop Organization: University of Cambridge To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] The boon of static type checking Date: Sat, 5 Feb 2005 00:58:11 +0000 User-Agent: KMail/1.7.1 References: <200502041800.56581.jon@jdh30.plus.com> <200502042142.21439.jon@jdh30.plus.com> <20050204.231141.23907652.Christophe.Troestler@umh.ac.be> In-Reply-To: <20050204.231141.23907652.Christophe.Troestler@umh.ac.be> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200502050058.11710.jon@jdh30.plus.com> X-Miltered: at concorde with ID 420419B3.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 christophe:01 troestler:01 wrote:01 ctrl-c:01 ocaml:01 tuareg:01 tuareg:01 emacs:01 bug:01 incorrectly:01 frog:98 checking:01 debian:02 debian:02 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: On Friday 04 February 2005 22:11, Christophe TROESTLER wrote: > (you are working with the latest version of the tools, don't you) Latest Debian Sarge. The commands should have been "M-x caml-types-show-type" and "push CTRL-c then CTRL-t". Having compiled with -dtypes, these work. However, I can't figure out how to display whole types (it only displays the first 70 chars or so). > Do you use the standard OCaml mode or Tuareg > (http://www-rocq.inria.fr/%7eacohen/tuareg/)? I personally use the > latter and I do not have such problems. I just took advantage of a fresh Debian install on my laptop and installed Tuareg. It is quite broken under emacs (in the same way as my desktop) but xemacs is better. That indentation bug is still there though. Specifically, in the structure of a module, after a bunch of definitions, I have a comment. The first lines of all member definitions after that are all incorrectly indented by zero characters (instead of four). I haven't been able to boil the example down and I can't give anyone the code, unfortunately. :-( Thanks for your help though! -- Dr Jon D Harrop, Flying Frog Consultancy Ltd.