From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jianzhou.zh@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id 9604BBC57
	for <caml-list@yquem.inria.fr>; Mon,  1 Mar 2010 16:10:45 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmICAKdmi0tKfVM0mWdsb2JhbACPOItPCBUBAQEBAQgLCgcTIq0dQoNtIohVAQEDBYR2BIMXiQY
X-IronPort-AV: E=Sophos;i="4.49,560,1262559600"; 
   d="scan'208";a="45696435"
Received: from mail-gw0-f52.google.com ([74.125.83.52])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Mar 2010 16:10:45 +0100
Received: by gwb1 with SMTP id 1so1003116gwb.39
        for <caml-list@yquem.inria.fr>; Mon, 01 Mar 2010 07:10:44 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:sender:received:date
         :x-google-sender-auth:message-id:subject:from:to:content-type;
        bh=VGqeNUBurqHQsSCvwu5rDxeKA1jaSe5lplGCBmsNGqI=;
        b=fCrE7XE4P2zIuSrUCHX0c5GJPj+Tg4KQx0kCOKJWEo2ecYRSwpQhc3srRz6wIW3Tf+
         RVE1jdYoRtNQmte2P4J4BghCaS8yY32ToA09o2P7teJZyvJwpVPavuq9/3APG64bM0y+
         ZY/SrDqIroXADqgdvuIqXcIO//bOyLjforCzA=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:date:x-google-sender-auth:message-id:subject
         :from:to:content-type;
        b=lepNMifXcDMioBZQq8+MGbqq4A52klOzGhVXGeGAyNl4pafaf2jScpPlgS0/QEgY0u
         2CiNl2decn8Xw0f6ScJ/tkKWB/QOcjBK7M1hvGK/KU4eDTdjkJLZUSwx9LsBUKtm6kvl
         f35WCBAfMPUYCwwph0N9f0eZ1TMuS3jXHtc70=
MIME-Version: 1.0
Sender: jianzhou.zh@gmail.com
Received: by 10.100.235.26 with SMTP id i26mr6274553anh.163.1267456244288; 
	Mon, 01 Mar 2010 07:10:44 -0800 (PST)
Date: Mon, 1 Mar 2010 10:10:44 -0500
X-Google-Sender-Auth: 58375209a650382b
Message-ID: <9dfe358d1003010710r69799c1duae37c42a3725b899@mail.gmail.com>
Subject: Debugging C and OCaml
From: Jianzhou Zhao <jianzhou@seas.upenn.edu>
To: caml-list@yquem.inria.fr
Content-Type: text/plain; charset=ISO-8859-1
X-Spam: no; 0.00; ocaml:01 ocaml:01 zhao:98 upenn:01 functions:01 functions:01 binding:02 debugging:03 languages:03 debug:05 debug:05 uses:07 efficient:07 but:14 does:14 

My main program is C++. It uses C functions to call
OCaml functions, and these OCaml functions also call
C functions and wrapped C++ functions sometimes.

I can debug from C++, but it stops when it meets
an OCaml binding. Does anyone know an efficient
solution about how to debug across different languages?

Thanks in advance.
-- 
Jianzhou