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 5B6557F108 for ; Wed, 25 Nov 2015 17:16:36 +0100 (CET) IronPort-PHdr: 9a23:6DJEsxO9KanBG7F7l98l6mtUPXoX/o7sNwtQ0KIMzox0Kfz9rarrMEGX3/hxlliBBdydsKIZzbWG+PC8EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35nxiLD5q8GbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t/vQqALbQACTynwZW2QQ2loUUkmWpC39C7X2si2yiep8xCicMtHxS/hgWzOi6Y9gTx/lkioBKzEj+XnXi8dryqlc5g+i8U9R2YnRNaiTKP14NonUdtMbQyIVV8BNUCpLC4i8bo0nHuMBOuEepI748Qhd5SCiDBWhUbu8ggRDgWX7iOhniuk= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=antonbachin@yahoo.com; spf=Pass smtp.mailfrom=antonbachin@yahoo.com; spf=None smtp.helo=postmaster@nm24-vm4.bullet.mail.ne1.yahoo.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of antonbachin@yahoo.com) identity=pra; client-ip=98.138.91.184; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="antonbachin@yahoo.com"; x-sender="antonbachin@yahoo.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of antonbachin@yahoo.com designates 98.138.91.184 as permitted sender) identity=mailfrom; client-ip=98.138.91.184; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="antonbachin@yahoo.com"; x-sender="antonbachin@yahoo.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@nm24-vm4.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.91.184; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="antonbachin@yahoo.com"; x-sender="postmaster@nm24-vm4.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BfAACm3VVWlLhbimJegi6BYG8QrlGFOowdIYVuAoFAOxEBAQEBAQEBARABAQEBBwsLCR8wgi2CBwEBAQMBQAEtCwEECwYFBxENIUUSBhMSiAYBAwoIDa9NgnmGAwEjJwOEYwEBAQEBAQEBAQEBAQEBAQEBAQEBARIGDAIBhkWCEIJuhFmDS4EVBYYRDId7iD+FKIgNFYFHSYZ7II8sg3I3gjAjgXxThSwBAQE X-IPAS-Result: A0BfAACm3VVWlLhbimJegi6BYG8QrlGFOowdIYVuAoFAOxEBAQEBAQEBARABAQEBBwsLCR8wgi2CBwEBAQMBQAEtCwEECwYFBxENIUUSBhMSiAYBAwoIDa9NgnmGAwEjJwOEYwEBAQEBAQEBAQEBAQEBAQEBAQEBARIGDAIBhkWCEIJuhFmDS4EVBYYRDId7iD+FKIgNFYFHSYZ7II8sg3I3gjAjgXxThSwBAQE X-IronPort-AV: E=Sophos;i="5.20,343,1444687200"; d="scan'208";a="155114443" Received: from nm24-vm4.bullet.mail.ne1.yahoo.com ([98.138.91.184]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Nov 2015 17:16:34 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1448468193; bh=Bq6PYGI6UU1NapjFQJgEnT+Gf8PvqDmWzQ2CIC0u+r0=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From:Subject; b=NLJlgMuO/MjeKZyx4/K5HgsM/N81dtg2YJntaMx3GOXQXfGQsprMnkyvaaan8XZtT6Xm56WT9ELpHiKuqsLVOfe5RN0IAGCqspHSeFUcQg/Ldm4fpHB6nnvsY4JsVOC2P3XiBEk+DCmRSu1n0SeRh8c/28B4jY6cnNoBAe9eahuA6W2rR2IGEZ3VGGdrQRNoFgs7we2pYhRyAJNs90KqsAgKDvk/mZbrMWd5q5bgjvM8v1d2lwDUv/SG/RtnXJn1eX+2m9/0zf5E4adHEI8KknxfSPG468CA6CMLtgmvZ4ZlR8RHUxTW8MC9qOywHompz80dZd2yDFcXqiU/+RvQ/w== Received: from [98.138.100.115] by nm24.bullet.mail.ne1.yahoo.com with NNFMP; 25 Nov 2015 16:16:33 -0000 Received: from [98.138.226.124] by tm106.bullet.mail.ne1.yahoo.com with NNFMP; 25 Nov 2015 16:16:32 -0000 Received: from [127.0.0.1] by smtp203.mail.ne1.yahoo.com with NNFMP; 25 Nov 2015 16:16:32 -0000 X-Yahoo-Newman-Id: 970437.17281.bm@smtp203.mail.ne1.yahoo.com X-Yahoo-Newman-Property: ymail-3 X-YMail-OSG: vkQcx6QVM1mVz.VjbN2Am1_KC3JWmKAZKdQ5_IjbU.H_VaL akN8hgMeNirDIr.hvBaHav3kQOuZB7OxkDhew5aa8fcPOKW9BiUqJqqtN.B4 iGOEoLbqz_tg6AEE_rcHgZBRSBdHHfV6OJRhrZrVE9K_1.gXqE2gMxqG5REo 4EbPtoVoA35269XiIl4jrcdAXP6x4erVDX3293Zi_jp7IJuzJQGBGBWL5M0X MmG37OFPSdDX3_TKEl_9__znh_EDq1wW_dhKd_ny5gj2ZB5fHrSHkUyvj6I0 f.fTSwFTfchVNj35XVlNF9Ift_BbRLtC1VBNReFggvmUmtTdnYaBlribL0Go qHu318mnLaRZci73R1RHtSmJK3QOSHt1Z._hwkr8vtW_OwKoe1b2HTNsoB1k gbl_qxJc7z.6uf4VRA2QB8QSHqkCNc7nOswmLc5P8IIM7prVagMFf8Sq5Kio MdkZfUkQ7TOQOAxBtQyBfsTqLzHYzipkwxlnh.zAntqGbiFRxu_0DFuiSOMH C7164ZscUjOpuKdE6y.VfEs5XzslxqOH4NEi0q.EUpHYt3Sdm X-Yahoo-SMTP: ddtAESaswBBsjSthz_dVP91gr2NDfymF Content-Type: text/plain; charset=windows-1252 Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\)) From: Anton Bachin In-Reply-To: <5655AE66.6000307@coherentgraphics.co.uk> Date: Wed, 25 Nov 2015 10:16:31 -0600 Cc: "caml-list@inria.fr" X-Mao-Original-Outgoing-Id: 470160991.444639-5025893b3aab3266ebb66e48312bcc09 Content-Transfer-Encoding: quoted-printable Message-Id: <67E3C8E6-47E2-4010-9399-F66A18EBF493@yahoo.com> References: <5655AE66.6000307@coherentgraphics.co.uk> To: John Whitington X-Mailer: Apple Mail (2.2070.6) Subject: Re: [Caml-list] Do you use a debugger with OCaml? If not, why not? Hi, I always use prints and never debuggers when I have access to the source, in any language. I use debuggers when reverse-engineering binaries, however. As for why =96 setting up breakpoints, trying to examine values usually takes more time for me than adding some prints and reading and understanding the resulting trace. Perhaps it only seems that way, but that has been my habit for a very long time. Best, Anton > On Nov 25, 2015, at 06:49, John Whitington = wrote: >=20 > Hi, >=20 > Like, I suspect, many people, my method has always been to insert Printfs= , and stare at code until I find the problem. In fact, the ocaml.org page o= n ocamldebug says: >=20 > "In fact, for complex programs, it is likely the case that the programmer= will use explicit printing to find the bugs, since this methodology allows= the reduction of the trace material: only useful data are printed and spec= ial purpose formats are more suited to get the relevant information, than w= hat can be output automatically by the generic pretty-printer used by the t= race mechanism." >=20 > So, I ask: What do you use for debugging small and large OCaml programs? = If not a debugger, why not? What problems prevent it? How does your debuggi= ng process differ when writing OCaml compared with other languages you use? >=20 > John >=20 > --=20 > John Whitington > Director, Coherent Graphics Ltd > http://www.coherentpdf.com/ >=20 >=20 > --=20 > 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