From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q44Kuw1Y018632 for ; Fri, 4 May 2012 22:56:58 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvgBAD1CpE/RVaA2imdsb2JhbABFsmMIIgEBAQoJDQcSBiOCIgIsARseAxIQXQERAQUBFicah1wBAwsLmXiCXgkDjCSCc4UHChknDVeIdgEFC41dgyUElX6BEY1RPYQM X-IronPort-AV: E=Sophos;i="4.75,533,1330902000"; d="scan'208";a="156821269" Received: from mail-pb0-f54.google.com ([209.85.160.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 May 2012 22:56:52 +0200 Received: by pbbro2 with SMTP id ro2so5474763pbb.27 for ; Fri, 04 May 2012 13:56:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=hbC2F8xgONH+12iZy9cUowmuvyO3bh7MwQ8IHQ8/5Kk=; b=JnIMkVQsifJgOO+pO27XSh9gAV3SBfl3p9H2S6zbikknpntiKA94lb5hMfr7QNPZke ICV5v5HZ7H1U+pbzmmGwpxTsJoiqbU83AKC99gDgoNklzPyt/qZ580kDXLdbViithPA6 YHFX7zrHUJghhgH8sHnU8mYLHCeGarMkjzLTvjIaw3e5nIeg+1L5UNZI3a8lcjr93hHm wSbcQPbMP+S7nt+uKOXhNu4F6eyU5bKbH4sZ8+5U3hgV2EcwCgkYejTc5QX9wcInNqba YmDrlUvKForHneTBAgsIaJNZTyS7TDxfSzYW1w5C0dM+p3vjziceQFX5pcBTpqtI8r4U et+w== MIME-Version: 1.0 Received: by 10.68.202.130 with SMTP id ki2mr22337133pbc.52.1336165011171; Fri, 04 May 2012 13:56:51 -0700 (PDT) Received: by 10.68.228.194 with HTTP; Fri, 4 May 2012 13:56:51 -0700 (PDT) Date: Fri, 4 May 2012 21:56:51 +0100 Message-ID: From: Joel Reymont To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] debugging c wrappers How do I look inside the values in C functions called from OCaml when running in gdb? I swear there's a way but I don't remember it now. For example, I want to check if a particular value is a variant constructor and whether its first argument is a closure. Help! -------------------------------------------------------------------------- Working on AlgoKit, a new algorithmic trading platform using Rithmic R|API ---------------------+------------+--------------------------------------- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont ---------------------+------------+---------------------------------------