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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 076E07F0F9 for ; Thu, 26 Nov 2015 10:14:28 +0100 (CET) IronPort-PHdr: 9a23:US7SLxFl6mDpI5cXb75Ho51GYnF86YWxBRYc798ds5kLTJ75o8+wAkXT6L1XgUPTWs2DsrQf27eQ7PGrADZcqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh730pMyYOl8UzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IAu3GePEzRLlcSTAnKHwd5cvxtBCFQxHcyGEbVzAynx1OChLJ61neV5jstCKyjPd8ymHOOMr6Sb4zcTun5qZvDhTvjXFUZHYC7GjLh5ko3+pgqxW7qkknzg== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=modlfo@gmail.com; spf=Pass smtp.mailfrom=modlfo@gmail.com; spf=None smtp.helo=postmaster@mail-ig0-f172.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of modlfo@gmail.com) identity=pra; client-ip=209.85.213.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="modlfo@gmail.com"; x-sender="modlfo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of modlfo@gmail.com designates 209.85.213.172 as permitted sender) identity=mailfrom; client-ip=209.85.213.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="modlfo@gmail.com"; x-sender="modlfo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ig0-f172.google.com) identity=helo; client-ip=209.85.213.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="modlfo@gmail.com"; x-sender="postmaster@mail-ig0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CeAAB5zFZWm6zVVdFehH2qdQEFiGOMG4YPAoE4PBABAQEBAQEBARABAQEBAQYLCwkhLoItgggBAQQSEQ8BBQgBGxwCAwwGBQsNAgIFFgsCAgkDAgECARERAQUBHBMIAQEeh3YBAxIEAaAYgTE+MYtIgWqCeYYXChknDVaEDQEBAQcCARoBBQ5zhQyFRYUngk6BRAEElleNNYFchzQQj0yCJTaBFziCLyOBXnGFYAEBAQ X-IPAS-Result: A0CeAAB5zFZWm6zVVdFehH2qdQEFiGOMG4YPAoE4PBABAQEBAQEBARABAQEBAQYLCwkhLoItgggBAQQSEQ8BBQgBGxwCAwwGBQsNAgIFFgsCAgkDAgECARERAQUBHBMIAQEeh3YBAxIEAaAYgTE+MYtIgWqCeYYXChknDVaEDQEBAQcCARoBBQ5zhQyFRYUngk6BRAEElleNNYFchzQQj0yCJTaBFziCLyOBXnGFYAEBAQ X-IronPort-AV: E=Sophos;i="5.20,346,1444687200"; d="scan'208";a="189178600" Received: from mail-ig0-f172.google.com ([209.85.213.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Nov 2015 10:14:27 +0100 Received: by igl9 with SMTP id 9so7313732igl.0 for ; Thu, 26 Nov 2015 01:14:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-type:content-transfer-encoding; bh=2b9+lQ8ZvLIQ5YDrqOkTjQrU/mng2WlOVakrDrDGchM=; b=BoQ+ftDmADV/QP4ZcTqRNQXKdPzdRzHmfBTp745+CE+bWRz8v5jJZFD3fjRMunOlDk PfBSQzU9bO61Omn+5Ws+9I85jFkas1qpKh4lg7btImAM16Cagd23QLHRj0B+4UYkMlHH aDm5t/v7ShzRB+OJXYGdbVRuhuqjD6Lkg4frQbZhZVimqyiEQyrF89E8SipmvAHrTWIe 7/XAPq1jGWGf7sS6FJluhPbndPDXD98U+9AtibUedSusCzv9PDJxX0l7X556JTKibfiB wYyTnTueZtbNKZ8HNeRf9U7STUbCLahe1JgdA7PZZcb2lC7tUQawPlF+wDVON8P6wTFj i7zA== X-Received: by 10.50.87.71 with SMTP id v7mr2025844igz.92.1448529265629; Thu, 26 Nov 2015 01:14:25 -0800 (PST) Received: from [10.10.156.106] ([94.136.92.222]) by smtp.googlemail.com with ESMTPSA id p125sm10342440ioe.13.2015.11.26.01.14.23 for (version=TLSv1/SSLv3 cipher=OTHER); Thu, 26 Nov 2015 01:14:24 -0800 (PST) To: caml-list@inria.fr References: <5655AE66.6000307@coherentgraphics.co.uk> <51DD10CD2D56489383A827D5FD9A247B@erratique.ch> From: Leonardo Laguna Ruiz Message-ID: <5656CD70.3000908@gmail.com> Date: Thu, 26 Nov 2015 10:14:24 +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: <51DD10CD2D56489383A827D5FD9A247B@erratique.ch> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Do you use a debugger with OCaml? If not, why not? I use oqamldebug. In general works very well. Ocamldebug is good but I agree that the UI needs improvements. When I was programming F# I practically never used print debugging since the debugger was very accessible and installing custom printers for your data structures was trivial. Leonardo On 2015-11-25 16:55, Daniel Bünzli wrote: > Le mercredi, 25 novembre 2015 à 12:49, John Whitington a écrit : >> If not a debugger, why not? > For UI reasons. > > When I was doing ios work you could just set a break point in the ide by clicking in the margin, hit the run button and you'd simply stop there and be able to inspect the state of your program. It was quick and easy so I would use it — note however that sometimes it was easier to get exactly what you wanted through a printf statement. > > Lacking such a trivial setup, printf is quicker. > > Best, > > Daniel > > > > > > > >