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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id ACD6FBC57 for ; Mon, 1 Mar 2010 20:25:17 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgIDAOKii0vUGyoFkWdsb2JhbACbAhUBAQEBCQsKBxMDH7tbhHsE X-IronPort-AV: E=Sophos;i="4.49,561,1262559600"; d="scan'208";a="57993420" Received: from smtp5-g21.free.fr ([212.27.42.5]) by mail4-smtp-sop.national.inria.fr with ESMTP; 01 Mar 2010 20:25:16 +0100 Received: from smtp5-g21.free.fr (localhost [127.0.0.1]) by smtp5-g21.free.fr (Postfix) with ESMTP id BDCADD481E7 for ; Mon, 1 Mar 2010 20:25:11 +0100 (CET) Received: from apc.happyleptic.org (happyleptic.org [82.67.194.89]) by smtp5-g21.free.fr (Postfix) with ESMTP id DB87FD4813A for ; Mon, 1 Mar 2010 20:25:08 +0100 (CET) Received: from yeeloong (unknown [192.168.1.44]) by apc.happyleptic.org (Postfix) with SMTP id 444E8334FD for ; Mon, 1 Mar 2010 20:25:07 +0100 (CET) Received: by yeeloong (sSMTP sendmail emulation); Mon, 01 Mar 2010 20:24:32 +0100 From: rixed@happyleptic.org Date: Mon, 1 Mar 2010 20:24:32 +0100 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Debugging C and OCaml Message-ID: <20100301192432.GB8703@yeeloong> References: <9dfe358d1003010710r69799c1duae37c42a3725b899@mail.gmail.com> <20100301151940.GD26002@janestreet.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20100301151940.GD26002@janestreet.com> User-Agent: Mutt/1.5.20 (2009-06-14) X-Spam: no; 0.00; ocaml:01 shinwell:01 resembling:01 backtrace:01 caml-list:01 debugging:03 should:13 what's:14 something:14 using:15 fairly:15 mark:15 2010:83 mar:16 assembly:16 -[ 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" ?