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 E9DE97F0F9 for ; Wed, 25 Nov 2015 13:49:52 +0100 (CET) IronPort-PHdr: 9a23:tmgKVxZ8jue2VQCNnExWItP/LSx+4OfEezUN459isYplN5qZpcu6bnLW6fgltlLVR4KTs6sC0LqL9f+wEjBbqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh730pM2YP14ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Ku4zRLlcSTAnKHwd5cvxtBCFQxHFri8XW2AS1x5JGBTt7RfgX563vDGs5cRn3yzPH8r2S/gLWTW+7qFkVBjuwHMFMD4/2GrQisFqgaRHrwiovxx+yJWSa4bTKfkoLfCVRs8TWWcUBpUZbCdGGI7pN4Y= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=john@coherentgraphics.co.uk; spf=None smtp.mailfrom=john@coherentgraphics.co.uk; spf=None smtp.helo=postmaster@mx1.ukhost4u.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of john@coherentgraphics.co.uk) identity=pra; client-ip=195.216.197.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="john@coherentgraphics.co.uk"; x-sender="john@coherentgraphics.co.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of john@coherentgraphics.co.uk) identity=mailfrom; client-ip=195.216.197.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="john@coherentgraphics.co.uk"; x-sender="john@coherentgraphics.co.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx1.ukhost4u.com) identity=helo; client-ip=195.216.197.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="john@coherentgraphics.co.uk"; x-sender="postmaster@mx1.ukhost4u.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DfAQCsrVVWnAjF2MNehA5vBr47AQGBcR2HOT0PAQEBAQEBAQEQAQEBAQEICwkJISMLgi2CRkAjGhYYAwIBAgFLiEUBnVKgUpULAQSWVYUliGp+SZZCg3I5AQEBgXEBC1GBXXKEJQGBBgEBAQ X-IPAS-Result: A0DfAQCsrVVWnAjF2MNehA5vBr47AQGBcR2HOT0PAQEBAQEBAQEQAQEBAQEICwkJISMLgi2CRkAjGhYYAwIBAgFLiEUBnVKgUpULAQSWVYUliGp+SZZCg3I5AQEBgXEBC1GBXXKEJQGBBgEBAQ X-IronPort-AV: E=Sophos;i="5.20,342,1444687200"; d="scan'208";a="155082199" Received: from mx1.ukhost4u.com ([195.216.197.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Nov 2015 13:49:52 +0100 Received: from bluechip4.ukhost4u.com ([188.64.184.40]) by mx1.ukhost4u.com with esmtps (TLSv1.2:DHE-RSA-AES256-SHA:256) (Exim 4.85) (envelope-from ) id 1a1ZW5-0005of-KO for caml-list@inria.fr; Wed, 25 Nov 2015 12:49:50 +0000 Received: from cpc86281-nfds17-2-0-cust178.8-2.cable.virginm.net ([86.5.45.179]:62589 helo=[192.168.0.3]) by bluechip4.ukhost4u.com with esmtpsa (TLSv1:DHE-RSA-CAMELLIA256-SHA:256) (Exim 4.86) (envelope-from ) id 1a1ZW3-0037gu-0g for caml-list@inria.fr; Wed, 25 Nov 2015 12:49:45 +0000 Message-ID: <5655AE66.6000307@coherentgraphics.co.uk> Date: Wed, 25 Nov 2015 12:49:42 +0000 From: John Whitington User-Agent: Postbox 4.0.8 (Macintosh/20151105) MIME-Version: 1.0 To: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-OutGoing-Spam-Status: No, score=-1.8 X-AuthUser: john@coherentgraphics.co.uk X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - bluechip4.ukhost4u.com X-AntiAbuse: Original Domain - inria.fr X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - coherentgraphics.co.uk X-Get-Message-Sender-Via: bluechip4.ukhost4u.com: none X-Authenticated-Sender: bluechip4.ukhost4u.com: X-Filter-ID: s0sct1PQhAABKnZB5plbIf846yA3iTMvdsVmSdrHPMU9CTo+a6AtXGOZ5s/KMzk3GXNQvgP2LFpq 9ASq+UttQYWiY05qpYz3FI5qKIt2NqRhD1MJf4MxMHlmlUsbe8jXgrid67qMB+oMapomL7Mq2FC3 3eUZXtGSV0UvID19VrTJ7IoLDG/WeJgXhrxqh+ix179ZP/25LAGlMAcw00g5ji89FgrNrvTIrZPF Ekdx0P6yMqm1ZDiITS1C6O688uNe31/E3ahF5MMcDI7KdpjQKajCdleLXLKmqgQujz+rQmwMKrzA WDLpDsj98Fuck+e3uacEd6fD8wHDlykNJNSr3EiZKMlJHa0G8m6m500XmssMQOp+UtDOd2Xrp4Ao XsNbVXqU8fN6BwJzIa7biVZTfiyUEa5RvZy7X9HeQJbBihRmM8dmYMoX9zl4nXWYGnFnDzyaShLq siAa0lGSuNVTY1XafMWY7S7FnlhRiKPsrMvIZRCFgXwxSmF6MuDq9w2yzM7SYEwoorJPCJqgOiC7 T4PAgTtUp75uqlx0KezvZHVUY4hGXOBr0gAHXfkOQ1UL3SKbJ0UD2RGGjamZMwKLKFR6hwibba2r d947JIiS6t7exv5eT4lNrSh33Q7aEwX/ata71DGBBdfHWeFzQhoj0vHzowyqR4SYIYFZ+Kbk37Qx L7hrJSk60SF3F6RYOYr2 X-Report-Abuse-To: spam@mx1.ukhost4u.com X-Filter-Fingerprint: IFrWXGses7OKB5S5G8/dJRn/7L7+nnclbWGk7OJ1jHJA3cTUQ1R++keuE7RDJ8Kg3RbMLUalw1oC mj99/u+PoqoVy8a3lsStJtAvpObFX0Wok1JBYnOLzfRIhlEHQynLUpndEJ0YoaLytXXo8BMTaVt0 ARHRi6XGuAluI1udprFy32DUYpEhA3j9NJFmItfypuoazoDH3m92PL21GfhFYWcYmGLKZUTyGy/B A6iJtsD8WFC+rpTT4JYvoDjVeZUw3fI9smEy0EupqfCN6sn6Zg== X-Originating-IP: 188.64.184.40 X-SpamExperts-Domain: bluechip4.ukhost4u.com X-SpamExperts-Username: 188.64.184.40 X-SpamExperts-Outgoing-Class: unsure X-SpamExperts-Outgoing-Evidence: Combined (0.74) X-Recommended-Action: accept Subject: [Caml-list] Do you use a debugger with OCaml? If not, why not? Hi, 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 on ocamldebug says: "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 special purpose formats are more suited to get the relevant information, than what can be output automatically by the generic pretty-printer used by the trace mechanism." 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 debugging process differ when writing OCaml compared with other languages you use? John -- John Whitington Director, Coherent Graphics Ltd http://www.coherentpdf.com/