From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <pip88nl@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 DE4FA7EE42
	for <caml-list@sympa.inria.fr>; Thu, 24 Oct 2013 16:02:55 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  pip88nl@gmail.com) identity=pra; client-ip=209.85.212.173;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="pip88nl@gmail.com";
  x-sender="pip88nl@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  pip88nl@gmail.com designates 209.85.212.173 as permitted
  sender) identity=mailfrom; client-ip=209.85.212.173;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="pip88nl@gmail.com";
  x-sender="pip88nl@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-wi0-f173.google.com) identity=helo;
  client-ip=209.85.212.173;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="pip88nl@gmail.com";
  x-sender="postmaster@mail-wi0-f173.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnEDAHwnaVLRVdStlGdsb2JhbABZgmaBD752gRsWDgEBAQEHCwsJEiqCJgEFQAEbHgMMBgUhJQ8FDxEBBQGIKQEDDwEEm0qMVoMKhDUKGScNZIkBAQUMj0gWgwmBDQOYCZAcQYRR
X-IPAS-Result: AnEDAHwnaVLRVdStlGdsb2JhbABZgmaBD752gRsWDgEBAQEHCwsJEiqCJgEFQAEbHgMMBgUhJQ8FDxEBBQGIKQEDDwEEm0qMVoMKhDUKGScNZIkBAQUMj0gWgwmBDQOYCZAcQYRR
X-IronPort-AV: E=Sophos;i="4.93,562,1378850400"; 
   d="asc'?scan'208";a="38611933"
Received: from mail-wi0-f173.google.com ([209.85.212.173])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Oct 2013 16:02:50 +0200
Received: by mail-wi0-f173.google.com with SMTP id ey11so9065872wid.12
        for <caml-list@inria.fr>; Thu, 24 Oct 2013 07:02:55 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=date:from:to:subject:message-id:references:mime-version
         :content-type:content-disposition:in-reply-to:user-agent;
        bh=kxOppN0pgB/LSwnA2rES+59NMCc/UiQ0XUxEINlVlqk=;
        b=yVqL6zbUrTyQona6+UeH9YpFtoAfo6v6Rdd4a5TtXVlUWYTdy/uqEjVu7K6oVMh1zt
         rLG8JVJ1Ti51uDQxY3Updnqm7P3dqdidOgQ0hccMunjNcDGddMYk4g13z0QB9BPhYmwE
         YqEv810ZZ85H0OiJvm6v2U2BkjMvg3eQzqebNymnjU9d7zSPFqBMfxrMjpeCPLvz+pH4
         TQ6vpbMZLwU5E7/uJg2rpHiKU4X9fOeND0fHoqkww1EFY9eRXO8iGyFmtnEKMFz5mIzg
         F7L9E9IJKBsBpfcqWah/G6M/OoWbcYFOx5y8+J2iLV1Xbg1MtVRucPabuHW8gE2g6mn6
         Uucw==
X-Received: by 10.194.2.108 with SMTP id 12mr2013109wjt.64.1382623375281;
        Thu, 24 Oct 2013 07:02:55 -0700 (PDT)
Received: from localhost (xinutec.org. [2001:41d0:2:91b4::1])
        by mx.google.com with ESMTPSA id iz19sm3915969wic.9.2013.10.24.07.02.54
        for <caml-list@inria.fr>
        (version=TLSv1.2 cipher=RC4-SHA bits=128/128);
        Thu, 24 Oct 2013 07:02:54 -0700 (PDT)
Date: Thu, 24 Oct 2013 16:02:53 +0200
From: Pippijn van Steenhoven <pip88nl@gmail.com>
To: caml-list@inria.fr
Message-ID: <20131024140253.GA13040@xinutec.org>
References: <52692507.7040202@gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="7U7nS7UhGMyosb9W"
Content-Disposition: inline
In-Reply-To: <52692507.7040202@gmail.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: Re: [Caml-list] strange compiler's tolerance


--7U7nS7UhGMyosb9W
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline

Hi,

OCaml as of 4.00.1 does complain about this with a warning. Allowing it
is mostly useful (and used) in generated code.

Pippijn

--7U7nS7UhGMyosb9W
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: Digital signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBAgAGBQJSaSiNAAoJEAfZIxi2zgu/U1wQAJ6leYPntBxKlPWHWd3QcUuP
hAk57xOqjFYUGdyD0qWOCpSJ66eZplfNK9W3pgfCOhajw+9zzsePltbbTfFCFLH/
nJjO+MtIIl3LoZLlMQnvqqs6/TL6QSTbJl1pc4cATTt6BgvVLOFesFzoQw6YcyQc
Sr63tIWShqQclIhXerra/HIeFQZTmIuMyPBEZi00eMxJ7QhKwtv8df8VbvAUw+Mb
y7egwtCDjNNaw5AP3OMs00hqKv225iS069WxE/tugNKnIQ2EQMRikknLQ2vbTJlW
3ju82zN3cWwgI9bgBtAQoKpXVcJgowmBThE/WIYZbH1/o6xr1iZxfSdknlYX+JbH
xHlxE6O3+gvUIBxodSZkYbX1MDhUybYK2zJLBQ/tv3Q/naqe36FANAKUZEUj8Kms
j10v9jQsjGasYhlIjz3qacJT0RNYklRx8T0DLD0RAhnxce9o6esKWYrXWWsqT795
gv3q1UIxTQio9p86jEsz6x0VyBvKm9ZoPdZX0lgywjZN1JMHqBgIbNXnuCloZaF5
BN1aVFcM+4E9i4jAayZz9yb7xyiz+UHdAT9xJSzdDYeAxe3R7vFJ/GfHfXvMyF2y
iaMCv6GNt/7/EiUgOoI937Z1xlCz5mWnmDw3uuHG1HlSIXcfCKp+4S+O53+AXSFd
vWOg3A2pOIMbfGnNspaQ
=aS5s
-----END PGP SIGNATURE-----

--7U7nS7UhGMyosb9W--