From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <yallop@gmail.com>
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 DD0C07F614
	for <caml-list@sympa.inria.fr>; Wed, 14 Sep 2016 15:04:09 +0200 (CEST)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yallop@gmail.com; spf=Pass smtp.mailfrom=yallop@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f179.google.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  yallop@gmail.com) identity=pra; client-ip=209.85.220.179;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="yallop@gmail.com";
  x-sender="yallop@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  yallop@gmail.com designates 209.85.220.179 as permitted
  sender) identity=mailfrom; client-ip=209.85.220.179;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="yallop@gmail.com";
  x-sender="yallop@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-qk0-f179.google.com) identity=helo;
  client-ip=209.85.220.179;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="yallop@gmail.com";
  x-sender="postmaster@mail-qk0-f179.google.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3A2xIV3hYVL+XtkDNWfIc/aq//LSx+4OfEezUN459i?=
 =?us-ascii?q?sYplN5qZpsW+bnLW6fgltlLVR4KTs6sC0LuP9f+6EjFfqdbZ6TZZL8wKD0dEwe?=
 =?us-ascii?q?wt3CUeQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?=
 =?us-ascii?q?br+tQt2a3IyL0LWO/JibWQREizf1Na91KVO06x/QusYbwo9jMboZxRzOrX9Ffu?=
 =?us-ascii?q?1XwSVjIlfFzDjm4cLl3pN5/iFB88Mo88pHSe2ubq08SbtAJDsjOmExosbssE+Q?=
 =?us-ascii?q?HkO0+nIAXzBOwVJzCA/f4USiUw=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DHAQDoSdlXf7PcVdFUCRoBAQEBAgEBA?=
 =?us-ascii?q?QEIAQEBARcBAQQBAQoBAYMPAQEBAQF1fAese4tWggMZB4V+AoFGBzoSAQEBAQE?=
 =?us-ascii?q?BAQEBAQESAQEJCwsJFzGCMhiCGAEBBAECDxEEGQEbHQEDDAYFCw0CAiYCAiIBE?=
 =?us-ascii?q?QEFARwGEyKIDQEDFw6he4EyPjKLPYFrgl4Fg28KGScNU4JWAQEBAQEFAQEBAQE?=
 =?us-ascii?q?aAgEFEHaJeoJDgVaDKYJaBZlohiWJL4FYjgqMW4I5Ex6BESUJgxiBeDs0AYZTA?=
 =?us-ascii?q?QEB?=
X-IPAS-Result: =?us-ascii?q?A0DHAQDoSdlXf7PcVdFUCRoBAQEBAgEBAQEIAQEBARcBAQQ?=
 =?us-ascii?q?BAQoBAYMPAQEBAQF1fAese4tWggMZB4V+AoFGBzoSAQEBAQEBAQEBAQESAQEJC?=
 =?us-ascii?q?wsJFzGCMhiCGAEBBAECDxEEGQEbHQEDDAYFCw0CAiYCAiIBEQEFARwGEyKIDQE?=
 =?us-ascii?q?DFw6he4EyPjKLPYFrgl4Fg28KGScNU4JWAQEBAQEFAQEBAQEaAgEFEHaJeoJDg?=
 =?us-ascii?q?VaDKYJaBZlohiWJL4FYjgqMW4I5Ex6BESUJgxiBeDs0AYZTAQEB?=
X-IronPort-AV: E=Sophos;i="5.30,333,1470693600"; 
   d="scan'208";a="236439434"
