From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <shiv@ece.ucsb.edu>
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 5BC5FBC88
	for <caml-list@yquem.inria.fr>; Sat,  5 Feb 2005 02:52:57 +0100 (CET)
Received: from mail.ece.ucsb.edu (mail.ece.ucsb.edu [128.111.56.51])
	by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j151qsne014251
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL)
	for <caml-list@yquem.inria.fr>; Sat, 5 Feb 2005 02:52:56 +0100
Received: from [68.6.126.71] (ip68-6-126-71.sb.sd.cox.net [68.6.126.71])
	(authenticated bits=0)
	by mail.ece.ucsb.edu (8.13.1/8.13.0) with ESMTP id j151qkRK006532
	(version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NO);
	Fri, 4 Feb 2005 17:52:51 -0800 (PST)
In-Reply-To: <200502050058.11710.jon@jdh30.plus.com>
References: <200502041800.56581.jon@jdh30.plus.com> <200502042142.21439.jon@jdh30.plus.com> <20050204.231141.23907652.Christophe.Troestler@umh.ac.be> <200502050058.11710.jon@jdh30.plus.com>
Mime-Version: 1.0 (Apple Message framework v619.2)
Content-Type: text/plain; charset=US-ASCII; format=flowed
Message-Id: <a2025859576f1550e6348aadd0913db8@ece.ucsb.edu>
Content-Transfer-Encoding: 7bit
Cc: caml-list@yquem.inria.fr
From: Shivkumar Chandrasekaran <shiv@ece.ucsb.edu>
Subject: Re: [Caml-list] The boon of static type checking
Date: Fri, 4 Feb 2005 17:52:45 -0800
To: Jon Harrop <jon@jdh30.plus.com>
X-Mailer: Apple Mail (2.619.2)
X-Miltered: at concorde with ID 420426F6.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; shivkumar:01 ucsb:01 caml-list:01 wrote:01 incorrectly:01 emacs:01 ocaml:01 caml-mode:01 bug:01 --shiv--:01 simpler:01 checking:01 shiv:02 module:03 static:03 
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 Feb 4, 2005, at 4:58 PM, Jon Harrop wrote:

> 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. :-(
>

This happens to me all the time with the standard emacs ocaml mode. 
When it does I first switch to fundamental-mode and then back again to 
caml-mode. This usually fixes it up. May be there is a simpler way to 
re-start it (until the bug is fixed).

--shiv--