From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <matthieu.dubuget@gmail.com>
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 D7D2F7F761
	for <caml-list@sympa.inria.fr>; Tue,  1 Dec 2015 13:06:12 +0100 (CET)
IronPort-PHdr: 9a23:rO3zAhyNlLnvFTPXCy+O+j09IxM/srCxBDY+r6Qd0e8fIJqq85mqBkHD//Il1AaPBtWFraocwLKG+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStCU15z8j7D60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mouVJVKG/e6UjUfQMBz0jNyUx5db3nRjFVwqGoHUGBDY4iB1NVi3M8A36X5rs+gfnvPdy1TXSacj/Uaw0WDm/qat2QgLnhTsvODsw8WWRgct12vEI6Cm9rgByltaHKLqeM+BzK/vQ
Authentication-Results: mail2-smtp-roc.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-f49.google.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  matthieu.dubuget@gmail.com) identity=pra;
  client-ip=74.125.82.49;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="matthieu.dubuget@gmail.com";
  x-sender="matthieu.dubuget@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  matthieu.dubuget@gmail.com designates 74.125.82.49 as
  permitted sender) identity=mailfrom; client-ip=74.125.82.49;
  receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-wm0-f49.google.com) identity=helo;
  client-ip=74.125.82.49;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="matthieu.dubuget@gmail.com";
  x-sender="postmaster@mail-wm0-f49.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0BpAQCbi11WmzFSfUpehA5vtBCKKgEBgXAZhXYCgUg9DwEBAQEBAQEBEAEBAQEBBgsLCSEuQRIBgVmCCAEBBBIgAQ0BGxwCAwwGBQsWFg8JAwIBAgEREQEFARwGDQgBAR6HdgEDEgQBnW6BMT4xjTKCeYZzChknDVaEAQEBAQEGAQEBARkBBQ6GRoR+iTkBBJZXhSqIDoIkhmwQkXQ2gRc5AQEBgisNFgeBV3GDI4JOAQEB
X-IPAS-Result: A0BpAQCbi11WmzFSfUpehA5vtBCKKgEBgXAZhXYCgUg9DwEBAQEBAQEBEAEBAQEBBgsLCSEuQRIBgVmCCAEBBBIgAQ0BGxwCAwwGBQsWFg8JAwIBAgEREQEFARwGDQgBAR6HdgEDEgQBnW6BMT4xjTKCeYZzChknDVaEAQEBAQEGAQEBARkBBQ6GRoR+iTkBBJZXhSqIDoIkhmwQkXQ2gRc5AQEBgisNFgeBV3GDI4JOAQEB
X-IronPort-AV: E=Sophos;i="5.20,368,1444687200"; 
   d="scan'208";a="189882647"
Received: from mail-wm0-f49.google.com ([74.125.82.49])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Dec 2015 13:06:12 +0100
Received: by wmec201 with SMTP id c201so10334810wme.1
        for <caml-list@inria.fr>; Tue, 01 Dec 2015 04:06:12 -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=oTU36RHHFG5qAZCCRvuF5iZw4vOvcMjfx8WX5udDiz4=;
        b=C1VOAEcJocytXm6bbEGueSwexn5HbIXEnqdlzh5iRE4yNNxPIXa7+cwYI19N95ONIw
         ujqxUGmy0juN+l90Rn9uggt/6d/oFFiIOoX7vUTol+jHIg/xtHdC8uw9k/rcpC8mGTeU
         l4XA574xN406eqIMGYY3bVsK5Aixp9Oq2Fd20VUctbNq/TBdhKAKpAi6qESoCNny3q+8
         yDzscHyq26tZFsy4Y1GyKXN9OdUQAhbj72vvjFeb9zu0/megfOWCDMZ0A4J4s26YZ81y
         oyGK9bNBY4+YJrpnmaACKq+scBf+O45GnyUk/in1mY6V08oZsafWl038pcd5J1hqDhGy
         1oAQ==
X-Received: by 10.194.142.203 with SMTP id ry11mr68657951wjb.132.1448971572034;
        Tue, 01 Dec 2015 04:06:12 -0800 (PST)
Received: from [192.168.0.14] ([88.184.200.161])
        by smtp.gmail.com with ESMTPSA id d66sm25949085wma.21.2015.12.01.04.06.11
        for <caml-list@inria.fr>
        (version=TLSv1/SSLv3 cipher=OTHER);
        Tue, 01 Dec 2015 04:06:11 -0800 (PST)
To: Caml-list <caml-list@inria.fr>
References: <5655AE66.6000307@coherentgraphics.co.uk>
 <5655B721.6010608@gmail.com>
From: Matthieu Dubuget <matthieu.dubuget@gmail.com>
Message-ID: <565D8D30.2040803@gmail.com>
Date: Tue, 1 Dec 2015 13:06:08 +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: <5655B721.6010608@gmail.com>
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] Do you use a debugger with OCaml? If not, why not?

Le 25/11/2015 14:26, Matthieu Dubuget a écrit :
>  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.

Confirmed: getting rid of those chars in comments helped a lot

-- 
Matthieu Dubuget
Guide d’autodéfense numérique : http://guide.boum.org