Received: from mail-qk0-f179.google.com ([209.85.220.179])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Sep 2016 15:04:09 +0200
Received: by mail-qk0-f179.google.com with SMTP id h8so12314926qka.1
        for <caml-list@inria.fr>; Wed, 14 Sep 2016 06:04:09 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc;
        bh=+5h8uVEAHJuSRMsHA85xnQOIT2Lwmv1CxIO5hN/5AvQ=;
        b=FPYF76iGIJUd5p/MSORETlXihQFsDcJ783YXDaolqQe8ECtUSnkD42UeLt7cdkgz6b
         5apHEk5BFX/hPoFohac3AClJ6/c1yYp03cobIHpZBlzMqMzb4CyNZQF7ETK1xph7U32A
         b5STME8IcCiIitSZTfC+6D0N82Q77/c5yhUjWaIeynTfJ0eBRQIDwhYY+2BVF34npFuV
         CaCEzHfRdNkR1EIezs1xh2J66qL991B+i1wfaowbiyh7Po4/jMc5Sg7MrP7mZTV18+AY
         3Fslz0y+McquFr5BgVrZ9zCNrO1/irei0ePzimAQ4cfcD948mxQCDh+7m8b6QBIEL3RA
         HAFg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:in-reply-to:references:from:date
         :message-id:subject:to:cc;
        bh=+5h8uVEAHJuSRMsHA85xnQOIT2Lwmv1CxIO5hN/5AvQ=;
        b=RWBwjrkkZDO3Dqrd9cdg63GVHIhc+jVWZ41untqwBmU4Y8mJ7HNapeXKuUcZyQka4X
         clJdArYVfei3rm72SRC4Rn4Y0NiA1Dzq9fDTQizfDjLv3fWC6XANe0RqPsDXnNANLbNf
         OcJLXB0lsNkYWE39KyF3ZIFAdsykCod3v8oD3K3ylOmrOoXTWEa9tz2t4f0ou1zdxzey
         2GhjLVlbC5kVTyLvGZ7KfaC7AFrHoKlCR/FATny0KtlodtFO2krhJ1LqgmRAglq8cAn9
         TMYxO/8fcUzfhdLjdhq7stagCcXFw38t4Wi9hq4R3phu51E61vATPOoZBaOTgMKsvNkC
         LhSw==
X-Gm-Message-State: AE9vXwPaRMDklpcA4lrof7API8/vpe4JGh8oEB5Cgp479aDwHtEnoQ7HStyYdXNXpXx8Be1Qdhk09B2MaDJlmA==
X-Received: by 10.55.157.11 with SMTP id g11mr2866367qke.207.1473858247728;
 Wed, 14 Sep 2016 06:04:07 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.55.152.199 with HTTP; Wed, 14 Sep 2016 06:04:06 -0700 (PDT)
In-Reply-To: <CABooLwOu_xA+ubyUGVQOOGz1fey0=JRCAFK=Y5Bo3mt1zN1eSg@mail.gmail.com>
References: <CABooLwMFHWSfkTT1+eqOSh-mh=OAiWiFjRouB8HL5W=M2Y=xcg@mail.gmail.com>
 <E51C5B015DBD1348A1D85763337FB6D901351A128F@Remus.metastack.local> <CABooLwOu_xA+ubyUGVQOOGz1fey0=JRCAFK=Y5Bo3mt1zN1eSg@mail.gmail.com>
From: Jeremy Yallop <yallop@gmail.com>
Date: Wed, 14 Sep 2016 14:04:06 +0100
Message-ID: <CAAxsn=EJVTnCv+WUmjCrDN5CLzuEg1MdJX0D9GGMf18WJ-qBXQ@mail.gmail.com>
To: Tom Ridge <tom.j.ridge+list@googlemail.com>
Cc: David Allsopp <dra-news@metastack.com>, caml-list <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] Comment syntax?

On 14 September 2016 at 13:51, Tom Ridge
<tom.j.ridge+list@googlemail.com> wrote:
> In this case, has there been any progress on "single line" comments

Yes: there's a recent concrete proposal, and a few (mostly multi-line)
comments on it here:

    https://github.com/ocaml/ocaml/pull/671

> // some comment

That would be backwards-incompatible, unfortunately.  For example, the
following program

   let f (
     //
   ) = (
     //
   )

currently defines f as the polymorphic identity function, but with the
addition of '//' comments it would instead define a function of type
'unit -> unit'.