From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 8CD277F30F for ; Sun, 1 Dec 2019 22:13:02 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mail@matej-kosik.net; spf=SoftFail smtp.mailfrom=mail@matej-kosik.net; spf=SoftFail smtp.helo=postmaster@matej-kosik.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mail@matej-kosik.net) identity=pra; client-ip=145.239.83.105; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="mail@matej-kosik.net"; x-conformance=sidf_compatible Received-SPF: SoftFail (mail2-smtp-roc.national.inria.fr: domain of mail@matej-kosik.net is inclined to not designate 145.239.83.105 as permitted sender) identity=mailfrom; client-ip=145.239.83.105; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="mail@matej-kosik.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: SoftFail (mail2-smtp-roc.national.inria.fr: domain of postmaster@matej-kosik.net is inclined to not designate 145.239.83.105 as permitted sender) identity=helo; client-ip=145.239.83.105; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="postmaster@matej-kosik.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AYc6LNxB5UjT26JDtIaG6UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPvzo8bcNUDSrc9gkEXOFd2Cra4d0KyP7PurADBfqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba58IRmssAnctMcbjYR/Jqs+yBbCv2dFdf?= =?us-ascii?q?lRyW50P1yYggzy5t23/J5t8iRQv+wu+stdWqjkfKo2UKJVAi0+P286+MPkux/D?= =?us-ascii?q?TRCS5nQHSWUZjgBIAwne4x7kWJr6rzb3ufB82CmeOs32UKw0VDG/5KplVBPklC?= =?us-ascii?q?EKPCMi/WrJlsJ/kr5UoBO5pxx+3YHUZp2VNOFjda/ZZN8WWHZNUtpUWyFHH4iy?= =?us-ascii?q?bZYAD/AZMOhGr4fzulgAoxWwCgajGOzi0TpIimPs0KAgz+gsHwPL0Qo9FNwOqn?= =?us-ascii?q?TUq9D1Ob8VX++v0KnH0zfDZO5T1zf684jIcxMhquyLULJ1a8XRyE0vGhjAjlqK?= =?us-ascii?q?tYzqITGV2v0Os2ic9OpgVOGvh3Qhqw5vvjii38EhgZTKiIIN0l3I6Cp0zYYvKd?= =?us-ascii?q?GmRkN2ZcSoHZheui2AKod6XsMvT3lntSs70LELt5G2cDIUxJkoxhPTceGLf5SM?= =?us-ascii?q?7x/lSe2fOy13hGh/d7K6nxuy8Vavyun7VsSs1VZFtDZFncfOtnwU1BzT7dOHSv?= =?us-ascii?q?p+/ku73zaAyRzT5vlFIUAyi6XbN4YszqM/m5cTq0jPACH7lUHsgKKVeEgo4PWk?= =?us-ascii?q?5/jnb7n+o5+TLY50igXwMqQ0ncy/BPw1Mg0UUGia/eSxz7jj8lflQLpUjP06i6?= =?us-ascii?q?rZsJfBJcQapa61GQlV3Zg/6xqnFTepzMwYnWUbLFJCYB+Ik5LmO1TKIPzhCfe/?= =?us-ascii?q?gk+skCtwyvDdPrzhB43NIWLZnLfge7Z98U9cxxApwdBR/ZIHQo0GddX4U0r1/P?= =?us-ascii?q?nRDxs4NQP85+f8FJ0p3YobXSeLA7SFGKLUq16BoOw1dbqifogQ7RP0N/Unr93p?= =?us-ascii?q?ln460QsYdKit9Z4edH26W/dhOESaJ3zhnoFSQi8xogMiQbmy2xW5WjlJaiP3Bv?= =?us-ascii?q?pkv2xpOMedFY7GA7uVrvmB0SO8R8IEY2laB1LJEnDzdobCXfoQOnnLc51R1wcc?= =?us-ascii?q?XL3kcLcPkBSntQv00b1id7WG/yQEuJCm199u5u6Vkxwup2ctU5atllqVRmQxpV?= =?us-ascii?q?smAics1fkg80l01lqBlKt/mP1bU9pe+6ERXw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D7DABGLORd/2lT75FmhGRvUjKEVY8Il?= =?us-ascii?q?hqHJAkBAwE4AQIBAYZMHwkFLxMCEAEBBAEBAQIBAgMEAWyFCwcxgjspAYMXBIE?= =?us-ascii?q?vAgRbDQgBAYMeAYJ7rxl/M4VPgyWBOBCBNowWGj4BgUGBOAyKd4JeBI0GiWENl?= =?us-ascii?q?0qCOEqDB4I1j00IGY5Gi10tqkUiKoEuMxoIJgqDKE8RFIlYkVVAgTYBjl8BAQ?= X-IPAS-Result: =?us-ascii?q?A0D7DABGLORd/2lT75FmhGRvUjKEVY8IlhqHJAkBAwE4AQI?= =?us-ascii?q?BAYZMHwkFLxMCEAEBBAEBAQIBAgMEAWyFCwcxgjspAYMXBIEvAgRbDQgBAYMeA?= =?us-ascii?q?YJ7rxl/M4VPgyWBOBCBNowWGj4BgUGBOAyKd4JeBI0GiWENl0qCOEqDB4I1j00?= =?us-ascii?q?IGY5Gi10tqkUiKoEuMxoIJgqDKE8RFIlYkVVAgTYBjl8BAQ?= X-IronPort-AV: E=Sophos;i="5.69,266,1571695200"; d="ml'?scan'208";a="415199609" X-MGA-submission: =?us-ascii?q?MDEqbQxOYPKDl3d/vWyxmFeMri9H1yNxBwquKS?= =?us-ascii?q?aWH1LxmzjCJFJ45uvOBWFRrRqJK/78zMB9vdkAtauNhMU3YG69Maywpi?= =?us-ascii?q?pSh9sxW03GmWDeTmbm/W8IrR+ChE65ZpsaYvBpTT8Kl8rPSbmprKemJ1?= =?us-ascii?q?04nSLqXApsBzMQI9XA84Pmrw=3D=3D?= Received: from matej-kosik.net ([145.239.83.105]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Dec 2019 22:13:01 +0100 Received: from [192.168.43.150] (ip-46.34.246.109.o2inet.sk [46.34.246.109]) by matej-kosik.net (Postfix) with ESMTPSA id 45D4E22BDA for ; Sun, 1 Dec 2019 22:13:01 +0100 (CET) To: Ocaml Mailing List From: Matej Kosik Message-ID: <83147091-b2de-7176-2b2d-80552c76314c@matej-kosik.net> Date: Sun, 1 Dec 2019 22:13:00 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="------------9469DBE2D7412DD15E804DE3" Content-Language: en-US Subject: [Caml-list] a question about "ocamldebug" and the "install_printers" command This is a multi-part message in MIME format. --------------9469DBE2D7412DD15E804DE3 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Hi, I have a bug in my program. I wanted to step through the computation with ocamldebug. Since there are some abstract data types, I have defined some printers and took advantage of the "install_printer" mechanism provided by "ocamldebug". What surprised me was that the printers are invoked in some cases but not always. The attached files represent the most simplest scenario that replicate the problem. When I start debugging: make ocamldebug main the installed printers work as expected. rlwrap ocamldebug main OCaml Debugger version 4.08.1 Executing file .ocamldebug Loading program... done. Time: 449 Program exit. Breakpoint 1 at 158840: file main.ml, line 2, characters 3-53 Time: 0 Beginning of program. Time: 221 - pc: 158840 - module Main Breakpoint: 1 2 <|b|>let _value = Aux.Submodule.value in File ./aux.cmo loaded (ocd) next Time: 222 - pc: 158860 - module Main 3 <|b|>Aux.debug () (ocd) p _value _value: Aux.Submodule.t = DEBUG: Aux.Submodule.pp However, when I decent from one module to another, the printer no longer seems to be installed: (ocd) step Time: 223 - pc: 158668 - module Aux 20 <|b|>let _value = Submodule.value in (ocd) next Time: 224 - pc: 158680 - module Aux 21 <|b|>() (ocd) print _value _value: Submodule.t = (ocd) install_printer Aux.Submodule.pp (ocd) print _value _value: Submodule.t = Above, I would expect to see _value: Aux.Submodule.t = DEBUG: Aux.Submodule.pp Why do I see _value: Submodule.t = instead? Is this an expected behavior? What am I missing? I always see even when I try reinstall the relevant printer: (ocd) install_printer Aux.Submodule.pp (ocd) print _value Thank you in advance for any hints, Cordially, -- Matej Kosik --------------9469DBE2D7412DD15E804DE3 Content-Type: text/plain; charset=UTF-8; name="main.ml" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="main.ml" bGV0IGRlYnVnICgpID0KICBsZXQgX3ZhbHVlID0gQXV4LlN1Ym1vZHVsZS52 YWx1ZSBpbgogIEF1eC5kZWJ1ZyAoKQoKOzsKCmRlYnVnICgpCg== --------------9469DBE2D7412DD15E804DE3 Content-Type: text/plain; charset=UTF-8; name="aux.ml" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="aux.ml" bW9kdWxlIFN1Ym1vZHVsZSA6CnNpZwoKICB0eXBlIHQKICB2YWwgdmFsdWUg OiB0CiAgdmFsIHBwIDogRm9ybWF0LmZvcm1hdHRlciAtPiB0IC0+IHVuaXQK CmVuZCA9IHN0cnVjdAoKICB0eXBlIHQgPSB1bml0CgogIGxldCB2YWx1ZSA9 ICgpCgogIGxldCBwcCAoZm10IDogRm9ybWF0LmZvcm1hdHRlcikgKF8gOiB0 KSA6IHVuaXQgPQogICAgRm9ybWF0LmZwcmludGYgZm10ICJERUJVRzogQXV4 LlN1Ym1vZHVsZS5wcCIKCmVuZAoKbGV0IGRlYnVnICgpID0KICBsZXQgX3Zh bHVlID0gU3VibW9kdWxlLnZhbHVlIGluCiAgKCkK --------------9469DBE2D7412DD15E804DE3 Content-Type: text/plain; charset=UTF-8; name="Makefile" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="Makefile" bWFpbiA6IGF1eC5jbW8gbWFpbi5jbW8KCW9jYW1sYyAtZyAtbyBtYWluIGF1 eC5jbW8gbWFpbi5jbW8KCmF1eC5jbW8gbWFpbi5jbW8gOiAlLmNtbyA6ICUu bWwKCW9jYW1sYyAtZyAtYyAkPAoKbWFpbi5jbW8gOiBhdXguY21vCgpjbGVh biA6CglybSAtZiAqLmNtbyBtYWluICouY21pCgpkZWJ1ZyA6IG1haW4KCXJs d3JhcCBvY2FtbGRlYnVnIG1haW4K --------------9469DBE2D7412DD15E804DE3 Content-Type: text/plain; charset=UTF-8; name=".ocamldebug" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename=".ocamldebug" cnVuCmJyZWFrIE1haW4uZGVidWcKZ290byAwCnJ1bgpsb2FkICJhdXguY21v IgppbnN0YWxsX3ByaW50ZXIgQXV4LlN1Ym1vZHVsZS5wcAo= --------------9469DBE2D7412DD15E804DE3--