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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 50CC3800D7 for ; Fri, 24 Feb 2017 10:15:09 +0100 (CET) Authentication-Results: mail3-smtp-sop.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-f175.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of tom.j.ridge@googlemail.com) identity=pra; client-ip=74.125.82.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tom.j.ridge@googlemail.com"; x-sender="tom.j.ridge@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of tom.j.ridge@googlemail.com designates 74.125.82.175 as permitted sender) identity=mailfrom; client-ip=74.125.82.175; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ot0-f175.google.com) identity=helo; client-ip=74.125.82.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tom.j.ridge@googlemail.com"; x-sender="postmaster@mail-ot0-f175.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AjoU6fBSxjaJ1VhTwXJn7J43st9psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zbB2N2/xhgRfzUJnB7Loc0qyN4v2mAD1LuM3c+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe71/IRG2oAnLq8UbhYRuJrs/xxbJv3BFZ/?= =?us-ascii?q?lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbD?= =?us-ascii?q?SxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lC?= =?us-ascii?q?sKMSMy/XrJgcJskq1UvBOhpwR+w4HKZoGVKOF+db7Zcd8DWGZNQtpdWylHD4y7?= =?us-ascii?q?coUPEvEBPf5GoIbhu1sAoxy+BQy2C+PuzD9Dm3v60KI+3ugkFwzNwQ4uEM8UsH?= =?us-ascii?q?nMrtr1OqccX+62wqfV0zvMc+hb1i3h5IXSaB0tve2AULB2fMHMyUcvDQTFjlCI?= =?us-ascii?q?pIL7ODOV0/kGvXSa7+V9WuKglXMspgZtojiow8cgkIvJipgPylDF6Cp5z5g6KM?= =?us-ascii?q?a3SE58Zt6kH59QuD+fN4RsQ8MiR3tktzo9yr0DoJO2ejUBxpogxx7acfOHco6I?= =?us-ascii?q?7wriVOaXOzd4hWhqdKixhxao6UShyvfzVsmz0FZNtCZKjt7MtnUL2hfO6caHUu?= =?us-ascii?q?Nw80Wu1DqVygzf9OFJLVo3mKbFMZIt37w9m5oVvE/eBCH5gl/2g7WTdkg8+uin?= =?us-ascii?q?9eDnYrL+q5+ZLYB0iwX+Pr0pmsyjHeg0KwYOU3WZ9Om8zrHj8kr5QLJFjv0yjK?= =?us-ascii?q?bVqozVJcMepqKhAg9V1Jgs6wqnAjqk39kUh2QLIExFdR6djIXlJUvCLO36APq/?= =?us-ascii?q?m1islS1kx/HCPr3vGJXNKX3Dna/9fbZ67k5Q0ggzwcpF55JVF74BL+z8V1T+tN?= =?us-ascii?q?zfCR85PAi0zPjiCNpn14MeXXiDDbOeMKPXqVOI/P4gI/GQZI8JvzbwM+Ml5/7v?= =?us-ascii?q?jX8/hFASY7Op0oUMZXG5H/RmJl6WYWD2jdsbEGcKuBA+TO3wh1GYXz5TfW64X7?= =?us-ascii?q?gg6TEjFIKmEYDDS5ixj7Ob2Se7GoRaZmRHClCXDXflbJ6EWvcJaCKKOMBtiD0E?= =?us-ascii?q?Vb67S48gzx6irgH6y6A0ZtbTrxaZv5v4yNl44drzlBc++CZ5FYzJ6GyHRnpon2?= =?us-ascii?q?4OAR832qxyu0Fn4laFy6lxxfJCQ5gb7PpMVkI+NIXAh7hxAtX2HwbAZcuhSVC8?= =?us-ascii?q?Q9zgDytnHfwrxNpbX0F4U++jgh/Ol362BLpTlfqRBZA7/4rT2H/+I8t4wnfCkq?= =?us-ascii?q?Imig91EYN0KWS6i/snpEDoDInTnhDcyv+n?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CvAACs+K9Yhq9SfUpdGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBg0c/gQkHg1SbaII6lQgqhXgCgx8HQxQBAQE?= =?us-ascii?q?BAQEBAQEBARIBAQEICwsKHS+CMyKCHAEEASMdAS0MAwELBgUEBxodAgIiEgEFA?= =?us-ascii?q?QoSBgESEolJAQMNCA6gRj+MA4ImgwkFg2EKQAMKg38BAQEBBgEBAQEBAQEZAgY?= =?us-ascii?q?SiymFAYIfDC6CXwWHOgyUVIZ0izGCTo5IkWYUHoEVDyeBISITH1MXg3sqIIFtQ?= =?us-ascii?q?DWKKQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CvAACs+K9Yhq9SfUpdGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBg0c/gQkHg1SbaII6lQgqhXgCgx8HQxQBAQEBAQEBAQEBARIBA?= =?us-ascii?q?QEICwsKHS+CMyKCHAEEASMdAS0MAwELBgUEBxodAgIiEgEFAQoSBgESEolJAQM?= =?us-ascii?q?NCA6gRj+MA4ImgwkFg2EKQAMKg38BAQEBBgEBAQEBAQEZAgYSiymFAYIfDC6CX?= =?us-ascii?q?wWHOgyUVIZ0izGCTo5IkWYUHoEVDyeBISITH1MXg3sqIIFtQDWKKQEBAQ?= X-IronPort-AV: E=Sophos;i="5.35,200,1484002800"; d="scan'208,217";a="214572801" Received: from mail-ot0-f175.google.com ([74.125.82.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Feb 2017 10:15:08 +0100 Received: by mail-ot0-f175.google.com with SMTP id w44so10601727otw.2; Fri, 24 Feb 2017 01:15:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to; bh=jEq+KLDeUcnURDIz8pQsfU3x7Do7pXmcIF7/eLFexGU=; b=gl1atzKM6oS8/iY8I94YV4IlGni1ux5pcPvvoPjLiee260ZtEC3rDFtwCdCrzQsSN0 AXkPa0+0wkGHdNITfZtCLmrGtFOchjJ2QRvL3vztLUYgsRFSIicWMOKdKNrDG08KMCZZ nYeo3gOJW2DzPUWYRzemYzj+X2yqCrOVb7D/PYN27n1N2bHIl2g2NL1bVM9FV+I+1NW9 d9zlJKTqUWuU8ZmaWbpx0+ykeE3JmQMA60ZoyIEg4BwJBjuy/E/3WhNcMNM9sl1XbvbN DwZP6L4ptFVlGL80uD44EwrJOzC5KfSLOFQLOAzW8HPJzKhcqzllsa4Derro1W0doUfh hM1Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to; bh=jEq+KLDeUcnURDIz8pQsfU3x7Do7pXmcIF7/eLFexGU=; b=hQtnaki66EZFGR+K5wM3KMnaahV8seQo2F2t/d1QmNdC1t7VnN6EjMVaOiNae0Ntzf xPDFucKDehksPGjJ10ztBVzHYNJzgjnz38XSvWoBTw1y7wmCGBxkrh55p3tY6OCxM/uP qcvQ0dB5qEFFjD27vK9tLFi4KKGChuY8ONjEhK0XCPhM+srVo4/4vLj2A5VCUUuVHkzc Apud4vOXCo/8wM2yZtavn6adxayH1ovuTAb9F3exalpzNtoSkpAeSKtaakNizrBpY5xT gvmXUdQ25SFHnvRFpTcY65hmgfjTVydjwXL6UCsdnMQypLKBBVLNSJbRIhnnwBfjt8Ii JhGQ== X-Gm-Message-State: AMke39nmxeCwKjgBmuzlsuwQxgYkWf5+1QgzgxhTGXiulTFF0WkLH7XAg1nAo7Ify0ZoNERU0bFFKWKhulOIvg== X-Received: by 10.157.36.107 with SMTP id p98mr944776ota.96.1487927706425; Fri, 24 Feb 2017 01:15:06 -0800 (PST) MIME-Version: 1.0 Received: by 10.74.144.129 with HTTP; Fri, 24 Feb 2017 01:14:45 -0800 (PST) In-Reply-To: <20170224084132.eqmfxs2fvwe6emxw@pl-59055.rocqadm.inria.fr> References: <20170224084132.eqmfxs2fvwe6emxw@pl-59055.rocqadm.inria.fr> From: Tom Ridge Date: Fri, 24 Feb 2017 09:14:45 +0000 Message-ID: To: =?UTF-8?Q?S=C3=A9bastien_Hinderer?= , caml-list Content-Type: multipart/alternative; boundary=001a113cf5ec64a1340549432a60 X-Validation-by: tom.j.ridge@googlemail.com Subject: Re: [Caml-list] OCamldebug --001a113cf5ec64a1340549432a60 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Not sure. There is this clause in the ocamldebug page: "For technical reasons, the debugger cannot call printing functions that reside in the program being debugged. The code for the printing functions must therefore be loaded explicitly in the debugger." Also, I'm only trying to view a string... On 24 February 2017 at 08:41, S=C3=A9bastien Hinderer < Sebastien.Hinderer@inria.fr> wrote: > Tom Ridge (2017/02/23 16:49 +0000): > > Regarding `#install_printer`, can you explain more? The type > > "Key_value_types.key" is equal to string (in this particular case). > > However, this type is produced via module application, and so I cannot > > construct a printer that can print values of type "Key_value_types.key" > > before program execution (which seems to be required for > > #install_printer). > > Can't you add the pretty-printer to the module, actually? > > S=C3=A9bastien. > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --001a113cf5ec64a1340549432a60 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Not sure. There is this clause in the ocamldebug page= :

"For technical reasons, the debugger cannot call= printing functions that reside in the program being debugged. The code for= the printing functions must therefore be loaded explicitly in the debugger= ."

Also, I'm only trying to view a string..= .




On 24 February 2017 at 08:41, S=C3= =A9bastien Hinderer <Sebastien.Hinderer@inria.fr> = wrote:
Tom Ridge (2017/02/23 16:49 +0000)= :
> Regarding `#install_printer`, can you explain more? T= he type
> "Key_value_types.key" is equal to string (in this particular= case).
> However, this type is produced via module application, and so I cannot=
> construct a printer that can print values of type "Key_value_type= s.key"
> before program execution (which seems to be required for
> #install_printer).

Can't you add the pretty-printer to the module, actually?

S=C3=A9bastien.

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--001a113cf5ec64a1340549432a60--