From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 6881DBCAE for ; Tue, 12 Jul 2005 16:22:26 +0200 (CEST) Received: from salt.cs.brown.edu (salt.cs.brown.edu [128.148.32.122]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6CEMPFp005732 for ; Tue, 12 Jul 2005 16:22:26 +0200 Received: from localhost (localhost [127.0.0.1]) by salt.cs.brown.edu (Postfix) with ESMTP id 3AF9315B55D for ; Tue, 12 Jul 2005 10:22:48 -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 12494-09 for ; Tue, 12 Jul 2005 10:22:48 -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 158CB15B65E for ; Tue, 12 Jul 2005 10:22:44 -0400 (EDT) Received: from point.cs.brown.edu (point [128.148.33.31]) by null.cs.brown.edu (Postfix) with ESMTP id 7F94D148010 for ; Tue, 12 Jul 2005 10:22:16 -0400 (EDT) Received: by point.cs.brown.edu (Postfix, from userid 30102) id 486847CDB; Tue, 12 Jul 2005 10:22:16 -0400 (EDT) Received: from localhost (localhost [127.0.0.1]) by point.cs.brown.edu (Postfix) with ESMTP id 1A5554530D for ; Tue, 12 Jul 2005 10:22:16 -0400 (EDT) Date: Tue, 12 Jul 2005 10:22:15 -0400 (EDT) From: "Nathaniel J. Gaylinn" X-X-Sender: ngaylinn@point To: caml-list@yquem.inria.fr Subject: OCamldebug breakpoint issues Message-ID: MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="-1803542751-1105441462-1121178135=:19059" X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at cs.brown.edu X-j-chkmail-Score: MSGID : 42D3D221.000 on nez-perce : j-chkmail score : X : 0/20 1 X-Miltered: at nez-perce with ID 42D3D221.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocamldebug:01 breakpoints:01 ocamldebug:01 bignum:01 bignum:01 breakpoints:01 something's:01 debugger:01 rec:01 rec:01 arbitrary:01 readable:02 unreadable:02 seems:03 module:03 X-Attachments: name="bignum.ml" name="bignum.ml" 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: This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. ---1803542751-1105441462-1121178135=:19059 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed I'm having trouble dealing with breakpoints in OCamldebug. The documentation seems to make it clear that you can set a breakpoint at any event in your program, but ONLY at an event. This makes sense to me. The problem is, in practice, I can't seem to set a breakpoint at an arbitrary event. For starters, I used "info events Bignum" to get a list of events for my module (its name is Bignum). Fine. I get a long list of event points. Then I started trying to set breakpoints at each event one after the other. That's when I began to see odd behavior. I can set breakpoints at some events with no difficulty. For instance, "break @ Bignum #31" sets a breakpoint at offset 31 just as it should. With other events, instead of setting a breakpoint where I requested, the breakpoint is put at some earlier event. For instance, "break @ Bignum #50" sets a breakpoint at offset 31. This is odd, since as far as I know I should be able to set a breakpoint at any event. Usually this earlier event is the one right before the event I requested, but sometimes its as many as three events back. What's truly baffling to me, though, is this: if I try to set an event at offset 185 (break @ Bignum #185) a breakpoint is created at offset 168, the event before the one I requested. However, when I try to set a breakpoint at offset 208, I get a breakpoint set at offset 185!!! Either something's very wrong here, or I have a fundamental misunderstanding about how the debugger works with breakpoints. Any tips or suggestions would be greatly appreciated. For reference, the file I refer to in this email is attached for reference. Thank you, -- Nate ---1803542751-1105441462-1121178135=:19059 Content-Type: TEXT/PLAIN; charset=US-ASCII; name=bignum.ml Content-Transfer-Encoding: BASE64 Content-ID: Content-Description: Content-Disposition: attachment; filename=bignum.ml bGV0IHJlYyBsb25nQWRkV2l0aG91dENhcnJ5ID0NCiBmdW5jdGlvbg0KIFtd LCB4IC0+IHgNCiB8IHgsIFtdIC0+IHgNCiB8IGhkMSA6OiB0bDEsIGhkMiA6 OiB0bDIgLT4gaGQxICsgaGQyIDo6IGxvbmdBZGRXaXRob3V0Q2FycnkgKHRs MSwgdGwyKQ0KDQpsZXQgbG9uZ0FkZCAobHN0MSwgbHN0MikgPQ0KIGxldCBy ZWMgaGVscGVyID0gZnVuY3Rpb24NCiBbXSwgW10sIDAgLT4gW10NCiB8IFtd LCBbXSwgY2FycnkgLT4gW2NhcnJ5XQ0KIHwgW10sIGhkIDo6IHRsLCBjYXJy eSAtPiAoaGQgKyBjYXJyeSkgbW9kIDEwIDo6IGhlbHBlciAoW10sIHRsLCAo aGQgKyBjYXJyeSkgLyAxMCkNCiB8IGhkIDo6IHRsLCBbXSwgY2FycnkgLT4g KGhkICsgY2FycnkpIG1vZCAxMCA6OiBoZWxwZXIgKHRsLCBbXSwgKGhkICsg Y2FycnkpIC8gMTApDQogfCBoZDEgOjogdGwxLCBoZDIgOjogdGwyLCBjYXJy eSAtPiAoaGQxICsgaGQyICsgY2FycnkpIG1vZCAxMCA6OiBoZWxwZXIgKHRs MSwgdGwyLCAoaGQxICsgaGQyICsgY2FycnkpIC8gMTApDQogaW4NCiBoZWxw ZXIgKGxzdDEsIGxzdDIsIDApDQoNCmxldCBtdWx0QWxsIHByb2QgbHN0ID0g TGlzdC5tYXAgKGZ1biB4IC0+IHggKiBwcm9kKSBsc3QNCmxldCB0aW1lc1Rl biBsc3QgPSAwIDo6IGxzdA0KDQpsZXQgcmVjIGxvbmdNdWx0ID0gZnVuY3Rp b24NCiBbXSwgbnVtMiAtPiBbXQ0KIHwgaGQgOjogdGwsIG51bTIgLT4gbG9u Z0FkZCAobXVsdEFsbCBoZCBudW0yLCB0aW1lc1RlbiAobG9uZ011bHQgKHRs LCBudW0yKSkpOzsNCg0KDQpsb25nTXVsdCAoWzM7IDI7IDFdLCBbMjsgMV0p OzsNCmxvbmdNdWx0IChbMjsgMV0sIFszOyAyOyAxXSk7Ow0KbG9uZ011bHQg KFs5OyA3OyA2OyA1OyA0OyAzOyAyOyAxXSwgWzg7IDFdKTs7DQpsb25nTXVs dCAoW10sIFs5OyA5OyA5OyA5OyA5OyA5XSk7Ow0KbG9uZ011bHQgKFsxXSwg Wzk7IDk7IDk7IDk7IDk7IDldKTs7DQpsb25nTXVsdCAoWzE7IDE7IDE7IDE7 IDE7IDE7IDE7IDE7IDFdLCBbMTsgMTsgMTsgMTsgMTsgMTsgMTsgMTsgMV0p OzsNCg0KbGV0IHJlYyBmb3JldmVyIGEgPSBmb3JldmVyIGE7Ow0K ---1803542751-1105441462-1121178135=:19059--