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 A2C937F0F9 for ; Wed, 25 Nov 2015 14:26:59 +0100 (CET) IronPort-PHdr: 9a23:8AkMMRCvSuE5edfUEH3xUyQJP3N1i/DPJgcQr6AfoPdwSP7+rsbcNUDSrc9gkEXOFd2CrakU1qyJ4+u9AyQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTqkb/isMCJKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDRdqE8CLhZFyhuZ2s84cmusRjYUSOO4GEdWyMYiEwbLRLC6UTfV4vtsir3q6JRxSOHMsDqBeQxUCi+76ZmVVnklS0aODMl2G7Sg810yqlcpUTy9FRE34fIbdTNZ7JFdaTHcIZCSA== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=matthieu.dubuget@gmail.com; spf=Pass smtp.mailfrom=matthieu.dubuget@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f45.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of matthieu.dubuget@gmail.com) identity=pra; client-ip=74.125.82.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="matthieu.dubuget@gmail.com"; x-sender="matthieu.dubuget@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of matthieu.dubuget@gmail.com designates 74.125.82.45 as permitted sender) identity=mailfrom; client-ip=74.125.82.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="matthieu.dubuget@gmail.com"; x-sender="matthieu.dubuget@gmail.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-wm0-f45.google.com) identity=helo; client-ip=74.125.82.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="matthieu.dubuget@gmail.com"; x-sender="postmaster@mail-wm0-f45.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AkAADbtVVWlC1SfUpehH2tD4cJiikBDYFmhg8CgUE4FAEBAQEBAQEBEAEBAQEHCwsJHzCCLYIIAQEEEi4BGxwCAwwGBQsWFg8JAwIBAgEREQEFARwGDQgBAR6HdgEDEgQBn2mBMT4xjTKCeYYPChknDVaEFgEBAQEGAQEBARkBBQ6GRoR+hHOERgEElleNNYkQEJFxNoEXHwEBgkYMFweBV3GFLAEBAQ X-IPAS-Result: A0AkAADbtVVWlC1SfUpehH2tD4cJiikBDYFmhg8CgUE4FAEBAQEBAQEBEAEBAQEHCwsJHzCCLYIIAQEEEi4BGxwCAwwGBQsWFg8JAwIBAgEREQEFARwGDQgBAR6HdgEDEgQBn2mBMT4xjTKCeYYPChknDVaEFgEBAQEGAQEBARkBBQ6GRoR+hHOERgEElleNNYkQEJFxNoEXHwEBgkYMFweBV3GFLAEBAQ X-IronPort-AV: E=Sophos;i="5.20,342,1444687200"; d="scan'208";a="155087969" Received: from mail-wm0-f45.google.com ([74.125.82.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Nov 2015 14:26:58 +0100 Received: by wmww144 with SMTP id w144so69262894wmw.0 for ; Wed, 25 Nov 2015 05:26:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:references:to:from:message-id:date:user-agent:mime-version :in-reply-to:content-type:content-transfer-encoding; bh=xYPeNsb/410dFJPCFCteRGByn125CYMC3Rx0Kj+2tVA=; b=IMmnG7vs24Xakc9ehc3WbVRHAyS02KkVyshmiXieXMy/ulUJfuo2n3AMkdf4xzPvr2 0KYi7/uz7t4UV/LmUDDntPr3SdBlI2bi6IttmDjcQzWo2vWCWQGuTjdcY3obrG5jOlP6 6Frv9RC65d/u4MtU5KTy1xvVJE+4QPUg3QTL80zP89rTA3jpYXq/573XL2rjsF6GKRq3 7pEBThDLD97eaA4kI8hEclMO3vcOLY3JAg35zURIcVywafaw77MmS6/x0HdHQzqkm1lS nDJsMvi+ttLilFCSsbS/o02W+uQ3pQEcvT8aj5NdTpFtqqUkrQOXmY7A9m/52RYGMCz2 tStw== X-Received: by 10.28.21.196 with SMTP id 187mr4706090wmv.82.1448458018509; Wed, 25 Nov 2015 05:26:58 -0800 (PST) Received: from [192.168.0.14] (dubuget.fr. [88.184.200.161]) by smtp.gmail.com with ESMTPSA id uq3sm23153938wjc.10.2015.11.25.05.26.57 for (version=TLSv1/SSLv3 cipher=OTHER); Wed, 25 Nov 2015 05:26:57 -0800 (PST) References: <5655AE66.6000307@coherentgraphics.co.uk> To: Caml-list From: Matthieu Dubuget X-Enigmail-Draft-Status: N1110 Message-ID: <5655B721.6010608@gmail.com> Date: Wed, 25 Nov 2015 14:26:57 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 MIME-Version: 1.0 In-Reply-To: <5655AE66.6000307@coherentgraphics.co.uk> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Do you use a debugger with OCaml? If not, why not? -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hello, I recently had to understand a bug. I tried to use OCaml debugger, but soon gave up with this approach, because I was not able to reach the time location where the bug occured (even after I had solved the install_printer step that is necessary to output structured values). One reason why it was difficult to narrow the problem was because of a shifting of the hilighted code fragments in emacs (yes: I used ocamldebug from emacs). I suppose (but I was too lazy to check this assumption) that this is due to my comments: in this program they are full of UTF-8 mathematical characters. And I came back to the traditionnal printf debugging method. For sure, a simpler and more robust way to visualize/follow the execution of a program would be a great help to debug ocaml programs. I have no idea how multi-threaded programs are supposed to be debugged, thought? Salutations -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.22 (GNU/Linux) iEYEARECAAYFAlZVtyEACgkQCBfXUPYKuPWNdACfRX09FkwVbcrB6IiPiFGTuptL 4PUAn3OXNqvMaio0KOI8IPie7DyTxiGA =Lb6/ -----END PGP SIGNATURE-----