From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 5DFFFBC57 for ; Mon, 1 Mar 2010 20:27:05 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsEAOyji0tdXYNd/2dsb2JhbACbAnO7dIR7BA X-IronPort-AV: E=Sophos;i="4.49,561,1262559600"; d="scan'208";a="53826602" Received: from mash.three-tuns.net ([93.93.131.93]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 01 Mar 2010 20:27:05 +0100 Received: from mark by mash.three-tuns.net with local (Exim 4.69) (envelope-from ) id 1NmBGh-0004dT-CO; Mon, 01 Mar 2010 19:27:03 +0000 Date: Mon, 1 Mar 2010 19:27:03 +0000 From: Mark Shinwell To: rixed@happyleptic.org Cc: caml-list@inria.fr Subject: Re: [Caml-list] Debugging C and OCaml Message-ID: <20100301192703.GT2640@three-tuns.net> References: <9dfe358d1003010710r69799c1duae37c42a3725b899@mail.gmail.com> <20100301151940.GD26002@janestreet.com> <20100301192432.GB8703@yeeloong> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20100301192432.GB8703@yeeloong> User-Agent: Mutt/1.5.18 (2008-05-17) X-Spam: no; 0.00; shinwell:01 ocaml:01 0100,:01 shinwell:01 resembling:01 backtrace:01 gdb:01 wrote:01 caml-list:01 debugging:03 should:13 what's:14 something:14 using:15 fairly:15 On Mon, Mar 01, 2010 at 08:24:32PM +0100, rixed@happyleptic.org wrote: > -[ Mon, Mar 01, 2010 at 03:19:41PM +0000, Mark Shinwell ]---- > > That said, ocamlopt-compiled assembly code is fairly easy to > > read, and you should be able to get something resembling a backtrace using > > "where". > > What's "where" ? A gdb command. Mark