From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id AE3047F616 for ; Thu, 23 Feb 2017 17:24:47 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tom.j.ridge@googlemail.com; spf=Pass smtp.mailfrom=tom.j.ridge@googlemail.com; spf=None smtp.helo=postmaster@mail-ot0-f180.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of tom.j.ridge@googlemail.com) identity=pra; client-ip=74.125.82.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tom.j.ridge@googlemail.com"; x-sender="tom.j.ridge@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of tom.j.ridge@googlemail.com designates 74.125.82.180 as permitted sender) identity=mailfrom; client-ip=74.125.82.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tom.j.ridge@googlemail.com"; x-sender="tom.j.ridge@googlemail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ot0-f180.google.com) identity=helo; client-ip=74.125.82.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tom.j.ridge@googlemail.com"; x-sender="postmaster@mail-ot0-f180.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A2mn52R+big0OO/9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?2ugcTK2v8tzYMVDF4r011RmSDNidsqIP27We8/i5HzdfsdDZ6DFKWacPfiFGoP?= =?us-ascii?q?1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkIm?= =?us-ascii?q?btjyT4XbisDy0+Gp59WHaAxNgH+5YKhuBBSwtwTY8McM19hMMKE0nyfOpzNyeu?= =?us-ascii?q?hZyCs8OVWW2RS6/Ma885Mg9yVLp9ou8MlPVaj/dqU8C7dfCWJ1YCgO+MT3uEyb?= =?us-ascii?q?HkO07XwGXzBOnw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AbAQDHC69YhrRSfUpdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhQ8Hg1SsGJBLB0MUAQEBAQEBAQEBAQESAQEBCAsLCh0vgjMgghQ?= =?us-ascii?q?zHQE5Aw0FCAEHNwIkEgEFASKIGwOBUQEDFZ4wg0M/jAOCJoMJBYNcChknDYQoA?= =?us-ascii?q?gYSkwOCXwWcFJIkkRGRYRQegRU2gSESEA8EH2qCW4EJDDWCDUA1i0YBAQE?= X-IPAS-Result: =?us-ascii?q?A0AbAQDHC69YhrRSfUpdHAEBBAEBCgEBFwEBBAEBCgEBhQ8?= =?us-ascii?q?Hg1SsGJBLB0MUAQEBAQEBAQEBAQESAQEBCAsLCh0vgjMgghQzHQE5Aw0FCAEHN?= =?us-ascii?q?wIkEgEFASKIGwOBUQEDFZ4wg0M/jAOCJoMJBYNcChknDYQoAgYSkwOCXwWcFJI?= =?us-ascii?q?kkRGRYRQegRU2gSESEA8EH2qCW4EJDDWCDUA1i0YBAQE?= X-IronPort-AV: E=Sophos;i="5.35,198,1484002800"; d="scan'208,217";a="261830443" Received: from mail-ot0-f180.google.com ([74.125.82.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Feb 2017 17:24:46 +0100 Received: by mail-ot0-f180.google.com with SMTP id x10so27180339otb.1 for ; Thu, 23 Feb 2017 08:24:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20161025; h=mime-version:sender:from:date:message-id:subject:to; bh=PaSEozZ4sS0nIg/etaelAKGfGh6CUeWv6wevSjaAbHY=; b=NRPO5egexpCAC8bZqURsoFjhLisbOmlg3am1hUOdVXxkz/mW4OMo1XtYYHNmcyOKyg aWa28+xQincPl82B0Ohn8NOimmPtBfXflwwtz6nba6o3W5QhsS8d7XGqA4EO8bqYjJh4 lN9Fd/fakNSge3AsbJiKx9GNsUd1U7zuDy/cwLcR0JFcTK1r8tNM6lVjojkbrcVgmDFR zU9Tx+kpH/03ckMBvYsXIOO4SaeuuliD8IojWdP6iqXZurq0SvJ1mntPxQeUYDQe6pmG BGWmo4QyUHAEAcEvMWnEAKAzhc1L2buJxx+UcqWXhEayySmM5ttrnDOBSZJh1qpGNVG7 Eigw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=PaSEozZ4sS0nIg/etaelAKGfGh6CUeWv6wevSjaAbHY=; b=Zf53Z+byNWQs3hcWRYJ9n6Cm2KLaKtQr2jenN5lQT19zPGwDRYhAOnh4Q+RD78/POY GemaP4Dm1nWZD3Pv1ifjaML92jf4ddGI3ouu4xlCMGe1vTttW3kwuO9pCEcRcVNReZlJ rpnJDpn0LPpwOcgVBYeCUbBRbRSREB5zc7JkVDnmBSS6PDKNyIOBRTbb6I1lh40ZmBLu CdJVwTYnuCt3nXbsyMq0UdJXXjWlVMAQpBVhnOPPYTgiDEDKzbVSAwTHLir5YfSDX+Ij kOhZNF2lca/3/+N582WgEa34C8+5DhQckk6qLGfOe3jwlM5UfXklrJtlDbl6NKJff8Tr ujKQ== X-Gm-Message-State: AMke39nwBJGh4wEtVFfjlTATrktoaG+yO+znHsfvktfyxDwg0v2nR1q6C3+6xrVxfOGQhgwF7X0UdvhmA8752g== X-Received: by 10.157.26.7 with SMTP id a7mr1745767ote.62.1487867085335; Thu, 23 Feb 2017 08:24:45 -0800 (PST) MIME-Version: 1.0 Sender: tom.j.ridge@googlemail.com Received: by 10.74.144.129 with HTTP; Thu, 23 Feb 2017 08:24:24 -0800 (PST) From: Tom Ridge Date: Thu, 23 Feb 2017 16:24:24 +0000 X-Google-Sender-Auth: 435MywqOMKsXGA06GxMotYTsvjg Message-ID: To: caml-list Content-Type: multipart/alternative; boundary=001a1141c7aa1836d60549350d5a Subject: [Caml-list] OCamldebug --001a1141c7aa1836d60549350d5a Content-Type: text/plain; charset=UTF-8 Dear All, I am debugging some code. For various reasons I have started to use ocamldebug rather than printf. I should say that ocamldebug is excellent. Really excellent. Especially the "backwards" stepping. However, sometimes I want to see the value of a particular variable. I can use the "p" (print) command as: (ocd) p kra kra: Key_value_types.key = The problem is that I know that kra is a string. But ocamldebug only shows . Admittedly the code is functorized. But I have a feeling I should be able to tweak something to get ocamldebug to print the value of kra. Any ideas? T --001a1141c7aa1836d60549350d5a Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Dear All,

I am debugging some code. For= various reasons I have started to use ocamldebug rather than printf.
=

I should say that ocamldebug is excellent. Really excel= lent. Especially the "backwards" stepping.

However, sometimes I want to see the value of a particular variable. I c= an use the "p" (print) command as:

= (ocd) p kra
kra: Key_value_types.key =3D <abstr>

The problem is that I know that kra is a string. But o= camldebug only shows <abstr>.=C2=A0

Admitted= ly the code is functorized. But I have a feeling I should be able to tweak = something to get ocamldebug to print the value of kra.

=
Any ideas?

T
--001a1141c7aa1836d60549350d5a--