From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dumitru.potop_butucaru@inria.fr>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 2A437BBAF
	for <caml-list@yquem.inria.fr>; Fri, 15 Oct 2010 11:38:24 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="4.57,335,1283724000"; 
   d="vcf'?scan'208";a="81208187"
Received: from pc-50072.rocq.inria.fr (HELO [127.0.0.1]) ([128.93.50.72])
  by mail1-relais-roc.national.inria.fr with ESMTP; 15 Oct 2010 11:38:24 +0200
Message-ID: <4CB8210D.7030307@inria.fr>
Date: Fri, 15 Oct 2010 11:38:21 +0200
From: Dumitru Potop-Butucaru <dumitru.potop_butucaru@inria.fr>
Reply-To: dumitru.potop@inria.fr
Organization: INRIA Rocquencourt, France
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.2.9) Gecko/20100915 Thunderbird/3.1.4
MIME-Version: 1.0
To: caml-list@inria.fr
Subject: Smart caml editor and smart debugger
Content-Type: multipart/mixed;
 boundary="------------000707090700080801050905"
X-Spam: no; 0.00; debugger:01 emacs:01 debugger:01 ocamldebug:01 ocamldebug:01 inserting:01 jacky:98 collapse:98 wrote:01 functions:01 functions:01 caml:02 caml:02 debugging:03 debugging:03 
X-Attachments: cset="utf-8" name="dumitru_potop_butucaru.vcf" name="dumitru_potop_butucaru.vcf" 

This is a multi-part message in MIME format.
--------------000707090700080801050905
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit


Hello,

I wrote several thousands of lines of CAML and
I am now debugging it. I would **really** need the
following 2 items (if they exist somewhere):

1. An editor where I can collapse entire
     definitions (by reducing a huge "let x = .... in"
     step into a single line). I'd prefer doing it
     using a mouse, but emacs shortcuts would
     be OK, too.

2. A better debugger than ocamldebug, or a
     good trace generation tool

     My problem with ocamldebug is that if a certain
     value is not used inside a "let" scope, then
     I cannot inspect it, even if it is visible in that
     scope (of course, maybe I am wrong,
     in which case please tell it to me).

     So, I am now debugging by inserting print
     functions and inspecting the traces. However,
     writing such functions by hand is taking a huge
     time. Is there some tool allowing me, for instance,
     to choose the functions whose calls I want to trace?
     (so that the call and its parameters are
     automatically logged).

Yours,
Jacky Potop

--------------000707090700080801050905
Content-Type: text/x-vcard; charset=utf-8;
 name="dumitru_potop_butucaru.vcf"
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment;
 filename="dumitru_potop_butucaru.vcf"

begin:vcard
fn:Dumitru Potop-Butucaru
n:Potop-Butucaru;Dumitru
org:INRIA Rocquencourt;Project AOSTE
adr:;;Domaine de Voluceau, BP 105;Le Chesnay;;F-78153;France
email;internet:dumitru.potop@inria.fr
tel;work:+33-139.63.55.80
x-mozilla-html:FALSE
url:http://www.DumitruPotop.net
version:2.1
end:vcard


--------------000707090700080801050905--