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 D911FBBFA for ; Mon, 20 Jun 2005 22:07:46 +0200 (CEST) Received: from salt.cs.brown.edu (salt.cs.brown.edu [128.148.32.122]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j5KK7kYl032200 for ; Mon, 20 Jun 2005 22:07:46 +0200 Received: from localhost (localhost [127.0.0.1]) by salt.cs.brown.edu (Postfix) with ESMTP id 112A838642F for ; Mon, 20 Jun 2005 16:07:46 -0400 (EDT) Received: from salt.cs.brown.edu ([127.0.0.1]) by localhost (salt [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 31317-10 for ; Mon, 20 Jun 2005 16:07:45 -0400 (EDT) Received: from null.cs.brown.edu (null.cs.brown.edu [128.148.38.190]) by salt.cs.brown.edu (Postfix) with ESMTP id E96D93863FB for ; Mon, 20 Jun 2005 16:07:45 -0400 (EDT) Received: from point.cs.brown.edu (point [128.148.33.31]) by null.cs.brown.edu (Postfix) with ESMTP id C400D148010 for ; Mon, 20 Jun 2005 16:07:45 -0400 (EDT) Received: by point.cs.brown.edu (Postfix, from userid 30102) id BC5F77DE4; Mon, 20 Jun 2005 16:07:45 -0400 (EDT) Received: from localhost (localhost [127.0.0.1]) by point.cs.brown.edu (Postfix) with ESMTP id BB14B454A4 for ; Mon, 20 Jun 2005 16:07:45 -0400 (EDT) Date: Mon, 20 Jun 2005 16:07:45 -0400 (EDT) From: "Nathaniel J. Gaylinn" X-X-Sender: ngaylinn@point To: caml-list@yquem.inria.fr Subject: OCaml IDE (more advanced debugger features) Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at cs.brown.edu X-Miltered: at concorde with ID 42B72212.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 debugger:01 debugger:01 ocaml:01 recursive:01 expression:01 expression:01 variables:02 character:03 executing:05 variable:06 edu:07 i'm:08 function:08 function:08 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: In playing with the debugger, two features which would be very useful to me came to mind, but I'm not sure if they're even possible with the OCaml debugger! Is there any way to see the return value of a function in the debugger? I can step to any point in the program with relative ease, and I can inspect the value of any variable in my program while executing it, but how can I see what a function has returned or is just about to return? Is it possible? It's a pain to to compute the return value in my head from the variables and keep track of it in later recursive calls. Also, is there a way to find which expression is about to be evaluated in the debugger? It's simple enough to know the character ocaml is about to progress to, but is there a way to see what specific expression (a range of text) the debugger is about to look into? Thanks, -- Nate Gaylinn