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 c5ff346549e7 (Postfix) with ESMTPS id C8E0A5D5 for ; Sun, 1 Dec 2019 21:13:09 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,266,1571695200"; d="ml'?scan'208";a="415199670" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 01 Dec 2019 22:13:08 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5DD437F39E; Sun, 1 Dec 2019 22:13:08 +0100 (CET) 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 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 Reply-To: Matej Kosik X-Loop: caml-list@inria.fr X-Sequence: 17891 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: 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" bGV0IGRlYnVnICgpID0KICBsZXQgX3ZhbHVlID0gQXV4LlN1Ym1vZHVsZS52YWx1ZSBpbgog IEF1eC5kZWJ1ZyAoKQoKOzsKCmRlYnVnICgpCg== --------------9469DBE2D7412DD15E804DE3 Content-Type: text/plain; charset=UTF-8; name="aux.ml" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="aux.ml" bW9kdWxlIFN1Ym1vZHVsZSA6CnNpZwoKICB0eXBlIHQKICB2YWwgdmFsdWUgOiB0CiAgdmFs IHBwIDogRm9ybWF0LmZvcm1hdHRlciAtPiB0IC0+IHVuaXQKCmVuZCA9IHN0cnVjdAoKICB0 eXBlIHQgPSB1bml0CgogIGxldCB2YWx1ZSA9ICgpCgogIGxldCBwcCAoZm10IDogRm9ybWF0 LmZvcm1hdHRlcikgKF8gOiB0KSA6IHVuaXQgPQogICAgRm9ybWF0LmZwcmludGYgZm10ICJE RUJVRzogQXV4LlN1Ym1vZHVsZS5wcCIKCmVuZAoKbGV0IGRlYnVnICgpID0KICBsZXQgX3Zh bHVlID0gU3VibW9kdWxlLnZhbHVlIGluCiAgKCkK --------------9469DBE2D7412DD15E804DE3 Content-Type: text/plain; charset=UTF-8; name="Makefile" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="Makefile" bWFpbiA6IGF1eC5jbW8gbWFpbi5jbW8KCW9jYW1sYyAtZyAtbyBtYWluIGF1eC5jbW8gbWFp bi5jbW8KCmF1eC5jbW8gbWFpbi5jbW8gOiAlLmNtbyA6ICUubWwKCW9jYW1sYyAtZyAtYyAk PAoKbWFpbi5jbW8gOiBhdXguY21vCgpjbGVhbiA6CglybSAtZiAqLmNtbyBtYWluICouY21p CgpkZWJ1ZyA6IG1haW4KCXJsd3JhcCBvY2FtbGRlYnVnIG1haW4K --------------9469DBE2D7412DD15E804DE3 Content-Type: text/plain; charset=UTF-8; name=".ocamldebug" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename=".ocamldebug" cnVuCmJyZWFrIE1haW4uZGVidWcKZ290byAwCnJ1bgpsb2FkICJhdXguY21vIgppbnN0YWxs X3ByaW50ZXIgQXV4LlN1Ym1vZHVsZS5wcAo= --------------9469DBE2D7412DD15E804DE3--