From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 8A511BB91 for ; Fri, 10 Dec 2004 09:52:21 +0100 (CET) Received: from smtp3.adl2.internode.on.net (smtp3.adl2.internode.on.net [203.16.214.203]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id iBA8qIcH000979 for ; Fri, 10 Dec 2004 09:52:19 +0100 Received: from [192.168.1.200] (ppp203-65.lns1.syd3.internode.on.net [203.122.203.65]) by smtp3.adl2.internode.on.net (8.12.9/8.12.9) with ESMTP id iBA8pp7D073382; Fri, 10 Dec 2004 19:21:55 +1030 (CST) Subject: Re: [Caml-list] Infinite loop when catching an exception From: skaller Reply-To: skaller@users.sourceforge.net To: Jean-Christophe Filliatre Cc: Michel Pastor , caml-list@yquem.inria.fr In-Reply-To: <16825.23709.530721.745815@gargle.gargle.HOWL> References: <41B91A9F.8050400@codefx.org> <16825.23709.530721.745815@gargle.gargle.HOWL> Content-Type: text/plain Organization: Message-Id: <1102668710.2611.500.camel@pelican.wigram> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.2.2 (1.2.2-4) Date: 10 Dec 2004 19:51:50 +1100 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 41B963C2.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 sourceforge:01 filliatre:01 wrote:01 pitfalls:01 ocaml:01 syntax:01 tuareg:01 emacs:01 ocaml:01 syntax:01 literate:01 tuareg:01 bug:01 bug:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: On Fri, 2004-12-10 at 19:21, Jean-Christophe Filliatre wrote: > To avoid such pitfalls, it is convenient to use an editor with > automatic indentation of the code which is consistent with the ocaml > syntax, such as the Tuareg mode under Emacs. At some point, you become > so familiar with ocaml syntax that you don't need it anymore, but > meanwhile it helps. I have been using Ocaml for some time (but I'm a vi user and my code is literate programmed so Tuareg wouldn't help). And I STILL get caught by this problem regularly .. I suspect it takes even longer to find once you have experience, since you just don't expect that bug anymore (but it happens occasionally anyway). The best way to find this problem is post your code to this list -- with experience you'll find the bug immediately after pressing the Send button :) -- John Skaller, mailto:skaller@users.sf.net voice: 061-2-9660-0850, snail: PO BOX 401 Glebe NSW 2037 Australia Checkout the Felix programming language http://felix.sf.net